Trace number 2671373

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
bsolo 3.2 CardUNSAT 403.814 403.924

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_50_25_3_15.opb
MD5SUM8bda8bcfdd3d0bef04b7cb75764a0af7
Bench CategoryDEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark26.8869
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables100
Total number of constraints152
Number of constraints which are clauses50
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints101
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 15
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)2952
Sum of products size (including duplicates)5904
Number of different products1476
Sum of products size2952

Solver Data 

0.00/0.00	c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Instance file HOME/instance-2671373-1276723978.opb
0.00/0.00	c File size is 118617 bytes.
0.00/0.02	c Highest Coefficient sum: 100
0.00/0.02	c Parsing was ok!!
0.00/0.02	c Total parsing time: 0.021 s
0.00/0.02	c Var: 1576 Constr: 3105 1526/103/1476 Lit: 12158 Watch. Lit: 10550
0.00/0.02	c Obj. Vars: 0 (0 % of total variables)
1.29/1.37	c Pre-processing Time: 1.37 s
1.29/1.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.37	c        0   1463     2917    11529    3     9994   38459      0      0 1.37
1.29/1.37	c Switching off lower bounding mode.
403.78/403.91	c      100   1463     3021    14240    4    10216   42305    104     71 1.40
403.78/403.91	c      250   1463     3181    19180    6    10536   46536    264    173 1.44
403.78/403.91	c      475   1463     3421    26268    7    11037   51190    504    315 1.50
403.78/403.91	c      813   1463     3765    34453    9    11725   56310    848    508 1.60
403.78/403.91	c     1321   1463     4292    51537   12    12779   61942   1375    755 1.75
403.78/403.91	c     2085   1463     5119    79325   15    14611   68137   2202   1064 1.96
403.78/403.91	c     3231   1463     6366   125044   19    17222   74951   3449   1381 2.34
403.78/403.91	c     4957   1463     8296   200552   24    21427   82447   5379   1628 3.04
403.78/403.91	c     7542   1463    11248   314647   27    27495   90692   8331   1717 4.39
403.78/403.91	c    11422   1463    15504   475009   30    36648   99762  12587   1579 7.23
403.78/403.91	c    17245   1463    21829   704410   32    49553  109739  18912   1227 14.04
403.78/403.91	c    25983   1463    31440  1063299   33    69245  120713  28523    853 30.43
403.78/403.91	c    39095   1463    45826  1598283   34    98162  132785  42909    556 70.27
403.78/403.91	c    58765   1463    67258  2375442   35   141090  146064  64341    375 156.69
403.78/403.91	c    88277   1434    99648  3529058   35   206008  160671  96731    234 376.99
403.78/403.91	c Backtracks by Clause: 91656
403.78/403.91	c Backtracks by PB constraint: 3
403.78/403.91	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
403.78/403.91	c   15    91659  35262   284380   103099  3648494 100182    226 403.80
403.78/403.91	s UNSATISFIABLE
403.78/403.91	c Total time: 403.804 s

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2671373-1276723978/watcher-2671373-1276723978 -o /tmp/evaluation-result-2671373-1276723978/solver-2671373-1276723978 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2671373-1276723978.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 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
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11593
/proc/meminfo: memFree=1853052/2059040 swapFree=4140260/4192956
[pid=11593] ppid=11591 vsize=11040 CPUtime=0
/proc/11593/stat : 11593 (bsolo_pb10) R 11591 11593 11023 0 -1 4202496 338 0 0 0 0 0 0 0 20 0 1 0 47999580 11304960 257 1992294400 134512640 137138936 4288023216 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11593/statm: 2760 257 175 642 0 2087 0

[startup+0.0943201 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11593
/proc/meminfo: memFree=1853052/2059040 swapFree=4140260/4192956
[pid=11593] ppid=11591 vsize=11600 CPUtime=0.09
/proc/11593/stat : 11593 (bsolo_pb10) R 11591 11593 11023 0 -1 4202496 564 0 0 0 9 0 0 0 20 0 1 0 47999580 11878400 454 1992294400 134512640 137138936 4288023216 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11593/statm: 2900 454 184 642 0 2256 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11600

[startup+0.101321 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11593
/proc/meminfo: memFree=1853052/2059040 swapFree=4140260/4192956
[pid=11593] ppid=11591 vsize=11600 CPUtime=0.09
/proc/11593/stat : 11593 (bsolo_pb10) R 11591 11593 11023 0 -1 4202496 564 0 0 0 9 0 0 0 20 0 1 0 47999580 11878400 454 1992294400 134512640 137138936 4288023216 18446744073709551615 134543157 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11593/statm: 2900 454 184 642 0 2256 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11600

[startup+0.301343 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11593
/proc/meminfo: memFree=1853052/2059040 swapFree=4140260/4192956
[pid=11593] ppid=11591 vsize=11600 CPUtime=0.29
/proc/11593/stat : 11593 (bsolo_pb10) R 11591 11593 11023 0 -1 4202496 564 0 0 0 29 0 0 0 20 0 1 0 47999580 11878400 454 1992294400 134512640 137138936 4288023216 18446744073709551615 136504378 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11593/statm: 2900 454 184 642 0 2256 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11600

[startup+0.701387 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11593
/proc/meminfo: memFree=1853052/2059040 swapFree=4140260/4192956
[pid=11593] ppid=11591 vsize=11600 CPUtime=0.69
/proc/11593/stat : 11593 (bsolo_pb10) R 11591 11593 11023 0 -1 4202496 564 0 0 0 69 0 0 0 20 0 1 0 47999580 11878400 454 1992294400 134512640 137138936 4288023216 18446744073709551615 134543407 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11593/statm: 2900 454 184 642 0 2256 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11600

[startup+1.50048 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11594
/proc/meminfo: memFree=1852300/2059040 swapFree=4140260/4192956
[pid=11593] ppid=11591 vsize=11852 CPUtime=1.49
/proc/11593/stat : 11593 (bsolo_pb10) R 11591 11593 11023 0 -1 4202496 621 0 0 0 149 0 0 0 23 0 1 0 47999580 12136448 511 1992294400 134512640 137138936 4288023216 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11593/statm: 2963 511 192 642 0 2319 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11852

[startup+3.10065 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11594
/proc/meminfo: memFree=1850812/2059040 swapFree=4140260/4192956
[pid=11593] ppid=11591 vsize=14640 CPUtime=3.09
/proc/11593/stat : 11593 (bsolo_pb10) R 11591 11593 11023 0 -1 4202496 1341 0 0 0 307 2 0 0 25 0 1 0 47999580 14991360 1231 1992294400 134512640 137138936 4288023216 18446744073709551615 135984570 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11593/statm: 3660 1231 192 642 0 3016 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14640

[startup+6.30101 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11594
/proc/meminfo: memFree=1845976/2059040 swapFree=4140260/4192956
[pid=11593] ppid=11591 vsize=18288 CPUtime=6.29
/proc/11593/stat : 11593 (bsolo_pb10) R 11591 11593 11023 0 -1 4202496 2234 0 0 0 624 5 0 0 25 0 1 0 47999580 18726912 2124 1992294400 134512640 137138936 4288023216 18446744073709551615 134552089 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11593/statm: 4572 2124 192 642 0 3928 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18288

[startup+12.7007 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11594
/proc/meminfo: memFree=1841760/2059040 swapFree=4140260/4192956
[pid=11593] ppid=11591 vsize=22028 CPUtime=12.69
/proc/11593/stat : 11593 (bsolo_pb10) R 11591 11593 11023 0 -1 4202496 3172 0 0 0 1260 9 0 0 25 0 1 0 47999580 22556672 3062 1992294400 134512640 137138936 4288023216 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11593/statm: 5507 3062 192 642 0 4863 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22028

[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11594
/proc/meminfo: memFree=1836676/2059040 swapFree=4140260/4192956
[pid=11593] ppid=11591 vsize=26776 CPUtime=25.49
/proc/11593/stat : 11593 (bsolo_pb10) R 11591 11593 11023 0 -1 4202496 4378 0 0 0 2535 14 0 0 25 0 1 0 47999580 27418624 4268 1992294400 134512640 137138936 4288023216 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11593/statm: 6694 4268 192 642 0 6050 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 26776

[startup+51.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11596
/proc/meminfo: memFree=1830476/2059040 swapFree=4140260/4192956
[pid=11593] ppid=11591 vsize=33104 CPUtime=51.07
/proc/11593/stat : 11593 (bsolo_pb10) R 11591 11593 11023 0 -1 4202496 5949 0 0 0 5087 20 0 0 25 0 1 0 47999580 33898496 5839 1992294400 134512640 137138936 4288023216 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11593/statm: 8276 5839 192 642 0 7632 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 33104

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11596
/proc/meminfo: memFree=1821548/2059040 swapFree=4140260/4192956
[pid=11593] ppid=11591 vsize=41912 CPUtime=102.27
/proc/11593/stat : 11593 (bsolo_pb10) R 11591 11593 11023 0 -1 4202496 8140 0 0 0 10198 29 0 0 25 0 1 0 47999580 42917888 8030 1992294400 134512640 137138936 4288023216 18446744073709551615 134575200 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11593/statm: 10478 8030 192 642 0 9834 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 41912

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11598
/proc/meminfo: memFree=1813488/2059040 swapFree=4140260/4192956
[pid=11593] ppid=11591 vsize=49800 CPUtime=162.24
/proc/11593/stat : 11593 (bsolo_pb10) R 11591 11593 11023 0 -1 4202496 10127 0 0 0 16184 40 0 0 25 0 1 0 47999580 50995200 10017 1992294400 134512640 137138936 4288023216 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11593/statm: 12450 10017 192 642 0 11806 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 49800

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11600
/proc/meminfo: memFree=1807040/2059040 swapFree=4140260/4192956
[pid=11593] ppid=11591 vsize=56256 CPUtime=222.23
/proc/11593/stat : 11593 (bsolo_pb10) R 11591 11593 11023 0 -1 4202496 11732 0 0 0 22174 49 0 0 25 0 1 0 47999580 57606144 11622 1992294400 134512640 137138936 4288023216 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11593/statm: 14064 11622 192 642 0 13420 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 56256

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11602
/proc/meminfo: memFree=1802204/2059040 swapFree=4140260/4192956
[pid=11593] ppid=11591 vsize=61020 CPUtime=282.22
/proc/11593/stat : 11593 (bsolo_pb10) R 11591 11593 11023 0 -1 4202496 12929 0 0 0 28166 56 0 0 25 0 1 0 47999580 62484480 12819 1992294400 134512640 137138936 4288023216 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11593/statm: 15255 12819 192 642 0 14611 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 61020

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11602
/proc/meminfo: memFree=1797864/2059040 swapFree=4140260/4192956
[pid=11593] ppid=11591 vsize=65312 CPUtime=342.2
/proc/11593/stat : 11593 (bsolo_pb10) R 11591 11593 11023 0 -1 4202496 14010 0 0 0 34159 61 0 0 25 0 1 0 47999580 66879488 13900 1992294400 134512640 137138936 4288023216 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11593/statm: 16328 13900 192 642 0 15684 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 65312

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11604
/proc/meminfo: memFree=1793648/2059040 swapFree=4140260/4192956
[pid=11593] ppid=11591 vsize=69452 CPUtime=402.18
/proc/11593/stat : 11593 (bsolo_pb10) R 11591 11593 11023 0 -1 4202496 15036 0 0 0 40150 68 0 0 25 0 1 0 47999580 71118848 14926 1992294400 134512640 137138936 4288023216 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11593/statm: 17363 14926 192 642 0 16719 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 69452

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

[startup+403.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11604
/proc/meminfo: memFree=1793648/2059040 swapFree=4140260/4192956
[pid=11593] ppid=11591 vsize=69452 CPUtime=402.98
/proc/11593/stat : 11593 (bsolo_pb10) R 11591 11593 11023 0 -1 4202496 15042 0 0 0 40230 68 0 0 25 0 1 0 47999580 71118848 14932 1992294400 134512640 137138936 4288023216 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11593/statm: 17363 14932 192 642 0 16719 0
Current children cumulated CPU time (s) 402.98
Current children cumulated vsize (KiB) 69452

[startup+403.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11604
/proc/meminfo: memFree=1793648/2059040 swapFree=4140260/4192956
[pid=11593] ppid=11591 vsize=69452 CPUtime=403.38
/proc/11593/stat : 11593 (bsolo_pb10) R 11591 11593 11023 0 -1 4202496 15045 0 0 0 40270 68 0 0 25 0 1 0 47999580 71118848 14935 1992294400 134512640 137138936 4288023216 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11593/statm: 17363 14935 192 642 0 16719 0
Current children cumulated CPU time (s) 403.38
Current children cumulated vsize (KiB) 69452

[startup+403.901 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11604
/proc/meminfo: memFree=1793648/2059040 swapFree=4140260/4192956
[pid=11593] ppid=11591 vsize=69568 CPUtime=403.78
/proc/11593/stat : 11593 (bsolo_pb10) R 11591 11593 11023 0 -1 4202496 15051 0 0 0 40310 68 0 0 25 0 1 0 47999580 71237632 14941 1992294400 134512640 137138936 4288023216 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11593/statm: 17392 14941 192 642 0 16748 0
Current children cumulated CPU time (s) 403.78
Current children cumulated vsize (KiB) 69568

Child status: 0
Real time (s): 403.924
CPU time (s): 403.814
CPU user time (s): 403.119
CPU system time (s): 0.694894
CPU usage (%): 99.9727
Max. virtual memory (cumulated for all children) (KiB): 69568

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

runsolver used 0.636903 second user time and 1.9447 second system time

The end

Launcher Data 

Begin job on node009 at 2010-06-16 23:32:58
IDJOB=2671373
IDBENCH=48363
IDSOLVER=1162
FILE ID=node009/2671373-1276723978
PBS_JOBID= 11174179
Free space on /tmp= 62556 MiB

SOLVER NAME= bsolo 3.2 Card
BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_50_25_3_15.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2671373-1276723978/watcher-2671373-1276723978 -o /tmp/evaluation-result-2671373-1276723978/solver-2671373-1276723978 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l2 HOME/instance-2671373-1276723978.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 8bda8bcfdd3d0bef04b7cb75764a0af7
RANDOM SEED=1060406195

node009.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.199
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.39
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.199
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1854076 kB
Buffers:         22192 kB
Cached:          89064 kB
SwapCached:       5824 kB
Active:          73080 kB
Inactive:        51120 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1854076 kB
SwapTotal:     4192956 kB
SwapFree:      4140260 kB
Dirty:            3988 kB
Writeback:           0 kB
AnonPages:       11772 kB
Mapped:          12856 kB
Slab:            58804 kB
PageTables:       3960 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180236 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2671373-1276723978.opb

Free space on /tmp at the end= 62552 MiB
End job on node009 at 2010-06-16 23:39:42