Trace number 3462643

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=8-P0=53-P1=17-P2=109-P3=2-P4=191-P5=191-P6=47-P7=101-P8=97-B.opb
MD5SUM10ec6ab90ad015d6fa7b4d2290470901
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark8.43172
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2
Optimality of the best value was proved YES
Number of variables192
Total number of constraints17
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 constraints17
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)512
Sum of products size (including duplicates)1024
Number of different products512
Sum of products size1024

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-3462643-1307181553.opb
0.00/0.00	c File size is 9294 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.001 s
0.00/0.00	c Var: 704 Constr: 1049 512/0/537 Lit: 4408 Watch. Lit: 2706
0.00/0.00	c Obj. Vars: 8 (1.13636 % of total variables)
0.00/0.00	c Pre-processing Time: 0.004 s
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0    704     1049     4408    4     3786    5914      0      0 0.00
0.00/0.00	c Switching off lower bounding mode.
32.39/32.47	c      100    704     1234    12656   10     4221    6506    185   5882 0.02
32.39/32.47	c      251    704     1530    29946   19     4955    7157    481   6435 0.04
32.39/32.47	c      476    704     1946    56769   29     6085    7873    897   6704 0.07
32.39/32.47	c      814    704     2537    93769   36     7364    8661   1488   6029 0.14
32.39/32.47	c     1323    704     3525   162572   46     9875    9528   2476   5629 0.23
32.39/32.47	c     2087    704     4986   250830   50    13338   10481   3937   5962 0.35
32.39/32.47	c     3234    704     7134   379731   53    18456   11530   6085   5785 0.56
32.39/32.47	c     4955    704    10509   603865   57    26634   12684   9460   5310 0.93
32.39/32.47	c     7540    704     8955   490240   54    23180   13953   7906   4605 1.64
32.39/32.47	c    11419    704     8969   461217   51    23102   15349   7920   4256 2.68
32.39/32.47	c    17242    704    12117   598903   49    32880   16884  11068   3353 5.14
32.39/32.47	c    25980    704    11059   630953   57    27330   18573  10010   2699 9.62
32.39/32.47	c    39091    704    16761   843789   50    41915   20431  15712   2526 15.47
32.39/32.47	c    58762    704    11857   653890   55    28155   22475  10808   1996 29.43
32.39/32.47	o 129
94.69/94.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
94.69/94.70	c    69056    704    19637  1112054   56    48208    5930  18588   2126 32.47
94.69/94.70	c    69157    704     4200   205557   48    10742    6524   3151   2123 32.57
94.69/94.70	c    69408    704     4691   234997   50    11959    7177   3642   2128 32.61
94.69/94.70	c    69884    704     5602   290082   51    14197    7895   4553   2134 32.73
94.69/94.70	c    70697    704     6998   377463   53    17301    8685   5949   2151 32.87
94.69/94.70	c    72017    704     9537   525763   55    23532    9554   8488   2172 33.15
94.69/94.70	c    74098    704     8726   430209   49    22642   10510   7677   2198 33.70
94.69/94.70	c    77321    704     8838   459269   51    22235   11562   7789   2224 34.75
94.69/94.70	c    82257    704    12058   682390   56    30660   12719  11009   2254 36.48
94.69/94.70	c    89763    704    12818   675612   52    30536   13991  11769   2250 39.89
94.69/94.70	c   101124    704    11310   583692   51    27926   15391  10261   2297 44.02
94.69/94.70	c   118268    704    11434   687609   60    28116   16931  10385   2282 51.81
94.69/94.70	c   144087    704    15286   813770   53    37933   18625  14237   2217 64.96
94.69/94.70	c   182919    704    11942   626025   52    30222   20488  10893   2046 89.37
94.69/94.70	o 69
138.51/138.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
138.51/138.59	c   195221    704    14687   791290   53    36784    5930  13638   2061 94.71
138.51/138.59	c   195321    704     4197   199197   47    11245    6524   3148   2059 94.84
138.51/138.59	c   195571    704     4657   224400   48    12410    7177   3608   2061 94.88
138.51/138.59	c   196047    694     5585   279423   50    14842    7895   4536   2064 94.95
138.51/138.59	c   196860    694     7144   357223   50    18948    8685   6095   2070 95.09
138.51/138.59	c   198180    694     9638   503274   52    25255    9554   8589   2077 95.38
138.51/138.59	c   200262    694     8803   431788   49    23164   10510   7754   2086 95.97
138.51/138.59	c   203485    694     8876   445542   50    22522   11562   7827   2100 96.89
138.51/138.59	c   208422    694    11853   596956   50    30409   12719  10804   2112 98.65
138.51/138.59	c   215928    694    12189   639255   52    30954   13991  11140   2124 101.65
138.51/138.59	c   227289    694    10954   553167   50    27131   15391   9905   2141 106.11
138.51/138.59	c   244433    694    10208   529571   51    24990   16931   9159   2107 116.00
138.51/138.59	c   270252    694    15776   785522   49    39364   18625  14727   2049 131.87
138.51/138.59	o 3
1797.93/1797.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.93/1797.95	c   284530    694    13151   835305   63    31760    5997  12102   2052 138.60
1797.93/1797.95	c   284631    685     4245   207355   48    11153    6597   3196   2052 138.64
1797.93/1797.95	c   284882    667     4662   237395   50    12117    7257   3613   2053 138.73
1797.93/1797.95	c   285363    633     5594   293099   52    14580    7983   4545   2055 138.84
1797.93/1797.95	c   286179    633     7090   388763   54    18118    8782   6041   2058 139.00
1797.93/1797.95	c   287499    633     9537   539777   56    24146    9661   8488   2062 139.39
1797.93/1797.95	c   289580    633     8036   458399   57    19727   10628   6987   2071 139.81
1797.93/1797.95	c   292803    633     8702   468778   53    22455   11691   7653   2078 140.85
1797.93/1797.95	c   297739    633    11703   618779   52    29478   12861  10654   2097 141.93
1797.93/1797.95	c   305250    633    11776   690429   58    28789   14148  10727   2109 144.68
1797.93/1797.95	c   316611    633    10981   587803   53    28201   15563   9932   2132 148.44
1797.93/1797.95	c   333755    633    10195   591250   57    26028   17120   9146   2129 156.76
1797.93/1797.95	c   359575    633    13487   802910   59    32795   18833  12438   2130 168.81
1797.93/1797.95	c   398408    633    17531   881863   50    44172   20717  16482   2092 190.41
1797.93/1797.95	c   456760    633    18920  1059513   55    46721   22789  17871   1977 231.02
1797.93/1797.95	c   544393    633    18483   955653   51    45973   25068  17434   1882 289.22
1797.93/1797.95	c   675945    633    18922   960998   50    45961   27575  17873   1729 390.91
1797.93/1797.95	c   873378    633    21061  1685830   80    50784   30333  20012   1504 580.68
1797.93/1797.95	c  1169631    633    18970  1011765   53    46466   33367  17921   1356 862.02
1797.93/1797.95	c  1614114    633    21182  1270643   59    53214   36704  20133   1271 1269.75
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 -x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 x76 -x77 -x78 -x79 -x80 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 x89 x90 -x91 x92 -x93 x94 -x95 -x96 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 x97 -x98 -x99 -x100 -x101 -x102 -x103 x104 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 x105 -x106 -x107 -x108 -x109 -x110 x111 -x112 x161 -x162 -x163 -x164 -x165 x166 x167 -x168 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x169 -x170 -x171 -x172 x173 x174 -x175 -x176 x121 x122 -x123 x124 -x125 -x126 -x127 -x128 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 
1797.93/1797.95	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.93/1797.95	c   61  2042558  34243  2146385    31048  1591682  29999   1136 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-3462643-1307181553/watcher-3462643-1307181553 -o /tmp/evaluation-result-3462643-1307181553/solver-3462643-1307181553 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462643-1307181553.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.03 2.06 2.01 2/535 26616
/proc/meminfo: memFree=28985208/32951124 swapFree=58212616/67111528
[pid=26616] ppid=26614 vsize=11060 CPUtime=0.01 cores=1,3,5,7
/proc/26616/stat : 26616 (bsolo) R 26614 26616 23781 0 -1 4202496 387 0 0 0 1 0 0 0 25 0 1 0 829753306 11325440 339 33554432000 134512640 137138936 4291395040 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26616/statm: 2765 339 192 642 0 2121 0

[startup+0.0474981 s]
/proc/loadavg: 2.03 2.06 2.01 2/535 26616
/proc/meminfo: memFree=28985208/32951124 swapFree=58212616/67111528
[pid=26616] ppid=26614 vsize=11436 CPUtime=0.04 cores=1,3,5,7
/proc/26616/stat : 26616 (bsolo) R 26614 26616 23781 0 -1 4202496 469 0 0 0 4 0 0 0 25 0 1 0 829753306 11710464 421 33554432000 134512640 137138936 4291395040 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26616/statm: 2859 421 192 642 0 2215 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 11436

[startup+0.1005 s]
/proc/loadavg: 2.03 2.06 2.01 2/535 26616
/proc/meminfo: memFree=28985208/32951124 swapFree=58212616/67111528
[pid=26616] ppid=26614 vsize=12076 CPUtime=0.09 cores=1,3,5,7
/proc/26616/stat : 26616 (bsolo) R 26614 26616 23781 0 -1 4202496 615 0 0 0 9 0 0 0 25 0 1 0 829753306 12365824 567 33554432000 134512640 137138936 4291395040 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26616/statm: 3019 567 192 642 0 2375 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12076

[startup+0.300455 s]
/proc/loadavg: 2.03 2.06 2.01 2/535 26616
/proc/meminfo: memFree=28985208/32951124 swapFree=58212616/67111528
[pid=26616] ppid=26614 vsize=14124 CPUtime=0.29 cores=1,3,5,7
/proc/26616/stat : 26616 (bsolo) R 26614 26616 23781 0 -1 4202496 1124 0 0 0 29 0 0 0 25 0 1 0 829753306 14462976 1076 33554432000 134512640 137138936 4291395040 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26616/statm: 3531 1076 192 642 0 2887 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14124

[startup+0.700385 s]
/proc/loadavg: 2.03 2.06 2.01 2/535 26616
/proc/meminfo: memFree=28985208/32951124 swapFree=58212616/67111528
[pid=26616] ppid=26614 vsize=17868 CPUtime=0.69 cores=1,3,5,7
/proc/26616/stat : 26616 (bsolo) R 26614 26616 23781 0 -1 4202496 2078 0 0 0 69 0 0 0 25 0 1 0 829753306 18296832 2030 33554432000 134512640 137138936 4291395040 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26616/statm: 4467 2030 192 642 0 3823 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17868

[startup+1.50024 s]
/proc/loadavg: 2.03 2.06 2.01 3/536 26617
/proc/meminfo: memFree=28974288/32951124 swapFree=58212616/67111528
[pid=26616] ppid=26614 vsize=22892 CPUtime=1.49 cores=1,3,5,7
/proc/26616/stat : 26616 (bsolo) R 26614 26616 23781 0 -1 4202496 3342 0 0 0 149 0 0 0 25 0 1 0 829753306 23441408 3294 33554432000 134512640 137138936 4291395040 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26616/statm: 5723 3294 192 642 0 5079 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22892

[startup+3.10096 s]
/proc/loadavg: 2.03 2.06 2.01 3/536 26617
/proc/meminfo: memFree=28970568/32951124 swapFree=58212616/67111528
[pid=26616] ppid=26614 vsize=23784 CPUtime=3.09 cores=1,3,5,7
/proc/26616/stat : 26616 (bsolo) R 26614 26616 23781 0 -1 4202496 3566 0 0 0 308 1 0 0 25 0 1 0 829753306 24354816 3518 33554432000 134512640 137138936 4291395040 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26616/statm: 5946 3518 192 642 0 5302 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23784

[startup+6.3004 s]
/proc/loadavg: 2.03 2.05 2.01 3/536 26617
/proc/meminfo: memFree=28968832/32951124 swapFree=58212616/67111528
[pid=26616] ppid=26614 vsize=25800 CPUtime=6.29 cores=1,3,5,7
/proc/26616/stat : 26616 (bsolo) R 26614 26616 23781 0 -1 4202496 4067 0 0 0 628 1 0 0 25 0 1 0 829753306 26419200 4019 33554432000 134512640 137138936 4291395040 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26616/statm: 6450 4019 192 642 0 5806 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 25800

[startup+12.7003 s]
/proc/loadavg: 2.03 2.05 2.01 3/536 26617
/proc/meminfo: memFree=28963956/32951124 swapFree=58212616/67111528
[pid=26616] ppid=26614 vsize=28056 CPUtime=12.69 cores=1,3,5,7
/proc/26616/stat : 26616 (bsolo) R 26614 26616 23781 0 -1 4202496 4625 0 0 0 1266 3 0 0 25 0 1 0 829753306 28729344 4577 33554432000 134512640 137138936 4291395040 18446744073709551615 134607631 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26616/statm: 7014 4577 192 642 0 6370 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 28056

[startup+25.501 s]
/proc/loadavg: 2.02 2.05 2.01 3/536 26617
/proc/meminfo: memFree=28964200/32951124 swapFree=58212616/67111528
[pid=26616] ppid=26614 vsize=28660 CPUtime=25.49 cores=1,3,5,7
/proc/26616/stat : 26616 (bsolo) R 26614 26616 23781 0 -1 4202496 4778 0 0 0 2544 5 0 0 25 0 1 0 829753306 29347840 4730 33554432000 134512640 137138936 4291395040 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26616/statm: 7165 4730 192 642 0 6521 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 28660

[startup+51.1005 s]
/proc/loadavg: 2.01 2.05 2.01 3/536 26618
/proc/meminfo: memFree=28959708/32951124 swapFree=58212616/67111528
[pid=26616] ppid=26614 vsize=31156 CPUtime=51.1 cores=1,3,5,7
/proc/26616/stat : 26616 (bsolo) R 26614 26616 23781 0 -1 4202496 5412 0 0 0 5098 12 0 0 25 0 1 0 829753306 31903744 5364 33554432000 134512640 137138936 4291395040 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26616/statm: 7789 5364 192 642 0 7145 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 31156

[startup+102.32 s]
/proc/loadavg: 2.00 2.04 2.00 3/536 26619
/proc/meminfo: memFree=28958076/32951124 swapFree=58212616/67111528
[pid=26616] ppid=26614 vsize=31156 CPUtime=102.31 cores=1,3,5,7
/proc/26616/stat : 26616 (bsolo) R 26614 26616 23781 0 -1 4202496 5412 0 0 0 10208 23 0 0 25 0 1 0 829753306 31903744 5364 33554432000 134512640 137138936 4291395040 18446744073709551615 136502585 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26616/statm: 7789 5364 192 642 0 7145 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 31156

[startup+162.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 26630
/proc/meminfo: memFree=28955648/32951124 swapFree=58212616/67111528
[pid=26616] ppid=26614 vsize=31008 CPUtime=162.3 cores=1,3,5,7
/proc/26616/stat : 26616 (bsolo) R 26614 26616 23781 0 -1 4202496 5412 0 0 0 16193 37 0 0 25 0 1 0 829753306 31752192 5328 33554432000 134512640 137138936 4291395040 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26616/statm: 7752 5328 192 642 0 7108 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 31008

[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 26632
/proc/meminfo: memFree=28957108/32951124 swapFree=58212616/67111528
[pid=26616] ppid=26614 vsize=31256 CPUtime=222.3 cores=1,3,5,7
/proc/26616/stat : 26616 (bsolo) R 26614 26616 23781 0 -1 4202496 5469 0 0 0 22184 46 0 0 25 0 1 0 829753306 32006144 5383 33554432000 134512640 137138936 4291395040 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26616/statm: 7814 5383 192 642 0 7170 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 31256

[startup+282.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 26633
/proc/meminfo: memFree=28956320/32951124 swapFree=58212616/67111528
[pid=26616] ppid=26614 vsize=31628 CPUtime=282.3 cores=1,3,5,7
/proc/26616/stat : 26616 (bsolo) R 26614 26616 23781 0 -1 4202496 5568 0 0 0 28175 55 0 0 25 0 1 0 829753306 32387072 5482 33554432000 134512640 137138936 4291395040 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26616/statm: 7907 5482 192 642 0 7263 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 31628

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/536 26638
/proc/meminfo: memFree=28953772/32951124 swapFree=58212616/67111528
[pid=26616] ppid=26614 vsize=34900 CPUtime=342.29 cores=1,3,5,7
/proc/26616/stat : 26616 (bsolo) R 26614 26616 23781 0 -1 4202496 6389 0 0 0 34166 63 0 0 25 0 1 0 829753306 35737600 6295 33554432000 134512640 137138936 4291395040 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26616/statm: 8725 6295 192 642 0 8081 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 34900

[startup+402.301 s]
/proc/loadavg: 2.18 2.06 2.02 3/536 26639
/proc/meminfo: memFree=28950492/32951124 swapFree=58212616/67111528
[pid=26616] ppid=26614 vsize=36012 CPUtime=402.3 cores=1,3,5,7
/proc/26616/stat : 26616 (bsolo) R 26614 26616 23781 0 -1 4202496 6674 0 0 0 40160 70 0 0 25 0 1 0 829753306 36876288 6575 33554432000 134512640 137138936 4291395040 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26616/statm: 9003 6575 192 642 0 8359 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 36012

[startup+462.3 s]
/proc/loadavg: 2.18 2.09 2.03 3/536 26641
/proc/meminfo: memFree=28946992/32951124 swapFree=58212616/67111528
[pid=26616] ppid=26614 vsize=39364 CPUtime=462.3 cores=1,3,5,7
/proc/26616/stat : 26616 (bsolo) R 26614 26616 23781 0 -1 4202496 7513 0 0 0 46155 75 0 0 25 0 1 0 829753306 40308736 7414 33554432000 134512640 137138936 4291395040 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26616/statm: 9841 7414 192 642 0 9197 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 39364

[startup+522.301 s]
/proc/loadavg: 2.06 2.07 2.02 3/536 26643
/proc/meminfo: memFree=28947696/32951124 swapFree=58212616/67111528
[pid=26616] ppid=26614 vsize=39356 CPUtime=522.3 cores=1,3,5,7
/proc/26616/stat : 26616 (bsolo) R 26614 26616 23781 0 -1 4202496 7513 0 0 0 52150 80 0 0 25 0 1 0 829753306 40300544 7414 33554432000 134512640 137138936 4291395040 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26616/statm: 9839 7414 192 642 0 9195 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 39356

[startup+582.3 s]
/proc/loadavg: 2.02 2.06 2.02 3/536 26644
/proc/meminfo: memFree=28945312/32951124 swapFree=58212616/67111528
[pid=26616] ppid=26614 vsize=41476 CPUtime=582.31 cores=1,3,5,7
/proc/26616/stat : 26616 (bsolo) R 26614 26616 23781 0 -1 4202496 8039 0 0 0 58145 86 0 0 25 0 1 0 829753306 42471424 7940 33554432000 134512640 137138936 4291395040 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26616/statm: 10369 7940 192 642 0 9725 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 41476

[startup+642.301 s]

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

/proc/meminfo: memFree=28939916/32951124 swapFree=58212616/67111528
[pid=26616] ppid=26614 vsize=44456 CPUtime=1062.32 cores=1,3,5,7
/proc/26616/stat : 26616 (bsolo) R 26614 26616 23781 0 -1 4202496 8791 0 0 0 106088 144 0 0 25 0 1 0 829753306 45522944 8690 33554432000 134512640 137138936 4291395040 18446744073709551615 135984564 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26616/statm: 11114 8690 192 642 0 10470 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 44456

[startup+1122.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/536 26659
/proc/meminfo: memFree=28939252/32951124 swapFree=58212616/67111528
[pid=26616] ppid=26614 vsize=44456 CPUtime=1122.32 cores=1,3,5,7
/proc/26616/stat : 26616 (bsolo) R 26614 26616 23781 0 -1 4202496 8791 0 0 0 112081 151 0 0 25 0 1 0 829753306 45522944 8690 33554432000 134512640 137138936 4291395040 18446744073709551615 134542776 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26616/statm: 11114 8690 192 642 0 10470 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 44456

[startup+1182.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/536 26660
/proc/meminfo: memFree=28939216/32951124 swapFree=58212616/67111528
[pid=26616] ppid=26614 vsize=44456 CPUtime=1182.32 cores=1,3,5,7
/proc/26616/stat : 26616 (bsolo) R 26614 26616 23781 0 -1 4202496 8791 0 0 0 118076 156 0 0 25 0 1 0 829753306 45522944 8690 33554432000 134512640 137138936 4291395040 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26616/statm: 11114 8690 192 642 0 10470 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 44456

[startup+1242.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 26662
/proc/meminfo: memFree=28937064/32951124 swapFree=58212616/67111528
[pid=26616] ppid=26614 vsize=44456 CPUtime=1242.32 cores=1,3,5,7
/proc/26616/stat : 26616 (bsolo) R 26614 26616 23781 0 -1 4202496 8791 0 0 0 124068 164 0 0 25 0 1 0 829753306 45522944 8690 33554432000 134512640 137138936 4291395040 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26616/statm: 11114 8690 192 642 0 10470 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 44456

[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 26663
/proc/meminfo: memFree=28935672/32951124 swapFree=58212616/67111528
[pid=26616] ppid=26614 vsize=44860 CPUtime=1302.33 cores=1,3,5,7
/proc/26616/stat : 26616 (bsolo) R 26614 26616 23781 0 -1 4202496 8898 0 0 0 130061 172 0 0 25 0 1 0 829753306 45936640 8759 33554432000 134512640 137138936 4291395040 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26616/statm: 11215 8759 192 642 0 10571 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 44860

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 26665
/proc/meminfo: memFree=28932788/32951124 swapFree=58212616/67111528
[pid=26616] ppid=26614 vsize=47784 CPUtime=1362.33 cores=1,3,5,7
/proc/26616/stat : 26616 (bsolo) R 26614 26616 23781 0 -1 4202496 9629 0 0 0 136054 179 0 0 25 0 1 0 829753306 48930816 9490 33554432000 134512640 137138936 4291395040 18446744073709551615 134542252 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26616/statm: 11946 9490 192 642 0 11302 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 47784

[startup+1422.32 s]
/proc/loadavg: 2.00 2.01 2.00 3/536 26667
/proc/meminfo: memFree=28933460/32951124 swapFree=58212616/67111528
[pid=26616] ppid=26614 vsize=47784 CPUtime=1422.34 cores=1,3,5,7
/proc/26616/stat : 26616 (bsolo) R 26614 26616 23781 0 -1 4202496 9629 0 0 0 142050 184 0 0 25 0 1 0 829753306 48930816 9490 33554432000 134512640 137138936 4291395040 18446744073709551615 134542787 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26616/statm: 11946 9490 192 642 0 11302 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 47784

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/536 26668
/proc/meminfo: memFree=28933432/32951124 swapFree=58212616/67111528
[pid=26616] ppid=26614 vsize=47784 CPUtime=1482.32 cores=1,3,5,7
/proc/26616/stat : 26616 (bsolo) R 26614 26616 23781 0 -1 4202496 9629 0 0 0 148044 188 0 0 25 0 1 0 829753306 48930816 9490 33554432000 134512640 137138936 4291395040 18446744073709551615 135984556 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26616/statm: 11946 9490 192 642 0 11302 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 47784

[startup+1542.3 s]
/proc/loadavg: 2.11 2.03 2.01 4/536 26670
/proc/meminfo: memFree=28933896/32951124 swapFree=58212616/67111528
[pid=26616] ppid=26614 vsize=47784 CPUtime=1542.33 cores=1,3,5,7
/proc/26616/stat : 26616 (bsolo) R 26614 26616 23781 0 -1 4202496 9629 0 0 0 154039 194 0 0 25 0 1 0 829753306 48930816 9490 33554432000 134512640 137138936 4291395040 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26616/statm: 11946 9490 192 642 0 11302 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 47784

[startup+1602.3 s]
/proc/loadavg: 2.14 2.05 2.01 3/536 26671
/proc/meminfo: memFree=28934096/32951124 swapFree=58212616/67111528
[pid=26616] ppid=26614 vsize=47784 CPUtime=1602.33 cores=1,3,5,7
/proc/26616/stat : 26616 (bsolo) R 26614 26616 23781 0 -1 4202496 9629 0 0 0 160034 199 0 0 25 0 1 0 829753306 48930816 9490 33554432000 134512640 137138936 4291395040 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26616/statm: 11946 9490 192 642 0 11302 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 47784

[startup+1662.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/536 26673
/proc/meminfo: memFree=28933940/32951124 swapFree=58212616/67111528
[pid=26616] ppid=26614 vsize=47784 CPUtime=1662.33 cores=1,3,5,7
/proc/26616/stat : 26616 (bsolo) R 26614 26616 23781 0 -1 4202496 9629 0 0 0 166029 204 0 0 25 0 1 0 829753306 48930816 9490 33554432000 134512640 137138936 4291395040 18446744073709551615 134542930 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26616/statm: 11946 9490 192 642 0 11302 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 47784

[startup+1722.3 s]
/proc/loadavg: 2.03 2.04 2.01 3/536 26702
/proc/meminfo: memFree=28913672/32951124 swapFree=58212616/67111528
[pid=26616] ppid=26614 vsize=47784 CPUtime=1722.33 cores=1,3,5,7
/proc/26616/stat : 26616 (bsolo) R 26614 26616 23781 0 -1 4202496 9629 0 0 0 172024 209 0 0 25 0 1 0 829753306 48930816 9490 33554432000 134512640 137138936 4291395040 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26616/statm: 11946 9490 192 642 0 11302 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 47784

[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/536 26703
/proc/meminfo: memFree=28911428/32951124 swapFree=58212616/67111528
[pid=26616] ppid=26614 vsize=47784 CPUtime=1782.34 cores=1,3,5,7
/proc/26616/stat : 26616 (bsolo) R 26614 26616 23781 0 -1 4202496 9629 0 0 0 178019 215 0 0 25 0 1 0 829753306 48930816 9490 33554432000 134512640 137138936 4291395040 18446744073709551615 134542307 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26616/statm: 11946 9490 192 642 0 11302 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 47784

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

[startup+1785.5 s]
/proc/loadavg: 2.01 2.03 2.00 3/536 26703
/proc/meminfo: memFree=28911428/32951124 swapFree=58212616/67111528
[pid=26616] ppid=26614 vsize=47784 CPUtime=1785.54 cores=1,3,5,7
/proc/26616/stat : 26616 (bsolo) R 26614 26616 23781 0 -1 4202496 9629 0 0 0 178339 215 0 0 25 0 1 0 829753306 48930816 9490 33554432000 134512640 137138936 4291395040 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26616/statm: 11946 9490 192 642 0 11302 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 47784

[startup+1791.92 s]
/proc/loadavg: 2.01 2.03 2.00 3/536 26703
/proc/meminfo: memFree=28912420/32951124 swapFree=58212616/67111528
[pid=26616] ppid=26614 vsize=47784 CPUtime=1791.95 cores=1,3,5,7
/proc/26616/stat : 26616 (bsolo) R 26614 26616 23781 0 -1 4202496 9629 0 0 0 178980 215 0 0 25 0 1 0 829753306 48930816 9490 33554432000 134512640 137138936 4291395040 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26616/statm: 11946 9490 192 642 0 11302 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 47784

[startup+1795.1 s]
/proc/loadavg: 2.01 2.03 2.00 3/536 26704
/proc/meminfo: memFree=28912416/32951124 swapFree=58212616/67111528
[pid=26616] ppid=26614 vsize=47784 CPUtime=1795.15 cores=1,3,5,7
/proc/26616/stat : 26616 (bsolo) R 26614 26616 23781 0 -1 4202496 9629 0 0 0 179299 216 0 0 25 0 1 0 829753306 48930816 9490 33554432000 134512640 137138936 4291395040 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26616/statm: 11946 9490 192 642 0 11302 0
Current children cumulated CPU time (s) 1795.15
Current children cumulated vsize (KiB) 47784

[startup+1796.7 s]
/proc/loadavg: 2.01 2.03 2.00 3/536 26704
/proc/meminfo: memFree=28912416/32951124 swapFree=58212616/67111528
[pid=26616] ppid=26614 vsize=47784 CPUtime=1796.74 cores=1,3,5,7
/proc/26616/stat : 26616 (bsolo) R 26614 26616 23781 0 -1 4202496 9629 0 0 0 179458 216 0 0 25 0 1 0 829753306 48930816 9490 33554432000 134512640 137138936 4291395040 18446744073709551615 134599751 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26616/statm: 11946 9490 192 642 0 11302 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 47784

[startup+1797.5 s]
/proc/loadavg: 2.01 2.03 2.00 3/536 26704
/proc/meminfo: memFree=28912044/32951124 swapFree=58212616/67111528
[pid=26616] ppid=26614 vsize=47784 CPUtime=1797.54 cores=1,3,5,7
/proc/26616/stat : 26616 (bsolo) R 26614 26616 23781 0 -1 4202496 9629 0 0 0 179538 216 0 0 25 0 1 0 829753306 48930816 9490 33554432000 134512640 137138936 4291395040 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26616/statm: 11946 9490 192 642 0 11302 0
Current children cumulated CPU time (s) 1797.54
Current children cumulated vsize (KiB) 47784

[startup+1797.9 s]
/proc/loadavg: 2.01 2.03 2.00 3/536 26704
/proc/meminfo: memFree=28912044/32951124 swapFree=58212616/67111528
[pid=26616] ppid=26614 vsize=47784 CPUtime=1797.93 cores=1,3,5,7
/proc/26616/stat : 26616 (bsolo) R 26614 26616 23781 0 -1 4202496 9629 0 0 0 179577 216 0 0 25 0 1 0 829753306 48930816 9490 33554432000 134512640 137138936 4291395040 18446744073709551615 136520933 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26616/statm: 11946 9490 192 642 0 11302 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 47784

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.84
system time used= 2.16567
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9630
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= 4
involuntary context switches= 3030

runsolver used 8.82266 second user time and 22.2416 second system time

The end

Launcher Data 

Begin job on node136 at 2011-06-04 11:59:13
IDJOB=3462643
IDBENCH=48059
IDSOLVER=1955
FILE ID=node136/3462643-1307181553
RUNJOBID= node136-1307175382-25364
PBS_JOBID= 13508850
Free space on /tmp= 73840 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=53-P1=17-P2=109-P3=2-P4=191-P5=191-P6=47-P7=101-P8=97-B.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3462643-1307181553/watcher-3462643-1307181553 -o /tmp/evaluation-result-3462643-1307181553/solver-3462643-1307181553 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3462643-1307181553.opb

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

MD5SUM BENCH= 10ec6ab90ad015d6fa7b4d2290470901
RANDOM SEED=1650920545

node136.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	: 5332.75
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.75
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.76
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.75
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.83
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.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.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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28985364 kB
Buffers:        294008 kB
Cached:         543896 kB
SwapCached:       7704 kB
Active:        3253788 kB
Inactive:       417184 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28985364 kB
SwapTotal:    67111528 kB
SwapFree:     58212616 kB
Dirty:            3964 kB
Writeback:           0 kB
AnonPages:     2831444 kB
Mapped:          25408 kB
Slab:           156204 kB
PageTables:      68880 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 169251880 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= 73836 MiB
End job on node136 at 2011-06-04 12:29:11