Trace number 3462635

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.2SAT3 1798 1797.96

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=103-P1=127-P2=263-P3=461-P4=191-P5=277-B.opb
MD5SUM773aedb43187ca11a13e2d0d2a59ebe9
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.166973
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 variables135
Total number of constraints11
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 constraints11
Minimum length of a constraint9
Maximum length of a constraint99
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 131072
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 523264
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)405
Sum of products size (including duplicates)810
Number of different products405
Sum of products size810

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-3462635-1307649570.opb
0.00/0.00	c File size is 7079 bytes.
0.00/0.00	c Highest Coefficient sum: 523264
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0 s
0.00/0.00	c Var: 540 Constr: 826 405/0/421 Lit: 3456 Watch. Lit: 2117
0.00/0.00	c Obj. Vars: 9 (1.66667 % of total variables)
0.00/0.00	c Pre-processing Time: 0.002 s
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0    540      826     3456    4     2973    4616      0      0 0.00
0.00/0.00	c Switching off lower bounding mode.
1.49/1.54	c      104    540     1033    19396   18     3475    5078    207   5473 0.02
1.49/1.54	c      256    540     1305    43457   33     4082    5586    479   3555 0.07
1.49/1.54	c      481    540     1740    75830   43     5326    6145    914   4256 0.11
1.49/1.54	c      820    540     2400   124978   52     7084    6760   1574   4385 0.19
1.49/1.54	c     1330    540     3388   201383   59     9627    7437   2562   4767 0.28
1.49/1.54	c     2093    540     4847   293221   60    13537    8181   4021   5067 0.41
1.49/1.54	c     3239    540     7014   466270   66    19169    9000   6188   4749 0.68
1.49/1.54	c     4962    540     5575   382119   68    14639    9901   4749   3975 1.25
1.49/1.54	o 171
343.39/343.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
343.39/343.40	c     6240    540     8035   560970   69    20944    4635   7209   4031 1.55
343.39/343.40	c     6340    540     3336   194460   58     9197    5099   2510   4000 1.58
343.39/343.40	c     6590    540     3813   236594   62    10361    5609   2987   4028 1.64
343.39/343.40	c     7065    540     4730   305268   64    12661    6170   3904   4060 1.74
343.39/343.40	c     7879    529     6279   412135   65    16895    6788   5453   4112 1.92
343.39/343.40	c     9199    529     5261   335539   63    13814    7467   4435   4084 2.25
343.39/343.40	c    11280    529     5316   268129   50    14601    8214   4490   3922 2.88
343.39/343.40	c    14503    529     6922   440171   63    18496    9036   6096   3818 3.80
343.39/343.40	c    19439    529     6941   395696   57    18660    9940   6115   3504 5.55
343.39/343.40	c    26945    529    10413   700238   67    24390   10935   9587   3038 8.87
343.39/343.40	c    38306    529     9726   560038   57    25932   12029   8900   2859 13.39
343.39/343.40	c    55450    529    12283   714844   58    32426   13232  11457   2594 21.37
343.39/343.40	c    81269    529    11824   808194   68    30452   14556  10998   2243 36.23
343.39/343.40	c   120101    529    12500   737653   59    33205   16012  11674   2203 54.49
343.39/343.40	c   178453    529    15150  1141150   75    37411   17614  14324   2087 85.47
343.39/343.40	c   266088    529    18378  1189288   64    46617   19376  17552   2035 130.72
343.39/343.40	c   397641    529    12610   926447   73    30757   21314  11784   2014 197.38
343.39/343.40	c   595074    528    12583   974329   77    32616   23446  11757   1804 329.83
343.39/343.40	o 17
344.09/344.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
344.09/344.15	c   624805    528    20799  1474585   70    55041    4633  19973   1819 343.42
344.09/344.15	c   624908    508     3306   179012   54     8730    5097   2480   1818 343.63
344.09/344.15	c   625159    495     3724   207442   55     9762    5607   2898   1819 343.67
344.09/344.15	c   625634    495     4641   279211   60    11929    6168   3815   1819 343.77
344.09/344.15	c   626449    495     6222   392457   63    15796    6785   5396   1821 343.94
344.09/344.15	o 5
347.60/347.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
347.60/347.61	c   627576    495     4226   236179   55    11026    4650   3400   1823 344.17
347.60/347.61	c   627677    473     4393   247507   56    11585    5116   3567   1823 344.20
347.60/347.61	c   627927    473     4842   277046   57    12661    5628   4016   1823 344.26
347.60/347.61	c   628403    473     5727   329786   57    15136    6191   4901   1824 344.35
347.60/347.61	c   629217    473     3932   205370   52    10609    6811   3106   1826 344.55
347.60/347.61	c   630537    473     6416   353557   55    17149    7493   5590   1828 344.86
347.60/347.61	c   632618    473     5966   381656   63    15342    8243   5140   1831 345.47
347.60/347.61	c   635841    473     7556   439045   58    19781    9068   6730   1835 346.44
347.60/347.61	o 3
1797.93/1797.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.93/1797.95	c   639412    473     9337   570685   61    24318    4623   8511   1839 347.62
1797.93/1797.95	c   639513    463     3346   180363   53     8983    5086   2520   1839 347.67
1797.93/1797.95	c   639764    463     3840   216527   56    10354    5595   3014   1839 347.71
1797.93/1797.95	c   640240    463     4763   276493   58    12942    6155   3937   1840 347.79
1797.93/1797.95	c   641053    463     6245   361943   57    16829    6771   5419   1842 347.97
1797.93/1797.95	c   642374    463     5134   305048   59    13545    7449   4308   1844 348.36
1797.93/1797.95	c   644455    463     5124   279725   54    13489    8194   4298   1846 348.96
1797.93/1797.95	c   647680    463     6959   383684   55    18624    9014   6133   1850 350.09
1797.93/1797.95	c   652617    463     6830   377475   55    18114    9916   6004   1853 352.04
1797.93/1797.95	c   660124    463    10642   746927   70    27699   10908   9816   1861 354.60
1797.93/1797.95	c   671486    463     7924   474457   59    19977   11999   7098   1867 359.64
1797.93/1797.95	c   688631    463     9102   600199   65    23205   13199   8276   1869 368.28
1797.93/1797.95	c   714450    463     8726   500410   57    23202   14519   7900   1880 379.88
1797.93/1797.95	c   753282    448    12411   914153   73    30846   15971  11585   1882 400.19
1797.93/1797.95	c   811635    448    14183   864019   60    36352   17569  13357   1848 439.09
1797.93/1797.95	c   899268    448    14301   925241   64    36038   19326  13475   1806 497.87
1797.93/1797.95	c  1030821    448    18915  1289980   68    48473   21259  18089   1735 593.92
1797.93/1797.95	c  1228253    448    20157  1407724   69    51684   23385  19331   1633 751.71
1797.93/1797.95	c  1524506    447    14081   849628   60    36091   25724  13255   1551 982.67
1797.93/1797.95	c  1968988    446    22403  1448599   64    58315   28297  21577   1455 1352.99
1797.93/1797.95	c Resources Exceeded
1797.93/1797.95	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 -x41 -x42 -x43 -x44 -x45 x46 -x47 x48 x49 -x50 -x51 -x52 -x53 -x54 x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x64 -x65 -x66 -x67 -x68 x69 -x70 -x71 x72 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 x73 -x74 -x75 -x76 -x77 x78 -x79 -x80 -x81 x109 -x110 -x111 -x112 x113 -x114 -x115 x116 -x117 x82 -x83 x84 -x85 -x86 x87 -x88 x89 -x90 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 x129 -x130 -x131 -x132 -x133 -x134 -x135 
1797.93/1797.95	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.93/1797.95	c   59  2421036  18570  2486872    19457  1220796  18631   1346 1798.00
1797.93/1797.95	c Objective: 3
1797.93/1797.95	s SATISFIABLE
1797.93/1797.95	c Total time: 1798 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-3462635-1307649570/watcher-3462635-1307649570 -o /tmp/evaluation-result-3462635-1307649570/solver-3462635-1307649570 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462635-1307649570.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: 1.96 2.00 2.00 2/177 9951
/proc/meminfo: memFree=32615544/32950928 swapFree=67052072/67111528
[pid=9951] ppid=9949 vsize=10924 CPUtime=0 cores=1,3,5,7
/proc/9951/stat : 9951 (bsolo) R 9949 9951 8181 0 -1 4202496 355 0 0 0 0 0 0 0 25 0 1 0 876555727 11186176 307 33554432000 134512640 137138936 4288817248 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9951/statm: 2731 307 192 642 0 2087 0

[startup+0.0858101 s]
/proc/loadavg: 1.96 2.00 2.00 2/177 9951
/proc/meminfo: memFree=32615544/32950928 swapFree=67052072/67111528
[pid=9951] ppid=9949 vsize=11696 CPUtime=0.08 cores=1,3,5,7
/proc/9951/stat : 9951 (bsolo) R 9949 9951 8181 0 -1 4202496 521 0 0 0 8 0 0 0 25 0 1 0 876555727 11976704 473 33554432000 134512640 137138936 4288817248 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9951/statm: 2924 473 192 642 0 2280 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11696

[startup+0.100852 s]
/proc/loadavg: 1.96 2.00 2.00 2/177 9951
/proc/meminfo: memFree=32615544/32950928 swapFree=67052072/67111528
[pid=9951] ppid=9949 vsize=11828 CPUtime=0.09 cores=1,3,5,7
/proc/9951/stat : 9951 (bsolo) R 9949 9951 8181 0 -1 4202496 565 0 0 0 9 0 0 0 25 0 1 0 876555727 12111872 517 33554432000 134512640 137138936 4288817248 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9951/statm: 2957 517 192 642 0 2313 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11828

[startup+0.300772 s]
/proc/loadavg: 1.96 2.00 2.00 2/177 9951
/proc/meminfo: memFree=32615544/32950928 swapFree=67052072/67111528
[pid=9951] ppid=9949 vsize=14020 CPUtime=0.29 cores=1,3,5,7
/proc/9951/stat : 9951 (bsolo) R 9949 9951 8181 0 -1 4202496 1116 0 0 0 29 0 0 0 25 0 1 0 876555727 14356480 1068 33554432000 134512640 137138936 4288817248 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9951/statm: 3505 1068 192 642 0 2861 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14020

[startup+0.700717 s]
/proc/loadavg: 1.96 2.00 2.00 2/177 9951
/proc/meminfo: memFree=32615544/32950928 swapFree=67052072/67111528
[pid=9951] ppid=9949 vsize=17760 CPUtime=0.69 cores=1,3,5,7
/proc/9951/stat : 9951 (bsolo) R 9949 9951 8181 0 -1 4202496 2060 0 0 0 68 1 0 0 25 0 1 0 876555727 18186240 2012 33554432000 134512640 137138936 4288817248 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9951/statm: 4440 2012 192 642 0 3796 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17760

[startup+1.50057 s]
/proc/loadavg: 1.96 2.00 2.00 3/178 9953
/proc/meminfo: memFree=32605420/32950928 swapFree=67052072/67111528
[pid=9951] ppid=9949 vsize=21104 CPUtime=1.49 cores=1,3,5,7
/proc/9951/stat : 9951 (bsolo) R 9949 9951 8181 0 -1 4202496 2877 0 0 0 147 2 0 0 25 0 1 0 876555727 21610496 2829 33554432000 134512640 137138936 4288817248 18446744073709551615 136500308 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9951/statm: 5276 2829 192 642 0 4632 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21104

[startup+3.10029 s]
/proc/loadavg: 1.96 2.00 2.00 3/178 9953
/proc/meminfo: memFree=32603932/32950928 swapFree=67052072/67111528
[pid=9951] ppid=9949 vsize=21088 CPUtime=3.09 cores=1,3,5,7
/proc/9951/stat : 9951 (bsolo) R 9949 9951 8181 0 -1 4202496 2877 0 0 0 306 3 0 0 25 0 1 0 876555727 21594112 2829 33554432000 134512640 137138936 4288817248 18446744073709551615 136296998 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9951/statm: 5272 2829 192 642 0 4628 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21088

[startup+6.30072 s]
/proc/loadavg: 1.96 2.00 2.00 3/178 9953
/proc/meminfo: memFree=32602880/32950928 swapFree=67052072/67111528
[pid=9951] ppid=9949 vsize=21092 CPUtime=6.29 cores=1,3,5,7
/proc/9951/stat : 9951 (bsolo) R 9949 9951 8181 0 -1 4202496 2878 0 0 0 625 4 0 0 25 0 1 0 876555727 21598208 2830 33554432000 134512640 137138936 4288817248 18446744073709551615 136504102 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9951/statm: 5273 2830 192 642 0 4629 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21092

[startup+12.7006 s]
/proc/loadavg: 1.97 2.00 2.00 3/178 9953
/proc/meminfo: memFree=32598852/32950928 swapFree=67052072/67111528
[pid=9951] ppid=9949 vsize=22780 CPUtime=12.69 cores=1,3,5,7
/proc/9951/stat : 9951 (bsolo) R 9949 9951 8181 0 -1 4202496 3304 0 0 0 1263 6 0 0 25 0 1 0 876555727 23326720 3256 33554432000 134512640 137138936 4288817248 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9951/statm: 5695 3256 192 642 0 5051 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22780

[startup+25.5003 s]
/proc/loadavg: 1.97 2.00 2.00 3/178 9953
/proc/meminfo: memFree=32597256/32950928 swapFree=67052072/67111528
[pid=9951] ppid=9949 vsize=25108 CPUtime=25.49 cores=1,3,5,7
/proc/9951/stat : 9951 (bsolo) R 9949 9951 8181 0 -1 4202496 3900 0 0 0 2541 8 0 0 25 0 1 0 876555727 25710592 3852 33554432000 134512640 137138936 4288817248 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9951/statm: 6277 3852 192 642 0 5633 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 25108

[startup+51.1008 s]
/proc/loadavg: 1.98 2.00 2.00 3/178 9954
/proc/meminfo: memFree=32590232/32950928 swapFree=67052072/67111528
[pid=9951] ppid=9949 vsize=26884 CPUtime=51.09 cores=1,3,5,7
/proc/9951/stat : 9951 (bsolo) R 9949 9951 8181 0 -1 4202496 4342 0 0 0 5097 12 0 0 25 0 1 0 876555727 27529216 4294 33554432000 134512640 137138936 4288817248 18446744073709551615 134542149 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9951/statm: 6721 4294 192 642 0 6077 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 26884

[startup+102.307 s]
/proc/loadavg: 1.99 2.00 2.00 3/178 9964
/proc/meminfo: memFree=32585092/32950928 swapFree=67052072/67111528
[pid=9951] ppid=9949 vsize=30824 CPUtime=102.3 cores=1,3,5,7
/proc/9951/stat : 9951 (bsolo) R 9949 9951 8181 0 -1 4202496 5323 0 0 0 10210 20 0 0 25 0 1 0 876555727 31563776 5275 33554432000 134512640 137138936 4288817248 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9951/statm: 7706 5275 192 642 0 7062 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 30824

[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/178 9966
/proc/meminfo: memFree=32580752/32950928 swapFree=67052072/67111528
[pid=9951] ppid=9949 vsize=33244 CPUtime=162.3 cores=1,3,5,7
/proc/9951/stat : 9951 (bsolo) R 9949 9951 8181 0 -1 4202496 5925 0 0 0 16202 28 0 0 25 0 1 0 876555727 34041856 5877 33554432000 134512640 137138936 4288817248 18446744073709551615 134603296 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9951/statm: 8311 5877 192 642 0 7667 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 33244

[startup+222.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/178 9967
/proc/meminfo: memFree=32578348/32950928 swapFree=67052072/67111528
[pid=9951] ppid=9949 vsize=34892 CPUtime=222.29 cores=1,3,5,7
/proc/9951/stat : 9951 (bsolo) R 9949 9951 8181 0 -1 4202496 6339 0 0 0 22192 37 0 0 25 0 1 0 876555727 35729408 6291 33554432000 134512640 137138936 4288817248 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9951/statm: 8723 6291 192 642 0 8079 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 34892

[startup+282.301 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 9969
/proc/meminfo: memFree=32575692/32950928 swapFree=67052072/67111528
[pid=9951] ppid=9949 vsize=35976 CPUtime=282.3 cores=1,3,5,7
/proc/9951/stat : 9951 (bsolo) R 9949 9951 8181 0 -1 4202496 6617 0 0 0 28184 46 0 0 25 0 1 0 876555727 36839424 6569 33554432000 134512640 137138936 4288817248 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9951/statm: 8994 6569 192 642 0 8350 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 35976

[startup+342.301 s]
/proc/loadavg: 2.05 2.02 2.00 3/178 9973
/proc/meminfo: memFree=32570836/32950928 swapFree=67052072/67111528
[pid=9951] ppid=9949 vsize=38296 CPUtime=342.3 cores=1,3,5,7
/proc/9951/stat : 9951 (bsolo) R 9949 9951 8181 0 -1 4202496 7189 0 0 0 34176 54 0 0 25 0 1 0 876555727 39215104 7141 33554432000 134512640 137138936 4288817248 18446744073709551615 134609379 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9951/statm: 9574 7141 192 642 0 8930 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 38296

[startup+402.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 9975
/proc/meminfo: memFree=32570780/32950928 swapFree=67052072/67111528
[pid=9951] ppid=9949 vsize=38176 CPUtime=402.3 cores=1,3,5,7
/proc/9951/stat : 9951 (bsolo) R 9949 9951 8181 0 -1 4202496 7189 0 0 0 40166 64 0 0 25 0 1 0 876555727 39092224 7120 33554432000 134512640 137138936 4288817248 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9951/statm: 9544 7120 192 642 0 8900 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 38176

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 9977
/proc/meminfo: memFree=32570724/32950928 swapFree=67052072/67111528
[pid=9951] ppid=9949 vsize=38176 CPUtime=462.3 cores=1,3,5,7
/proc/9951/stat : 9951 (bsolo) R 9949 9951 8181 0 -1 4202496 7189 0 0 0 46159 71 0 0 25 0 1 0 876555727 39092224 7120 33554432000 134512640 137138936 4288817248 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9951/statm: 9544 7120 192 642 0 8900 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 38176

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9978
/proc/meminfo: memFree=32570916/32950928 swapFree=67052072/67111528
[pid=9951] ppid=9949 vsize=38172 CPUtime=522.3 cores=1,3,5,7
/proc/9951/stat : 9951 (bsolo) R 9949 9951 8181 0 -1 4202496 7189 0 0 0 52153 77 0 0 25 0 1 0 876555727 39088128 7119 33554432000 134512640 137138936 4288817248 18446744073709551615 134539454 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9951/statm: 9543 7119 192 642 0 8899 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 38172

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9980
/proc/meminfo: memFree=32570864/32950928 swapFree=67052072/67111528
[pid=9951] ppid=9949 vsize=38168 CPUtime=582.31 cores=1,3,5,7
/proc/9951/stat : 9951 (bsolo) R 9949 9951 8181 0 -1 4202496 7189 0 0 0 58148 83 0 0 25 0 1 0 876555727 39084032 7118 33554432000 134512640 137138936 4288817248 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9951/statm: 9542 7118 192 642 0 8898 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 38168

[startup+642.301 s]

################
# More data... #
################

/proc/meminfo: memFree=32570812/32950928 swapFree=67052072/67111528
[pid=9951] ppid=9949 vsize=38168 CPUtime=1062.32 cores=1,3,5,7
/proc/9951/stat : 9951 (bsolo) R 9949 9951 8181 0 -1 4202496 7191 0 0 0 106097 135 0 0 25 0 1 0 876555727 39084032 7118 33554432000 134512640 137138936 4288817248 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9951/statm: 9542 7118 192 642 0 8898 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 38168

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9994
/proc/meminfo: memFree=32570768/32950928 swapFree=67052072/67111528
[pid=9951] ppid=9949 vsize=38168 CPUtime=1122.32 cores=1,3,5,7
/proc/9951/stat : 9951 (bsolo) R 9949 9951 8181 0 -1 4202496 7191 0 0 0 112090 142 0 0 25 0 1 0 876555727 39084032 7118 33554432000 134512640 137138936 4288817248 18446744073709551615 134576438 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9951/statm: 9542 7118 192 642 0 8898 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 38168

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10034
/proc/meminfo: memFree=32535488/32950928 swapFree=67052072/67111528
[pid=9951] ppid=9949 vsize=38164 CPUtime=1182.32 cores=1,3,5,7
/proc/9951/stat : 9951 (bsolo) R 9949 9951 8181 0 -1 4202496 7191 0 0 0 118084 148 0 0 25 0 1 0 876555727 39079936 7117 33554432000 134512640 137138936 4288817248 18446744073709551615 134542214 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9951/statm: 9541 7117 192 642 0 8897 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 38164

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10035
/proc/meminfo: memFree=32523752/32950928 swapFree=67052072/67111528
[pid=9951] ppid=9949 vsize=42456 CPUtime=1242.32 cores=1,3,5,7
/proc/9951/stat : 9951 (bsolo) R 9949 9951 8181 0 -1 4202496 8260 0 0 0 124078 154 0 0 25 0 1 0 876555727 43474944 8185 33554432000 134512640 137138936 4288817248 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9951/statm: 10614 8185 192 642 0 9970 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 42456

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10037
/proc/meminfo: memFree=32520216/32950928 swapFree=67052072/67111528
[pid=9951] ppid=9949 vsize=42332 CPUtime=1302.33 cores=1,3,5,7
/proc/9951/stat : 9951 (bsolo) R 9949 9951 8181 0 -1 4202496 8260 0 0 0 130073 160 0 0 25 0 1 0 876555727 43347968 8159 33554432000 134512640 137138936 4288817248 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9951/statm: 10583 8159 192 642 0 9939 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 42332

[startup+1362.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 10039
/proc/meminfo: memFree=32516792/32950928 swapFree=67052072/67111528
[pid=9951] ppid=9949 vsize=42184 CPUtime=1362.32 cores=1,3,5,7
/proc/9951/stat : 9951 (bsolo) R 9949 9951 8181 0 -1 4202496 8262 0 0 0 136068 164 0 0 25 0 1 0 876555727 43196416 8122 33554432000 134512640 137138936 4288817248 18446744073709551615 134572941 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9951/statm: 10546 8122 192 642 0 9902 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 42184

[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 10040
/proc/meminfo: memFree=32516476/32950928 swapFree=67052072/67111528
[pid=9951] ppid=9949 vsize=41960 CPUtime=1422.33 cores=1,3,5,7
/proc/9951/stat : 9951 (bsolo) R 9949 9951 8181 0 -1 4202496 8262 0 0 0 142064 169 0 0 25 0 1 0 876555727 42967040 8065 33554432000 134512640 137138936 4288817248 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9951/statm: 10490 8065 192 642 0 9846 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 41960

[startup+1482.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/178 10042
/proc/meminfo: memFree=32512672/32950928 swapFree=67052072/67111528
[pid=9951] ppid=9949 vsize=41956 CPUtime=1482.32 cores=1,3,5,7
/proc/9951/stat : 9951 (bsolo) R 9949 9951 8181 0 -1 4202496 8262 0 0 0 148058 174 0 0 25 0 1 0 876555727 42962944 8064 33554432000 134512640 137138936 4288817248 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9951/statm: 10489 8064 192 642 0 9845 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 41956

[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 10043
/proc/meminfo: memFree=32512868/32950928 swapFree=67052072/67111528
[pid=9951] ppid=9949 vsize=41952 CPUtime=1542.33 cores=1,3,5,7
/proc/9951/stat : 9951 (bsolo) R 9949 9951 8181 0 -1 4202496 8262 0 0 0 154053 180 0 0 25 0 1 0 876555727 42958848 8063 33554432000 134512640 137138936 4288817248 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9951/statm: 10488 8063 192 642 0 9844 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 41952

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 10045
/proc/meminfo: memFree=32513036/32950928 swapFree=67052072/67111528
[pid=9951] ppid=9949 vsize=41948 CPUtime=1602.32 cores=1,3,5,7
/proc/9951/stat : 9951 (bsolo) R 9949 9951 8181 0 -1 4202496 8262 0 0 0 160047 185 0 0 25 0 1 0 876555727 42954752 8062 33554432000 134512640 137138936 4288817248 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9951/statm: 10487 8062 192 642 0 9843 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 41948

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10047
/proc/meminfo: memFree=32513460/32950928 swapFree=67052072/67111528
[pid=9951] ppid=9949 vsize=41944 CPUtime=1662.33 cores=1,3,5,7
/proc/9951/stat : 9951 (bsolo) R 9949 9951 8181 0 -1 4202496 8262 0 0 0 166044 189 0 0 25 0 1 0 876555727 42950656 8061 33554432000 134512640 137138936 4288817248 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9951/statm: 10486 8061 192 642 0 9842 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 41944

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10048
/proc/meminfo: memFree=32513380/32950928 swapFree=67052072/67111528
[pid=9951] ppid=9949 vsize=41944 CPUtime=1722.33 cores=1,3,5,7
/proc/9951/stat : 9951 (bsolo) R 9949 9951 8181 0 -1 4202496 8262 0 0 0 172040 193 0 0 25 0 1 0 876555727 42950656 8061 33554432000 134512640 137138936 4288817248 18446744073709551615 136502581 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9951/statm: 10486 8061 192 642 0 9842 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 41944

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10050
/proc/meminfo: memFree=32512332/32950928 swapFree=67052072/67111528
[pid=9951] ppid=9949 vsize=41944 CPUtime=1782.34 cores=1,3,5,7
/proc/9951/stat : 9951 (bsolo) R 9949 9951 8181 0 -1 4202496 8262 0 0 0 178036 198 0 0 25 0 1 0 876555727 42950656 8061 33554432000 134512640 137138936 4288817248 18446744073709551615 134575454 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9951/statm: 10486 8061 192 642 0 9842 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 41944

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10050
/proc/meminfo: memFree=32512332/32950928 swapFree=67052072/67111528
[pid=9951] ppid=9949 vsize=41944 CPUtime=1785.53 cores=1,3,5,7
/proc/9951/stat : 9951 (bsolo) R 9949 9951 8181 0 -1 4202496 8262 0 0 0 178355 198 0 0 25 0 1 0 876555727 42950656 8061 33554432000 134512640 137138936 4288817248 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9951/statm: 10486 8061 192 642 0 9842 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 41944

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10050
/proc/meminfo: memFree=32512320/32950928 swapFree=67052072/67111528
[pid=9951] ppid=9949 vsize=41944 CPUtime=1791.94 cores=1,3,5,7
/proc/9951/stat : 9951 (bsolo) R 9949 9951 8181 0 -1 4202496 8262 0 0 0 178995 199 0 0 25 0 1 0 876555727 42950656 8061 33554432000 134512640 137138936 4288817248 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9951/statm: 10486 8061 192 642 0 9842 0
Current children cumulated CPU time (s) 1791.94
Current children cumulated vsize (KiB) 41944

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10050
/proc/meminfo: memFree=32512320/32950928 swapFree=67052072/67111528
[pid=9951] ppid=9949 vsize=41944 CPUtime=1795.14 cores=1,3,5,7
/proc/9951/stat : 9951 (bsolo) R 9949 9951 8181 0 -1 4202496 8262 0 0 0 179314 200 0 0 25 0 1 0 876555727 42950656 8061 33554432000 134512640 137138936 4288817248 18446744073709551615 134618161 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9951/statm: 10486 8061 192 642 0 9842 0
Current children cumulated CPU time (s) 1795.14
Current children cumulated vsize (KiB) 41944

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10050
/proc/meminfo: memFree=32512320/32950928 swapFree=67052072/67111528
[pid=9951] ppid=9949 vsize=41944 CPUtime=1796.74 cores=1,3,5,7
/proc/9951/stat : 9951 (bsolo) R 9949 9951 8181 0 -1 4202496 8262 0 0 0 179474 200 0 0 25 0 1 0 876555727 42950656 8061 33554432000 134512640 137138936 4288817248 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9951/statm: 10486 8061 192 642 0 9842 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 41944

[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10050
/proc/meminfo: memFree=32512320/32950928 swapFree=67052072/67111528
[pid=9951] ppid=9949 vsize=41944 CPUtime=1797.53 cores=1,3,5,7
/proc/9951/stat : 9951 (bsolo) R 9949 9951 8181 0 -1 4202496 8262 0 0 0 179553 200 0 0 25 0 1 0 876555727 42950656 8061 33554432000 134512640 137138936 4288817248 18446744073709551615 136521046 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9951/statm: 10486 8061 192 642 0 9842 0
Current children cumulated CPU time (s) 1797.53
Current children cumulated vsize (KiB) 41944

[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10050
/proc/meminfo: memFree=32512320/32950928 swapFree=67052072/67111528
[pid=9951] ppid=9949 vsize=41944 CPUtime=1797.93 cores=1,3,5,7
/proc/9951/stat : 9951 (bsolo) R 9949 9951 8181 0 -1 4202496 8262 0 0 0 179593 200 0 0 25 0 1 0 876555727 42950656 8061 33554432000 134512640 137138936 4288817248 18446744073709551615 134575867 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9951/statm: 10486 8061 192 642 0 9842 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 41944

Child status: 0
Real time (s): 1797.96
CPU time (s): 1798
CPU user time (s): 1796
CPU system time (s): 2.00669
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 42456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796
system time used= 2.00669
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8263
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= 5
involuntary context switches= 4787

runsolver used 2.72159 second user time and 6.14307 second system time

The end

Launcher Data 

Begin job on node120 at 2011-06-09 21:59:30
IDJOB=3462635
IDBENCH=48051
IDSOLVER=1955
FILE ID=node120/3462635-1307649570
RUNJOBID= node120-1307649562-9696
PBS_JOBID= 13549392
Free space on /tmp= 74040 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=103-P1=127-P2=263-P3=461-P4=191-P5=277-B.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3462635-1307649570/watcher-3462635-1307649570 -o /tmp/evaluation-result-3462635-1307649570/solver-3462635-1307649570 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3462635-1307649570.opb

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

MD5SUM BENCH= 773aedb43187ca11a13e2d0d2a59ebe9
RANDOM SEED=111485320

node120.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.809
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.61
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.809
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.809
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.82
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.809
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.75
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.809
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.78
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.809
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.75
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.809
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.82
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.809
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:     32950928 kB
MemFree:      32616352 kB
Buffers:         38744 kB
Cached:         116312 kB
SwapCached:      11056 kB
Active:         102624 kB
Inactive:        82024 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      32616352 kB
SwapTotal:    67111528 kB
SwapFree:     67052072 kB
Dirty:            8320 kB
Writeback:           0 kB
AnonPages:       27120 kB
Mapped:           9976 kB
Slab:            86488 kB
PageTables:       3952 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   229420 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= 74036 MiB
End job on node120 at 2011-06-09 22:29:28