Trace number 3737221

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.01 1800.31

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_200_25_5.opb
MD5SUMcdccc05ac387e7ee9cb8ab81f53ca6f8
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 benchmark1797.22
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 constraint49
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)6226
Sum of products size (including duplicates)12452
Number of different products3113
Sum of products size6226

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-3737221-1338714425.opb
0.00/0.00	c File size is 76321 bytes.
0.00/0.01	c Highest Coefficient sum: 200
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.015 s
0.00/0.02	c Var: 6426 Constr: 12852 6426/200/6226 Lit: 49808 Watch. Lit: 37356
0.00/0.02	c Obj. Vars: 200 (3.11236 % of total variables)
0.04/0.06	c Pre-processing Time: 0.061 s
0.04/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.04/0.06	c        0    200     3113     9339    3     6226    1037      0      0 0.06
0.04/0.06	c Switching off LPR mode.
0.04/0.06	o -21	0.062
0.04/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.04/0.06	c        0    200     3114     9539    3     6249    2037      1      0 0.06
0.04/0.06	o -22	0.063
0.04/0.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.04/0.08	c       17    200     3132    12740    4     6307    2037     19    269 0.06
0.04/0.08	c      117    200     3232    30210    9     6507    2241    119   1671 0.07
0.04/0.08	o -23	0.076
0.04/0.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.04/0.08	c      212    200     3328    46973   14     6722    2037    215   2789 0.08
0.04/0.08	o -24	0.077
0.78/0.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.78/0.85	c      221    200     3338    48736   14     6766    2037    225   2833 0.08
0.78/0.85	c      321    200     3438    65960   19     6966    2241    325   3732 0.09
0.78/0.85	c      572    200     3689   109239   29     7468    2466    576   5296 0.11
0.78/0.85	c     1048    200     4165   191251   45     8420    2713   1052   6550 0.16
0.78/0.85	c     1862    200     4979   331411   66    10048    2985   1866   7538 0.25
0.78/0.85	c     3182    200     6299   559044   88    12688    3284   3186   7071 0.45
0.78/0.85	c     5263    200     8380   916652  109    16850    3613   5267   6235 0.84
0.78/0.85	o -25	0.853
1.19/1.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.24	c     5355    200     8473   932735  110    17061    2037   5360   6277 0.85
1.19/1.24	c     5456    200     8574   950083  110    17263    2241   5461   6307 0.86
1.19/1.24	c     5706    200     8824   992886  112    17763    2466   5711   6375 0.90
1.19/1.24	c     6181    200     9299  1074086  115    18713    2713   6186   6326 0.98
1.19/1.24	c     6994    200    10112  1213402  119    20339    2985   6999   5654 1.24
1.19/1.24	o -26	1.245
62.87/62.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
62.87/62.91	c     7033    200    10152  1220320  120    20445    2037   7039   5648 1.25
62.87/62.91	c     7133    200    10252  1237319  120    20645    2241   7139   5559 1.28
62.87/62.91	c     7384    200    10503  1280075  121    21147    2466   7390   5485 1.35
62.87/62.91	c     7859    200    10978  1361002  123    22097    2713   7865   5585 1.41
62.87/62.91	c     8673    200    11792  1499461  127    23725    2985   8679   5337 1.62
62.87/62.91	c     9994    200     5225   368541   70    10476    3284   2112   4967 2.01
62.87/62.91	c    12075    200     7306   722526   98    14638    3613   4193   4991 2.42
62.87/62.91	c    15298    200    10529  1269903  120    21084    3975   7416   4800 3.19
62.87/62.91	c    20235    200     7088   683982   96    14202    4373   3975   4337 4.67
62.87/62.91	c    27743    200     6035   504544   83    12096    4811   2922   3995 6.94
62.87/62.91	c    39105    200     8586   938162  109    17198    5293   5473   3386 11.55
62.87/62.91	c    56250    200     7641   778216  101    15308    5823   4528   2927 19.21
62.87/62.91	c    82069    200    14845  1999792  134    29716    6406  11732   2579 31.82
62.87/62.91	c   120901    200    15270  2074193  135    30566    7047  12157   2033 59.46
62.87/62.91	o -27	62.899
155.95/156.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
155.95/156.02	c   130112    200    14558  1954439  134    29169    2037  11445   2068 62.90
155.95/156.02	c   130212    200     4233   199448   47     8493    2241   1120   2065 63.04
155.95/156.02	c   130462    200     4483   241794   53     8993    2466   1370   2068 63.07
155.95/156.02	c   130937    200     4958   322020   64     9943    2713   1845   2074 63.11
155.95/156.02	c   131752    200     5773   459935   79    11573    2985   2660   2084 63.20
155.95/156.02	c   133073    200     7094   682995   96    14215    3284   3981   2099 63.38
155.95/156.02	c   135154    200     9175  1034709  112    18377    3613   6062   2116 63.86
155.95/156.02	c   138378    200    12399  1579062  127    24825    3975   9286   2140 64.65
155.95/156.02	c   143314    200     8945   993442  111    17917    4373   5832   2162 66.28
155.95/156.02	c   150821    200     7866   811975  103    15759    4811   4753   2197 68.65
155.95/156.02	c   162182    200    10425  1241517  119    20877    5293   7312   2241 72.35
155.95/156.02	c   179326    200     9467  1081854  114    18961    5823   6354   2223 80.64
155.95/156.02	c   205145    200     7372   727501   98    14771    6406   4259   2255 90.96
155.95/156.02	c   243978    200     7791   801267  102    15609    7047   4678   2205 110.62
155.95/156.02	c   302331    200     6651   605363   91    13329    7752   3538   2165 139.61
155.95/156.02	o -28	155.985
1800.00/1800.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.00/1800.30	c   330845    200    14613  1954672  133    29281    2037  11500   2121 155.99
1800.00/1800.30	c   330945    200     4233   198011   46     8494    2241   1120   2120 156.10
1800.00/1800.30	c   331195    200     4483   239973   53     8994    2466   1370   2121 156.12
1800.00/1800.30	c   331671    200     4959   319990   64     9946    2713   1846   2123 156.16
1800.00/1800.30	c   332485    200     5773   456915   79    11574    2985   2660   2127 156.25
1800.00/1800.30	c   333805    200     7093   678797   95    14214    3284   3980   2134 156.41
1800.00/1800.30	c   335887    200     9175  1028727  112    18378    3613   6062   2142 156.79
1800.00/1800.30	c   339111    200    12399  1569504  126    24826    3975   9286   2153 157.46
1800.00/1800.30	c   344047    200     8941   986805  110    17910    4373   5828   2164 158.95
1800.00/1800.30	c   351553    200     7859   805303  102    15746    4811   4746   2185 160.84
1800.00/1800.30	c   362914    200    10414  1233383  118    20856    5293   7301   2208 164.34
1800.00/1800.30	c   380058    200     9498  1079722  113    19024    5823   6385   2222 171.03
1800.00/1800.30	c   405877    200     7396   725318   98    14820    6406   4283   2235 181.58
1800.00/1800.30	c   444709    200     7838   801845  102    15704    7047   4725   2253 197.36
1800.00/1800.30	c   503061    200     6714   612639   91    13456    7752   3601   2141 234.96
1800.00/1800.30	c   590693    200    12223  1534130  125    24474    8528   9110   2084 283.44
1800.00/1800.30	c   722245    200    15867  2147859  135    31762    9381  12754   1992 362.39
1800.00/1800.30	c   919678    200    13864  1811283  130    27756   10320  10751   1853 496.10
1800.00/1800.30	c  1215930    200     9810  1130684  115    19648   11353   6697   1772 685.90
1800.00/1800.30	c  1660412    200    19957  2829882  141    39942   12489  16844   1569 1057.85
1800.00/1800.30	c  2327240    200    17323  2391146  138    34674   13738  14210   1401 1660.72
1800.00/1800.30	c Caught signal: 15
1800.00/1800.30	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.00/1800.30	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.00/1800.30	c   66  2507089 124528  2648374    11577  1426336   8464   1392 1800.01
1800.00/1800.30	c Objective: -28
1800.00/1800.30	s SATISFIABLE
1800.00/1800.30	c Total time: 1800.01 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-3737221-1338714425/watcher-3737221-1338714425 -o /tmp/evaluation-result-3737221-1338714425/solver-3737221-1338714425 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3737221-1338714425.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.06 2.02 2.00 2/176 11239
/proc/meminfo: memFree=27171920/32873844 swapFree=7628/7628
[pid=11239] ppid=11237 vsize=5040 CPUtime=0 cores=0,2,4,6
/proc/11239/stat : 11239 (bsolo3.0.17) R 11237 11239 7463 0 -1 4202496 540 0 0 0 0 0 0 0 20 0 1 0 337566887 5160960 477 33554432000 134512640 135840783 4289619136 4289617744 12829991 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11239/statm: 1260 478 333 325 0 177 0

[startup+0.055166 s]
/proc/loadavg: 2.06 2.02 2.00 2/176 11239
/proc/meminfo: memFree=27171920/32873844 swapFree=7628/7628
[pid=11239] ppid=11237 vsize=8252 CPUtime=0.04 cores=0,2,4,6
/proc/11239/stat : 11239 (bsolo3.0.17) R 11237 11239 7463 0 -1 4202496 1380 0 0 0 4 0 0 0 20 0 1 0 337566887 8450048 1298 33554432000 134512640 135840783 4289619136 4289540940 6222896 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11239/statm: 2063 1298 345 325 0 999 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 8252

[startup+0.100265 s]
/proc/loadavg: 2.06 2.02 2.00 2/176 11239
/proc/meminfo: memFree=27171920/32873844 swapFree=7628/7628
[pid=11239] ppid=11237 vsize=8576 CPUtime=0.09 cores=0,2,4,6
/proc/11239/stat : 11239 (bsolo3.0.17) R 11237 11239 7463 0 -1 4202496 1507 0 0 0 9 0 0 0 20 0 1 0 337566887 8781824 1405 33554432000 134512640 135840783 4289619136 4289615856 12829991 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11239/statm: 2144 1405 349 325 0 1080 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8576

[startup+0.300266 s]
/proc/loadavg: 2.06 2.02 2.00 2/176 11239
/proc/meminfo: memFree=27171920/32873844 swapFree=7628/7628
[pid=11239] ppid=11237 vsize=12272 CPUtime=0.29 cores=0,2,4,6
/proc/11239/stat : 11239 (bsolo3.0.17) R 11237 11239 7463 0 -1 4202496 2415 0 0 0 29 0 0 0 20 0 1 0 337566887 12566528 2313 33554432000 134512640 135840783 4289619136 4289616160 134547692 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11239/statm: 3068 2313 349 325 0 2004 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12272

[startup+0.700266 s]
/proc/loadavg: 2.06 2.02 2.00 2/176 11239
/proc/meminfo: memFree=27171920/32873844 swapFree=7628/7628
[pid=11239] ppid=11237 vsize=17024 CPUtime=0.68 cores=0,2,4,6
/proc/11239/stat : 11239 (bsolo3.0.17) R 11237 11239 7463 0 -1 4202496 3607 0 0 0 68 0 0 0 20 0 1 0 337566887 17432576 3505 33554432000 134512640 135840783 4289619136 4289618496 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11239/statm: 4256 3505 349 325 0 3192 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 17024

[startup+1.50019 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 11240
/proc/meminfo: memFree=27155760/32873844 swapFree=7628/7628
[pid=11239] ppid=11237 vsize=24752 CPUtime=1.49 cores=0,2,4,6
/proc/11239/stat : 11239 (bsolo3.0.17) R 11237 11239 7463 0 -1 4202496 5556 0 0 0 148 1 0 0 20 0 1 0 337566887 25346048 5454 33554432000 134512640 135840783 4289619136 4289618448 134551093 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11239/statm: 6188 5454 349 325 0 5124 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24752

[startup+3.1002 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 11240
/proc/meminfo: memFree=27147948/32873844 swapFree=7628/7628
[pid=11239] ppid=11237 vsize=27576 CPUtime=3.09 cores=0,2,4,6
/proc/11239/stat : 11239 (bsolo3.0.17) R 11237 11239 7463 0 -1 4202496 6262 0 0 0 308 1 0 0 20 0 1 0 337566887 28237824 6160 33554432000 134512640 135840783 4289619136 4289616176 12454658 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11239/statm: 6894 6160 349 325 0 5830 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27576

[startup+6.30027 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 11240
/proc/meminfo: memFree=27145344/32873844 swapFree=7628/7628
[pid=11239] ppid=11237 vsize=29764 CPUtime=6.29 cores=0,2,4,6
/proc/11239/stat : 11239 (bsolo3.0.17) R 11237 11239 7463 0 -1 4202496 6815 0 0 0 628 1 0 0 20 0 1 0 337566887 30478336 6713 33554432000 134512640 135840783 4289619136 4289618496 134551039 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11239/statm: 7441 6713 349 325 0 6377 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 29764

[startup+12.7002 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 11240
/proc/meminfo: memFree=27143284/32873844 swapFree=7628/7628
[pid=11239] ppid=11237 vsize=31688 CPUtime=12.68 cores=0,2,4,6
/proc/11239/stat : 11239 (bsolo3.0.17) R 11237 11239 7463 0 -1 4202496 7287 0 0 0 1267 1 0 0 20 0 1 0 337566887 32448512 7185 33554432000 134512640 135840783 4289619136 4289618496 134551084 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11239/statm: 7922 7185 349 325 0 6858 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 31688

[startup+25.5003 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 11240
/proc/meminfo: memFree=27141436/32873844 swapFree=7628/7628
[pid=11239] ppid=11237 vsize=33944 CPUtime=25.48 cores=0,2,4,6
/proc/11239/stat : 11239 (bsolo3.0.17) R 11237 11239 7463 0 -1 4202496 7839 0 0 0 2547 1 0 0 20 0 1 0 337566887 34758656 7737 33554432000 134512640 135840783 4289619136 4289618496 134551084 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11239/statm: 8486 7737 349 325 0 7422 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 33944

[startup+51.1003 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 11240
/proc/meminfo: memFree=27140288/32873844 swapFree=7628/7628
[pid=11239] ppid=11237 vsize=35196 CPUtime=51.08 cores=0,2,4,6
/proc/11239/stat : 11239 (bsolo3.0.17) R 11237 11239 7463 0 -1 4202496 8165 0 0 0 5107 1 0 0 20 0 1 0 337566887 36040704 8063 33554432000 134512640 135840783 4289619136 4289618488 10647760 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11239/statm: 8799 8063 349 325 0 7735 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 35196

[startup+102.306 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 11240
/proc/meminfo: memFree=27139044/32873844 swapFree=7628/7628
[pid=11239] ppid=11237 vsize=35840 CPUtime=102.26 cores=0,2,4,6
/proc/11239/stat : 11239 (bsolo3.0.17) R 11237 11239 7463 0 -1 4202496 8536 0 0 0 10225 1 0 0 20 0 1 0 337566887 36700160 8243 33554432000 134512640 135840783 4289619136 4289618448 134551084 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11239/statm: 8960 8243 349 325 0 7896 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 35840

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11240
/proc/meminfo: memFree=27137184/32873844 swapFree=7628/7628
[pid=11239] ppid=11237 vsize=37816 CPUtime=162.25 cores=0,2,4,6
/proc/11239/stat : 11239 (bsolo3.0.17) R 11237 11239 7463 0 -1 4202496 9138 0 0 0 16223 2 0 0 20 0 1 0 337566887 38723584 8737 33554432000 134512640 135840783 4289619136 4289616112 12832398 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11239/statm: 9454 8737 349 325 0 8390 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 37816

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11244
/proc/meminfo: memFree=27126636/32873844 swapFree=7628/7628
[pid=11239] ppid=11237 vsize=36272 CPUtime=222.24 cores=0,2,4,6
/proc/11239/stat : 11239 (bsolo3.0.17) R 11237 11239 7463 0 -1 4202496 9230 0 0 0 22222 2 0 0 20 0 1 0 337566887 37142528 8351 33554432000 134512640 135840783 4289619136 4289618372 12824660 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11239/statm: 9068 8351 349 325 0 8004 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 36272

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11244
/proc/meminfo: memFree=27121932/32873844 swapFree=7628/7628
[pid=11239] ppid=11237 vsize=37864 CPUtime=282.23 cores=0,2,4,6
/proc/11239/stat : 11239 (bsolo3.0.17) R 11237 11239 7463 0 -1 4202496 9625 0 0 0 28221 2 0 0 20 0 1 0 337566887 38772736 8740 33554432000 134512640 135840783 4289619136 4289618496 134550913 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11239/statm: 9466 8740 349 325 0 8402 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 37864

[startup+342.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 11244
/proc/meminfo: memFree=27120192/32873844 swapFree=7628/7628
[pid=11239] ppid=11237 vsize=39652 CPUtime=342.22 cores=0,2,4,6
/proc/11239/stat : 11239 (bsolo3.0.17) R 11237 11239 7463 0 -1 4202496 10076 0 0 0 34220 2 0 0 20 0 1 0 337566887 40603648 9183 33554432000 134512640 135840783 4289619136 4289618496 134550872 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11239/statm: 9913 9183 349 325 0 8849 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 39652

[startup+402.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 11244
/proc/meminfo: memFree=27118192/32873844 swapFree=7628/7628
[pid=11239] ppid=11237 vsize=41500 CPUtime=402.21 cores=0,2,4,6
/proc/11239/stat : 11239 (bsolo3.0.17) R 11237 11239 7463 0 -1 4202496 10557 0 0 0 40219 2 0 0 20 0 1 0 337566887 42496000 9658 33554432000 134512640 135840783 4289619136 4289618496 134551084 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11239/statm: 10375 9658 349 325 0 9311 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 41500

[startup+462.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 11244
/proc/meminfo: memFree=27118192/32873844 swapFree=7628/7628
[pid=11239] ppid=11237 vsize=41496 CPUtime=462.2 cores=0,2,4,6
/proc/11239/stat : 11239 (bsolo3.0.17) R 11237 11239 7463 0 -1 4202496 10560 0 0 0 46218 2 0 0 20 0 1 0 337566887 42491904 9657 33554432000 134512640 135840783 4289619136 4289618496 134551186 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11239/statm: 10374 9657 349 325 0 9310 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 41496

[startup+522.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 11245
/proc/meminfo: memFree=27116456/32873844 swapFree=7628/7628
[pid=11239] ppid=11237 vsize=43640 CPUtime=522.19 cores=0,2,4,6
/proc/11239/stat : 11239 (bsolo3.0.17) R 11237 11239 7463 0 -1 4202496 11088 0 0 0 52217 2 0 0 20 0 1 0 337566887 44687360 10185 33554432000 134512640 135840783 4289619136 4289618496 134551093 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11239/statm: 10910 10185 349 325 0 9846 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 43640

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11245
/proc/meminfo: memFree=27116332/32873844 swapFree=7628/7628
[pid=11239] ppid=11237 vsize=43704 CPUtime=582.19 cores=0,2,4,6
/proc/11239/stat : 11239 (bsolo3.0.17) R 11237 11239 7463 0 -1 4202496 11106 0 0 0 58216 3 0 0 20 0 1 0 337566887 44752896 10203 33554432000 134512640 135840783 4289619136 4289618560 134546114 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11239/statm: 10926 10203 349 325 0 9862 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 43704

[startup+642.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/177 11249
/proc/meminfo: memFree=27097048/32873844 swapFree=7628/7628
[pid=11239] ppid=11237 vsize=45972 CPUtime=882.13 cores=0,2,4,6
/proc/11239/stat : 11239 (bsolo3.0.17) R 11237 11239 7463 0 -1 4202496 11719 0 0 0 88210 3 0 0 20 0 1 0 337566887 47075328 10762 33554432000 134512640 135840783 4289619136 4289618496 134551515 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11239/statm: 11493 10762 349 325 0 10429 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 45972

[startup+942.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 11249
/proc/meminfo: memFree=27097156/32873844 swapFree=7628/7628
[pid=11239] ppid=11237 vsize=45960 CPUtime=942.13 cores=0,2,4,6
/proc/11239/stat : 11239 (bsolo3.0.17) R 11237 11239 7463 0 -1 4202496 11722 0 0 0 94210 3 0 0 20 0 1 0 337566887 47063040 10765 33554432000 134512640 135840783 4289619136 4289618488 10647757 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11239/statm: 11490 10765 349 325 0 10426 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 45960

[startup+1002.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 11249
/proc/meminfo: memFree=27097216/32873844 swapFree=7628/7628
[pid=11239] ppid=11237 vsize=45960 CPUtime=1002.12 cores=0,2,4,6
/proc/11239/stat : 11239 (bsolo3.0.17) R 11237 11239 7463 0 -1 4202496 11728 0 0 0 100209 3 0 0 20 0 1 0 337566887 47063040 10770 33554432000 134512640 135840783 4289619136 4289618496 134551084 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11239/statm: 11490 10770 349 325 0 10426 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 45960

[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 11249
/proc/meminfo: memFree=27094860/32873844 swapFree=7628/7628
[pid=11239] ppid=11237 vsize=48448 CPUtime=1062.1 cores=0,2,4,6
/proc/11239/stat : 11239 (bsolo3.0.17) R 11237 11239 7463 0 -1 4202496 12340 0 0 0 106207 3 0 0 20 0 1 0 337566887 49610752 11382 33554432000 134512640 135840783 4289619136 4289618496 134551048 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11239/statm: 12112 11382 349 325 0 11048 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 48448

[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11250
/proc/meminfo: memFree=27094364/32873844 swapFree=7628/7628
[pid=11239] ppid=11237 vsize=48484 CPUtime=1122.1 cores=0,2,4,6
/proc/11239/stat : 11239 (bsolo3.0.17) R 11237 11239 7463 0 -1 4202496 12363 0 0 0 112207 3 0 0 20 0 1 0 337566887 49647616 11404 33554432000 134512640 135840783 4289619136 4289618560 134546112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11239/statm: 12121 11404 349 325 0 11057 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 48484

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11250
/proc/meminfo: memFree=27094488/32873844 swapFree=7628/7628
[pid=11239] ppid=11237 vsize=48484 CPUtime=1182.09 cores=0,2,4,6
/proc/11239/stat : 11239 (bsolo3.0.17) R 11237 11239 7463 0 -1 4202496 12363 0 0 0 118206 3 0 0 20 0 1 0 337566887 49647616 11404 33554432000 134512640 135840783 4289619136 4289618496 134551347 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11239/statm: 12121 11404 349 325 0 11057 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 48484

[startup+1242.3 s]
/proc/loadavg: 1.72 1.93 1.98 2/171 11275
/proc/meminfo: memFree=27527340/32873844 swapFree=7628/7628
[pid=11239] ppid=11237 vsize=48460 CPUtime=1242.08 cores=0,2,4,6
/proc/11239/stat : 11239 (bsolo3.0.17) R 11237 11239 7463 0 -1 4202496 12367 0 0 0 124205 3 0 0 20 0 1 0 337566887 49623040 11398 33554432000 134512640 135840783 4289619136 4289618448 134550872 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11239/statm: 12115 11398 349 325 0 11051 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 48460

[startup+1302.3 s]
/proc/loadavg: 1.26 1.76 1.91 2/171 11275
/proc/meminfo: memFree=27527152/32873844 swapFree=7628/7628
[pid=11239] ppid=11237 vsize=48476 CPUtime=1302.07 cores=0,2,4,6
/proc/11239/stat : 11239 (bsolo3.0.17) R 11237 11239 7463 0 -1 4202496 12384 0 0 0 130204 3 0 0 20 0 1 0 337566887 49639424 11401 33554432000 134512640 135840783 4289619136 4289618496 134551048 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11239/statm: 12119 11401 349 325 0 11055 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 48476

[startup+1362.3 s]
/proc/loadavg: 1.09 1.62 1.85 2/171 11275
/proc/meminfo: memFree=27527400/32873844 swapFree=7628/7628
[pid=11239] ppid=11237 vsize=48540 CPUtime=1362.06 cores=0,2,4,6
/proc/11239/stat : 11239 (bsolo3.0.17) R 11237 11239 7463 0 -1 4202496 12410 0 0 0 136203 3 0 0 20 0 1 0 337566887 49704960 11416 33554432000 134512640 135840783 4289619136 4289618496 134550899 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11239/statm: 12135 11416 349 325 0 11071 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 48540

[startup+1422.31 s]
/proc/loadavg: 1.07 1.52 1.80 2/172 11279
/proc/meminfo: memFree=27527268/32873844 swapFree=7628/7628
[pid=11239] ppid=11237 vsize=48528 CPUtime=1422.05 cores=0,2,4,6
/proc/11239/stat : 11239 (bsolo3.0.17) R 11237 11239 7463 0 -1 4202496 12410 0 0 0 142202 3 0 0 20 0 1 0 337566887 49692672 11415 33554432000 134512640 135840783 4289619136 4289618560 134546112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11239/statm: 12132 11415 349 325 0 11068 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 48528

[startup+1482.3 s]
/proc/loadavg: 1.02 1.42 1.75 2/171 11279
/proc/meminfo: memFree=27527400/32873844 swapFree=7628/7628
[pid=11239] ppid=11237 vsize=48500 CPUtime=1482.04 cores=0,2,4,6
/proc/11239/stat : 11239 (bsolo3.0.17) R 11237 11239 7463 0 -1 4202496 12410 0 0 0 148201 3 0 0 20 0 1 0 337566887 49664000 11408 33554432000 134512640 135840783 4289619136 4289618496 134550913 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11239/statm: 12125 11408 349 325 0 11061 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 48500

[startup+1542.3 s]
/proc/loadavg: 1.01 1.34 1.70 2/171 11279
/proc/meminfo: memFree=27527524/32873844 swapFree=7628/7628
[pid=11239] ppid=11237 vsize=48500 CPUtime=1542.03 cores=0,2,4,6
/proc/11239/stat : 11239 (bsolo3.0.17) R 11237 11239 7463 0 -1 4202496 12419 0 0 0 154200 3 0 0 20 0 1 0 337566887 49664000 11408 33554432000 134512640 135840783 4289619136 4289618496 134551048 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11239/statm: 12125 11408 349 325 0 11061 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 48500

[startup+1602.3 s]
/proc/loadavg: 1.00 1.28 1.65 2/171 11279
/proc/meminfo: memFree=27527524/32873844 swapFree=7628/7628
[pid=11239] ppid=11237 vsize=48520 CPUtime=1602.02 cores=0,2,4,6
/proc/11239/stat : 11239 (bsolo3.0.17) R 11237 11239 7463 0 -1 4202496 12422 0 0 0 160199 3 0 0 20 0 1 0 337566887 49684480 11411 33554432000 134512640 135840783 4289619136 4289618496 134550910 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11239/statm: 12130 11411 349 325 0 11066 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 48520

[startup+1662.3 s]
/proc/loadavg: 1.00 1.22 1.61 2/172 11280
/proc/meminfo: memFree=27527392/32873844 swapFree=7628/7628
[pid=11239] ppid=11237 vsize=48504 CPUtime=1662.01 cores=0,2,4,6
/proc/11239/stat : 11239 (bsolo3.0.17) R 11237 11239 7463 0 -1 4202496 12422 0 0 0 166198 3 0 0 20 0 1 0 337566887 49668096 11409 33554432000 134512640 135840783 4289619136 4289618496 134551048 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11239/statm: 12126 11409 349 325 0 11062 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 48504

[startup+1722.3 s]
/proc/loadavg: 1.00 1.18 1.57 2/170 11280
/proc/meminfo: memFree=27524428/32873844 swapFree=7628/7628
[pid=11239] ppid=11237 vsize=51316 CPUtime=1722.01 cores=0,2,4,6
/proc/11239/stat : 11239 (bsolo3.0.17) R 11237 11239 7463 0 -1 4202496 13121 0 0 0 172197 4 0 0 20 0 1 0 337566887 52547584 12106 33554432000 134512640 135840783 4289619136 4289618496 134550902 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11239/statm: 12829 12106 349 325 0 11765 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 51316

[startup+1782.3 s]
/proc/loadavg: 1.00 1.14 1.53 2/171 11281
/proc/meminfo: memFree=27524296/32873844 swapFree=7628/7628
[pid=11239] ppid=11237 vsize=51296 CPUtime=1782 cores=0,2,4,6
/proc/11239/stat : 11239 (bsolo3.0.17) R 11237 11239 7463 0 -1 4202496 13121 0 0 0 178196 4 0 0 20 0 1 0 337566887 52527104 12106 33554432000 134512640 135840783 4289619136 4289618496 134550817 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11239/statm: 12824 12106 349 325 0 11760 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 51296



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 1.00 1.14 1.52 2/171 11281
/proc/meminfo: memFree=27524668/32873844 swapFree=7628/7628
[pid=11239] ppid=11237 vsize=51296 CPUtime=1800 cores=0,2,4,6
/proc/11239/stat : 11239 (bsolo3.0.17) R 11237 11239 7463 0 -1 4202496 13121 0 0 0 179996 4 0 0 20 0 1 0 337566887 52527104 12106 33554432000 134512640 135840783 4289619136 4289618460 10617959 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11239/statm: 12824 12106 349 325 0 11760 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 51296

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

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

[startup+1800.3 s]
/proc/loadavg: 1.00 1.14 1.52 2/171 11281
/proc/meminfo: memFree=27524668/32873844 swapFree=7628/7628
[pid=11239] ppid=11237 vsize=51296 CPUtime=1800 cores=0,2,4,6
/proc/11239/stat : 11239 (bsolo3.0.17) R 11237 11239 7463 0 -1 4202496 13121 0 0 0 179996 4 0 0 20 0 1 0 337566887 52527104 12106 33554432000 134512640 135840783 4289619136 4289618460 10617959 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11239/statm: 12824 12106 349 325 0 11760 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 51296

Child status: 15
Real time (s): 1800.31
CPU time (s): 1800.01
CPU user time (s): 1799.97
CPU system time (s): 0.042993
CPU usage (%): 99.9836
Max. virtual memory (cumulated for all children) (KiB): 51336

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.97
system time used= 0.042993
maximum resident set size= 48424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13124
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= 28
involuntary context switches= 1855

runsolver used 3.05054 second user time and 9.24659 second system time

The end

Launcher Data 

Begin job on node143 at 2012-06-03 11:07:05
IDJOB=3737221
IDBENCH=48205
IDSOLVER=2318
FILE ID=node143/3737221-1338714425
RUNJOBID= node143-1338680527-7479
PBS_JOBID= 14636712
Free space on /tmp= 68460 MiB

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

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

MD5SUM BENCH= cdccc05ac387e7ee9cb8ab81f53ca6f8
RANDOM SEED=1946444775

node143.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.787
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.57
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.787
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.787
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		: 2666.787
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.787
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.90
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.787
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	: 5298.57
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.787
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.787
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:        27172284 kB
Buffers:          455068 kB
Cached:          3909740 kB
SwapCached:          188 kB
Active:          2632104 kB
Inactive:        2136492 kB
Active(anon):     395128 kB
Inactive(anon):    10992 kB
Active(file):    2236976 kB
Inactive(file):  2125500 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108444 kB
Dirty:              6632 kB
Writeback:             0 kB
AnonPages:        410936 kB
Mapped:            11760 kB
Shmem:               160 kB
Slab:             792068 kB
SReclaimable:     233912 kB
SUnreclaim:       558156 kB
KernelStack:        1472 kB
PageTables:         4860 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     519088 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    303104 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= 68464 MiB
End job on node143 at 2012-06-03 11:37:08