Trace number 3737463

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
PB07: bsolo 3.0.17SAT (TO)-10 1800.08 1800.62

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_100_25_1.opb
MD5SUMfd0cd32338d58e5da2d0a0f96e14ad7d
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-15
Best CPU time to get the best result obtained on this benchmark1797.5
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -16
Optimality of the best value was proved NO
Number of variables200
Total number of constraints301
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints201
Minimum length of a constraint2
Maximum length of a constraint200
Number of terms in the objective function 100
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)6076
Sum of products size (including duplicates)12152
Number of different products3038
Sum of products size6076

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.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho 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 Memory Limit set to 15500 MB
0.00/0.00	c Instance file HOME/instance-3737463-1338720191.opb
0.00/0.00	c File size is 78639 bytes.
0.00/0.02	c Highest Coefficient sum: 200
0.00/0.02	c Parsing was ok!!
0.00/0.02	c Total parsing time: 0.017 s
0.00/0.02	c Var: 6276 Constr: 12454 6176/202/6076 Lit: 43132 Watch. Lit: 36858
0.00/0.02	c Obj. Vars: 100 (1.59337 % of total variables)
7.38/7.47	c Pre-processing Time: 7.469 s
7.38/7.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.38/7.47	c        0   6276    12454    43132    3    36858  101162      0      0 7.47
7.38/7.47	c Switching off LPR mode.
7.38/7.48	o -1	7.471
7.38/7.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.38/7.48	c        0   6276    12455    43232    3    36861  101229      1      0 7.47
7.38/7.48	o -2	7.473
7.38/7.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.38/7.48	c        0   6276    12456    43332    3    36865  101329      2      0 7.47
7.38/7.48	o -3	7.475
7.38/7.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.38/7.48	c        0   6276    12457    43432    3    36870  101462      3      0 7.48
7.38/7.48	o -4	7.478
7.38/7.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.38/7.49	c        0   6276    12458    43532    3    36876  101629      4      0 7.48
7.38/7.49	o -5	7.48
7.38/7.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.38/7.49	c        0   6276    12459    43632    3    36883  101829      5      0 7.48
7.38/7.49	o -6	7.486
7.48/7.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.48/7.57	c        8   6276    12468    44532    3    36907  101862     14      1 7.49
7.48/7.57	c      108   6276    12568    56770    4    37107  112049    114     14 7.51
7.48/7.57	c      358   6276    12818    90919    7    37607  123254    364     47 7.55
7.48/7.57	o -7	7.562
23.17/23.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
23.17/23.29	c      399   6276    12860    95419    7    37698  101896    406     52 7.56
23.17/23.29	c      499   6276    12960   107378    8    37898  112086    506     65 7.59
23.17/23.29	c      749   6276    13210   136153   10    38398  123295    756     98 7.63
23.17/23.29	c     1224   6276    13685   193886   14    39348  135625   1231    158 7.70
23.17/23.29	c     2037   6276    14498   292412   20    40974  149188   2044    260 7.82
23.17/23.29	c     3357   6276    15818   444288   28    43614  164107   3364    413 8.12
23.17/23.29	c     5438   6276    17899   679309   37    47776  180518   5445    640 8.48
23.17/23.29	c     8661   6276    21122  1066908   50    54222  198570   8668    947 9.14
23.17/23.29	c    13597   6276    26058  1680687   64    64094  218428  13604   1339 10.15
23.17/23.29	c    21103   6276    33564  2774393   82    79106  240271  21110   1665 12.67
23.17/23.29	c    32464   6276    44925  4257963   94   101828  264299  32471   2029 16.00
23.17/23.29	c    49608   6276    62069  6529677  105   136116  290729  49615   2319 21.39
23.17/23.29	o -8	23.277
108.90/109.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
108.90/109.05	c    54002   6276    66464  7003452  105   144914  101929  54010   2319 23.28
108.90/109.05	c    54102   6276    66564  7014582  105   145114  112122  54110   2317 23.34
108.90/109.05	c    54352   6276    66814  7040975  105   145614  123335  54360   2318 23.45
108.90/109.05	c    54827   6276    67289  7094863  105   146564  135669  54835   2319 23.64
108.90/109.05	c    55640   6276    68102  7187235  105   148190  149236  55648   2323 23.95
108.90/109.05	c    56960   6276    69422  7330908  105   150830  164160  56968   2326 24.49
108.90/109.05	c    59041   6276    71503  7561116  105   154992  180577  59049   2325 25.38
108.90/109.05	c    62264   6276    74726  7923826  106   161438  198635  62272   2331 26.70
108.90/109.05	c    67200   6276    79662  8474818  106   171310  218499  67208   2380 28.23
108.90/109.05	c    74706   6276    87168  9374805  107   186322  240349  74714   2365 31.58
108.90/109.05	c    86067   6276    98529 10609514  107   209044  264384  86075   2419 35.57
108.90/109.05	c   103211   6276   115673 12632623  109   243332  290823 103219   2235 46.18
108.90/109.05	c   129030   6276   141492 15752600  111   294970  319906 129038   2161 59.68
108.90/109.05	c   167864   6276   180326 20375512  112   372638  351897 167872   1811 92.68
108.90/109.05	o -9	108.967
520.78/521.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
520.78/521.05	c   179965   6276   192428 21884911  113   396851  101962 179974   1651 108.97
520.78/521.05	c   180065   6276    25504  1653390   64    62967  112159  13050   1152 156.23
520.78/521.05	c   180315   6276    25754  1680557   65    63467  123375  13300   1153 156.26
520.78/521.05	c   180790   6276    26229  1733215   66    64417  135713  13775   1156 156.32
520.78/521.05	c   181603   6276    27042  1817218   67    66043  149285  14588   1160 156.44
520.78/521.05	c   182923   6276    28362  1951657   68    68683  164214  15908   1168 156.59
520.78/521.05	c   185004   6276    30443  2165542   71    72845  180636  17989   1179 156.85
520.78/521.05	c   188227   6276    33666  2501624   74    79291  198700  21212   1196 157.36
520.78/521.05	c   193163   6276    38602  3015007   78    89163  218571  26148   1218 158.51
520.78/521.05	c   200669   6276    46108  3835450   83   104175  240429  33654   1252 160.18
520.78/521.05	c   212030   6276    57469  5147522   89   126897  264472  45015   1292 164.06
520.78/521.05	c   229174   6276    74613  7104661   95   161185  290920  62159   1333 171.84
520.78/521.05	c   254993   6276   100432 10051422  100   212823  320013  87978   1373 185.59
520.78/521.05	c   293825   6276   139264 14709929  105   290487  352015 126810   1347 218.01
520.78/521.05	c   352177   6276   197616 22398451  113   407191  387217 185162   1213 290.26
520.78/521.05	c   439809   6276   285248 33151981  116   582455  425939 272794    988 444.82
520.78/521.05	o -10	520.844
1800.06/1800.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.06/1800.61	c   469970   6276   315410 36789733  116   642789  101529 302956    902 520.85
1800.06/1800.61	c   470070   6276    26329  1795471   68    64618  111682  13875    748 627.77
1800.06/1800.61	c   470320   6276    26579  1824443   68    65118  122851  14125    749 627.81
1800.06/1800.61	c   470795   6276    27054  1880230   69    66068  135137  14600    749 627.92
1800.06/1800.61	c   471608   6276    27867  1969297   70    67694  148651  15413    750 628.06
1800.06/1800.61	c   472928   6276    29187  2109220   72    70334  163517  16733    752 628.33
1800.06/1800.61	c   475009   6276    31268  2327813   74    74496  179869  18814    755 628.69
1800.06/1800.61	c   478232   6276    34491  2659275   77    80942  197856  22037    760 629.17
1800.06/1800.61	c   483168   6276    39427  3184243   80    90814  217642  26973    766 630.29
1800.06/1800.61	c   490674   6276    46933  3977676   84   105826  239407  34479    776 632.29
1800.06/1800.61	c   502035   6276    58294  5250665   90   128548  263348  45840    788 636.54
1800.06/1800.61	c   519179   6276    75438  7059380   93   162836  289683  62984    807 642.62
1800.06/1800.61	c   544999   6276   101258  9679138   95   214476  318652  88804    834 653.07
1800.06/1800.61	c   583832   6276   140091 14023202  100   292142  350518 127637    851 685.33
1800.06/1800.61	c   642184   6276   198443 21187263  106   408846  385570 185989    893 718.45
1800.06/1800.61	c   729816   6276   286075 32634031  114   584110  424128 273621    825 883.57
1800.06/1800.61	c   861368   6276   417627 49213996  117   847214  466541 405173    670 1284.68
1800.06/1800.61	c Caught signal: 15
1800.06/1800.61	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 -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 x90 -x91 -x92 -x93 -x94 -x95 x96 -x97 -x98 -x99 -x100 -x184 -x187 -x178 -x116 -x194 -x136 -x193 -x150 -x122 -x163 -x128 x191 -x160 -x164 -x127 -x141 -x173 -x137 -x112 -x169 -x168 -x130 -x183 x131 -x124 -x107 -x110 -x117 -x118 -x120 -x134 -x142 -x145 -x148 -x158 x167 x175 -x176 -x177 -x181 -x186 -x196 -x199 x101 -x103 -x123 x159 -x170 -x157 -x143 -x174 -x185 x138 -x125 -x171 -x114 -x192 -x104 -x105 -x133 -x161 -x195 -x102 -x197 -x182 -x106 -x126 -x147 -x146 -x115 -x135 -x165 -x144 -x151 -x188 -x109 -x149 -x152 -x156 -x179 x189 -x155 x200 -x140 -x113 -x198 -x153 -x129 -x166 -x190 -x132 -x172 -x154 -x108 -x119 -x180 -x121 -x139 -x111 x162 
1800.06/1800.61	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.06/1800.61	c   67   978882    336  1015647    76467  9617270  64013    543 1800.07
1800.06/1800.61	c Objective: -10
1800.06/1800.61	s SATISFIABLE
1800.06/1800.61	c Total time: 1800.07 s

Verifier Data 

OK	-10

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3737463-1338720191/watcher-3737463-1338720191 -o /tmp/evaluation-result-3737463-1338720191/solver-3737463-1338720191 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3737463-1338720191.opb 

running on 4 cores: 0,2,4,6

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.00 2.00 2.03 2/176 9165
/proc/meminfo: memFree=24317664/32873648 swapFree=6852/6852
[pid=9165] ppid=9163 vsize=4476 CPUtime=0 cores=0,2,4,6
/proc/9165/stat : 9165 (bsolo3.0.17) R 9163 9165 8706 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 338146347 4583424 157 33554432000 134512640 135840783 4290783824 4290782792 11435146 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9165/statm: 1119 157 136 325 0 39 0

[startup+0.0718001 s]
/proc/loadavg: 2.00 2.00 2.03 2/176 9165
/proc/meminfo: memFree=24317664/32873648 swapFree=6852/6852
[pid=9165] ppid=9163 vsize=7856 CPUtime=0.06 cores=0,2,4,6
/proc/9165/stat : 9165 (bsolo3.0.17) R 9163 9165 8706 0 -1 4202496 1307 0 0 0 6 0 0 0 20 0 1 0 338146347 8044544 1223 33554432000 134512640 135840783 4290783824 4290707488 134550872 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9165/statm: 1964 1223 343 325 0 900 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 7856

[startup+0.100225 s]
/proc/loadavg: 2.00 2.00 2.03 2/176 9165
/proc/meminfo: memFree=24317664/32873648 swapFree=6852/6852
[pid=9165] ppid=9163 vsize=7856 CPUtime=0.09 cores=0,2,4,6
/proc/9165/stat : 9165 (bsolo3.0.17) R 9163 9165 8706 0 -1 4202496 1308 0 0 0 9 0 0 0 20 0 1 0 338146347 8044544 1224 33554432000 134512640 135840783 4290783824 4290707488 134551532 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9165/statm: 1964 1224 343 325 0 900 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7856

[startup+0.300176 s]
/proc/loadavg: 2.00 2.00 2.03 2/176 9165
/proc/meminfo: memFree=24317664/32873648 swapFree=6852/6852
[pid=9165] ppid=9163 vsize=7856 CPUtime=0.28 cores=0,2,4,6
/proc/9165/stat : 9165 (bsolo3.0.17) R 9163 9165 8706 0 -1 4202496 1308 0 0 0 28 0 0 0 20 0 1 0 338146347 8044544 1224 33554432000 134512640 135840783 4290783824 4290707648 134552068 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9165/statm: 1964 1224 343 325 0 900 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 7856

[startup+0.700173 s]
/proc/loadavg: 2.00 2.00 2.03 2/176 9165
/proc/meminfo: memFree=24317664/32873648 swapFree=6852/6852
[pid=9165] ppid=9163 vsize=7856 CPUtime=0.68 cores=0,2,4,6
/proc/9165/stat : 9165 (bsolo3.0.17) R 9163 9165 8706 0 -1 4202496 1308 0 0 0 68 0 0 0 20 0 1 0 338146347 8044544 1224 33554432000 134512640 135840783 4290783824 4290707264 12001778 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9165/statm: 1964 1224 343 325 0 900 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 7856

[startup+1.50018 s]
/proc/loadavg: 2.00 2.00 2.03 3/177 9166
/proc/meminfo: memFree=24314300/32873648 swapFree=6852/6852
[pid=9165] ppid=9163 vsize=7856 CPUtime=1.48 cores=0,2,4,6
/proc/9165/stat : 9165 (bsolo3.0.17) R 9163 9165 8706 0 -1 4202496 1308 0 0 0 148 0 0 0 20 0 1 0 338146347 8044544 1224 33554432000 134512640 135840783 4290783824 4290707156 11989261 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9165/statm: 1964 1224 343 325 0 900 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 7856

[startup+3.10018 s]
/proc/loadavg: 2.00 2.00 2.03 3/177 9166
/proc/meminfo: memFree=24313804/32873648 swapFree=6852/6852
[pid=9165] ppid=9163 vsize=7856 CPUtime=3.08 cores=0,2,4,6
/proc/9165/stat : 9165 (bsolo3.0.17) R 9163 9165 8706 0 -1 4202496 1308 0 0 0 308 0 0 0 20 0 1 0 338146347 8044544 1224 33554432000 134512640 135840783 4290783824 4290707600 134583076 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9165/statm: 1964 1224 343 325 0 900 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 7856

[startup+6.30022 s]
/proc/loadavg: 2.00 2.00 2.03 3/177 9166
/proc/meminfo: memFree=24313664/32873648 swapFree=6852/6852
[pid=9165] ppid=9163 vsize=7856 CPUtime=6.28 cores=0,2,4,6
/proc/9165/stat : 9165 (bsolo3.0.17) R 9163 9165 8706 0 -1 4202496 1308 0 0 0 628 0 0 0 20 0 1 0 338146347 8044544 1224 33554432000 134512640 135840783 4290783824 4290707628 4748336 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9165/statm: 1964 1224 343 325 0 900 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 7856

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.03 3/177 9166
/proc/meminfo: memFree=24280464/32873648 swapFree=6852/6852
[pid=9165] ppid=9163 vsize=45112 CPUtime=12.69 cores=0,2,4,6
/proc/9165/stat : 9165 (bsolo3.0.17) R 9163 9165 8706 0 -1 4202496 10901 0 0 0 1265 4 0 0 20 0 1 0 338146347 46194688 10557 33554432000 134512640 135840783 4290783824 4290780352 12002599 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9165/statm: 11278 10557 349 325 0 10214 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 45112

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.03 3/177 9166
/proc/meminfo: memFree=24212608/32873648 swapFree=6852/6852
[pid=9165] ppid=9163 vsize=110540 CPUtime=25.47 cores=0,2,4,6
/proc/9165/stat : 9165 (bsolo3.0.17) R 9163 9165 8706 0 -1 4202496 27268 0 0 0 2539 8 0 0 20 0 1 0 338146347 113192960 26910 33554432000 134512640 135840783 4290783824 4290781456 12002599 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9165/statm: 27635 26911 349 325 0 26571 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 110540

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.03 3/177 9166
/proc/meminfo: memFree=24131424/32873648 swapFree=6852/6852
[pid=9165] ppid=9163 vsize=192800 CPUtime=51.05 cores=0,2,4,6
/proc/9165/stat : 9165 (bsolo3.0.17) R 9163 9165 8706 0 -1 4202496 47849 0 0 0 5091 14 0 0 20 0 1 0 338146347 197427200 47477 33554432000 134512640 135840783 4290783824 4290783184 134551048 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9165/statm: 48200 47477 349 325 0 47136 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 192800

[startup+102.307 s]
/proc/loadavg: 2.10 2.03 2.03 3/177 9166
/proc/meminfo: memFree=24024952/32873648 swapFree=6852/6852
[pid=9165] ppid=9163 vsize=297268 CPUtime=102.21 cores=0,2,4,6
/proc/9165/stat : 9165 (bsolo3.0.17) R 9163 9165 8706 0 -1 4202496 73996 0 0 0 10199 22 0 0 20 0 1 0 338146347 304402432 73585 33554432000 134512640 135840783 4290783824 4290782908 11627263 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9165/statm: 74317 73585 349 325 0 73253 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 297268

[startup+162.3 s]
/proc/loadavg: 2.03 2.02 2.03 3/177 9166
/proc/meminfo: memFree=24015556/32873648 swapFree=6852/6852
[pid=9165] ppid=9163 vsize=305888 CPUtime=162.16 cores=0,2,4,6
/proc/9165/stat : 9165 (bsolo3.0.17) R 9163 9165 8706 0 -1 4202496 76372 0 0 0 16192 24 0 0 20 0 1 0 338146347 313229312 75737 33554432000 134512640 135840783 4290783824 4290780512 11999997 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9165/statm: 76472 75737 349 325 0 75408 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 305888

[startup+222.3 s]
/proc/loadavg: 2.01 2.02 2.02 3/177 9167
/proc/meminfo: memFree=24015812/32873648 swapFree=6852/6852
[pid=9165] ppid=9163 vsize=305888 CPUtime=222.13 cores=0,2,4,6
/proc/9165/stat : 9165 (bsolo3.0.17) R 9163 9165 8706 0 -1 4202496 76399 0 0 0 22189 24 0 0 20 0 1 0 338146347 313229312 75737 33554432000 134512640 135840783 4290783824 4290783184 134550872 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9165/statm: 76472 75737 349 325 0 75408 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 305888

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/177 9167
/proc/meminfo: memFree=24015564/32873648 swapFree=6852/6852
[pid=9165] ppid=9163 vsize=305888 CPUtime=282.12 cores=0,2,4,6
/proc/9165/stat : 9165 (bsolo3.0.17) R 9163 9165 8706 0 -1 4202496 76399 0 0 0 28188 24 0 0 20 0 1 0 338146347 313229312 75737 33554432000 134512640 135840783 4290783824 4290783184 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9165/statm: 76472 75737 349 325 0 75408 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 305888

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/177 9167
/proc/meminfo: memFree=23966460/32873648 swapFree=6852/6852
[pid=9165] ppid=9163 vsize=356052 CPUtime=342.11 cores=0,2,4,6
/proc/9165/stat : 9165 (bsolo3.0.17) R 9163 9165 8706 0 -1 4202496 88956 0 0 0 34181 30 0 0 20 0 1 0 338146347 364597248 88294 33554432000 134512640 135840783 4290783824 4290783136 134551048 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9165/statm: 89013 88294 349 325 0 87949 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 356052

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9167
/proc/meminfo: memFree=23907436/32873648 swapFree=6852/6852
[pid=9165] ppid=9163 vsize=415728 CPUtime=402.11 cores=0,2,4,6
/proc/9165/stat : 9165 (bsolo3.0.17) R 9163 9165 8706 0 -1 4202496 103865 0 0 0 40174 37 0 0 20 0 1 0 338146347 425705472 103203 33554432000 134512640 135840783 4290783824 4290783184 134550872 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9165/statm: 103932 103203 349 325 0 102868 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 415728

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9170
/proc/meminfo: memFree=23850252/32873648 swapFree=6852/6852
[pid=9165] ppid=9163 vsize=472264 CPUtime=462.09 cores=0,2,4,6
/proc/9165/stat : 9165 (bsolo3.0.17) R 9163 9165 8706 0 -1 4202496 118000 0 0 0 46167 42 0 0 20 0 1 0 338146347 483598336 117338 33554432000 134512640 135840783 4290783824 4290780400 12002599 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9165/statm: 118066 117338 349 325 0 117002 0
Current children cumulated CPU time (s) 462.09
Current children cumulated vsize (KiB) 472264

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9171
/proc/meminfo: memFree=23812316/32873648 swapFree=6852/6852
[pid=9165] ppid=9163 vsize=509180 CPUtime=522.08 cores=0,2,4,6
/proc/9165/stat : 9165 (bsolo3.0.17) R 9163 9165 8706 0 -1 4202496 127524 0 0 0 52162 46 0 0 20 0 1 0 338146347 521400320 126566 33554432000 134512640 135840783 4290783824 4290783248 134546112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9165/statm: 127295 126566 349 325 0 126231 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 509180

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9171
/proc/meminfo: memFree=23812440/32873648 swapFree=6852/6852
[pid=9165] ppid=9163 vsize=509180 CPUtime=582.07 cores=0,2,4,6
/proc/9165/stat : 9165 (bsolo3.0.17) R 9163 9165 8706 0 -1 4202496 127524 0 0 0 58161 46 0 0 20 0 1 0 338146347 521400320 126566 33554432000 134512640 135840783 4290783824 4290783248 134546112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9165/statm: 127295 126566 349 325 0 126231 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 509180

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9172
/proc/meminfo: memFree=23812316/32873648 swapFree=6852/6852
[pid=9165] ppid=9163 vsize=509180 CPUtime=822.03 cores=0,2,4,6
/proc/9165/stat : 9165 (bsolo3.0.17) R 9163 9165 8706 0 -1 4202496 127524 0 0 0 82157 46 0 0 20 0 1 0 338146347 521400320 126566 33554432000 134512640 135840783 4290783824 4290783052 11627263 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9165/statm: 127295 126566 349 325 0 126231 0
Current children cumulated CPU time (s) 822.03
Current children cumulated vsize (KiB) 509180

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9172
/proc/meminfo: memFree=23812068/32873648 swapFree=6852/6852
[pid=9165] ppid=9163 vsize=509180 CPUtime=882.02 cores=0,2,4,6
/proc/9165/stat : 9165 (bsolo3.0.17) R 9163 9165 8706 0 -1 4202496 127524 0 0 0 88156 46 0 0 20 0 1 0 338146347 521400320 126566 33554432000 134512640 135840783 4290783824 4290783076 12007987 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9165/statm: 127295 126566 349 325 0 126231 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 509180

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9211
/proc/meminfo: memFree=24979380/32873648 swapFree=6852/6852
[pid=9165] ppid=9163 vsize=509180 CPUtime=942.02 cores=0,2,4,6
/proc/9165/stat : 9165 (bsolo3.0.17) R 9163 9165 8706 0 -1 4202496 127524 0 0 0 94155 47 0 0 20 0 1 0 338146347 521400320 126566 33554432000 134512640 135840783 4290783824 4290783184 134551455 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9165/statm: 127295 126566 349 325 0 126231 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 509180

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9211
/proc/meminfo: memFree=24885900/32873648 swapFree=6852/6852
[pid=9165] ppid=9163 vsize=545320 CPUtime=1002.01 cores=0,2,4,6
/proc/9165/stat : 9165 (bsolo3.0.17) R 9163 9165 8706 0 -1 4202496 136552 0 0 0 100150 51 0 0 20 0 1 0 338146347 558407680 135594 33554432000 134512640 135840783 4290783824 4290783012 11997198 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9165/statm: 136330 135594 349 325 0 135266 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 545320

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9214
/proc/meminfo: memFree=24820896/32873648 swapFree=6852/6852
[pid=9165] ppid=9163 vsize=582240 CPUtime=1062.01 cores=0,2,4,6
/proc/9165/stat : 9165 (bsolo3.0.17) R 9163 9165 8706 0 -1 4202496 145781 0 0 0 106145 56 0 0 20 0 1 0 338146347 596213760 144823 33554432000 134512640 135840783 4290783824 4290783184 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9165/statm: 145560 144824 349 325 0 144496 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 582240

[startup+1122.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 9237
/proc/meminfo: memFree=24771576/32873648 swapFree=6852/6852
[pid=9165] ppid=9163 vsize=603884 CPUtime=1121.99 cores=0,2,4,6
/proc/9165/stat : 9165 (bsolo3.0.17) R 9163 9165 8706 0 -1 4202496 151201 0 0 0 112139 60 0 0 20 0 1 0 338146347 618377216 150243 33554432000 134512640 135840783 4290783824 4290783184 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9165/statm: 150971 150243 349 325 0 149907 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 603884

[startup+1182.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 9237
/proc/meminfo: memFree=24722520/32873648 swapFree=6852/6852
[pid=9165] ppid=9163 vsize=634020 CPUtime=1181.95 cores=0,2,4,6
/proc/9165/stat : 9165 (bsolo3.0.17) R 9163 9165 8706 0 -1 4202496 158783 0 0 0 118130 65 0 0 20 0 1 0 338146347 649236480 157779 33554432000 134512640 135840783 4290783824 4290783184 134550764 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9165/statm: 158505 157779 349 325 0 157441 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 634020

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9238
/proc/meminfo: memFree=24682936/32873648 swapFree=6852/6852
[pid=9165] ppid=9163 vsize=661360 CPUtime=1241.9 cores=0,2,4,6
/proc/9165/stat : 9165 (bsolo3.0.17) R 9163 9165 8706 0 -1 4202496 165651 0 0 0 124122 68 0 0 20 0 1 0 338146347 677232640 164600 33554432000 134512640 135840783 4290783824 4290783184 134551330 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9165/statm: 165340 164600 349 325 0 164276 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 661360

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9238
/proc/meminfo: memFree=24657792/32873648 swapFree=6852/6852
[pid=9165] ppid=9163 vsize=685876 CPUtime=1301.87 cores=0,2,4,6
/proc/9165/stat : 9165 (bsolo3.0.17) R 9163 9165 8706 0 -1 4202496 171826 0 0 0 130116 71 0 0 20 0 1 0 338146347 702337024 170732 33554432000 134512640 135840783 4290783824 4290780820 12008011 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9165/statm: 171469 170732 349 325 0 170405 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 685876

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9238
/proc/meminfo: memFree=24627440/32873648 swapFree=6852/6852
[pid=9165] ppid=9163 vsize=716616 CPUtime=1361.82 cores=0,2,4,6
/proc/9165/stat : 9165 (bsolo3.0.17) R 9163 9165 8706 0 -1 4202496 179572 0 0 0 136107 75 0 0 20 0 1 0 338146347 733814784 178431 33554432000 134512640 135840783 4290783824 4290783104 12005017 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9165/statm: 179154 178431 349 325 0 178090 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 716616

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9239
/proc/meminfo: memFree=24601304/32873648 swapFree=6852/6852
[pid=9165] ppid=9163 vsize=742448 CPUtime=1421.81 cores=0,2,4,6
/proc/9165/stat : 9165 (bsolo3.0.17) R 9163 9165 8706 0 -1 4202496 186025 0 0 0 142102 79 0 0 20 0 1 0 338146347 760266752 184870 33554432000 134512640 135840783 4290783824 4290783184 134550764 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9165/statm: 185612 184870 349 325 0 184548 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 742448

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9239
/proc/meminfo: memFree=24580740/32873648 swapFree=6852/6852
[pid=9165] ppid=9163 vsize=762580 CPUtime=1481.79 cores=0,2,4,6
/proc/9165/stat : 9165 (bsolo3.0.17) R 9163 9165 8706 0 -1 4202496 191070 0 0 0 148098 81 0 0 20 0 1 0 338146347 780881920 189915 33554432000 134512640 135840783 4290783824 4290783184 134550872 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9165/statm: 190645 189915 349 325 0 189581 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 762580

[startup+1542.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 9239
/proc/meminfo: memFree=24560684/32873648 swapFree=6852/6852
[pid=9165] ppid=9163 vsize=783356 CPUtime=1541.79 cores=0,2,4,6
/proc/9165/stat : 9165 (bsolo3.0.17) R 9163 9165 8706 0 -1 4202496 196278 0 0 0 154094 85 0 0 20 0 1 0 338146347 802156544 195123 33554432000 134512640 135840783 4290783824 4290783136 134550764 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9165/statm: 195839 195123 349 325 0 194775 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 783356

[startup+1602.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 9239
/proc/meminfo: memFree=24544688/32873648 swapFree=6852/6852
[pid=9165] ppid=9163 vsize=798696 CPUtime=1601.78 cores=0,2,4,6
/proc/9165/stat : 9165 (bsolo3.0.17) R 9163 9165 8706 0 -1 4202496 200562 0 0 0 160090 88 0 0 20 0 1 0 338146347 817864704 198945 33554432000 134512640 135840783 4290783824 4290783248 134546118 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9165/statm: 199674 198945 349 325 0 198610 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 798696

[startup+1662.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 9242
/proc/meminfo: memFree=24544800/32873648 swapFree=6852/6852
[pid=9165] ppid=9163 vsize=798696 CPUtime=1661.77 cores=0,2,4,6
/proc/9165/stat : 9165 (bsolo3.0.17) R 9163 9165 8706 0 -1 4202496 200562 0 0 0 166089 88 0 0 20 0 1 0 338146347 817864704 198945 33554432000 134512640 135840783 4290783824 4290783248 134546112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9165/statm: 199674 198945 349 325 0 198610 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 798696

[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 9242
/proc/meminfo: memFree=24545064/32873648 swapFree=6852/6852
[pid=9165] ppid=9163 vsize=798696 CPUtime=1721.76 cores=0,2,4,6
/proc/9165/stat : 9165 (bsolo3.0.17) R 9163 9165 8706 0 -1 4202496 200562 0 0 0 172088 88 0 0 20 0 1 0 338146347 817864704 198945 33554432000 134512640 135840783 4290783824 4290783248 134546112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9165/statm: 199674 198945 349 325 0 198610 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 798696

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 9243
/proc/meminfo: memFree=24544560/32873648 swapFree=6852/6852
[pid=9165] ppid=9163 vsize=798696 CPUtime=1781.75 cores=0,2,4,6
/proc/9165/stat : 9165 (bsolo3.0.17) R 9163 9165 8706 0 -1 4202496 200562 0 0 0 178087 88 0 0 20 0 1 0 338146347 817864704 198945 33554432000 134512640 135840783 4290783824 4290783184 134550872 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9165/statm: 199674 198945 349 325 0 198610 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 798696



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 9243
/proc/meminfo: memFree=24544684/32873648 swapFree=6852/6852
[pid=9165] ppid=9163 vsize=798696 CPUtime=1800.06 cores=0,2,4,6
/proc/9165/stat : 9165 (bsolo3.0.17) R 9163 9165 8706 0 -1 4202496 200562 0 0 0 179918 88 0 0 20 0 1 0 338146347 817864704 198945 33554432000 134512640 135840783 4290783824 4290780704 11627263 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9165/statm: 199674 198945 349 325 0 198610 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 798696

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child status: 15
Real time (s): 1800.62
CPU time (s): 1800.08
CPU user time (s): 1799.19
CPU system time (s): 0.889864
CPU usage (%): 99.9697
Max. virtual memory (cumulated for all children) (KiB): 800544

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.19
system time used= 0.889864
maximum resident set size= 797628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200565
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= 359
involuntary context switches= 2052

runsolver used 3.06253 second user time and 9.66253 second system time

The end

Launcher Data 

Begin job on node112 at 2012-06-03 12:43:11
IDJOB=3737463
IDBENCH=48243
IDSOLVER=2318
FILE ID=node112/3737463-1338720191
RUNJOBID= node112-1338713910-8722
PBS_JOBID= 14636749
Free space on /tmp= 71212 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_25_1.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3737463-1338720191/watcher-3737463-1338720191 -o /tmp/evaluation-result-3737463-1338720191/solver-3737463-1338720191 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3737463-1338720191.opb            

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

MD5SUM BENCH= fd0cd32338d58e5da2d0a0f96e14ad7d
RANDOM SEED=285630047

node112.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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.763
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.52
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.763
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.763
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.763
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.763
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.763
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.763
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.763
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        24317664 kB
Buffers:          549044 kB
Cached:          5920132 kB
SwapCached:            0 kB
Active:          2949160 kB
Inactive:        4736184 kB
Active(anon):    1205388 kB
Inactive(anon):    10924 kB
Active(file):    1743772 kB
Inactive(file):  4725260 kB
Unevictable:        6852 kB
Mlocked:            6852 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              6616 kB
Writeback:             0 kB
AnonPages:       1220460 kB
Mapped:            15712 kB
Shmem:               200 kB
Slab:             730296 kB
SReclaimable:     174184 kB
SUnreclaim:       556112 kB
KernelStack:        1464 kB
PageTables:         6500 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1325532 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1196032 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71204 MiB
End job on node112 at 2012-06-03 13:13:13