Trace number 3462580

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 NameAnswerobjective functionCPU timeWall clock time
bsolo 3.2OPT3 25.3951 25.3944

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=8-P0=239-P1=257-P2=113-P3=223-B.opb
MD5SUMff8e4ce8aca8e0dab1b59dd2a47026b4
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.099984
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables72
Total number of constraints7
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints7
Minimum length of a constraint8
Maximum length of a constraint80
Number of terms in the objective function 8
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 255
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 32768
Number of bits of the biggest number in a constraint 16
Biggest sum of numbers in a constraint 130560
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)192
Sum of products size (including duplicates)384
Number of different products192
Sum of products size384

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

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 Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Instance file HOME/instance-3462580-1307181308.opb
0.00/0.00	c File size is 3503 bytes.
0.00/0.00	c Highest Coefficient sum: 130560
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0 s
0.00/0.00	c Var: 264 Constr: 394 192/0/202 Lit: 1648 Watch. Lit: 1016
0.00/0.00	c Obj. Vars: 8 (3.0303 % of total variables)
0.00/0.00	c Pre-processing Time: 0.001 s
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0    264      394     1648    4     1416    2207      0      0 0.00
0.00/0.00	c Switching off lower bounding mode.
0.79/0.88	c      101    264      591    10891   18     1927    2428    197   7214 0.01
0.79/0.88	c      251    264      884    28426   32     2633    2671    490   7382 0.03
0.79/0.88	c      476    264     1316    52284   39     3678    2939    922   7104 0.07
0.79/0.88	c      814    264     1957    83854   42     5289    3233   1563   7017 0.12
0.79/0.88	c     1322    264     2948   134769   45     7763    3557   2554   6206 0.21
0.79/0.88	c     2085    264     2587   118293   45     6540    3913   2193   5401 0.39
0.79/0.88	c     3231    264     2674   130637   48     6603    4305   2280   5202 0.62
0.79/0.88	o 171
0.89/0.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.94	c     4396    264     2548   108990   42     6559    2266   2154   4933 0.89
0.89/0.94	c     4496    264     1528    59355   38     3898    2493   1134   4940 0.91
0.89/0.94	o 87
5.69/5.75	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.69/5.75	c     4698    264     1910    80751   42     4941    2266   1516   4997 0.94
5.69/5.75	c     4799    264     2111    92052   43     5418    2493   1717   5019 0.96
5.69/5.75	c     5049    264     2584   116005   44     6576    2743   2190   5018 1.01
5.69/5.75	c     5526    264     2082    92430   44     5286    3018   1688   4987 1.11
5.69/5.75	c     6339    264     2083    92275   44     5180    3320   1689   4853 1.31
5.69/5.75	c     7659    264     2892   129108   44     7313    3653   2498   4783 1.60
5.69/5.75	c     9741    254     2905   155256   53     7322    4019   2511   4701 2.07
5.69/5.75	c    12965    254     2819   121127   42     7284    4421   2425   4595 2.82
5.69/5.75	c    17902    254     3085   141987   46     7734    4864   2691   4413 4.06
5.69/5.75	o 5
6.19/6.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.19/6.29	c    24625    254     3004   148568   49     7669    2221   2610   4278 5.75
6.19/6.29	c    24725    245     1699    72989   42     4345    2444   1305   4283 5.77
6.19/6.29	c    24975    245     2174    97823   44     5511    2689   1780   4299 5.81
6.19/6.29	c    25450    245     1742    77233   44     4527    2958   1348   4321 5.89
6.19/6.29	c    26264    245     3311   156411   47     8507    3254   2917   4325 6.07
6.19/6.29	o 3
25.31/25.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
25.31/25.39	c    27374    214     2024    96707   47     5232    2243   1630   4346 6.30
25.31/25.39	c    27474    214     2216   106750   48     5672    2468   1822   4351 6.31
25.31/25.39	c    27724    214     2705   135063   49     7002    2715   2311   4359 6.36
25.31/25.39	c    28199    214     2120   103013   48     5424    2987   1726   4381 6.44
25.31/25.39	c    29013    214     2084    94259   45     5241    3286   1690   4382 6.62
25.31/25.39	c    30333    214     2867   129065   45     7203    3615   2473   4360 6.96
25.31/25.39	c    32415    193     2899   133457   46     7137    3977   2505   4337 7.47
25.31/25.39	c    35639    193     2684   122444   45     6519    4375   2290   4255 8.38
25.31/25.39	c    40576    193     2803   125312   44     6746    4813   2409   4147 9.78
25.31/25.39	c    48082    193     4241   207503   48    10464    5295   3847   4030 11.93
25.31/25.39	c    59444    192     5167   262715   50    12987    5825   4773   3752 15.84
25.31/25.39	c    76589    192     5019   254869   50    12195    6408   4625   3445 22.23
25.31/25.39	v x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 x10 -x11 x12 -x13 x14 -x15 x16 x17 -x18 x19 -x20 -x21 -x22 -x23 -x24 x25 -x26 x27 x28 -x29 x30 x31 x32 x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x49 x50 -x51 -x52 -x53 -x54 -x55 -x56 x41 -x42 x43 -x44 -x45 -x46 -x47 -x48 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 
25.31/25.39	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
25.31/25.39	c   35    85604    456    88986     6098   251092   5704   3371 25.39
25.31/25.39	c Objective: 3
25.31/25.39	s OPTIMUM FOUND
25.31/25.39	c Total time: 25.394 s

Verifier Data 

OK	3

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3462580-1307181308/watcher-3462580-1307181308 -o /tmp/evaluation-result-3462580-1307181308/solver-3462580-1307181308 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462580-1307181308.opb 

running on 4 cores: 1,3,5,7

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.01 2.00 2.00 2/400 9793
/proc/meminfo: memFree=30010992/32950904 swapFree=56615552/67111528
[pid=9793] ppid=9791 vsize=10920 CPUtime=0 cores=1,3,5,7
/proc/9793/stat : 9793 (bsolo) R 9791 9793 8078 0 -1 4202496 328 0 0 0 0 0 0 0 25 0 1 0 829730586 11182080 281 33554432000 134512640 137138936 4291480688 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9793/statm: 2730 281 192 642 0 2086 0

[startup+0.0813601 s]
/proc/loadavg: 2.01 2.00 2.00 2/400 9793
/proc/meminfo: memFree=30010992/32950904 swapFree=56615552/67111528
[pid=9793] ppid=9791 vsize=11700 CPUtime=0.07 cores=1,3,5,7
/proc/9793/stat : 9793 (bsolo) R 9791 9793 8078 0 -1 4202496 533 0 0 0 7 0 0 0 25 0 1 0 829730586 11980800 486 33554432000 134512640 137138936 4291480688 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9793/statm: 2925 486 192 642 0 2281 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11700

[startup+0.100362 s]
/proc/loadavg: 2.01 2.00 2.00 2/400 9793
/proc/meminfo: memFree=30010992/32950904 swapFree=56615552/67111528
[pid=9793] ppid=9791 vsize=11828 CPUtime=0.09 cores=1,3,5,7
/proc/9793/stat : 9793 (bsolo) R 9791 9793 8078 0 -1 4202496 579 0 0 0 9 0 0 0 25 0 1 0 829730586 12111872 532 33554432000 134512640 137138936 4291480688 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9793/statm: 2989 533 192 642 0 2345 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11828

[startup+0.300318 s]
/proc/loadavg: 2.01 2.00 2.00 2/400 9793
/proc/meminfo: memFree=30010992/32950904 swapFree=56615552/67111528
[pid=9793] ppid=9791 vsize=13392 CPUtime=0.29 cores=1,3,5,7
/proc/9793/stat : 9793 (bsolo) R 9791 9793 8078 0 -1 4202496 958 0 0 0 29 0 0 0 25 0 1 0 829730586 13713408 911 33554432000 134512640 137138936 4291480688 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9793/statm: 3348 911 192 642 0 2704 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13392

[startup+0.700248 s]
/proc/loadavg: 2.01 2.00 2.00 2/400 9793
/proc/meminfo: memFree=30010992/32950904 swapFree=56615552/67111528
[pid=9793] ppid=9791 vsize=14160 CPUtime=0.69 cores=1,3,5,7
/proc/9793/stat : 9793 (bsolo) R 9791 9793 8078 0 -1 4202496 1134 0 0 0 69 0 0 0 25 0 1 0 829730586 14499840 1087 33554432000 134512640 137138936 4291480688 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9793/statm: 3540 1087 192 642 0 2896 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14160

[startup+1.50111 s]
/proc/loadavg: 2.01 2.00 2.00 3/401 9794
/proc/meminfo: memFree=30006460/32950904 swapFree=56615552/67111528
[pid=9793] ppid=9791 vsize=14400 CPUtime=1.49 cores=1,3,5,7
/proc/9793/stat : 9793 (bsolo) R 9791 9793 8078 0 -1 4202496 1194 0 0 0 148 1 0 0 25 0 1 0 829730586 14745600 1147 33554432000 134512640 137138936 4291480688 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9793/statm: 3600 1147 192 642 0 2956 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14400

[startup+3.10076 s]
/proc/loadavg: 2.01 2.00 2.00 3/401 9794
/proc/meminfo: memFree=30005592/32950904 swapFree=56615552/67111528
[pid=9793] ppid=9791 vsize=14396 CPUtime=3.09 cores=1,3,5,7
/proc/9793/stat : 9793 (bsolo) R 9791 9793 8078 0 -1 4202496 1204 0 0 0 308 1 0 0 25 0 1 0 829730586 14741504 1157 33554432000 134512640 137138936 4291480688 18446744073709551615 136520975 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9793/statm: 3599 1157 192 642 0 2955 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14396

[startup+6.30019 s]
/proc/loadavg: 2.01 2.00 2.00 3/401 9795
/proc/meminfo: memFree=30004848/32950904 swapFree=56615552/67111528
[pid=9793] ppid=9791 vsize=15032 CPUtime=6.29 cores=1,3,5,7
/proc/9793/stat : 9793 (bsolo) R 9791 9793 8078 0 -1 4202496 1372 0 0 0 626 3 0 0 25 0 1 0 829730586 15392768 1325 33554432000 134512640 137138936 4291480688 18446744073709551615 134575094 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9793/statm: 3758 1325 192 642 0 3114 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15032

[startup+12.7011 s]
/proc/loadavg: 2.08 2.02 2.00 3/401 9795
/proc/meminfo: memFree=30003488/32950904 swapFree=56615552/67111528
[pid=9793] ppid=9791 vsize=15420 CPUtime=12.7 cores=1,3,5,7
/proc/9793/stat : 9793 (bsolo) R 9791 9793 8078 0 -1 4202496 1466 0 0 0 1264 6 0 0 25 0 1 0 829730586 15790080 1419 33554432000 134512640 137138936 4291480688 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9793/statm: 3855 1419 192 642 0 3211 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 15420

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

[startup+19.101 s]
/proc/loadavg: 2.07 2.02 2.00 3/401 9795
/proc/meminfo: memFree=30003116/32950904 swapFree=56615552/67111528
[pid=9793] ppid=9791 vsize=15796 CPUtime=19.09 cores=1,3,5,7
/proc/9793/stat : 9793 (bsolo) R 9791 9793 8078 0 -1 4202496 1545 0 0 0 1902 7 0 0 25 0 1 0 829730586 16175104 1498 33554432000 134512640 137138936 4291480688 18446744073709551615 134599660 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9793/statm: 3949 1498 192 642 0 3305 0
Current children cumulated CPU time (s) 19.09
Current children cumulated vsize (KiB) 15796

[startup+22.3003 s]
/proc/loadavg: 2.07 2.02 2.00 3/401 9795
/proc/meminfo: memFree=30002868/32950904 swapFree=56615552/67111528
[pid=9793] ppid=9791 vsize=15796 CPUtime=22.29 cores=1,3,5,7
/proc/9793/stat : 9793 (bsolo) R 9791 9793 8078 0 -1 4202496 1561 0 0 0 2221 8 0 0 25 0 1 0 829730586 16175104 1514 33554432000 134512640 137138936 4291480688 18446744073709551615 134575833 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9793/statm: 3949 1514 192 642 0 3305 0
Current children cumulated CPU time (s) 22.29
Current children cumulated vsize (KiB) 15796

[startup+23.9001 s]
/proc/loadavg: 2.07 2.02 2.00 3/401 9795
/proc/meminfo: memFree=30002620/32950904 swapFree=56615552/67111528
[pid=9793] ppid=9791 vsize=15796 CPUtime=23.89 cores=1,3,5,7
/proc/9793/stat : 9793 (bsolo) R 9791 9793 8078 0 -1 4202496 1561 0 0 0 2381 8 0 0 25 0 1 0 829730586 16175104 1514 33554432000 134512640 137138936 4291480688 18446744073709551615 134542149 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9793/statm: 3949 1514 192 642 0 3305 0
Current children cumulated CPU time (s) 23.89
Current children cumulated vsize (KiB) 15796

[startup+24.701 s]
/proc/loadavg: 2.07 2.02 2.00 3/401 9795
/proc/meminfo: memFree=30002752/32950904 swapFree=56615552/67111528
[pid=9793] ppid=9791 vsize=15796 CPUtime=24.7 cores=1,3,5,7
/proc/9793/stat : 9793 (bsolo) R 9791 9793 8078 0 -1 4202496 1561 0 0 0 2461 9 0 0 25 0 1 0 829730586 16175104 1514 33554432000 134512640 137138936 4291480688 18446744073709551615 136520912 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9793/statm: 3949 1514 192 642 0 3305 0
Current children cumulated CPU time (s) 24.7
Current children cumulated vsize (KiB) 15796

[startup+25.1009 s]
/proc/loadavg: 2.07 2.02 2.00 3/401 9795
/proc/meminfo: memFree=30002752/32950904 swapFree=56615552/67111528
[pid=9793] ppid=9791 vsize=15796 CPUtime=25.09 cores=1,3,5,7
/proc/9793/stat : 9793 (bsolo) R 9791 9793 8078 0 -1 4202496 1561 0 0 0 2500 9 0 0 25 0 1 0 829730586 16175104 1514 33554432000 134512640 137138936 4291480688 18446744073709551615 134618530 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9793/statm: 3949 1514 192 642 0 3305 0
Current children cumulated CPU time (s) 25.09
Current children cumulated vsize (KiB) 15796

[startup+25.3149 s]
/proc/loadavg: 2.07 2.02 2.00 3/401 9795
/proc/meminfo: memFree=30002752/32950904 swapFree=56615552/67111528
[pid=9793] ppid=9791 vsize=15796 CPUtime=25.31 cores=1,3,5,7
/proc/9793/stat : 9793 (bsolo) R 9791 9793 8078 0 -1 4202496 1561 0 0 0 2522 9 0 0 25 0 1 0 829730586 16175104 1514 33554432000 134512640 137138936 4291480688 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9793/statm: 3949 1514 192 642 0 3305 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 15796

Child status: 0
Real time (s): 25.3944
CPU time (s): 25.3951
CPU user time (s): 25.3022
CPU system time (s): 0.092985
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 15796

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

runsolver used 0.097985 second user time and 0.238963 second system time

The end

Launcher Data 

Begin job on node121 at 2011-06-04 11:55:08
IDJOB=3462580
IDBENCH=47996
IDSOLVER=1955
FILE ID=node121/3462580-1307181308
RUNJOBID= node121-1307174965-9242
PBS_JOBID= 13508819
Free space on /tmp= 73956 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=239-P1=257-P2=113-P3=223-B.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3462580-1307181308/watcher-3462580-1307181308 -o /tmp/evaluation-result-3462580-1307181308/solver-3462580-1307181308 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3462580-1307181308.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= ff8e4ce8aca8e0dab1b59dd2a47026b4
RANDOM SEED=114911330

node121.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	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.63
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950904 kB
MemFree:      30011272 kB
Buffers:        324464 kB
Cached:         467388 kB
SwapCached:       9896 kB
Active:        2264996 kB
Inactive:       414908 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950904 kB
LowFree:      30011272 kB
SwapTotal:    67111528 kB
SwapFree:     56615552 kB
Dirty:            3952 kB
Writeback:          28 kB
AnonPages:     1885140 kB
Mapped:          13884 kB
Slab:           141768 kB
PageTables:      51920 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586980 kB
Committed_AS: 83574624 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73952 MiB
End job on node121 at 2011-06-04 11:55:34