Trace number 3737232

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)-28 1800.08 1800.41

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_200_25_1.opb
MD5SUM2cdec46d3e8e924c4987d217b8438ed8
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-31
Best CPU time to get the best result obtained on this benchmark1796.94
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -31
Optimality of the best value was proved NO
Number of variables200
Total number of constraints200
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 constraints200
Minimum length of a constraint25
Maximum length of a constraint43
Number of terms in the objective function 200
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 200
Number of bits of the sum of numbers in the objective function 8
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)6204
Sum of products size (including duplicates)12408
Number of different products3102
Sum of products size6204

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.03	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.03	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.03	c type "bsolo -h" for help
0.00/0.03	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.03	c Memory Limit set to 15500 MB
0.00/0.03	c Instance file HOME/instance-3737232-1338714620.opb
0.00/0.03	c File size is 76083 bytes.
0.00/0.05	c Highest Coefficient sum: 200
0.00/0.05	c Parsing was ok!!
0.00/0.05	c Total parsing time: 0.016 s
0.01/0.05	c Var: 6404 Constr: 12808 6404/200/6204 Lit: 49632 Watch. Lit: 37224
0.01/0.05	c Obj. Vars: 200 (3.12305 % of total variables)
0.06/0.10	c Pre-processing Time: 0.065 s
0.06/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.06/0.10	c        0    200     3102     9306    3     6204    1033      0      0 0.07
0.06/0.10	c Switching off LPR mode.
0.06/0.10	o -24	0.066
0.06/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.06/0.10	c        0    200     3103     9506    3     6230    2033      1      0 0.07
0.06/0.10	o -25	0.066
13.85/13.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
13.85/13.97	c        9    200     3113    11264    3     6275    2033     11    134 0.07
13.85/13.97	c      109    200     3213    28429    8     6475    2237    111   1472 0.07
13.85/13.97	c      360    200     3464    71390   20     6977    2461    362   3789 0.10
13.85/13.97	c      836    200     3940   152950   38     7929    2708    838   5887 0.14
13.85/13.97	c     1649    200     4753   291619   61     9555    2979   1651   6441 0.26
13.85/13.97	c     2969    200     6073   517515   85    12195    3277   2971   6357 0.47
13.85/13.97	c     5051    200     8155   873096  107    16359    3605   5053   5413 0.93
13.85/13.97	c     8276    200    11380  1424510  125    22809    3966   8278   4718 1.75
13.85/13.97	c    13212    200     7955   838961  105    15935    4363   4853   3959 3.34
13.85/13.97	c    20719    200     6900   658699   95    13825    4800   3798   3188 6.50
13.85/13.97	c    32080    200     9484  1100001  115    18993    5281   6382   3043 10.54
13.85/13.97	o -26	13.932
257.40/257.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
257.40/257.56	c    41128    200     9512  1105658  116    19075    2033   6410   2951 13.93
257.40/257.56	c    41228    200     9612  1122704  116    19275    2237   6510   2955 13.95
257.40/257.56	c    41478    200     9862  1165205  118    19775    2461   6760   2955 14.04
257.40/257.56	c    41953    200    10337  1245993  120    20725    2708   7235   2971 14.12
257.40/257.56	c    42766    200    11150  1384386  124    22351    2979   8048   2972 14.39
257.40/257.56	c    44086    200     4599   263778   57     9224    3277   1497   2981 14.79
257.40/257.56	c    46167    200     6680   617684   92    13386    3605   3578   3050 15.13
257.40/257.56	c    49391    200     9904  1165019  117    19834    3966   6802   3109 15.89
257.40/257.56	c    54327    200     6474   581278   89    12974    4363   3372   3150 17.24
257.40/257.56	c    61834    200     5421   402127   74    10868    4800   2319   3109 19.89
257.40/257.56	c    73195    200     8017   841737  104    16060    5281   4915   3049 24.00
257.40/257.56	c    90339    200     7122   691119   97    14270    5810   4020   2829 31.93
257.40/257.56	c   116159    200    14373  1923645  133    28772    6392  11271   2670 43.50
257.40/257.56	c   154991    200    14916  2014318  135    29858    7032  11814   2341 66.19
257.40/257.56	c   213344    200    13929  1843537  132    27884    7736  10827   2193 97.28
257.40/257.56	c   300976    200     9388  1075495  114    18802    8510   6286   1985 151.55
257.40/257.56	c   432528    200    13418  1759100  131    26862    9362  10316   1944 222.41
257.40/257.56	o -27	257.466
695.33/695.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
695.33/695.52	c   486260    200    11858  1494652  126    23769    2033   8756   1888 257.47
695.33/695.52	c   486361    200     4221   198973   47     8469    2237   1119   1888 257.51
695.33/695.52	c   486611    200     4471   241283   53     8969    2461   1369   1889 257.54
695.33/695.52	c   487087    200     4947   321603   65     9921    2708   1845   1890 257.60
695.33/695.52	c   487900    200     5760   458981   79    11547    2979   2658   1893 257.70
695.33/695.52	c   489220    200     7080   682272   96    14187    3277   3978   1896 257.90
695.33/695.52	c   491303    200     9163  1033875  112    18353    3605   6061   1901 258.34
695.33/695.52	c   494527    200    12387  1578766  127    24801    3966   9285   1909 259.01
695.33/695.52	c   499465    200     8970   998708  111    17967    4363   5868   1914 260.88
695.33/695.52	c   506971    200     7922   822725  103    15871    4800   4820   1926 263.12
695.33/695.52	c   518332    200    10527  1261104  119    21081    5281   7425   1938 267.39
695.33/695.52	c   535476    200     9644  1113095  115    19315    5810   6542   1951 274.39
695.33/695.52	c   561295    200     7617   770954  101    15261    6392   4515   1950 287.72
695.33/695.52	c   600127    200     8176   863191  105    16379    7032   5074   1949 307.90
695.33/695.52	c   658480    200     7178   695304   96    14383    7736   4076   1928 341.51
695.33/695.52	c   746113    200    12911  1664275  128    25849    8510   9809   1908 390.96
695.33/695.52	c   877665    200    16963  2346893  138    33953    9362  13861   1850 474.41
695.33/695.52	c  1075098    200    15492  2099605  135    31011   10299  12390   1725 623.17
695.33/695.52	o -28	695.363
1800.07/1800.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.07/1800.40	c  1159474    200    19209  2729183  142    38473    2033  16107   1667 695.36
1800.07/1800.40	c  1159574    200     4220   196951   46     8468    2237   1118   1666 695.73
1800.07/1800.40	c  1159825    200     4471   239144   53     8970    2461   1369   1667 695.74
1800.07/1800.40	c  1160301    200     4947   318971   64     9922    2708   1845   1667 695.79
1800.07/1800.40	c  1161114    200     5760   455333   79    11548    2979   2658   1668 695.91
1800.07/1800.40	c  1162434    200     7080   677004   95    14188    3277   3978   1669 696.16
1800.07/1800.40	c  1164516    200     9162  1026825  112    18352    3605   6060   1671 696.54
1800.07/1800.40	c  1167739    200    12385  1568011  126    24798    3966   9283   1674 697.41
1800.07/1800.40	c  1172676    200     8959   990558  110    17946    4363   5857   1678 698.76
1800.07/1800.40	c  1180182    200     7910   815635  103    15848    4800   4808   1684 700.51
1800.07/1800.40	c  1191544    200    10499  1250982  119    21026    5281   7397   1692 704.01
1800.07/1800.40	c  1208689    200     9605  1100250  114    19238    5810   6503   1699 711.12
1800.07/1800.40	c  1234510    200     7590   760587  100    15208    6392   4488   1708 722.50
1800.07/1800.40	c  1273343    200     8159   854438  104    16346    7032   5057   1721 739.57
1800.07/1800.40	c  1331695    200     7186   693526   96    14400    7736   4084   1721 773.38
1800.07/1800.40	c  1419327    200    12875  1646105  127    25778    8510   9773   1729 820.73
1800.07/1800.40	c  1550879    200    16904  2324933  137    33836    9362  13802   1699 912.49
1800.07/1800.40	c  1748311    200    15473  2080006  134    30974   10299  12371   1700 1027.85
1800.07/1800.40	c  2044564    200    12317  1553630  126    24662   11329   9215   1671 1223.08
1800.07/1800.40	c  2489047    200    11638  1440314  123    23304   12462   8536   1549 1605.99
1800.07/1800.40	c Caught signal: 15
1800.07/1800.40	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 -x101 x102 -x103 x104 -x105 -x106 x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 x116 -x117 -x118 -x119 -x120 -x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 x148 -x149 -x150 -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 -x161 -x162 -x163 x164 -x165 x166 x167 -x168 -x169 -x170 -x171 x172 x173 x174 x175 -x176 -x177 -x178 -x179 x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 x194 x195 -x196 -x197 -x198 x199 -x200 
1800.07/1800.40	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.07/1800.40	c   67  2776974 146140  2944220     9752  1121081   6650   1542 1800.08
1800.07/1800.40	c Objective: -28
1800.07/1800.40	s SATISFIABLE
1800.07/1800.40	c Total time: 1800.08 s

Verifier Data

OK	-28

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-3737232-1338714620/watcher-3737232-1338714620 -o /tmp/evaluation-result-3737232-1338714620/solver-3737232-1338714620 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3737232-1338714620.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: 1.00 1.30 1.67 2/176 23334
/proc/meminfo: memFree=28768912/32873844 swapFree=6872/6872
[pid=23334] ppid=23332 vsize=2428 CPUtime=0 cores=0,2,4,6
/proc/23334/stat : 23334 (bsolo3.0.17) D 23332 23334 23291 0 -1 4194304 80 0 1 0 0 0 0 0 20 0 1 0 337590505 2486272 35 33554432000 134512640 135840783 4292910912 4292909340 7232058 0 0 4096 0 18446744071579943789 0 0 17 0 0 0 0 0 0
/proc/23334/statm: 607 35 26 325 0 32 0

[startup+0.055615 s]
/proc/loadavg: 1.00 1.30 1.67 2/176 23334
/proc/meminfo: memFree=28768912/32873844 swapFree=6872/6872
[pid=23334] ppid=23332 vsize=7400 CPUtime=0.01 cores=0,2,4,6
/proc/23334/stat : 23334 (bsolo3.0.17) R 23332 23334 23291 0 -1 4202496 1177 0 4 0 1 0 0 0 20 0 1 0 337590505 7577600 1099 33554432000 134512640 135840783 4292910912 4292910000 7742759 0 0 4096 16384 0 0 0 17 0 0 0 3 0 0
/proc/23334/statm: 1850 1102 339 325 0 786 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 7400

[startup+0.100231 s]
/proc/loadavg: 1.00 1.30 1.67 2/176 23334
/proc/meminfo: memFree=28768912/32873844 swapFree=6872/6872
[pid=23334] ppid=23332 vsize=8144 CPUtime=0.06 cores=0,2,4,6
/proc/23334/stat : 23334 (bsolo3.0.17) R 23332 23334 23291 0 -1 4202496 1374 0 4 0 6 0 0 0 20 0 1 0 337590505 8339456 1296 33554432000 134512640 135840783 4292910912 4292832900 7737291 0 0 4096 16384 0 0 0 17 0 0 0 3 0 0
/proc/23334/statm: 2036 1296 345 325 0 972 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 8144

[startup+0.300184 s]
/proc/loadavg: 1.00 1.30 1.67 2/176 23334
/proc/meminfo: memFree=28768912/32873844 swapFree=6872/6872
[pid=23334] ppid=23332 vsize=11076 CPUtime=0.25 cores=0,2,4,6
/proc/23334/stat : 23334 (bsolo3.0.17) R 23332 23334 23291 0 -1 4202496 2120 0 4 0 25 0 0 0 20 0 1 0 337590505 11341824 2022 33554432000 134512640 135840783 4292910912 4292907696 7742759 0 0 4096 16384 0 0 0 17 0 0 0 3 0 0
/proc/23334/statm: 2769 2022 349 325 0 1705 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 11076

[startup+0.700183 s]
/proc/loadavg: 1.00 1.30 1.67 2/176 23334
/proc/meminfo: memFree=28768912/32873844 swapFree=6872/6872
[pid=23334] ppid=23332 vsize=15828 CPUtime=0.65 cores=0,2,4,6
/proc/23334/stat : 23334 (bsolo3.0.17) R 23332 23334 23291 0 -1 4202496 3318 0 4 0 65 0 0 0 20 0 1 0 337590505 16207872 3220 33554432000 134512640 135840783 4292910912 4292907936 134547402 0 0 4096 16384 0 0 0 17 0 0 0 3 0 0
/proc/23334/statm: 3957 3220 349 325 0 2893 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 15828

[startup+1.50019 s]
/proc/loadavg: 1.08 1.31 1.67 4/178 23336
/proc/meminfo: memFree=28741700/32873844 swapFree=6872/6872
[pid=23334] ppid=23332 vsize=23312 CPUtime=1.45 cores=0,2,4,6
/proc/23334/stat : 23334 (bsolo3.0.17) R 23332 23334 23291 0 -1 4202496 5194 0 4 0 145 0 0 0 20 0 1 0 337590505 23871488 5096 33554432000 134512640 135840783 4292910912 4292907680 7742759 0 0 4096 16384 0 0 0 17 0 0 0 3 0 0
/proc/23334/statm: 5828 5096 349 325 0 4764 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 23312

[startup+3.1002 s]
/proc/loadavg: 1.08 1.31 1.67 4/178 23336
/proc/meminfo: memFree=28729672/32873844 swapFree=6872/6872
[pid=23334] ppid=23332 vsize=29736 CPUtime=3.06 cores=0,2,4,6
/proc/23334/stat : 23334 (bsolo3.0.17) R 23332 23334 23291 0 -1 4202496 6788 0 4 0 305 1 0 0 20 0 1 0 337590505 30449664 6690 33554432000 134512640 135840783 4292910912 4292910272 134550804 0 0 4096 16384 0 0 0 17 0 0 0 3 0 0
/proc/23334/statm: 7434 6690 349 325 0 6370 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 29736

[startup+6.3002 s]
/proc/loadavg: 1.15 1.33 1.68 4/178 23336
/proc/meminfo: memFree=28726556/32873844 swapFree=6872/6872
[pid=23334] ppid=23332 vsize=30876 CPUtime=6.25 cores=0,2,4,6
/proc/23334/stat : 23334 (bsolo3.0.17) R 23332 23334 23291 0 -1 4202496 7075 0 4 0 624 1 0 0 20 0 1 0 337590505 31617024 6981 33554432000 134512640 135840783 4292910912 4292910272 134550893 0 0 4096 16384 0 0 0 17 0 0 0 3 0 0
/proc/23334/statm: 7719 6981 349 325 0 6655 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 30876

[startup+12.7002 s]
/proc/loadavg: 1.22 1.34 1.68 4/178 23336
/proc/meminfo: memFree=28723024/32873844 swapFree=6872/6872
[pid=23334] ppid=23332 vsize=32928 CPUtime=12.65 cores=0,2,4,6
/proc/23334/stat : 23334 (bsolo3.0.17) R 23332 23334 23291 0 -1 4202496 7590 0 4 0 1264 1 0 0 20 0 1 0 337590505 33718272 7496 33554432000 134512640 135840783 4292910912 4292910272 134551175 0 0 4096 16384 0 0 0 17 0 0 0 3 0 0
/proc/23334/statm: 8232 7496 349 325 0 7168 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 32928

[startup+25.5002 s]
/proc/loadavg: 1.39 1.37 1.68 4/178 23336
/proc/meminfo: memFree=28722092/32873844 swapFree=6872/6872
[pid=23334] ppid=23332 vsize=31648 CPUtime=25.44 cores=0,2,4,6
/proc/23334/stat : 23334 (bsolo3.0.17) R 23332 23334 23291 0 -1 4202496 7856 0 4 0 2543 1 0 0 20 0 1 0 337590505 32407552 7174 33554432000 134512640 135840783 4292910912 4292909984 7740140 0 0 4096 16384 0 0 0 17 0 0 0 3 0 0
/proc/23334/statm: 7912 7174 349 325 0 6848 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 31648

[startup+51.1003 s]
/proc/loadavg: 1.60 1.42 1.69 4/177 23336
/proc/meminfo: memFree=28717632/32873844 swapFree=6872/6872
[pid=23334] ppid=23332 vsize=35108 CPUtime=51.03 cores=0,2,4,6
/proc/23334/stat : 23334 (bsolo3.0.17) R 23332 23334 23291 0 -1 4202496 8741 0 4 0 5102 1 0 0 20 0 1 0 337590505 35950592 8058 33554432000 134512640 135840783 4292910912 4292910272 134550910 0 0 4096 16384 0 0 0 17 4 0 0 3 0 0
/proc/23334/statm: 8777 8058 349 325 0 7713 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 35108

[startup+102.307 s]
/proc/loadavg: 1.82 1.50 1.70 4/177 23336
/proc/meminfo: memFree=28713224/32873844 swapFree=6872/6872
[pid=23334] ppid=23332 vsize=38100 CPUtime=102.22 cores=0,2,4,6
/proc/23334/stat : 23334 (bsolo3.0.17) R 23332 23334 23291 0 -1 4202496 9471 0 4 0 10221 1 0 0 20 0 1 0 337590505 39014400 8793 33554432000 134512640 135840783 4292910912 4292910272 134551048 0 0 4096 16384 0 0 0 17 4 0 0 3 0 0
/proc/23334/statm: 9525 8793 349 325 0 8461 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 38100

[startup+162.3 s]
/proc/loadavg: 1.93 1.59 1.72 4/177 23336
/proc/meminfo: memFree=28708820/32873844 swapFree=6872/6872
[pid=23334] ppid=23332 vsize=39980 CPUtime=162.21 cores=0,2,4,6
/proc/23334/stat : 23334 (bsolo3.0.17) R 23332 23334 23291 0 -1 4202496 9940 0 4 0 16220 1 0 0 20 0 1 0 337590505 40939520 9261 33554432000 134512640 135840783 4292910912 4292910272 134551093 0 0 4096 16384 0 0 0 17 4 0 0 3 0 0
/proc/23334/statm: 9995 9261 349 325 0 8931 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 39980

[startup+222.3 s]
/proc/loadavg: 1.97 1.66 1.74 4/177 23336
/proc/meminfo: memFree=28708568/32873844 swapFree=6872/6872
[pid=23334] ppid=23332 vsize=39900 CPUtime=222.2 cores=0,2,4,6
/proc/23334/stat : 23334 (bsolo3.0.17) R 23332 23334 23291 0 -1 4202496 9949 0 4 0 22219 1 0 0 20 0 1 0 337590505 40857600 9258 33554432000 134512640 135840783 4292910912 4292910272 134551084 0 0 4096 16384 0 0 0 17 4 0 0 3 0 0
/proc/23334/statm: 9975 9258 349 325 0 8911 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 39900

[startup+282.3 s]
/proc/loadavg: 1.99 1.72 1.75 4/177 23337
/proc/meminfo: memFree=28706024/32873844 swapFree=6872/6872
[pid=23334] ppid=23332 vsize=41032 CPUtime=282.2 cores=0,2,4,6
/proc/23334/stat : 23334 (bsolo3.0.17) R 23332 23334 23291 0 -1 4202496 10464 0 4 0 28218 2 0 0 20 0 1 0 337590505 42016768 9541 33554432000 134512640 135840783 4292910912 4292910272 134550902 0 0 4096 16384 0 0 0 17 4 0 0 3 0 0
/proc/23334/statm: 10258 9541 349 325 0 9194 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 41032

[startup+342.3 s]
/proc/loadavg: 1.99 1.77 1.76 4/177 23337
/proc/meminfo: memFree=28709184/32873844 swapFree=6872/6872
[pid=23334] ppid=23332 vsize=37968 CPUtime=342.19 cores=0,2,4,6
/proc/23334/stat : 23334 (bsolo3.0.17) R 23332 23334 23291 0 -1 4202496 10464 0 4 0 34217 2 0 0 20 0 1 0 337590505 38879232 8775 33554432000 134512640 135840783 4292910912 4292910272 134551058 0 0 4096 16384 0 0 0 17 4 0 0 3 0 0
/proc/23334/statm: 9492 8775 349 325 0 8428 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 37968

[startup+402.3 s]
/proc/loadavg: 1.99 1.81 1.77 4/177 23337
/proc/meminfo: memFree=28707880/32873844 swapFree=6872/6872
[pid=23334] ppid=23332 vsize=39724 CPUtime=402.18 cores=0,2,4,6
/proc/23334/stat : 23334 (bsolo3.0.17) R 23332 23334 23291 0 -1 4202496 10887 0 4 0 40216 2 0 0 20 0 1 0 337590505 40677376 9197 33554432000 134512640 135840783 4292910912 4292907984 134547774 0 0 4096 16384 0 0 0 17 4 0 0 3 0 0
/proc/23334/statm: 9931 9197 349 325 0 8867 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 39724

[startup+462.3 s]
/proc/loadavg: 1.99 1.84 1.78 4/177 23337
/proc/meminfo: memFree=28706392/32873844 swapFree=6872/6872
[pid=23334] ppid=23332 vsize=39716 CPUtime=462.17 cores=0,2,4,6
/proc/23334/stat : 23334 (bsolo3.0.17) R 23332 23334 23291 0 -1 4202496 10898 0 4 0 46215 2 0 0 20 0 1 0 337590505 40669184 9208 33554432000 134512640 135840783 4292910912 4292910224 134550804 0 0 4096 16384 0 0 0 17 4 0 0 3 0 0
/proc/23334/statm: 9929 9208 349 325 0 8865 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 39716

[startup+522.3 s]
/proc/loadavg: 1.99 1.87 1.79 4/177 23337
/proc/meminfo: memFree=28704840/32873844 swapFree=6872/6872
[pid=23334] ppid=23332 vsize=41644 CPUtime=522.16 cores=0,2,4,6
/proc/23334/stat : 23334 (bsolo3.0.17) R 23332 23334 23291 0 -1 4202496 11380 0 4 0 52214 2 0 0 20 0 1 0 337590505 42643456 9689 33554432000 134512640 135840783 4292910912 4292910272 134550910 0 0 4096 16384 0 0 0 17 4 0 0 3 0 0
/proc/23334/statm: 10411 9689 349 325 0 9347 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 41644

[startup+582.3 s]
/proc/loadavg: 1.99 1.89 1.81 4/178 23341
/proc/meminfo: memFree=28704536/32873844 swapFree=6872/6872
[pid=23334] ppid=23332 vsize=41644 CPUtime=582.15 cores=0,2,4,6
/proc/23334/stat : 23334 (bsolo3.0.17) R 23332 23334 23291 0 -1 4202496 11384 0 4 0 58213 2 0 0 20 0 1 0 337590505 42643456 9693 33554432000 134512640 135840783 4292910912 4292910272 134551175 0 0 4096 16384 0 0 0 17 4 0 0 3 0 0
/proc/23334/statm: 10411 9693 349 325 0 9347 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 41644

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 1.99 1.94 1.84 4/177 23341
/proc/meminfo: memFree=28704032/32873844 swapFree=6872/6872
[pid=23334] ppid=23332 vsize=41592 CPUtime=822.11 cores=0,2,4,6
/proc/23334/stat : 23334 (bsolo3.0.17) R 23332 23334 23291 0 -1 4202496 11903 0 4 0 82209 2 0 0 20 0 1 0 337590505 42590208 9681 33554432000 134512640 135840783 4292910912 4292910336 134546112 0 0 4096 16384 0 0 0 17 4 0 0 3 0 0
/proc/23334/statm: 10398 9681 349 325 0 9334 0
Current children cumulated CPU time (s) 822.11
Current children cumulated vsize (KiB) 41592

[startup+882.3 s]
/proc/loadavg: 1.99 1.95 1.84 4/176 23341
/proc/meminfo: memFree=28704164/32873844 swapFree=6872/6872
[pid=23334] ppid=23332 vsize=41468 CPUtime=882.1 cores=0,2,4,6
/proc/23334/stat : 23334 (bsolo3.0.17) R 23332 23334 23291 0 -1 4202496 11903 0 4 0 88208 2 0 0 20 0 1 0 337590505 42463232 9650 33554432000 134512640 135840783 4292910912 4292910336 134546112 0 0 4096 16384 0 0 0 17 4 0 0 3 0 0
/proc/23334/statm: 10367 9650 349 325 0 9303 0
Current children cumulated CPU time (s) 882.1
Current children cumulated vsize (KiB) 41468

[startup+942.3 s]
/proc/loadavg: 1.99 1.95 1.85 4/177 23342
/proc/meminfo: memFree=28704156/32873844 swapFree=6872/6872
[pid=23334] ppid=23332 vsize=41412 CPUtime=942.09 cores=0,2,4,6
/proc/23334/stat : 23334 (bsolo3.0.17) R 23332 23334 23291 0 -1 4202496 11912 0 4 0 94207 2 0 0 20 0 1 0 337590505 42405888 9636 33554432000 134512640 135840783 4292910912 4292910272 134550893 0 0 4096 16384 0 0 0 17 4 0 0 3 0 0
/proc/23334/statm: 10353 9636 349 325 0 9289 0
Current children cumulated CPU time (s) 942.09
Current children cumulated vsize (KiB) 41412

[startup+1002.3 s]
/proc/loadavg: 1.99 1.96 1.85 4/177 23342
/proc/meminfo: memFree=28704280/32873844 swapFree=6872/6872
[pid=23334] ppid=23332 vsize=41472 CPUtime=1002.08 cores=0,2,4,6
/proc/23334/stat : 23334 (bsolo3.0.17) R 23332 23334 23291 0 -1 4202496 11916 0 4 0 100206 2 0 0 20 0 1 0 337590505 42467328 9639 33554432000 134512640 135840783 4292910912 4292910336 134546112 0 0 4096 16384 0 0 0 17 4 0 0 3 0 0
/proc/23334/statm: 10368 9639 349 325 0 9304 0
Current children cumulated CPU time (s) 1002.08
Current children cumulated vsize (KiB) 41472

[startup+1062.3 s]
/proc/loadavg: 2.03 1.98 1.86 4/177 23342
/proc/meminfo: memFree=28700928/32873844 swapFree=6872/6872
[pid=23334] ppid=23332 vsize=43484 CPUtime=1062.07 cores=0,2,4,6
/proc/23334/stat : 23334 (bsolo3.0.17) R 23332 23334 23291 0 -1 4202496 12441 0 4 0 106205 2 0 0 20 0 1 0 337590505 44527616 10154 33554432000 134512640 135840783 4292910912 4292910264 1419469 0 0 4096 16384 0 0 0 17 4 0 0 3 0 0
/proc/23334/statm: 10871 10154 349 325 0 9807 0
Current children cumulated CPU time (s) 1062.07
Current children cumulated vsize (KiB) 43484

[startup+1122.3 s]
/proc/loadavg: 2.01 1.98 1.87 4/177 23342
/proc/meminfo: memFree=28701052/32873844 swapFree=6876/6876
[pid=23334] ppid=23332 vsize=43524 CPUtime=1122.06 cores=0,2,4,6
/proc/23334/stat : 23334 (bsolo3.0.17) R 23332 23334 23291 0 -1 4202496 12447 0 4 0 112204 2 0 0 20 0 1 0 337590505 44568576 10160 33554432000 134512640 135840783 4292910912 4292910272 134551058 0 0 4096 16384 0 0 0 17 4 0 0 3 0 0
/proc/23334/statm: 10881 10160 349 325 0 9817 0
Current children cumulated CPU time (s) 1122.06
Current children cumulated vsize (KiB) 43524

[startup+1182.3 s]
/proc/loadavg: 2.00 1.98 1.88 4/178 23345
/proc/meminfo: memFree=28700276/32873844 swapFree=6872/6872
[pid=23334] ppid=23332 vsize=43524 CPUtime=1182.05 cores=0,2,4,6
/proc/23334/stat : 23334 (bsolo3.0.17) R 23332 23334 23291 0 -1 4202496 12449 0 4 0 118203 2 0 0 20 0 1 0 337590505 44568576 10162 33554432000 134512640 135840783 4292910912 4292910272 134551175 0 0 4096 16384 0 0 0 17 4 0 0 3 0 0
/proc/23334/statm: 10881 10162 349 325 0 9817 0
Current children cumulated CPU time (s) 1182.05
Current children cumulated vsize (KiB) 43524

[startup+1242.3 s]
/proc/loadavg: 2.00 1.98 1.88 4/177 23346
/proc/meminfo: memFree=28698076/32873844 swapFree=6872/6872
[pid=23334] ppid=23332 vsize=45852 CPUtime=1242.05 cores=0,2,4,6
/proc/23334/stat : 23334 (bsolo3.0.17) R 23332 23334 23291 0 -1 4202496 13018 0 4 0 124202 3 0 0 20 0 1 0 337590505 46952448 10731 33554432000 134512640 135840783 4292910912 4292910272 134551048 0 0 4096 16384 0 0 0 17 4 0 0 3 0 0
/proc/23334/statm: 11463 10731 349 325 0 10399 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 45852

[startup+1302.3 s]
/proc/loadavg: 2.08 1.99 1.89 4/177 23346
/proc/meminfo: memFree=28697888/32873844 swapFree=6872/6872
[pid=23334] ppid=23332 vsize=45840 CPUtime=1302.05 cores=0,2,4,6
/proc/23334/stat : 23334 (bsolo3.0.17) R 23332 23334 23291 0 -1 4202496 13029 0 4 0 130202 3 0 0 20 0 1 0 337590505 46940160 10741 33554432000 134512640 135840783 4292910912 4292910272 134550878 0 0 4096 16384 0 0 0 17 4 0 0 3 0 0
/proc/23334/statm: 11460 10741 349 325 0 10396 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 45840

[startup+1362.3 s]
/proc/loadavg: 2.03 1.99 1.90 4/177 23346
/proc/meminfo: memFree=28696028/32873844 swapFree=6872/6872
[pid=23334] ppid=23332 vsize=45908 CPUtime=1362.03 cores=0,2,4,6
/proc/23334/stat : 23334 (bsolo3.0.17) R 23332 23334 23291 0 -1 4202496 13038 0 4 0 136200 3 0 0 20 0 1 0 337590505 47009792 10750 33554432000 134512640 135840783 4292910912 4292910272 134550804 0 0 4096 16384 0 0 0 17 4 0 0 3 0 0
/proc/23334/statm: 11477 10750 349 325 0 10413 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 45908

[startup+1422.31 s]
/proc/loadavg: 2.01 1.99 1.90 4/177 23346
/proc/meminfo: memFree=28695964/32873844 swapFree=6872/6872
[pid=23334] ppid=23332 vsize=45964 CPUtime=1422.03 cores=0,2,4,6
/proc/23334/stat : 23334 (bsolo3.0.17) R 23332 23334 23291 0 -1 4202496 13047 0 4 0 142200 3 0 0 20 0 1 0 337590505 47067136 10759 33554432000 134512640 135840783 4292910912 4292910272 134550899 0 0 4096 16384 0 0 0 17 4 0 0 3 0 0
/proc/23334/statm: 11491 10759 349 325 0 10427 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 45964

[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.91 4/178 23347
/proc/meminfo: memFree=28695708/32873844 swapFree=6872/6872
[pid=23334] ppid=23332 vsize=45912 CPUtime=1482.01 cores=0,2,4,6
/proc/23334/stat : 23334 (bsolo3.0.17) R 23332 23334 23291 0 -1 4202496 13047 0 4 0 148198 3 0 0 20 0 1 0 337590505 47013888 10759 33554432000 134512640 135840783 4292910912 4292910224 134550764 0 0 4096 16384 0 0 0 17 4 0 0 3 0 0
/proc/23334/statm: 11478 10759 349 325 0 10414 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 45912

[startup+1542.3 s]
/proc/loadavg: 2.08 2.02 1.92 4/177 23348
/proc/meminfo: memFree=28696212/32873844 swapFree=6872/6872
[pid=23334] ppid=23332 vsize=45876 CPUtime=1542.01 cores=0,2,4,6
/proc/23334/stat : 23334 (bsolo3.0.17) R 23332 23334 23291 0 -1 4202496 13047 0 4 0 154198 3 0 0 20 0 1 0 337590505 46977024 10752 33554432000 134512640 135840783 4292910912 4292910272 134550779 0 0 4096 16384 0 0 0 17 4 0 0 3 0 0
/proc/23334/statm: 11469 10752 349 325 0 10405 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 45876

[startup+1602.3 s]
/proc/loadavg: 2.03 2.02 1.92 4/177 23348
/proc/meminfo: memFree=28696212/32873844 swapFree=6872/6872
[pid=23334] ppid=23332 vsize=45876 CPUtime=1602 cores=0,2,4,6
/proc/23334/stat : 23334 (bsolo3.0.17) R 23332 23334 23291 0 -1 4202496 13047 0 4 0 160197 3 0 0 20 0 1 0 337590505 46977024 10752 33554432000 134512640 135840783 4292910912 4292910224 134551104 0 0 4096 16384 0 0 0 17 4 0 0 3 0 0
/proc/23334/statm: 11469 10752 349 325 0 10405 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 45876

[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 1.92 4/177 23348
/proc/meminfo: memFree=28693916/32873844 swapFree=6872/6872
[pid=23334] ppid=23332 vsize=48364 CPUtime=1661.99 cores=0,2,4,6
/proc/23334/stat : 23334 (bsolo3.0.17) R 23332 23334 23291 0 -1 4202496 13672 0 4 0 166196 3 0 0 20 0 1 0 337590505 49524736 11374 33554432000 134512640 135840783 4292910912 4292910048 7740046 0 0 4096 16384 0 0 0 17 4 0 0 3 0 0
/proc/23334/statm: 12091 11374 349 325 0 11027 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 48364

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.92 4/177 23348
/proc/meminfo: memFree=28693792/32873844 swapFree=6872/6872
[pid=23334] ppid=23332 vsize=48444 CPUtime=1721.98 cores=0,2,4,6
/proc/23334/stat : 23334 (bsolo3.0.17) R 23332 23334 23291 0 -1 4202496 13692 0 4 0 172195 3 0 0 20 0 1 0 337590505 49606656 11389 33554432000 134512640 135840783 4292910912 4292910272 134550779 0 0 4096 16384 0 0 0 17 4 0 0 3 0 0
/proc/23334/statm: 12111 11389 349 325 0 11047 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 48444

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.92 4/178 23351
/proc/meminfo: memFree=28693116/32873844 swapFree=6872/6872
[pid=23334] ppid=23332 vsize=48404 CPUtime=1781.97 cores=0,2,4,6
/proc/23334/stat : 23334 (bsolo3.0.17) R 23332 23334 23291 0 -1 4202496 13692 0 4 0 178194 3 0 0 20 0 1 0 337590505 49565696 11384 33554432000 134512640 135840783 4292910912 4292910272 134550863 0 0 4096 16384 0 0 0 17 4 0 0 3 0 0
/proc/23334/statm: 12101 11384 349 325 0 11037 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 48404



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.92 4/178 23352
/proc/meminfo: memFree=28693412/32873844 swapFree=6872/6872
[pid=23334] ppid=23332 vsize=48404 CPUtime=1800.07 cores=0,2,4,6
/proc/23334/stat : 23334 (bsolo3.0.17) R 23332 23334 23291 0 -1 4202496 13692 0 4 0 180004 3 0 0 20 0 1 0 337590505 49565696 11384 33554432000 134512640 135840783 4292910912 4292910272 134551004 0 0 4096 16384 0 0 0 17 4 0 0 3 0 0
/proc/23334/statm: 12101 11384 349 325 0 11037 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 48404

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.41
CPU time (s): 1800.08
CPU user time (s): 1800.05
CPU system time (s): 0.033994
CPU usage (%): 99.9818
Max. virtual memory (cumulated for all children) (KiB): 48444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.05
system time used= 0.033994
maximum resident set size= 45556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13696
page faults= 4
swaps= 0
block input operations= 2192
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38
involuntary context switches= 2020

runsolver used 3.24051 second user time and 9.47456 second system time

The end

Launcher Data

Begin job on node106 at 2012-06-03 11:10:20
IDJOB=3737232
IDBENCH=48207
IDSOLVER=2318
FILE ID=node106/3737232-1338714620
RUNJOBID= node106-1338714620-23307
PBS_JOBID= 14636759
Free space on /tmp= 70860 MiB

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

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

MD5SUM BENCH= 2cdec46d3e8e924c4987d217b8438ed8
RANDOM SEED=773839155

node106.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		: 2667.065
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	: 5334.13
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		: 2667.065
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		: 2667.065
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.91
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		: 2667.065
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.92
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		: 2667.065
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.91
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		: 2667.065
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.91
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		: 2667.065
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		: 2667.065
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:       32873844 kB
MemFree:        28769176 kB
Buffers:          297748 kB
Cached:          2954456 kB
SwapCached:         2004 kB
Active:          1009448 kB
Inactive:        2247196 kB
Active(anon):       2100 kB
Inactive(anon):     4984 kB
Active(file):    1007348 kB
Inactive(file):  2242212 kB
Unevictable:        6872 kB
Mlocked:            6872 kB
SwapTotal:      67108856 kB
SwapFree:       67100580 kB
Dirty:             13272 kB
Writeback:             0 kB
AnonPages:          9784 kB
Mapped:             8172 kB
Shmem:                 0 kB
Slab:             707728 kB
SReclaimable:     149840 kB
SUnreclaim:       557888 kB
KernelStack:        1384 kB
PageTables:         4220 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     105072 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70848 MiB
End job on node106 at 2012-06-03 11:40:23