Trace number 3723541

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
PB12: minisatp 1.0-2-g022594cOPT-30 62.8674 62.8844

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-3.opb
MD5SUM8e251d4e151b2868eb3a52cf845e4cf8
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-30
Best CPU time to get the best result obtained on this benchmark26.055
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -30
Optimality of the best value was proved YES
Number of variables450
Total number of constraints17809
Number of constraints which are clauses17809
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 450
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 450
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 450
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c Parsing PB file...
0.00/0.02	c Converting 17809 PB-constraints to clauses...
0.00/0.02	c   -- Unit propagations: (none)
0.00/0.02	c   -- Detecting intervals from adjacent constraints: (none)
0.00/0.02	c   -- Clauses(.)/Splits(s): .................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
0.00/0.03	c ==================================[MINISAT+]==================================
0.00/0.03	c | Conflicts | Original         | Learnt                           | Progress |
0.00/0.03	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
0.00/0.03	c ==============================================================================
0.00/0.03	c |         0 |   17809    35618 |    5936       0        0    -nan |  0.000 % |
0.00/0.03	c ==============================================================================
0.00/0.03	c Found solution: -23
0.00/0.03	c ---[   0]---> Sorter-cost:16912     Base:
0.00/0.04	c ==================================[MINISAT+]==================================
0.00/0.04	c | Conflicts | Original         | Learnt                           | Progress |
0.00/0.04	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
0.00/0.04	c ==============================================================================
0.00/0.04	c |         0 |   34945    75925 |   11648       0        0    -nan |  0.000 % |
0.00/0.05	c |       100 |   34686    75382 |   12812      81      587     7.2 |  1.212 % |
0.00/0.07	c |       250 |   34298    74556 |   14094     210     2260    10.8 |  3.068 % |
0.00/0.10	c |       475 |   33580    72970 |   15503     382     5255    13.8 |  6.746 % |
0.00/0.14	c |       812 |   31975    69415 |   17053     610     7998    13.1 | 14.972 % |
0.00/0.20	c |      1319 |   30152    65298 |   18759    1021    16288    16.0 | 24.513 % |
0.00/0.28	c |      2078 |   28075    60589 |   20635    1573    23472    14.9 | 35.597 % |
0.00/0.38	c |      3217 |   25146    53754 |   22698    2404    37071    15.4 | 51.695 % |
0.00/0.41	c ==============================================================================
0.00/0.41	c Found solution: -25
0.00/0.41	c ---[   0]---> Sorter-cost:    0     Base:
0.00/0.41	c ==================================[MINISAT+]==================================
0.00/0.41	c | Conflicts | Original         | Learnt                           | Progress |
0.00/0.41	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
0.00/0.41	c ==============================================================================
0.00/0.41	c |      3516 |   24764    52883 |    8254    2653    42621    16.1 | 51.695 % |
0.00/0.42	c |      3616 |   24590    52455 |    9079    2720    42978    15.8 | 55.009 % |
0.00/0.43	c |      3766 |   24244    51644 |    9987    2800    44593    15.9 | 56.971 % |
0.00/0.44	c |      3991 |   24244    51644 |   10986    3025    56267    18.6 | 56.970 % |
0.00/0.47	c |      4328 |   23873    50771 |   12084    3263    61685    18.9 | 59.076 % |
0.00/0.49	c |      4834 |   23642    50216 |   13293    3747    73161    19.5 | 60.412 % |
0.00/0.55	c |      5593 |   23005    48710 |   14622    4300    88870    20.7 | 63.995 % |
0.00/0.62	c |      6732 |   22273    46952 |   16084    5163   116565    22.6 | 68.248 % |
0.00/0.71	c ==============================================================================
0.00/0.71	c Found solution: -26
0.00/0.71	c ---[   0]---> Sorter-cost:    0     Base:
0.00/0.71	c ==================================[MINISAT+]==================================
0.00/0.71	c | Conflicts | Original         | Learnt                           | Progress |
0.00/0.71	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
0.00/0.71	c ==============================================================================
0.00/0.71	c |      8116 |   22021    46295 |    7340    6419   178774    27.9 | 68.248 % |
0.00/0.73	c |      8216 |   21812    45785 |    8074    6333   177075    28.0 | 70.983 % |
0.00/0.74	c |      8366 |   21786    45723 |    8881    6459   180887    28.0 | 71.136 % |
0.00/0.76	c |      8591 |   21615    45313 |    9769    6566   186738    28.4 | 72.116 % |
0.00/0.78	c |      8929 |   21576    45220 |   10746    6902   202057    29.3 | 72.344 % |
0.00/0.81	c |      9436 |   21540    45138 |   11821    7371   222672    30.2 | 72.538 % |
0.00/0.87	c |     10195 |   21538    45134 |   13003    8129   283447    34.9 | 72.547 % |
0.00/0.95	c |     11334 |   21500    45042 |   14303    9263   339511    36.7 | 72.775 % |
1.09/1.12	c |     13045 |   21341    44667 |   15733   10854   481954    44.4 | 73.671 % |
1.28/1.38	c |     15607 |   21300    44572 |   17307   13390   666067    49.7 | 73.899 % |
1.78/1.86	c |     19451 |   21189    44307 |   19038   17083   974586    57.1 | 74.541 % |
2.69/2.77	c |     25218 |   21136    44180 |   20941   22790  1538048    67.5 | 74.854 % |
3.99/4.07	c ==============================================================================
3.99/4.07	c Found solution: -27
3.99/4.07	c ---[   0]---> Sorter-cost:    0     Base:
3.99/4.08	c ==================================[MINISAT+]==================================
3.99/4.08	c | Conflicts | Original         | Learnt                           | Progress |
3.99/4.08	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
3.99/4.08	c ==============================================================================
3.99/4.08	c |     33401 |   21124    44170 |    7041   30925  2183903    70.6 | 74.854 % |
4.09/4.13	c |     33501 |   21093    44096 |    7745   15371  1023157    66.6 | 75.290 % |
4.09/4.16	c |     33651 |   21026    43935 |    8519   15474  1026848    66.4 | 75.676 % |
4.09/4.19	c |     33878 |   21026    43935 |    9371   15701  1044011    66.5 | 75.676 % |
4.19/4.24	c |     34216 |   20993    43858 |   10308   16035  1064040    66.4 | 75.860 % |
4.29/4.33	c |     34724 |   20919    43674 |   11339   16481  1115192    67.7 | 76.313 % |
4.39/4.44	c |     35484 |   20914    43663 |   12473   17239  1164875    67.6 | 76.339 % |
4.59/4.60	c |     36623 |   20914    43663 |   13720   18378  1231551    67.0 | 76.338 % |
4.79/4.83	c |     38331 |   20914    43663 |   15093   20086  1337681    66.6 | 76.339 % |
5.19/5.22	c |     40893 |   20889    43604 |   16602   22604  1464858    64.8 | 76.481 % |
5.79/5.84	c |     44737 |   20687    43111 |   18262   26305  1646520    62.6 | 77.698 % |
6.39/6.44	c ==============================================================================
6.39/6.44	c Found solution: -28
6.39/6.44	c ---[   0]---> Sorter-cost:    0     Base:
6.39/6.45	c ==================================[MINISAT+]==================================
6.39/6.45	c | Conflicts | Original         | Learnt                           | Progress |
6.39/6.45	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
6.39/6.45	c ==============================================================================
6.39/6.45	c |     48724 |   20679    43074 |    6893   15867   684675    43.2 | 77.698 % |
6.39/6.48	c |     48825 |   20580    42830 |    7582   15932   689041    43.2 | 78.364 % |
6.39/6.49	c |     48975 |   20580    42830 |    8340   16082   695058    43.2 | 78.364 % |
6.49/6.52	c |     49201 |   20580    42830 |    9174   16308   707838    43.4 | 78.364 % |
6.49/6.55	c |     49538 |   20580    42830 |   10092   16645   723221    43.4 | 78.364 % |
6.59/6.61	c |     50044 |   20580    42830 |   11101   17151   742447    43.3 | 78.364 % |
6.68/6.71	c |     50803 |   20580    42830 |   12211   17910   782049    43.7 | 78.364 % |
6.78/6.86	c |     51942 |   20543    42745 |   13432   19035   845466    44.4 | 78.566 % |
6.99/7.06	c |     53650 |   20513    42675 |   14775   20724   927044    44.7 | 78.733 % |
7.28/7.39	c |     56212 |   20513    42675 |   16253   23286  1046423    44.9 | 78.733 % |
7.88/7.91	c |     60056 |   20513    42675 |   17878   13830   491758    35.6 | 78.733 % |
8.38/8.49	c |     65822 |   20513    42675 |   19666   19596   722675    36.9 | 78.733 % |
9.48/9.58	c |     74471 |   20486    42612 |   21633   28238   996101    35.3 | 78.884 % |
11.28/11.32	c |     87445 |   20484    42608 |   23796   24709   653998    26.5 | 78.893 % |
13.58/13.66	c |    106907 |   20422    42454 |   26176   26978   847866    31.4 | 79.270 % |
16.78/16.89	c |    136100 |   20392    42380 |   28793   35543  1345007    37.8 | 79.455 % |
21.78/21.81	c |    179889 |   20381    42353 |   31673   35030   948134    27.1 | 79.522 % |
29.18/29.28	c |    245573 |   20310    42181 |   34840   27700   789992    28.5 | 79.941 % |
30.48/30.54	c ==============================================================================
30.48/30.54	c Found solution: -29
30.48/30.54	c ---[   0]---> Sorter-cost:    0     Base:
30.48/30.55	c ==================================[MINISAT+]==================================
30.48/30.55	c | Conflicts | Original         | Learnt                           | Progress |
30.48/30.55	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
30.48/30.55	c ==============================================================================
30.48/30.55	c |    256050 |   20317    42200 |    6772   38175  1229020    32.2 | 79.941 % |
30.58/30.61	c |    256150 |   20317    42200 |    7449    8964   224204    25.0 | 79.953 % |
30.58/30.62	c |    256300 |   20317    42200 |    8194    9114   228690    25.1 | 79.953 % |
30.58/30.64	c |    256526 |   20264    42073 |    9013    9333   236486    25.3 | 80.263 % |
30.58/30.66	c |    256864 |   20264    42073 |    9914    9671   250163    25.9 | 80.263 % |
30.58/30.70	c |    257371 |   20244    42023 |   10906   10173   268161    26.4 | 80.388 % |
30.68/30.74	c |    258130 |   20244    42023 |   11997   10932   308383    28.2 | 80.388 % |
30.78/30.83	c |    259269 |   20244    42023 |   13196   12071   367658    30.5 | 80.388 % |
30.88/30.97	c |    260977 |   20244    42023 |   14516   13779   434510    31.5 | 80.388 % |
31.18/31.20	c |    263539 |   20241    42016 |   15968   16337   556293    34.1 | 80.405 % |
31.48/31.51	c |    267383 |   20228    41985 |   17564   20173   690384    34.2 | 80.481 % |
31.98/32.08	c |    273149 |   20205    41926 |   19321   25858   895166    34.6 | 80.631 % |
32.88/32.91	c |    281798 |   20165    41832 |   21253   19564   485553    24.8 | 80.857 % |
34.08/34.14	c |    294772 |   20130    41742 |   23378   16703   326040    19.5 | 81.058 % |
35.68/35.71	c |    314233 |   20082    41624 |   25716   19547   398276    20.4 | 81.351 % |
38.08/38.10	c |    343425 |   20079    41617 |   28288   30364   649580    21.4 | 81.368 % |
41.87/41.90	c |    387214 |   20053    41553 |   31117   34705   789808    22.8 | 81.527 % |
48.17/48.29	c |    452898 |   19942    41321 |   34228   23688   583040    24.6 | 81.661 % |
48.57/48.61	c ==============================================================================
48.57/48.61	c Found solution: -30
48.57/48.61	c ---[   0]---> Sorter-cost: 6090     Base:
48.57/48.62	c ==================================[MINISAT+]==================================
48.57/48.62	c | Conflicts | Original         | Learnt                           | Progress |
48.57/48.62	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
48.57/48.62	c ==============================================================================
48.57/48.62	c |    457247 |   21874    45816 |    7291   28037   694052    24.8 | 81.661 % |
48.57/48.66	c |    457347 |   21874    45816 |    8020   14119   279812    19.8 | 74.692 % |
48.57/48.67	c |    457497 |   21874    45816 |    8822   14269   283673    19.9 | 74.691 % |
48.57/48.69	c |    457722 |   21874    45816 |    9704   14494   289603    20.0 | 74.692 % |
48.67/48.72	c |    458059 |   21874    45816 |   10674   14831   297311    20.0 | 74.691 % |
48.67/48.76	c |    458566 |   21874    45816 |   11742   15338   308488    20.1 | 74.691 % |
48.77/48.81	c |    459325 |   21874    45816 |   12916   16097   326608    20.3 | 74.691 % |
48.77/48.89	c |    460464 |   21874    45816 |   14208   17236   353534    20.5 | 74.691 % |
48.97/49.03	c |    462172 |   21874    45816 |   15628   18944   401210    21.2 | 74.692 % |
49.17/49.23	c |    464734 |   21874    45816 |   17191   21506   483668    22.5 | 74.691 % |
49.48/49.56	c |    468578 |   21859    45779 |   18910   25346   562879    22.2 | 74.771 % |
49.97/50.06	c |    474344 |   21637    45280 |   20802   27553   640189    23.2 | 75.370 % |
50.77/50.83	c |    482994 |   21627    45254 |   22882   20426   371196    18.2 | 75.428 % |
51.97/52.05	c |    495968 |   21627    45254 |   25170   33400   711155    21.3 | 75.428 % |
53.97/54.00	c |    515429 |   21627    45254 |   27687   34901   755658    21.7 | 75.428 % |
56.67/56.72	c |    544622 |   21490    44951 |   30456   20918   368036    17.6 | 76.085 % |
60.87/60.99	c |    588411 |   21240    44398 |   33501   32244   699300    21.7 | 76.799 % |
62.77/62.88	c ==============================================================================
62.77/62.88	c Optimal solution: -30
62.77/62.88	s OPTIMUM FOUND
62.77/62.88	v x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 x422 -x421 -x420 -x419 -x418 -x417 x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 x321 -x320 -x319 -x318 -x317 -x316 -x315 x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 x271 -x270 -x269 -x268 -x267 x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 x197 -x196 -x195 -x194 -x193 -x192 x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 x32 -x31 -x30 -x29 -x28 -x27 -x26 x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
62.77/62.88	c _______________________________________________________________________________
62.77/62.88	c 
62.77/62.88	c restarts              : 93
62.77/62.88	c conflicts             : 604828         (9624 /sec)
62.77/62.88	c decisions             : 728461         (11591 /sec)
62.77/62.88	c propagations          : 0              (0 /sec)
62.77/62.88	c inspects              : 0              (0 /sec)
62.77/62.88	c CPU time              : 62.8484 s
62.77/62.88	c _______________________________________________________________________________

Verifier Data 

OK	-30

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-3723541-1338571499/watcher-3723541-1338571499 -o /tmp/evaluation-result-3723541-1338571499/solver-3723541-1338571499 -C 1800 -W 1900 -M 15500 minisat+_script HOME/instance-3723541-1338571499.opb 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.92 4/174 12569
/proc/meminfo: memFree=28183044/32873852 swapFree=6856/6856
[pid=12569] ppid=12566 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12569/stat : 12569 (minisat+_script) S 12566 12569 10505 0 -1 4202496 385 552 0 0 0 0 0 0 20 0 1 0 323275780 9367552 277 33554432000 4194304 5064252 140733410837072 140733410835984 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12569/statm: 2287 277 236 213 0 72 0

[startup+0.044842 s]
/proc/loadavg: 2.00 2.00 1.92 4/174 12569
/proc/meminfo: memFree=28183044/32873852 swapFree=6856/6856
[pid=12569] ppid=12566 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12569/stat : 12569 (minisat+_script) S 12566 12569 10505 0 -1 4202496 385 552 0 0 0 0 0 0 20 0 1 0 323275780 9367552 277 33554432000 4194304 5064252 140733410837072 140733410835984 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12569/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100259 s]
/proc/loadavg: 2.00 2.00 1.92 4/174 12569
/proc/meminfo: memFree=28183044/32873852 swapFree=6856/6856
[pid=12569] ppid=12566 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12569/stat : 12569 (minisat+_script) S 12566 12569 10505 0 -1 4202496 385 552 0 0 0 0 0 0 20 0 1 0 323275780 9367552 277 33554432000 4194304 5064252 140733410837072 140733410835984 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12569/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300182 s]
/proc/loadavg: 2.00 2.00 1.92 4/174 12569
/proc/meminfo: memFree=28183044/32873852 swapFree=6856/6856
[pid=12569] ppid=12566 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12569/stat : 12569 (minisat+_script) S 12566 12569 10505 0 -1 4202496 385 552 0 0 0 0 0 0 20 0 1 0 323275780 9367552 277 33554432000 4194304 5064252 140733410837072 140733410835984 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12569/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700177 s]
/proc/loadavg: 2.00 2.00 1.92 4/174 12569
/proc/meminfo: memFree=28183044/32873852 swapFree=6856/6856
[pid=12569] ppid=12566 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12569/stat : 12569 (minisat+_script) S 12566 12569 10505 0 -1 4202496 385 552 0 0 0 0 0 0 20 0 1 0 323275780 9367552 277 33554432000 4194304 5064252 140733410837072 140733410835984 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12569/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50022 s]
/proc/loadavg: 2.00 2.00 1.92 4/177 12575
/proc/meminfo: memFree=28165660/32873852 swapFree=6856/6856
[pid=12569] ppid=12566 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12569/stat : 12569 (minisat+_script) S 12566 12569 10505 0 -1 4202496 385 552 0 0 0 0 0 0 20 0 1 0 323275780 9367552 277 33554432000 4194304 5064252 140733410837072 140733410835984 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12569/statm: 2287 277 236 213 0 72 0
[pid=12574] ppid=12569 vsize=10848 CPUtime=1.48 cores=1,3,5,7
/proc/12574/stat : 12574 (minisat+_64-bit) R 12569 12569 10505 0 -1 4202496 2556 0 0 0 148 0 0 0 20 0 1 0 323275780 11108352 2512 33554432000 4194304 5276501 140734097858960 140734097857208 4400112 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12574/statm: 2712 2512 118 265 0 2444 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 19996

[startup+3.10022 s]
/proc/loadavg: 2.00 2.00 1.92 4/177 12575
/proc/meminfo: memFree=28160444/32873852 swapFree=6856/6856
[pid=12569] ppid=12566 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12569/stat : 12569 (minisat+_script) S 12566 12569 10505 0 -1 4202496 385 552 0 0 0 0 0 0 20 0 1 0 323275780 9367552 277 33554432000 4194304 5064252 140733410837072 140733410835984 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12569/statm: 2287 277 236 213 0 72 0
[pid=12574] ppid=12569 vsize=15768 CPUtime=3.09 cores=1,3,5,7
/proc/12574/stat : 12574 (minisat+_64-bit) R 12569 12569 10505 0 -1 4202496 3769 0 0 0 308 1 0 0 20 0 1 0 323275780 16146432 3725 33554432000 4194304 5276501 140734097858960 140734097856952 4633200 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12574/statm: 3942 3725 118 265 0 3674 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24916

[startup+6.30023 s]
/proc/loadavg: 2.00 2.00 1.92 4/177 12575
/proc/meminfo: memFree=28152136/32873852 swapFree=6856/6856
[pid=12569] ppid=12566 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12569/stat : 12569 (minisat+_script) S 12566 12569 10505 0 -1 4202496 385 552 0 0 0 0 0 0 20 0 1 0 323275780 9367552 277 33554432000 4194304 5064252 140733410837072 140733410835984 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12569/statm: 2287 277 236 213 0 72 0
[pid=12574] ppid=12569 vsize=18056 CPUtime=6.29 cores=1,3,5,7
/proc/12574/stat : 12574 (minisat+_64-bit) R 12569 12569 10505 0 -1 4202496 4349 0 0 0 628 1 0 0 20 0 1 0 323275780 18489344 4305 33554432000 4194304 5276501 140734097858960 140734097857208 4394737 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12574/statm: 4514 4305 118 265 0 4246 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27204

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.92 4/177 12575
/proc/meminfo: memFree=28149588/32873852 swapFree=6856/6856
[pid=12569] ppid=12566 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12569/stat : 12569 (minisat+_script) S 12566 12569 10505 0 -1 4202496 385 552 0 0 0 0 0 0 20 0 1 0 323275780 9367552 277 33554432000 4194304 5064252 140733410837072 140733410835984 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12569/statm: 2287 277 236 213 0 72 0
[pid=12574] ppid=12569 vsize=18056 CPUtime=12.68 cores=1,3,5,7
/proc/12574/stat : 12574 (minisat+_64-bit) R 12569 12569 10505 0 -1 4202496 4363 0 0 0 1267 1 0 0 20 0 1 0 323275780 18489344 4312 33554432000 4194304 5276501 140734097858960 140734097857208 4400448 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12574/statm: 4514 4312 118 265 0 4246 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 27204

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.92 4/177 12575
/proc/meminfo: memFree=28149300/32873852 swapFree=6856/6856
[pid=12569] ppid=12566 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12569/stat : 12569 (minisat+_script) S 12566 12569 10505 0 -1 4202496 385 552 0 0 0 0 0 0 20 0 1 0 323275780 9367552 277 33554432000 4194304 5064252 140733410837072 140733410835984 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12569/statm: 2287 277 236 213 0 72 0
[pid=12574] ppid=12569 vsize=18684 CPUtime=25.48 cores=1,3,5,7
/proc/12574/stat : 12574 (minisat+_64-bit) R 12569 12569 10505 0 -1 4202496 4483 0 0 0 2547 1 0 0 20 0 1 0 323275780 19132416 4432 33554432000 4194304 5276501 140734097858960 140734097857096 4399360 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12574/statm: 4671 4432 118 265 0 4403 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 27832

[startup+51.1003 s]
/proc/loadavg: 2.12 2.03 1.93 3/177 12617
/proc/meminfo: memFree=28128008/32873852 swapFree=6856/6856
[pid=12569] ppid=12566 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12569/stat : 12569 (minisat+_script) S 12566 12569 10505 0 -1 4202496 385 552 0 0 0 0 0 0 20 0 1 0 323275780 9367552 277 33554432000 4194304 5064252 140733410837072 140733410835984 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12569/statm: 2287 277 236 213 0 72 0
[pid=12574] ppid=12569 vsize=20980 CPUtime=51.07 cores=1,3,5,7
/proc/12574/stat : 12574 (minisat+_64-bit) R 12569 12569 10505 0 -1 4202496 4955 0 0 0 5106 1 0 0 20 0 1 0 323275780 21483520 4904 33554432000 4194304 5276501 140734097858960 140734097857208 4400448 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12574/statm: 5245 4904 119 265 0 4977 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 30128

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

[startup+57.5003 s]
/proc/loadavg: 2.11 2.03 1.93 3/177 12617
/proc/meminfo: memFree=28126520/32873852 swapFree=6856/6856
[pid=12569] ppid=12566 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12569/stat : 12569 (minisat+_script) S 12566 12569 10505 0 -1 4202496 385 552 0 0 0 0 0 0 20 0 1 0 323275780 9367552 277 33554432000 4194304 5064252 140733410837072 140733410835984 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12569/statm: 2287 277 236 213 0 72 0
[pid=12574] ppid=12569 vsize=20980 CPUtime=57.47 cores=1,3,5,7
/proc/12574/stat : 12574 (minisat+_64-bit) R 12569 12569 10505 0 -1 4202496 4956 0 0 0 5746 1 0 0 20 0 1 0 323275780 21483520 4905 33554432000 4194304 5276501 140734097858960 140734097857208 4399816 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12574/statm: 5245 4905 119 265 0 4977 0
Current children cumulated CPU time (s) 57.47
Current children cumulated vsize (KiB) 30128

[startup+60.7003 s]
/proc/loadavg: 2.10 2.03 1.93 3/177 12617
/proc/meminfo: memFree=28126644/32873852 swapFree=6856/6856
[pid=12569] ppid=12566 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12569/stat : 12569 (minisat+_script) S 12566 12569 10505 0 -1 4202496 385 552 0 0 0 0 0 0 20 0 1 0 323275780 9367552 277 33554432000 4194304 5064252 140733410837072 140733410835984 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12569/statm: 2287 277 236 213 0 72 0
[pid=12574] ppid=12569 vsize=20980 CPUtime=60.67 cores=1,3,5,7
/proc/12574/stat : 12574 (minisat+_64-bit) R 12569 12569 10505 0 -1 4202496 4956 0 0 0 6066 1 0 0 20 0 1 0 323275780 21483520 4905 33554432000 4194304 5276501 140734097858960 140734097857208 4399869 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12574/statm: 5245 4905 119 265 0 4977 0
Current children cumulated CPU time (s) 60.67
Current children cumulated vsize (KiB) 30128

[startup+61.5003 s]
/proc/loadavg: 2.10 2.03 1.93 3/177 12617
/proc/meminfo: memFree=28126644/32873852 swapFree=6856/6856
[pid=12569] ppid=12566 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12569/stat : 12569 (minisat+_script) S 12566 12569 10505 0 -1 4202496 385 552 0 0 0 0 0 0 20 0 1 0 323275780 9367552 277 33554432000 4194304 5064252 140733410837072 140733410835984 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12569/statm: 2287 277 236 213 0 72 0
[pid=12574] ppid=12569 vsize=20980 CPUtime=61.48 cores=1,3,5,7
/proc/12574/stat : 12574 (minisat+_64-bit) R 12569 12569 10505 0 -1 4202496 4956 0 0 0 6147 1 0 0 20 0 1 0 323275780 21483520 4905 33554432000 4194304 5276501 140734097858960 140734097857208 4399918 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12574/statm: 5245 4905 119 265 0 4977 0
Current children cumulated CPU time (s) 61.48
Current children cumulated vsize (KiB) 30128

[startup+62.3003 s]
/proc/loadavg: 2.10 2.03 1.93 3/177 12617
/proc/meminfo: memFree=28126644/32873852 swapFree=6856/6856
[pid=12569] ppid=12566 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12569/stat : 12569 (minisat+_script) S 12566 12569 10505 0 -1 4202496 385 552 0 0 0 0 0 0 20 0 1 0 323275780 9367552 277 33554432000 4194304 5064252 140733410837072 140733410835984 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12569/statm: 2287 277 236 213 0 72 0
[pid=12574] ppid=12569 vsize=20980 CPUtime=62.27 cores=1,3,5,7
/proc/12574/stat : 12574 (minisat+_64-bit) R 12569 12569 10505 0 -1 4202496 4960 0 0 0 6226 1 0 0 20 0 1 0 323275780 21483520 4930 33554432000 4194304 5276501 140734097858960 140734097857208 4399944 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12574/statm: 5245 4930 119 265 0 4977 0
Current children cumulated CPU time (s) 62.27
Current children cumulated vsize (KiB) 30128

[startup+62.7069 s]
/proc/loadavg: 2.10 2.03 1.93 3/177 12617
/proc/meminfo: memFree=28124100/32873852 swapFree=6856/6856
[pid=12569] ppid=12566 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12569/stat : 12569 (minisat+_script) S 12566 12569 10505 0 -1 4202496 385 552 0 0 0 0 0 0 20 0 1 0 323275780 9367552 277 33554432000 4194304 5064252 140733410837072 140733410835984 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12569/statm: 2287 277 236 213 0 72 0
[pid=12574] ppid=12569 vsize=20980 CPUtime=62.68 cores=1,3,5,7
/proc/12574/stat : 12574 (minisat+_64-bit) R 12569 12569 10505 0 -1 4202496 4962 0 0 0 6267 1 0 0 20 0 1 0 323275780 21483520 4932 33554432000 4194304 5276501 140734097858960 140734097857208 4399918 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12574/statm: 5245 4932 119 265 0 4977 0
Current children cumulated CPU time (s) 62.68
Current children cumulated vsize (KiB) 30128

[startup+62.8003 s]
/proc/loadavg: 2.10 2.03 1.93 3/177 12617
/proc/meminfo: memFree=28124100/32873852 swapFree=6856/6856
[pid=12569] ppid=12566 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12569/stat : 12569 (minisat+_script) S 12566 12569 10505 0 -1 4202496 385 552 0 0 0 0 0 0 20 0 1 0 323275780 9367552 277 33554432000 4194304 5064252 140733410837072 140733410835984 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12569/statm: 2287 277 236 213 0 72 0
[pid=12574] ppid=12569 vsize=20980 CPUtime=62.77 cores=1,3,5,7
/proc/12574/stat : 12574 (minisat+_64-bit) R 12569 12569 10505 0 -1 4202496 4962 0 0 0 6276 1 0 0 20 0 1 0 323275780 21483520 4932 33554432000 4194304 5276501 140734097858960 140734097857208 4399816 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12574/statm: 5245 4932 119 265 0 4977 0
Current children cumulated CPU time (s) 62.77
Current children cumulated vsize (KiB) 30128

Child status: 0
Real time (s): 62.8844
CPU time (s): 62.8674
CPU user time (s): 62.8504
CPU system time (s): 0.016997
CPU usage (%): 99.9731
Max. virtual memory (cumulated for all children) (KiB): 30128

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 62.8504
system time used= 0.016997
maximum resident set size= 19728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5914
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= 20
involuntary context switches= 66

runsolver used 0.113982 second user time and 0.32795 second system time

The end

Launcher Data 

Begin job on node128 at 2012-06-01 19:24:59
IDJOB=3723541
IDBENCH=2239
IDSOLVER=2307
FILE ID=node128/3723541-1338571499
RUNJOBID= node128-1338569698-12415
PBS_JOBID= 14635885
Free space on /tmp= 70508 MiB

SOLVER NAME= minisatp 1.0-2-g022594c
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-3.opb
COMMAND LINE= minisat+_script BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3723541-1338571499/watcher-3723541-1338571499 -o /tmp/evaluation-result-3723541-1338571499/solver-3723541-1338571499 -C 1800 -W 1900 -M 15500  minisat+_script HOME/instance-3723541-1338571499.opb

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

MD5SUM BENCH= 8e251d4e151b2868eb3a52cf845e4cf8
RANDOM SEED=1627074111

node128.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.389
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	: 5332.77
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.389
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.389
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	: 5438.56
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.389
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.389
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		: 2666.389
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		: 2666.389
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.389
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:       32873852 kB
MemFree:        28184132 kB
Buffers:          513068 kB
Cached:          3273932 kB
SwapCached:          784 kB
Active:          1674384 kB
Inactive:        2125232 kB
Active(anon):       3008 kB
Inactive(anon):    11368 kB
Active(file):    1671376 kB
Inactive(file):  2113864 kB
Unevictable:        6856 kB
Mlocked:            6856 kB
SwapTotal:      67108856 kB
SwapFree:       67106552 kB
Dirty:              5480 kB
Writeback:             0 kB
AnonPages:         17900 kB
Mapped:            13464 kB
Shmem:               200 kB
Slab:             751732 kB
SReclaimable:     193924 kB
SUnreclaim:       557808 kB
KernelStack:        1456 kB
PageTables:         4356 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:     105516 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 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= 70504 MiB
End job on node128 at 2012-06-01 19:26:02