Trace number 3721696

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: minisat+ 1.14SAT (TO)-111 1800.05 1800.41

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_10_1.opb
MD5SUM6a7c5d2366cf8704587c2ca2c97e69d0
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-120
Best CPU time to get the best result obtained on this benchmark1800.14
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -111
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
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 constraints500
Minimum length of a constraint10
Maximum length of a constraint22
Number of terms in the objective function 500
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 500
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 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)6318
Sum of products size (including duplicates)12636
Number of different products3159
Sum of products size6318

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 Parsing PB file...
0.00/0.09	c Converting 3159 PB-constraints to clauses...
0.00/0.09	c   -- Unit propagations: (none)
0.00/0.09	c   -- Detecting intervals from adjacent constraints: (none)
0.00/0.09	c   -- Clauses(.)/Splits(s): .......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
0.09/0.10	c ==================================[MINISAT+]==================================
0.09/0.10	c | Conflicts | Original         | Learnt                           | Progress |
0.09/0.10	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
0.09/0.10	c ==============================================================================
0.09/0.10	c |         0 |    3159     6318 |    1053       0        0     nan |  0.000 % |
0.09/0.10	c ==============================================================================
0.09/0.10	c Found solution: -104
0.09/0.10	o -104
0.09/0.10	c ---[   0]---> Sorter-cost:19022     Base:
0.09/0.12	c ==================================[MINISAT+]==================================
0.09/0.12	c | Conflicts | Original         | Learnt                           | Progress |
0.09/0.12	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
0.09/0.12	c ==============================================================================
0.09/0.12	c |         0 |   24303    55987 |    8101       0        0     nan |  0.000 % |
0.09/0.14	c |       101 |   24193    55763 |    8911      94     4465    47.5 | 18.219 % |
0.09/0.17	c |       253 |   24063    55491 |    9802     240    14814    61.7 | 18.620 % |
0.19/0.20	c |       478 |   24037    55437 |   10782     464    33499    72.2 | 18.699 % |
0.19/0.25	c |       816 |   23841    55025 |   11860     794    50510    63.6 | 19.309 % |
0.29/0.32	c |      1322 |   23841    55025 |   13046    1300    88352    68.0 | 19.309 % |
0.39/0.45	c |      2081 |   23758    54850 |   14351    2055   169609    82.5 | 19.569 % |
0.59/0.65	c |      3220 |   23606    54524 |   15786    3186   288714    90.6 | 20.055 % |
0.89/0.95	c |      4928 |   23509    54313 |   17365    4887   488695   100.0 | 20.377 % |
1.19/1.24	c ==============================================================================
1.19/1.24	c Found solution: -105
1.19/1.24	o -105
1.19/1.24	c ---[   0]---> Sorter-cost:    0     Base:
1.19/1.25	c ==================================[MINISAT+]==================================
1.19/1.25	c | Conflicts | Original         | Learnt                           | Progress |
1.19/1.25	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
1.19/1.25	c ==============================================================================
1.19/1.25	c |      6256 |   23488    54323 |    7829    6213   669194   107.7 | 20.377 % |
1.19/1.28	c |      6356 |   23435    54204 |    8611    6311   671426   106.4 | 20.718 % |
1.29/1.32	c |      6506 |   23321    53952 |    9473    6455   674805   104.5 | 21.107 % |
1.29/1.36	c |      6732 |   23321    53952 |   10420    6681   694528   104.0 | 21.107 % |
1.39/1.43	c |      7069 |   23266    53833 |   11462    7016   728007   103.8 | 21.288 % |
1.49/1.53	c |      7575 |   23266    53833 |   12608    7522   783625   104.2 | 21.288 % |
1.59/1.66	c |      8335 |   23266    53833 |   13869    8282   867277   104.7 | 21.288 % |
1.89/1.93	c |      9476 |   23266    53833 |   15256    9423  1054177   111.9 | 21.288 % |
2.39/2.43	c |     11185 |   23143    53563 |   16782   11124  1417316   127.4 | 21.694 % |
2.98/3.09	c |     13747 |   23109    53491 |   18460   13685  1884645   137.7 | 21.801 % |
4.18/4.27	c |     17591 |   23076    53420 |   20306   17525  2674244   152.6 | 21.909 % |
6.38/6.42	c |     23357 |   23076    53420 |   22337   23291  4164646   178.8 | 21.909 % |
9.89/9.93	c |     32007 |   22993    53233 |   24570   31932  6429923   201.4 | 22.197 % |
14.78/14.85	c |     44982 |   22993    53233 |   27027   25346  6395366   252.3 | 22.197 % |
14.98/15.05	c ==============================================================================
14.98/15.05	c Found solution: -106
14.98/15.05	o -106
14.98/15.05	c ---[   0]---> Sorter-cost:    0     Base:
15.08/15.10	c ==================================[MINISAT+]==================================
15.08/15.10	c | Conflicts | Original         | Learnt                           | Progress |
15.08/15.10	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
15.08/15.10	c ==============================================================================
15.08/15.10	c |     45869 |   22985    53187 |    7661   26230  6489297   247.4 | 22.197 % |
15.08/15.15	c |     45969 |   22903    53007 |    8427    5937  1265719   213.2 | 22.538 % |
15.08/15.19	c |     46119 |   22859    52911 |    9269    6083  1266944   208.3 | 22.668 % |
15.18/15.23	c |     46344 |   22844    52878 |   10196    6190  1276284   206.2 | 22.719 % |
15.18/15.30	c |     46681 |   22844    52878 |   11216    6527  1313374   201.2 | 22.719 % |
15.39/15.43	c |     47187 |   22785    52751 |   12338    7030  1384797   197.0 | 22.911 % |
15.48/15.59	c |     47948 |   22785    52751 |   13571    7791  1494255   191.8 | 22.911 % |
15.78/15.84	c |     49088 |   22681    52515 |   14929    8925  1595746   178.8 | 23.277 % |
16.18/16.21	c |     50796 |   22681    52515 |   16422   10633  1837683   172.8 | 23.278 % |
16.68/16.75	c |     53358 |   22681    52515 |   18064   13195  2187810   165.8 | 23.278 % |
17.59/17.61	c |     57202 |   22656    52456 |   19870   17021  2723301   160.0 | 23.368 % |
17.59/17.63	c ==============================================================================
17.59/17.63	c Found solution: -108
17.59/17.63	o -108
17.59/17.64	c ---[   0]---> Sorter-cost:    0     Base:
17.59/17.66	c ==================================[MINISAT+]==================================
17.59/17.66	c | Conflicts | Original         | Learnt                           | Progress |
17.59/17.66	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
17.59/17.66	c ==============================================================================
17.59/17.66	c |     57262 |   22724    52678 |    7574   14337  1761049   122.8 | 23.368 % |
17.68/17.70	c |     57362 |   22683    52587 |    8331    7262   922341   127.0 | 23.511 % |
17.68/17.72	c |     57513 |   22683    52587 |    9164    7413   924845   124.8 | 23.511 % |
17.68/17.76	c |     57739 |   22683    52587 |   10080    7639   947715   124.1 | 23.511 % |
17.78/17.83	c |     58076 |   22683    52587 |   11089    7976   988250   123.9 | 23.511 % |
17.88/17.92	c |     58582 |   22683    52587 |   12198    8482  1020870   120.4 | 23.511 % |
17.98/18.06	c |     59341 |   22683    52587 |   13417    9241  1098149   118.8 | 23.511 % |
18.28/18.35	c |     60480 |   22683    52587 |   14759   10380  1297921   125.0 | 23.511 % |
18.69/18.79	c |     62190 |   22663    52543 |   16235   12086  1553784   128.6 | 23.578 % |
19.38/19.43	c |     64752 |   22629    52469 |   17859   14647  1974352   134.8 | 23.691 % |
20.38/20.42	c |     68596 |   22629    52469 |   19645   18491  2659316   143.8 | 23.691 % |
22.58/22.62	c |     74362 |   22581    52359 |   21609   24255  4143349   170.8 | 23.865 % |
25.28/25.31	c |     83012 |   22581    52359 |   23770   32905  6030537   183.3 | 23.865 % |
30.68/30.76	c |     95986 |   22581    52359 |   26147   25502  6193487   242.9 | 23.865 % |
38.66/38.75	c |    115449 |   22581    52359 |   28762   17365  4942752   284.6 | 23.865 % |
45.96/46.10	c ==============================================================================
45.96/46.10	c Found solution: -110
45.96/46.10	o -110
45.96/46.10	c ---[   0]---> Sorter-cost:    0     Base:
46.06/46.17	c ==================================[MINISAT+]==================================
46.06/46.17	c | Conflicts | Original         | Learnt                           | Progress |
46.06/46.17	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
46.06/46.17	c ==============================================================================
46.06/46.17	c |    134100 |   22605    52427 |    7535   36008  9915305   275.4 | 23.865 % |
46.16/46.22	c |    134200 |   22605    52427 |    8288    6355  1565599   246.4 | 23.890 % |
46.16/46.29	c |    134350 |   22475    52141 |    9117    6478  1571473   242.6 | 24.323 % |
46.25/46.33	c |    134575 |   22475    52141 |   10029    6703  1588381   237.0 | 24.323 % |
46.25/46.39	c |    134912 |   22475    52141 |   11031    7040  1621007   230.3 | 24.323 % |
46.35/46.48	c |    135418 |   22475    52141 |   12135    7546  1678482   222.4 | 24.323 % |
46.55/46.61	c |    136177 |   22475    52141 |   13348    8305  1760055   211.9 | 24.323 % |
46.75/46.81	c |    137316 |   22475    52141 |   14683    9444  1871358   198.2 | 24.323 % |
47.16/47.20	c |    139024 |   22475    52141 |   16151   11152  2154961   193.2 | 24.323 % |
47.85/47.97	c |    141586 |   22457    52099 |   17767   13712  2683589   195.7 | 24.390 % |
48.95/49.06	c |    145430 |   22457    52099 |   19543   17556  3453504   196.7 | 24.390 % |
50.75/50.85	c |    151196 |   22457    52099 |   21498   23322  4715631   202.2 | 24.390 % |
53.65/53.72	c |    159845 |   22457    52099 |   23648   31971  6623428   207.2 | 24.390 % |
58.35/58.47	c |    172821 |   22457    52099 |   26012   25267  5987677   237.0 | 24.390 % |
65.05/65.13	c |    192282 |   22457    52099 |   28614   17814  4175239   234.4 | 24.390 % |
76.65/76.76	c |    221475 |   22457    52099 |   31475   16829  4816934   286.2 | 24.390 % |
77.75/77.82	c ==============================================================================
77.75/77.82	c Found solution: -111
77.75/77.82	o -111
77.75/77.83	c ---[   0]---> Sorter-cost:    0     Base:
77.75/77.87	c ==================================[MINISAT+]==================================
77.75/77.87	c | Conflicts | Original         | Learnt                           | Progress |
77.75/77.87	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
77.75/77.87	c ==============================================================================
77.75/77.87	c |    226174 |   22537    52364 |    7512   21528  5573948   258.9 | 24.390 % |
77.85/77.90	c |    226276 |   22537    52364 |    8263   10866  2302303   211.9 | 24.343 % |
77.85/77.94	c |    226426 |   22503    52290 |    9089   11012  2308375   209.6 | 24.455 % |
77.85/77.99	c |    226652 |   22503    52290 |    9998   11238  2328845   207.2 | 24.455 % |
77.96/78.06	c |    226990 |   22503    52290 |   10998   11576  2372575   205.0 | 24.455 % |
78.06/78.13	c |    227496 |   22503    52290 |   12098   12082  2391997   198.0 | 24.455 % |
78.15/78.22	c |    228255 |   22503    52290 |   13307   12841  2407017   187.4 | 24.455 % |
78.25/78.40	c |    229395 |   22485    52252 |   14638   13979  2454172   175.6 | 24.511 % |
78.85/78.93	c |    231104 |   22485    52252 |   16102   15688  2887284   184.0 | 24.511 % |
79.75/79.84	c |    233666 |   22485    52252 |   17712   18250  3554224   194.8 | 24.511 % |
81.05/81.10	c |    237511 |   22485    52252 |   19484   22095  4537661   205.4 | 24.511 % |
83.05/83.15	c |    243279 |   22485    52252 |   21432   27863  6101557   219.0 | 24.511 % |
85.65/85.73	c |    251928 |   22485    52252 |   23575   20804  4871635   234.2 | 24.511 % |
91.45/91.52	c |    264902 |   22485    52252 |   25933   33778  8710912   257.9 | 24.511 % |
102.84/102.95	c |    284363 |   22485    52252 |   28526   31683 10734292   338.8 | 24.511 % |
119.55/119.63	c |    313555 |   22485    52252 |   31379   38212 12924813   338.2 | 24.511 % |
144.34/144.42	c |    357344 |   22485    52252 |   34517   27714  9255748   334.0 | 24.511 % |
180.74/180.89	c |    423028 |   22485    52252 |   37969   23457  6550351   279.2 | 24.511 % |
245.82/245.90	c |    521555 |   22485    52252 |   41766   47088 18455799   391.9 | 24.511 % |
336.81/336.90	c |    669348 |   22485    52252 |   45942   42640 13628730   319.6 | 24.511 % |
516.45/516.68	c |    891031 |   22485    52252 |   50536   39090 15005987   383.9 | 24.511 % |
783.21/783.45	c |   1223556 |   22485    52252 |   55590   41311 16528057   400.1 | 24.512 % |
1186.55/1186.83	c |   1722348 |   22485    52252 |   61149   66313 27217292   410.4 | 24.511 % |
1800.05/1800.40	c 
1800.05/1800.40	c *** TERMINATED ***
1800.05/1800.40	s SATISFIABLE
1800.05/1800.40	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 x22 -x23 x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 x125 -x126 -x127 x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 x163 -x164 x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 x191 -x192 -x193 -x194 -x195 x196 -x197 -x198 -x199 x200 -x201 -x202 -x203 -x204 -x205 x206 x207 x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 x242 -x243 -x244 -x245 -x246 -x247 -x248 x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 x259 -x260 -x261 -x262 x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 x276 -x277 -x278 -x279 -x280 -x281 -x282 x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 x292 -x293 x294 -x295 -x296 -x297 x298 -x299 -x300 -x301 x302 -x303 x304 -x305 -x306 -x307 x308 x309 -x310 -x311 x312 -x313 -x314 -x315 -x316 -x317 x318 -x319 -x320 x321 x322 x323 x324 -x325 x326 x327 x328 -x329 x330 x331 -x332 -x333 x334 x335 -x336 x337 -x338 x339 x340 x341 x342 -x343 x344 x345 x346 x347 -x348 -x349 x350 -x351 x352 -x353 x354 x355 -x356 x357 x358 x359 x360 x361 x362 -x363 x364 x365 x366 x367 -x368 x369 -x370 x371 x372 -x373 x374 x375 x376 -x377 -x378 -x379 -x380 x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 x391 -x392 x393 -x394 -x395 -x396 -x397 -x398 x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 x408 x409 -x410 -x411 x412 x413 x414 -x415 x416 -x417 -x418 -x419 x420 -x421 x422 x423 -x424 -x425 -x426 -x427 x428 -x429 -x430 x431 x432 -x433 x434 -x435 -x436 -x437 x438 x439 -x440 -x441 -x442 -x443 x444 x445 -x446 -x447 x448 -x449 -x450 -x451 -x452 x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 x466 x467 x468 x469 -x470 -x471 x472 -x473 -x474 -x475 -x476 x477 -x478 x479 -x480 -x481 -x482 x483 -x484 x485 -x486 x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 x496 -x497 x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659

Verifier Data 

OK	-111

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-3721696-1338558285/watcher-3721696-1338558285 -o /tmp/evaluation-result-3721696-1338558285/solver-3721696-1338558285 -C 1800 -W 1900 -M 15500 HOME/minisat+ HOME/instance-3721696-1338558285.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.02 2.05 2.00 3/178 17934
/proc/meminfo: memFree=28119584/32873844 swapFree=7112/7112
[pid=17934] ppid=17932 vsize=1264 CPUtime=0 cores=0,2,4,6
/proc/17934/stat : 17934 (minisat+) R 17932 17934 17266 0 -1 4202496 173 0 0 0 0 0 0 0 20 0 1 0 321953826 1294336 130 33554432000 134512640 135395479 4290497200 4290495852 135010894 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/17934/statm: 316 130 73 216 0 98 0

[startup+0.00981102 s]
/proc/loadavg: 2.02 2.05 2.00 3/178 17934
/proc/meminfo: memFree=28119584/32873844 swapFree=7112/7112
[pid=17934] ppid=17932 vsize=1424 CPUtime=0 cores=0,2,4,6
/proc/17934/stat : 17934 (minisat+) R 17932 17934 17266 0 -1 4202496 189 0 0 0 0 0 0 0 20 0 1 0 321953826 1458176 146 33554432000 134512640 135395479 4290497200 4290496200 135031278 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/17934/statm: 356 146 73 216 0 138 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1424

[startup+0.100205 s]
/proc/loadavg: 2.02 2.05 2.00 3/178 17934
/proc/meminfo: memFree=28119584/32873844 swapFree=7112/7112
[pid=17934] ppid=17932 vsize=2588 CPUtime=0.09 cores=0,2,4,6
/proc/17934/stat : 17934 (minisat+) R 17932 17934 17266 0 -1 4202496 497 0 0 0 9 0 0 0 20 0 1 0 321953826 2650112 454 33554432000 134512640 135395479 4290497200 4290495728 135031374 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/17934/statm: 647 454 87 216 0 429 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2588

[startup+0.300243 s]
/proc/loadavg: 2.02 2.05 2.00 3/178 17934
/proc/meminfo: memFree=28119584/32873844 swapFree=7112/7112
[pid=17934] ppid=17932 vsize=5444 CPUtime=0.29 cores=0,2,4,6
/proc/17934/stat : 17934 (minisat+) R 17932 17934 17266 0 -1 4202496 1260 0 0 0 29 0 0 0 20 0 1 0 321953826 5574656 1166 33554432000 134512640 135395479 4290497200 4290495072 134574201 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/17934/statm: 1361 1166 111 216 0 1143 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5444

[startup+0.700236 s]
/proc/loadavg: 2.02 2.05 2.00 3/178 17934
/proc/meminfo: memFree=28119584/32873844 swapFree=7112/7112
[pid=17934] ppid=17932 vsize=6368 CPUtime=0.69 cores=0,2,4,6
/proc/17934/stat : 17934 (minisat+) R 17932 17934 17266 0 -1 4202496 1517 0 0 0 69 0 0 0 20 0 1 0 321953826 6520832 1423 33554432000 134512640 135395479 4290497200 4290495100 135007481 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/17934/statm: 1592 1423 111 216 0 1374 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6368

[startup+1.50025 s]
/proc/loadavg: 2.02 2.04 2.00 4/179 17935
/proc/meminfo: memFree=28113368/32873844 swapFree=7112/7112
[pid=17934] ppid=17932 vsize=8628 CPUtime=1.49 cores=0,2,4,6
/proc/17934/stat : 17934 (minisat+) R 17932 17934 17266 0 -1 4202496 2048 0 0 0 149 0 0 0 20 0 1 0 321953826 8835072 1954 33554432000 134512640 135395479 4290497200 4290495484 135139026 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/17934/statm: 2157 1954 111 216 0 1939 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8628

[startup+3.10022 s]
/proc/loadavg: 2.02 2.04 2.00 4/179 17935
/proc/meminfo: memFree=28110268/32873844 swapFree=7112/7112
[pid=17934] ppid=17932 vsize=13296 CPUtime=3.08 cores=0,2,4,6
/proc/17934/stat : 17934 (minisat+) R 17932 17934 17266 0 -1 4202496 3223 0 0 0 308 0 0 0 20 0 1 0 321953826 13615104 3129 33554432000 134512640 135395479 4290497200 4290495552 134569812 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/17934/statm: 3324 3129 111 216 0 3106 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 13296

[startup+6.30024 s]
/proc/loadavg: 2.02 2.04 2.00 4/179 17935
/proc/meminfo: memFree=28100532/32873844 swapFree=7112/7112
[pid=17934] ppid=17932 vsize=22328 CPUtime=6.28 cores=0,2,4,6
/proc/17934/stat : 17934 (minisat+) R 17932 17934 17266 0 -1 4202496 5493 0 0 0 628 0 0 0 20 0 1 0 321953826 22863872 5399 33554432000 134512640 135395479 4290497200 4290495504 134580333 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/17934/statm: 5582 5399 111 216 0 5364 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 22328

[startup+12.7002 s]
/proc/loadavg: 2.02 2.04 2.00 4/179 17936
/proc/meminfo: memFree=28087792/32873844 swapFree=7112/7112
[pid=17934] ppid=17932 vsize=31940 CPUtime=12.69 cores=0,2,4,6
/proc/17934/stat : 17934 (minisat+) R 17932 17934 17266 0 -1 4202496 7898 0 0 0 1268 1 0 0 20 0 1 0 321953826 32706560 7804 33554432000 134512640 135395479 4290497200 4290495072 134574064 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/17934/statm: 7985 7804 111 216 0 7767 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 31940

[startup+25.5003 s]
/proc/loadavg: 2.02 2.04 2.00 4/179 17936
/proc/meminfo: memFree=28087404/32873844 swapFree=7112/7112
[pid=17934] ppid=17932 vsize=32552 CPUtime=25.47 cores=0,2,4,6
/proc/17934/stat : 17934 (minisat+) R 17932 17934 17266 0 -1 4202496 8044 0 0 0 2546 1 0 0 20 0 1 0 321953826 33333248 7966 33554432000 134512640 135395479 4290497200 4290495552 134580915 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/17934/statm: 8138 7966 111 216 0 7920 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 32552

[startup+51.1002 s]
/proc/loadavg: 2.01 2.04 2.00 4/179 17936
/proc/meminfo: memFree=28071628/32873844 swapFree=7112/7112
[pid=17934] ppid=17932 vsize=48416 CPUtime=51.05 cores=0,2,4,6
/proc/17934/stat : 17934 (minisat+) R 17932 17934 17266 0 -1 4202496 12036 0 0 0 5103 2 0 0 20 0 1 0 321953826 49577984 11944 33554432000 134512640 135395479 4290497200 4290495552 134580798 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/17934/statm: 12104 11944 111 216 0 11886 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 48416

[startup+102.307 s]
/proc/loadavg: 2.00 2.03 2.00 4/179 17936
/proc/meminfo: memFree=28048316/32873844 swapFree=7112/7112
[pid=17934] ppid=17932 vsize=52032 CPUtime=102.25 cores=0,2,4,6
/proc/17934/stat : 17934 (minisat+) R 17932 17934 17266 0 -1 4202496 12922 0 0 0 10223 2 0 0 20 0 1 0 321953826 53280768 12830 33554432000 134512640 135395479 4290497200 4290495552 134580945 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/17934/statm: 13008 12830 111 216 0 12790 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 52032

[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/180 17937
/proc/meminfo: memFree=27966716/32873844 swapFree=7112/7112
[pid=17934] ppid=17932 vsize=72796 CPUtime=162.23 cores=0,2,4,6
/proc/17934/stat : 17934 (minisat+) R 17932 17934 17266 0 -1 4202496 18125 0 0 0 16220 3 0 0 20 0 1 0 321953826 74543104 18033 33554432000 134512640 135395479 4290497200 4290495552 134580890 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/17934/statm: 18199 18033 111 216 0 17981 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 72796

[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/179 17937
/proc/meminfo: memFree=27910552/32873844 swapFree=7112/7112
[pid=17934] ppid=17932 vsize=76212 CPUtime=222.23 cores=0,2,4,6
/proc/17934/stat : 17934 (minisat+) R 17932 17934 17266 0 -1 4202496 18985 0 0 0 22219 4 0 0 20 0 1 0 321953826 78041088 18893 33554432000 134512640 135395479 4290497200 4290495072 134574480 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/17934/statm: 19053 18893 111 216 0 18835 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 76212

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/179 17937
/proc/meminfo: memFree=27854848/32873844 swapFree=7112/7112
[pid=17934] ppid=17932 vsize=86312 CPUtime=282.22 cores=0,2,4,6
/proc/17934/stat : 17934 (minisat+) R 17932 17934 17266 0 -1 4202496 21493 0 0 0 28218 4 0 0 20 0 1 0 321953826 88383488 21401 33554432000 134512640 135395479 4290497200 4290495552 134580965 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/17934/statm: 21578 21401 111 216 0 21360 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 86312

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/180 17941
/proc/meminfo: memFree=27795100/32873844 swapFree=7112/7112
[pid=17934] ppid=17932 vsize=86312 CPUtime=342.21 cores=0,2,4,6
/proc/17934/stat : 17934 (minisat+) R 17932 17934 17266 0 -1 4202496 21494 0 0 0 34217 4 0 0 20 0 1 0 321953826 88383488 21402 33554432000 134512640 135395479 4290497200 4290495072 134574474 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/17934/statm: 21578 21402 111 216 0 21360 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 86312

[startup+402.3 s]
/proc/loadavg: 2.05 2.01 2.00 4/179 17941
/proc/meminfo: memFree=27736944/32873844 swapFree=7112/7112
[pid=17934] ppid=17932 vsize=102248 CPUtime=402.2 cores=0,2,4,6
/proc/17934/stat : 17934 (minisat+) R 17932 17934 17266 0 -1 4202496 25488 0 0 0 40214 6 0 0 20 0 1 0 321953826 104701952 25396 33554432000 134512640 135395479 4290497200 4290495072 134573851 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/17934/statm: 25562 25396 111 216 0 25344 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 102248

[startup+462.3 s]
/proc/loadavg: 2.02 2.01 2.00 4/179 17941
/proc/meminfo: memFree=27675856/32873844 swapFree=7112/7112
[pid=17934] ppid=17932 vsize=116600 CPUtime=462.18 cores=0,2,4,6
/proc/17934/stat : 17934 (minisat+) R 17932 17934 17266 0 -1 4202496 29096 0 0 0 46211 7 0 0 20 0 1 0 321953826 119398400 28996 33554432000 134512640 135395479 4290497200 4290495520 134573393 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/17934/statm: 29150 28996 111 216 0 28932 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 116600

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 17941
/proc/meminfo: memFree=27631664/32873844 swapFree=7112/7112
[pid=17934] ppid=17932 vsize=116600 CPUtime=522.15 cores=0,2,4,6
/proc/17934/stat : 17934 (minisat+) R 17932 17934 17266 0 -1 4202496 29120 0 0 0 52208 7 0 0 20 0 1 0 321953826 119398400 28999 33554432000 134512640 135395479 4290497200 4290495552 134580970 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/17934/statm: 29150 28999 111 216 0 28932 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 116600

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 17941
/proc/meminfo: memFree=27589132/32873844 swapFree=7112/7112
[pid=17934] ppid=17932 vsize=119612 CPUtime=582.14 cores=0,2,4,6
/proc/17934/stat : 17934 (minisat+) R 17932 17934 17266 0 -1 4202496 29822 0 0 0 58207 7 0 0 20 0 1 0 321953826 122482688 29701 33554432000 134512640 135395479 4290497200 4290495552 134580905 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/17934/statm: 29903 29701 111 216 0 29685 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 119612

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.01 2.00 2.00 4/179 17942
/proc/meminfo: memFree=27454716/32873844 swapFree=7112/7112
[pid=17934] ppid=17932 vsize=124204 CPUtime=822.11 cores=0,2,4,6
/proc/17934/stat : 17934 (minisat+) R 17932 17934 17266 0 -1 4202496 30978 0 0 0 82203 8 0 0 20 0 1 0 321953826 127184896 30857 33554432000 134512640 135395479 4290497200 4290495552 134580893 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/17934/statm: 31051 30857 111 216 0 30833 0
Current children cumulated CPU time (s) 822.11
Current children cumulated vsize (KiB) 124204

[startup+882.3 s]
/proc/loadavg: 2.05 2.01 2.00 4/179 17942
/proc/meminfo: memFree=27418856/32873844 swapFree=7112/7112
[pid=17934] ppid=17932 vsize=123988 CPUtime=882.1 cores=0,2,4,6
/proc/17934/stat : 17934 (minisat+) R 17932 17934 17266 0 -1 4202496 30978 0 0 0 88202 8 0 0 20 0 1 0 321953826 126963712 30822 33554432000 134512640 135395479 4290497200 4290495168 134576840 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/17934/statm: 30997 30822 111 216 0 30779 0
Current children cumulated CPU time (s) 882.1
Current children cumulated vsize (KiB) 123988

[startup+942.3 s]
/proc/loadavg: 2.02 2.01 2.00 4/180 17946
/proc/meminfo: memFree=27379196/32873844 swapFree=7112/7112
[pid=17934] ppid=17932 vsize=131644 CPUtime=942.08 cores=0,2,4,6
/proc/17934/stat : 17934 (minisat+) R 17932 17934 17266 0 -1 4202496 32884 0 0 0 94200 8 0 0 20 0 1 0 321953826 134803456 32728 33554432000 134512640 135395479 4290497200 4290495072 134574171 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/17934/statm: 32911 32728 111 216 0 32693 0
Current children cumulated CPU time (s) 942.08
Current children cumulated vsize (KiB) 131644

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/180 17969
/proc/meminfo: memFree=27341156/32873844 swapFree=7112/7112
[pid=17934] ppid=17932 vsize=131644 CPUtime=1002.07 cores=0,2,4,6
/proc/17934/stat : 17934 (minisat+) R 17932 17934 17266 0 -1 4202496 32884 0 0 0 100199 8 0 0 20 0 1 0 321953826 134803456 32728 33554432000 134512640 135395479 4290497200 4290495552 134580765 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/17934/statm: 32911 32728 111 216 0 32693 0
Current children cumulated CPU time (s) 1002.07
Current children cumulated vsize (KiB) 131644

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 17969
/proc/meminfo: memFree=27298288/32873844 swapFree=7112/7112
[pid=17934] ppid=17932 vsize=138996 CPUtime=1062.07 cores=0,2,4,6
/proc/17934/stat : 17934 (minisat+) R 17932 17934 17266 0 -1 4202496 34724 0 0 0 106198 9 0 0 20 0 1 0 321953826 142331904 34568 33554432000 134512640 135395479 4290497200 4290495072 134574075 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/17934/statm: 34749 34568 111 216 0 34531 0
Current children cumulated CPU time (s) 1062.07
Current children cumulated vsize (KiB) 138996

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 17969
/proc/meminfo: memFree=27261728/32873844 swapFree=7112/7112
[pid=17934] ppid=17932 vsize=138996 CPUtime=1122.06 cores=0,2,4,6
/proc/17934/stat : 17934 (minisat+) R 17932 17934 17266 0 -1 4202496 34724 0 0 0 112197 9 0 0 20 0 1 0 321953826 142331904 34568 33554432000 134512640 135395479 4290497200 4290495552 134580890 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/17934/statm: 34749 34568 111 216 0 34531 0
Current children cumulated CPU time (s) 1122.06
Current children cumulated vsize (KiB) 138996

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 17969
/proc/meminfo: memFree=27226944/32873844 swapFree=7112/7112
[pid=17934] ppid=17932 vsize=138996 CPUtime=1182.05 cores=0,2,4,6
/proc/17934/stat : 17934 (minisat+) R 17932 17934 17266 0 -1 4202496 34724 0 0 0 118196 9 0 0 20 0 1 0 321953826 142331904 34568 33554432000 134512640 135395479 4290497200 4290495168 134579235 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/17934/statm: 34749 34568 111 216 0 34531 0
Current children cumulated CPU time (s) 1182.05
Current children cumulated vsize (KiB) 138996

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 17970
/proc/meminfo: memFree=27192760/32873844 swapFree=7112/7112
[pid=17934] ppid=17932 vsize=138992 CPUtime=1242.03 cores=0,2,4,6
/proc/17934/stat : 17934 (minisat+) R 17932 17934 17266 0 -1 4202496 34740 0 0 0 124194 9 0 0 20 0 1 0 321953826 142327808 34584 33554432000 134512640 135395479 4290497200 4290495552 134580744 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/17934/statm: 34748 34584 111 216 0 34530 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 138992

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 17970
/proc/meminfo: memFree=27155312/32873844 swapFree=7112/7112
[pid=17934] ppid=17932 vsize=138820 CPUtime=1302.02 cores=0,2,4,6
/proc/17934/stat : 17934 (minisat+) R 17932 17934 17266 0 -1 4202496 34740 0 0 0 130193 9 0 0 20 0 1 0 321953826 142151680 34541 33554432000 134512640 135395479 4290497200 4290495168 134578854 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/17934/statm: 34705 34541 111 216 0 34487 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 138820

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 17970
/proc/meminfo: memFree=27114392/32873844 swapFree=7112/7112
[pid=17934] ppid=17932 vsize=138820 CPUtime=1362.01 cores=0,2,4,6
/proc/17934/stat : 17934 (minisat+) R 17932 17934 17266 0 -1 4202496 34740 0 0 0 136192 9 0 0 20 0 1 0 321953826 142151680 34541 33554432000 134512640 135395479 4290497200 4290495552 134580888 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/17934/statm: 34705 34541 111 216 0 34487 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 138820

[startup+1422.31 s]
/proc/loadavg: 2.05 2.01 2.00 4/179 17970
/proc/meminfo: memFree=27080788/32873844 swapFree=7112/7112
[pid=17934] ppid=17932 vsize=138820 CPUtime=1422.01 cores=0,2,4,6
/proc/17934/stat : 17934 (minisat+) R 17932 17934 17266 0 -1 4202496 34740 0 0 0 142192 9 0 0 20 0 1 0 321953826 142151680 34541 33554432000 134512640 135395479 4290497200 4290495552 134580888 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/17934/statm: 34705 34541 111 216 0 34487 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 138820

[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 4/179 17970
/proc/meminfo: memFree=27029700/32873844 swapFree=7112/7112
[pid=17934] ppid=17932 vsize=138820 CPUtime=1481.99 cores=0,2,4,6
/proc/17934/stat : 17934 (minisat+) R 17932 17934 17266 0 -1 4202496 34740 0 0 0 148190 9 0 0 20 0 1 0 321953826 142151680 34541 33554432000 134512640 135395479 4290497200 4290495552 134581436 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/17934/statm: 34705 34541 111 216 0 34487 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 138820

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/180 17974
/proc/meminfo: memFree=26956532/32873844 swapFree=7112/7112
[pid=17934] ppid=17932 vsize=138820 CPUtime=1541.98 cores=0,2,4,6
/proc/17934/stat : 17934 (minisat+) R 17932 17934 17266 0 -1 4202496 34740 0 0 0 154189 9 0 0 20 0 1 0 321953826 142151680 34541 33554432000 134512640 135395479 4290497200 4290495552 134580896 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/17934/statm: 34705 34541 111 216 0 34487 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 138820

[startup+1602.3 s]
/proc/loadavg: 1.92 1.98 1.99 2/177 17975
/proc/meminfo: memFree=28318756/32873844 swapFree=7112/7112
[pid=17934] ppid=17932 vsize=146844 CPUtime=1601.98 cores=0,2,4,6
/proc/17934/stat : 17934 (minisat+) R 17932 17934 17266 0 -1 4202496 36732 0 0 0 160188 10 0 0 20 0 1 0 321953826 150368256 36533 33554432000 134512640 135395479 4290497200 4290495072 134573832 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/17934/statm: 36711 36533 111 216 0 36493 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 146844

[startup+1662.3 s]
/proc/loadavg: 1.97 1.98 1.99 3/179 18023
/proc/meminfo: memFree=27982976/32873844 swapFree=7112/7112
[pid=17934] ppid=17932 vsize=155244 CPUtime=1661.96 cores=0,2,4,6
/proc/17934/stat : 17934 (minisat+) R 17932 17934 17266 0 -1 4202496 38831 0 0 0 166186 10 0 0 20 0 1 0 321953826 158969856 38632 33554432000 134512640 135395479 4290497200 4290495072 134574118 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/17934/statm: 38811 38632 111 216 0 38593 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 155244

[startup+1722.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 18023
/proc/meminfo: memFree=27970144/32873844 swapFree=7112/7112
[pid=17934] ppid=17932 vsize=159460 CPUtime=1721.95 cores=0,2,4,6
/proc/17934/stat : 17934 (minisat+) R 17932 17934 17266 0 -1 4202496 39872 0 0 0 172184 11 0 0 20 0 1 0 321953826 163287040 39672 33554432000 134512640 135395479 4290497200 4290495072 134574338 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/17934/statm: 39865 39672 111 216 0 39647 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 159460

[startup+1782.3 s]
/proc/loadavg: 2.03 2.00 2.00 3/179 18023
/proc/meminfo: memFree=27963600/32873844 swapFree=7112/7112
[pid=17934] ppid=17932 vsize=159320 CPUtime=1781.94 cores=0,2,4,6
/proc/17934/stat : 17934 (minisat+) R 17932 17934 17266 0 -1 4202496 39872 0 0 0 178183 11 0 0 20 0 1 0 321953826 163143680 39666 33554432000 134512640 135395479 4290497200 4290495072 134574147 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/17934/statm: 39830 39666 111 216 0 39612 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 159320



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.02 2.00 2.00 3/179 18023
/proc/meminfo: memFree=27962080/32873844 swapFree=7112/7112
[pid=17934] ppid=17932 vsize=159320 CPUtime=1800.05 cores=0,2,4,6
/proc/17934/stat : 17934 (minisat+) R 17932 17934 17266 0 -1 4202496 39872 0 0 0 179994 11 0 0 20 0 1 0 321953826 163143680 39666 33554432000 134512640 135395479 4290497200 4290495072 134573950 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/17934/statm: 39830 39666 111 216 0 39612 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 159320

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

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

Child status: 10
Real time (s): 1800.41
CPU time (s): 1800.05
CPU user time (s): 1799.94
CPU system time (s): 0.111982
CPU usage (%): 99.9803
Max. virtual memory (cumulated for all children) (KiB): 159460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.94
system time used= 0.111982
maximum resident set size= 158688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39874
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= 75
involuntary context switches= 2053

runsolver used 3.49047 second user time and 9.06462 second system time

The end

Launcher Data 

Begin job on node132 at 2012-06-01 15:44:45
IDJOB=3721696
IDBENCH=48176
IDSOLVER=2306
FILE ID=node132/3721696-1338558285
RUNJOBID= node132-1338552574-17282
PBS_JOBID= 14635852
Free space on /tmp= 71212 MiB

SOLVER NAME= minisat+ 1.14
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_10_1.opb
COMMAND LINE= HOME/minisat+ BENCHNAME            
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3721696-1338558285/watcher-3721696-1338558285 -o /tmp/evaluation-result-3721696-1338558285/solver-3721696-1338558285 -C 1800 -W 1900 -M 15500  HOME/minisat+ HOME/instance-3721696-1338558285.opb            

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

MD5SUM BENCH= 6a7c5d2366cf8704587c2ca2c97e69d0
RANDOM SEED=771744067

node132.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.832
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.66
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.832
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	: 5332.55
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.832
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	: 5332.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.832
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	: 5332.56
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.832
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	: 5332.55
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.832
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	: 5332.56
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.832
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	: 5332.55
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.832
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28120096 kB
Buffers:          562100 kB
Cached:          2922404 kB
SwapCached:         2292 kB
Active:          1835848 kB
Inactive:        2005352 kB
Active(anon):     348980 kB
Inactive(anon):     7120 kB
Active(file):    1486868 kB
Inactive(file):  1998232 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67102708 kB
Dirty:              2368 kB
Writeback:             0 kB
AnonPages:        360896 kB
Mapped:            11516 kB
Shmem:                 8 kB
Slab:             772056 kB
SReclaimable:     213784 kB
SUnreclaim:       558272 kB
KernelStack:        1472 kB
PageTables:         4644 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     475800 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:    331776 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3721696-1338558285.opb

Free space on /tmp at the end= 71204 MiB
End job on node132 at 2012-06-01 16:14:47