Trace number 454118

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, and are wall clock time (not CPU 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
minisat+ 1.14SAT (TO)-111 1800.1 1800.63

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-111
Best CPU time to get the best result obtained on this benchmark1800.1
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 (download as text)

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

Verifier Data (download as text)

OK	-111

Conversion Script Data (download as text)

Linearizing /tmp/evaluation/454118-1178021434/instance-454118-1178021434.opb

Watcher Data (download as text)

runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node62/watcher-454118-1178021434 -o ROOT/results/node62/solver-454118-1178021434 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/454118-1178021434/minisat+ /tmp/evaluation/454118-1178021434/instance-454118-1178021434.opb 

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): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.79 0.90 0.94 3/64 18610
/proc/meminfo: memFree=1804464/2055920 swapFree=4184544/4192956
[pid=18610] ppid=18608 vsize=1180 CPUtime=0
/proc/18610/stat : 18610 (minisat+) R 18608 18610 17784 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 120719458 1208320 118 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18610/statm: 295 118 73 215 0 77 0

[startup+0.0609861 s]
/proc/loadavg: 0.79 0.90 0.94 3/64 18610
/proc/meminfo: memFree=1804464/2055920 swapFree=4184544/4192956
[pid=18610] ppid=18608 vsize=1640 CPUtime=0.05
/proc/18610/stat : 18610 (minisat+) R 18608 18610 17784 0 -1 4194304 241 0 0 0 5 0 0 0 18 0 1 0 120719458 1679360 227 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18610/statm: 410 227 75 215 0 192 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 1640

[startup+0.10199 s]
/proc/loadavg: 0.79 0.90 0.94 3/64 18610
/proc/meminfo: memFree=1804464/2055920 swapFree=4184544/4192956
[pid=18610] ppid=18608 vsize=1796 CPUtime=0.09
/proc/18610/stat : 18610 (minisat+) R 18608 18610 17784 0 -1 4194304 282 0 0 0 9 0 0 0 18 0 1 0 120719458 1839104 268 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18610/statm: 449 268 75 215 0 231 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1796

[startup+0.302013 s]
/proc/loadavg: 0.79 0.90 0.94 3/64 18610
/proc/meminfo: memFree=1804464/2055920 swapFree=4184544/4192956
[pid=18610] ppid=18608 vsize=5036 CPUtime=0.29
/proc/18610/stat : 18610 (minisat+) R 18608 18610 17784 0 -1 4194304 1145 0 0 0 28 1 0 0 18 0 1 0 120719458 5156864 1080 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581295 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18610/statm: 1259 1080 108 215 0 1041 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5036

[startup+0.70106 s]
/proc/loadavg: 0.79 0.90 0.94 3/64 18610
/proc/meminfo: memFree=1804464/2055920 swapFree=4184544/4192956
[pid=18610] ppid=18608 vsize=5436 CPUtime=0.69
/proc/18610/stat : 18610 (minisat+) R 18608 18610 17784 0 -1 4194304 1257 0 0 0 68 1 0 0 20 0 1 0 120719458 5566464 1192 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134584053 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18610/statm: 1359 1192 111 215 0 1141 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5436

[startup+1.50115 s]
/proc/loadavg: 0.81 0.90 0.94 2/65 18611
/proc/meminfo: memFree=1799784/2055920 swapFree=4184544/4192956
[pid=18610] ppid=18608 vsize=6492 CPUtime=1.49
/proc/18610/stat : 18610 (minisat+) R 18608 18610 17784 0 -1 4194304 1519 0 0 0 148 1 0 0 25 0 1 0 120719458 6647808 1454 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18610/statm: 1623 1454 111 215 0 1405 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6492

[startup+3.10134 s]
/proc/loadavg: 0.81 0.90 0.94 2/65 18611
/proc/meminfo: memFree=1798120/2055920 swapFree=4184544/4192956
[pid=18610] ppid=18608 vsize=8648 CPUtime=3.09
/proc/18610/stat : 18610 (minisat+) R 18608 18610 17784 0 -1 4194304 2043 0 0 0 307 2 0 0 25 0 1 0 120719458 8855552 1978 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18610/statm: 2162 1978 111 215 0 1944 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8648

[startup+6.30172 s]
/proc/loadavg: 0.81 0.90 0.94 2/65 18611
/proc/meminfo: memFree=1793320/2055920 swapFree=4184544/4192956
[pid=18610] ppid=18608 vsize=13276 CPUtime=6.29
/proc/18610/stat : 18610 (minisat+) R 18608 18610 17784 0 -1 4194304 3195 0 0 0 626 3 0 0 25 0 1 0 120719458 13594624 3130 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18610/statm: 3319 3130 111 215 0 3101 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13276

[startup+12.7015 s]
/proc/loadavg: 0.84 0.91 0.94 2/65 18611
/proc/meminfo: memFree=1784168/2055920 swapFree=4184544/4192956
[pid=18610] ppid=18608 vsize=21924 CPUtime=12.68
/proc/18610/stat : 18610 (minisat+) R 18608 18610 17784 0 -1 4194304 5366 0 0 0 1264 4 0 0 25 0 1 0 120719458 22450176 5301 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573840 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18610/statm: 5481 5301 111 215 0 5263 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 21924

[startup+25.502 s]
/proc/loadavg: 0.86 0.91 0.94 2/65 18611
/proc/meminfo: memFree=1773352/2055920 swapFree=4184544/4192956
[pid=18610] ppid=18608 vsize=31928 CPUtime=25.48
/proc/18610/stat : 18610 (minisat+) R 18608 18610 17784 0 -1 4194304 7868 0 0 0 2542 6 0 0 25 0 1 0 120719458 32694272 7803 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18610/statm: 7982 7803 111 215 0 7764 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 31928

[startup+51.102 s]
/proc/loadavg: 0.91 0.91 0.94 2/65 18611
/proc/meminfo: memFree=1772776/2055920 swapFree=4184544/4192956
[pid=18610] ppid=18608 vsize=32548 CPUtime=51.07
/proc/18610/stat : 18610 (minisat+) R 18608 18610 17784 0 -1 4194304 8006 0 0 0 5101 6 0 0 25 0 1 0 120719458 33329152 7941 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572776 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18610/statm: 8137 7941 111 215 0 7919 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 32548

[startup+102.306 s]
/proc/loadavg: 0.96 0.93 0.94 2/65 18611
/proc/meminfo: memFree=1756840/2055920 swapFree=4184544/4192956
[pid=18610] ppid=18608 vsize=48464 CPUtime=102.26
/proc/18610/stat : 18610 (minisat+) R 18608 18610 17784 0 -1 4194304 11984 0 0 0 10216 10 0 0 25 0 1 0 120719458 49627136 11919 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580825 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18610/statm: 12116 11919 111 215 0 11898 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 48464

[startup+162.302 s]
/proc/loadavg: 0.98 0.94 0.94 2/65 18611
/proc/meminfo: memFree=1756840/2055920 swapFree=4184544/4192956
[pid=18610] ppid=18608 vsize=48444 CPUtime=162.24
/proc/18610/stat : 18610 (minisat+) R 18608 18610 17784 0 -1 4194304 11984 0 0 0 16214 10 0 0 25 0 1 0 120719458 49606656 11919 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18610/statm: 12111 11919 111 215 0 11893 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 48444

[startup+222.301 s]
/proc/loadavg: 0.99 0.95 0.94 2/65 18611
/proc/meminfo: memFree=1753264/2055920 swapFree=4184544/4192956
[pid=18610] ppid=18608 vsize=52064 CPUtime=222.22
/proc/18610/stat : 18610 (minisat+) R 18608 18610 17784 0 -1 4194304 12871 0 0 0 22211 11 0 0 25 0 1 0 120719458 53313536 12806 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574431 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18610/statm: 13016 12806 111 215 0 12798 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 52064

[startup+282.301 s]
/proc/loadavg: 0.99 0.95 0.94 2/65 18611
/proc/meminfo: memFree=1746608/2055920 swapFree=4184544/4192956
[pid=18610] ppid=18608 vsize=59300 CPUtime=282.2
/proc/18610/stat : 18610 (minisat+) R 18608 18610 17784 0 -1 4194304 14671 0 0 0 28208 12 0 0 25 0 1 0 120719458 60723200 14606 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18610/statm: 14825 14606 111 215 0 14607 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 59300

[startup+342.301 s]
/proc/loadavg: 0.99 0.96 0.94 2/65 18611
/proc/meminfo: memFree=1736752/2055920 swapFree=4184544/4192956
[pid=18610] ppid=18608 vsize=68496 CPUtime=342.18
/proc/18610/stat : 18610 (minisat+) R 18608 18610 17784 0 -1 4194304 16980 0 0 0 34204 14 0 0 25 0 1 0 120719458 70139904 16915 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18610/statm: 17124 16915 111 215 0 16906 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 68496

[startup+402.301 s]
/proc/loadavg: 0.99 0.96 0.94 2/65 18611
/proc/meminfo: memFree=1732400/2055920 swapFree=4184544/4192956
[pid=18610] ppid=18608 vsize=72832 CPUtime=402.16
/proc/18610/stat : 18610 (minisat+) R 18608 18610 17784 0 -1 4194304 18074 0 0 0 40201 15 0 0 25 0 1 0 120719458 74579968 18009 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581491 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18610/statm: 18208 18009 111 215 0 17990 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 72832

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 18611
/proc/meminfo: memFree=1729520/2055920 swapFree=4184544/4192956
[pid=18610] ppid=18608 vsize=75596 CPUtime=462.15
/proc/18610/stat : 18610 (minisat+) R 18608 18610 17784 0 -1 4194304 18773 0 0 0 46199 16 0 0 25 0 1 0 120719458 77410304 18708 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18610/statm: 18899 18708 111 215 0 18681 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 75596

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 18611
/proc/meminfo: memFree=1729584/2055920 swapFree=4184544/4192956
[pid=18610] ppid=18608 vsize=75596 CPUtime=522.13
/proc/18610/stat : 18610 (minisat+) R 18608 18610 17784 0 -1 4194304 18777 0 0 0 52197 16 0 0 25 0 1 0 120719458 77410304 18712 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18610/statm: 18899 18712 111 215 0 18681 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 75596

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 18611
/proc/meminfo: memFree=1728880/2055920 swapFree=4184544/4192956
[pid=18610] ppid=18608 vsize=76248 CPUtime=582.11
/proc/18610/stat : 18610 (minisat+) R 18608 18610 17784 0 -1 4194304 18938 0 0 0 58195 16 0 0 25 0 1 0 120719458 78077952 18873 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134575401 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18610/statm: 19062 18873 111 215 0 18844 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 76248

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 18611
/proc/meminfo: memFree=1718832/2055920 swapFree=4184544/4192956
[pid=18610] ppid=18608 vsize=86248 CPUtime=642.11
/proc/18610/stat : 18610 (minisat+) R 18608 18610 17784 0 -1 4194304 21441 0 0 0 64192 19 0 0 25 0 1 0 120719458 88317952 21376 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134579855 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18610/statm: 21562 21376 111 215 0 21344 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 86248


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

[startup+822.301 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 18611
/proc/meminfo: memFree=1718768/2055920 swapFree=4184544/4192956
[pid=18610] ppid=18608 vsize=86248 CPUtime=822.05
/proc/18610/stat : 18610 (minisat+) R 18608 18610 17784 0 -1 4194304 21444 0 0 0 82186 19 0 0 25 0 1 0 120719458 88317952 21379 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18610/statm: 21562 21379 111 215 0 21344 0
Current children cumulated CPU time (s) 822.05
Current children cumulated vsize (KiB) 86248

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 18611
/proc/meminfo: memFree=1718704/2055920 swapFree=4184544/4192956
[pid=18610] ppid=18608 vsize=86248 CPUtime=882.03
/proc/18610/stat : 18610 (minisat+) R 18608 18610 17784 0 -1 4194304 21444 0 0 0 88184 19 0 0 25 0 1 0 120719458 88317952 21379 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18610/statm: 21562 21379 111 215 0 21344 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 86248

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 18611
/proc/meminfo: memFree=1715376/2055920 swapFree=4184544/4192956
[pid=18610] ppid=18608 vsize=89668 CPUtime=942.01
/proc/18610/stat : 18610 (minisat+) R 18608 18610 17784 0 -1 4194304 22289 0 0 0 94181 20 0 0 25 0 1 0 120719458 91820032 22224 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573899 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18610/statm: 22417 22224 111 215 0 22199 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 89668

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 18611
/proc/meminfo: memFree=1702768/2055920 swapFree=4184544/4192956
[pid=18610] ppid=18608 vsize=102172 CPUtime=1001.99
/proc/18610/stat : 18610 (minisat+) R 18608 18610 17784 0 -1 4194304 25433 0 0 0 100176 23 0 0 25 0 1 0 120719458 104624128 25368 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574413 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18610/statm: 25543 25368 111 215 0 25325 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 102172

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 18611
/proc/meminfo: memFree=1702768/2055920 swapFree=4184544/4192956
[pid=18610] ppid=18608 vsize=102172 CPUtime=1061.98
/proc/18610/stat : 18610 (minisat+) R 18608 18610 17784 0 -1 4194304 25433 0 0 0 106174 24 0 0 25 0 1 0 120719458 104624128 25368 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18610/statm: 25543 25368 111 215 0 25325 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 102172

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 18611
/proc/meminfo: memFree=1688304/2055920 swapFree=4184544/4192956
[pid=18610] ppid=18608 vsize=116620 CPUtime=1121.96
/proc/18610/stat : 18610 (minisat+) R 18608 18610 17784 0 -1 4194304 29032 0 0 0 112168 28 0 0 25 0 1 0 120719458 119418880 28967 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576837 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18610/statm: 29155 28967 111 215 0 28937 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 116620

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 18611
/proc/meminfo: memFree=1688304/2055920 swapFree=4184544/4192956
[pid=18610] ppid=18608 vsize=116620 CPUtime=1181.94
/proc/18610/stat : 18610 (minisat+) R 18608 18610 17784 0 -1 4194304 29032 0 0 0 118166 28 0 0 25 0 1 0 120719458 119418880 28967 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580947 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18610/statm: 29155 28967 111 215 0 28937 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 116620

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 18611
/proc/meminfo: memFree=1688304/2055920 swapFree=4184544/4192956
[pid=18610] ppid=18608 vsize=116620 CPUtime=1241.92
/proc/18610/stat : 18610 (minisat+) R 18608 18610 17784 0 -1 4194304 29032 0 0 0 124164 28 0 0 25 0 1 0 120719458 119418880 28967 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18610/statm: 29155 28967 111 215 0 28937 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 116620

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 18611
/proc/meminfo: memFree=1688304/2055920 swapFree=4184544/4192956
[pid=18610] ppid=18608 vsize=116620 CPUtime=1301.91
/proc/18610/stat : 18610 (minisat+) R 18608 18610 17784 0 -1 4194304 29032 0 0 0 130163 28 0 0 25 0 1 0 120719458 119418880 28967 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573849 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18610/statm: 29155 28967 111 215 0 28937 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 116620

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 18611
/proc/meminfo: memFree=1688304/2055920 swapFree=4184544/4192956
[pid=18610] ppid=18608 vsize=116620 CPUtime=1361.89
/proc/18610/stat : 18610 (minisat+) R 18608 18610 17784 0 -1 4194304 29032 0 0 0 136161 28 0 0 25 0 1 0 120719458 119418880 28967 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580947 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18610/statm: 29155 28967 111 215 0 28937 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 116620

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 18611
/proc/meminfo: memFree=1688304/2055920 swapFree=4184544/4192956
[pid=18610] ppid=18608 vsize=116740 CPUtime=1421.87
/proc/18610/stat : 18610 (minisat+) R 18608 18610 17784 0 -1 4194304 29037 0 0 0 142159 28 0 0 25 0 1 0 120719458 119541760 28972 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576114 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18610/statm: 29185 28972 111 215 0 28967 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 116740

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 18611
/proc/meminfo: memFree=1688240/2055920 swapFree=4184544/4192956
[pid=18610] ppid=18608 vsize=116740 CPUtime=1481.85
/proc/18610/stat : 18610 (minisat+) R 18608 18610 17784 0 -1 4194304 29037 0 0 0 148157 28 0 0 25 0 1 0 120719458 119541760 28972 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573899 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18610/statm: 29185 28972 111 215 0 28967 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 116740

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 18611
/proc/meminfo: memFree=1685424/2055920 swapFree=4184544/4192956
[pid=18610] ppid=18608 vsize=119620 CPUtime=1541.83
/proc/18610/stat : 18610 (minisat+) R 18608 18610 17784 0 -1 4194304 29743 0 0 0 154154 29 0 0 25 0 1 0 120719458 122490880 29678 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18610/statm: 29905 29678 111 215 0 29687 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 119620

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 18611
/proc/meminfo: memFree=1685424/2055920 swapFree=4184544/4192956
[pid=18610] ppid=18608 vsize=119620 CPUtime=1601.81
/proc/18610/stat : 18610 (minisat+) R 18608 18610 17784 0 -1 4194304 29743 0 0 0 160152 29 0 0 25 0 1 0 120719458 122490880 29678 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18610/statm: 29905 29678 111 215 0 29687 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 119620

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 18611
/proc/meminfo: memFree=1685424/2055920 swapFree=4184544/4192956
[pid=18610] ppid=18608 vsize=119620 CPUtime=1661.8
/proc/18610/stat : 18610 (minisat+) R 18608 18610 17784 0 -1 4194304 29743 0 0 0 166150 30 0 0 25 0 1 0 120719458 122490880 29678 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574254 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18610/statm: 29905 29678 111 215 0 29687 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 119620

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 18611
/proc/meminfo: memFree=1685424/2055920 swapFree=4184544/4192956
[pid=18610] ppid=18608 vsize=119620 CPUtime=1721.78
/proc/18610/stat : 18610 (minisat+) R 18608 18610 17784 0 -1 4194304 29743 0 0 0 172148 30 0 0 25 0 1 0 120719458 122490880 29678 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005920 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18610/statm: 29905 29678 111 215 0 29687 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 119620

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 18611
/proc/meminfo: memFree=1685360/2055920 swapFree=4184544/4192956
[pid=18610] ppid=18608 vsize=119620 CPUtime=1781.77
/proc/18610/stat : 18610 (minisat+) R 18608 18610 17784 0 -1 4194304 29743 0 0 0 178147 30 0 0 25 0 1 0 120719458 122490880 29678 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581436 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18610/statm: 29905 29678 111 215 0 29687 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 119620



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 18611
/proc/meminfo: memFree=1685360/2055920 swapFree=4184544/4192956
[pid=18610] ppid=18608 vsize=119620 CPUtime=1800.07
/proc/18610/stat : 18610 (minisat+) R 18608 18610 17784 0 -1 4194304 29743 0 0 0 179977 30 0 0 25 0 1 0 120719458 122490880 29678 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580908 0 0 4096 16386 0 0 0 17 1 0 0
/proc/18610/statm: 29905 29678 111 215 0 29687 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 119620

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.63
CPU time (s): 1800.1
CPU user time (s): 1799.78
CPU system time (s): 0.32295
CPU usage (%): 99.9703
Max. virtual memory (cumulated for all children) (KiB): 119620

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.78
system time used= 0.32295
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29745
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= 35
involuntary context switches= 3336

runsolver used 1.45978 second user time and 3.47647 second system time

The end

Launcher Data (download as text)

Begin job on node62 on Tue May  1 12:10:34 UTC 2007

IDJOB= 454118
IDBENCH= 48176
IDSOLVER= 156
FILE ID= node62/454118-1178021434

PBS_JOBID= 4728387

Free space on /tmp= 66562 MiB

SOLVER NAME= minisat+ 1.14
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_10_1.opb
COMMAND LINE= /tmp/evaluation/454118-1178021434/minisat+ /tmp/evaluation/454118-1178021434/instance-454118-1178021434.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node62/convwatcher-454118-1178021434 -o ROOT/results/node62/conversion-454118-1178021434 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/454118-1178021434/instance-454118-1178021434.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node62/watcher-454118-1178021434 -o ROOT/results/node62/solver-454118-1178021434 -C 1800 -W 3600 -M 1800 --output-limit 1,15  /tmp/evaluation/454118-1178021434/minisat+ /tmp/evaluation/454118-1178021434/instance-454118-1178021434.opb            

META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e
MD5SUM BENCH=  6a7c5d2366cf8704587c2ca2c97e69d0

RANDOM SEED= 5869993

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node62.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.216
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.216
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1804936 kB
Buffers:         28468 kB
Cached:         150184 kB
SwapCached:       2296 kB
Active:          76724 kB
Inactive:       111472 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1804936 kB
SwapTotal:     4192956 kB
SwapFree:      4184544 kB
Dirty:            2596 kB
Writeback:           0 kB
Mapped:          15872 kB
Slab:            48756 kB
Committed_AS:  1382208 kB
PageTables:       1460 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66562 MiB

End job on node62 on Tue May  1 12:40:38 UTC 2007