Trace number 433734

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
bsolo 3.0.17SAT (TO)26 1800.14 1800.7

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_5.opb
MD5SUM130be24ef6faf784c5a8bf386cbf11b2
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark21
Best CPU time to get the best result obtained on this benchmark1800.08
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 21
Optimality of the best value was proved NO
Number of variables5499
Total number of constraints19319
Number of constraints which are clauses19312
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints6
Minimum length of a constraint1
Maximum length of a constraint613
Number of terms in the objective function 613
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 613
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 643
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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 bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/433734-1177962987/instance-433734-1177962987.opb
0.00/0.00	c File size is 560274 bytes.
0.09/0.10	c Highest Coefficient sum: 643
0.09/0.10	c Parsing was ok!!
0.09/0.10	c Total parsing time: 0.102 s
0.09/0.11	c Var: 5499 Constr: 19319 19318/1/0 Lit: 49111 Watch. Lit: 39215
0.09/0.11	c Obj. Vars: 613 (11.1475 % of total variables)
0.29/0.33	c Pre-processing Time: 0.329 s
0.29/0.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.33	c        0   5488    19296    49070    2    39174    7431      0      0 0.33
0.29/0.33	c Switching off LPR mode.
0.29/0.34	o 28	0.34
0.38/0.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.38/0.49	c       16   5488    19313    51813    2    39793    8431     17     46 0.34
0.38/0.49	c      116   5488    19413    62391    3    39993    9275    117    239 0.48
0.38/0.49	o 27	0.493
1.09/1.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.09/1.12	c      125   5488    19423    63409    3    40599    8431    127    252 0.50
1.09/1.12	c      226   5488    19524    71678    3    40801    9275    228    420 0.54
1.09/1.12	c      476   5488    19774    98187    4    41301   10203    478    627 0.76
1.09/1.12	c      953   5488    20251   147797    7    42255   11224    955   1078 0.88
1.09/1.12	o 26	1.116
1800.04/1800.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.04/1800.61	c     1475   5488    20774   215951   10    43888    8431   1478   1316 1.12
1800.04/1800.61	c     1576   5488    20875   226914   10    44090    9275   1579   1351 1.17
1800.04/1800.61	c     1827   5488    21126   246762   11    44592   10203   1830   1468 1.24
1800.04/1800.61	c     2303   5488    21602   288829   13    45544   11224   2306   1505 1.53
1800.04/1800.61	c     3117   5488    22416   635787   28    47172   12347   3120   1427 2.18
1800.04/1800.61	c     4439   5488    23738   882536   37    49816   13582   4442   1647 2.69
1800.04/1800.61	c     6521   5488    25820  1415557   54    53980   14941   6524   1744 3.74
1800.04/1800.61	c     9745   5488    29044  2698452   92    60428   16436   9748   1287 7.57
1800.04/1800.61	c    14682   5488    33981  4044095  119    70302   18080  14685   1199 12.24
1800.04/1800.61	c    22189   5488    29089  1432947   49    59347   19889   9793    813 27.29
1800.04/1800.61	c    33550   5488    29242  2944697  100    59653   21878   9946    883 37.99
1800.04/1800.61	c    50697   5488    30501  2732125   89    62171   24066  11205    780 64.99
1800.04/1800.61	c    76516   5488    39533  7217525  182    80235   26473  20237    678 112.73
1800.04/1800.61	c   115349   5488    39456  8545135  216    80081   29121  20160    502 229.42
1800.04/1800.61	c   173701   5488    32848  7897067  240    66865   32034  13552    343 505.97
1800.04/1800.61	c   261334   5488    47927  7745038  161    97023   35238  28631    347 752.36
1800.04/1800.61	c   392887   5488    41278 10957543  265    83725   38762  21982    266 1474.52
1800.04/1800.61	c Caught signal: 15
1800.04/1800.61	v x1 x177 x350 x700 x857 -x926 -x953 -x980 -x1007 -x1034 -x1061 -x1088 x10 -x1115 -x13 -x1127 -x16 -x1139 -x19 -x1151 -x22 -x1163
1800.04/1800.61	v -x25 -x1175 -x28 -x1187 -x31 -x1199 -x34 -x1211 -x37 -x1223 -x40 -x1235 -x43 -x1247 -x46 -x1259 -x49 -x1271 -x52 -x1283 -x55
1800.04/1800.61	v -x1295 x58 x1307 -x61 -x1319 -x64 -x1331 -x67 -x1343 -x70 -x1355 -x1367 -x1369 -x1374 -x1376 -x1381 -x1383 -x1388 -x1390
1800.04/1800.61	v x1395 -x1397 -x1402 -x1404 -x1409 -x1411 -x1416 -x1418 -x1423 -x1425 -x1430 -x1432 -x1437 -x1439 -x1444 -x1446 -x1451
1800.04/1800.61	v -x1453 -x1458 -x1460 -x1465 -x1467 -x1472 -x1474 -x1479 -x1481 -x1486 -x1488 -x1493 -x1495 -x1500 -x1502 -x1507 -x1509
1800.04/1800.61	v -x1514 -x1516 -x1521 -x1523 -x1528 -x1530 -x1535 -x1537 -x1542 -x1544 -x1549 x1551 -x1556 -x1558 -x1563 -x1565 -x1570
1800.04/1800.61	v -x1572 -x1577 -x1579 -x1584 -x1586 -x1591 -x1593 -x1598 -x1600 -x1605 -x1607 -x1612 x1639 -x1666 -x1693 -x1720 -x1747
1800.04/1800.61	v -x1774 -x186 -x1801 -x189 -x1813 x192 -x1825 -x195 -x1837 -x198 -x1849 -x201 -x1861 -x204 x1873 -x207 -x1885 -x1897 -x212
1800.04/1800.61	v -x1909 -x215 -x1921 -x1933 x220 -x1945 -x223 -x1957 -x226 -x1969 -x229 -x1981 -x232 -x1993 -x2005 -x237 -x2017 -x240 -x2029
1800.04/1800.61	v -x243 -x2041 -x2053 -x2055 -x2060 -x2062 -x2067 -x2069 -x2074 -x2076 -x2081 -x2083 -x2088 -x2090 -x2095 -x2097 -x2102
1800.04/1800.61	v -x2104 -x2109 -x2111 -x2116 -x2118 x2123 -x2125 -x2130 -x2132 -x2137 -x2139 -x2144 -x2146 -x2151 -x2153 -x2158 -x2160
1800.04/1800.61	v -x2165 -x2167 -x2172 -x2174 -x2179 x2181 -x2186 -x2188 -x2193 -x2195 -x2200 -x2202 -x2207 -x2209 -x2214 -x2216 -x2221
1800.04/1800.61	v -x2223 -x2228 -x2230 -x2235 -x2237 -x2242 -x2244 -x2249 -x2251 -x2256 -x2258 -x2263 -x2265 -x2270 -x2272 -x2277 -x2279
1800.04/1800.61	v -x2284 -x2286 -x2291 -x2293 -x2298 -x2356 -x2414 -x2472 x2530 -x2588 -x2646 -x2704 -x2762 -x362 -x2789 -x365 -x2816 -x368
1800.04/1800.61	v -x2843 -x2870 -x373 -x2897 -x2924 -x378 -x2951 -x2978 -x3005 -x3032 -x387 -x3059 -x390 -x3086 -x3113 -x395 -x3140 -x3167
1800.04/1800.61	v -x400 -x3194 -x3221 -x3248 -x3275 -x409 -x3302 -x412 -x3329 -x3356 x3383 -x419 -x3410 -x422 -x3437 -x3464 -x427 -x3491
1800.04/1800.61	v -x3518 -x3520 -x3532 -x3534 -x3546 -x3548 -x3560 -x3572 -x3574 x3586 -x3588 -x3600 -x3602 -x3614 -x3616 -x3628 -x3630
1800.04/1800.61	v -x3642 -x3644 -x3656 -x3658 -x3670 -x3672 -x3684 -x3686 -x3698 -x3700 -x3712 -x3714 -x3726 -x3728 -x3740 -x3742 -x3754
1800.04/1800.61	v -x3756 -x3768 -x3770 -x3782 -x3784 -x3796 -x3798 -x3810 -x3812 -x3824 -x3826 -x3838 -x3840 -x3852 -x3854 -x3866 -x3868
1800.04/1800.61	v -x3880 -x3882 -x3894 -x3896 -x3908 -x3910 -x3922 -x3924 -x3936 -x3938 -x3950 -x3952 -x3964 -x3966 -x3978 -x3980 -x3992
1800.04/1800.61	v -x3994 -x4006 -x4008 -x4020 -x4022 -x4034 -x4046 -x4048 -x4060 -x4062 -x4074 -x4076 -x4088 -x4090 -x4102 -x4104 -x4116
1800.04/1800.61	v -x4118 -x4130 -x4132 -x4144 -x4146 -x4158 -x4160 -x4172 -x4174 -x4186 -x4188 -x4200 -x4202 -x4214 -x4216 -x4228 -x4230
1800.04/1800.61	v -x4242 -x4244 -x4256 -x4258 -x4270 -x4272 -x4284 -x4286 -x4298 -x4303 -x4308 -x4313 -x4318 -x4323 -x4328 -x4333 -x4338
1800.04/1800.61	v -x4343 -x4348 -x4353 -x4358 -x4363 -x4368 -x4373 -x4378 -x4383 -x4388 -x4393 -x4398 -x4403 -x4408 -x4413 -x4418 -x4423
1800.04/1800.61	v x4428 -x4433 -x4438 -x4443 -x4448 -x4453 -x4458 -x4463 -x4468 -x4473 -x4478 -x4483 -x4488 -x4493 -x4498 -x4503 -x4508
1800.04/1800.61	v -x4513 -x4518 -x4523 -x4528 -x4533 -x4538 -x4543 -x4548 -x4553 -x4558 -x4563 -x4568 -x4573 -x4578 -x4583 -x4588 -x4593
1800.04/1800.61	v -x4598 -x4603 -x4608 -x4613 -x4618 -x4623 -x4628 -x4633 -x4638 -x4643 -x4648 -x4675 -x4702 -x4729 -x4756 -x4783 x4810
1800.04/1800.61	v -x709 -x4837 -x4849 -x714 -x4861 -x4873 -x719 -x4885 -x722 -x4897 -x4909 -x4921 -x4933 -x4945 x4957 -x735 -x4969 -x4981
1800.04/1800.61	v -x4993 -x5005 -x744 -x5017 -x747 -x5029 -x5041 -x5053 -x754 -x5065 -x5077 -x5089 -x5091 -x5096 -x5098 -x5103 -x5105 -x5110
1800.04/1800.61	v -x5112 -x5117 -x5119 -x5124 -x5126 -x5131 -x5133 -x5138 -x5140 -x5145 -x5147 -x5152 -x5154 -x5156 -x5161 -x5163 -x5168
1800.04/1800.61	v -x5170 -x5175 -x5177 -x5182 -x5184 -x5189 -x5191 -x5196 -x5198 -x5203 -x5208 -x5213 -x5215 -x5220 -x5222 -x5227 x5229
1800.04/1800.61	v -x5234 -x5239 -x5241 -x5246 -x5251 -x5253 -x5258 -x5260 -x5265 -x5267 x5272 -x5274 -x5279 -x5281 -x5286 -x5291 -x5293
1800.04/1800.61	v -x5298 -x5300 -x5305 -x5307 -x5312 -x5314 -x5319 x5331 -x5343 -x5355 -x5367 -x5379 -x5391 -x5396 -x5401 -x5406 -x5411
1800.04/1800.61	v -x875 x5416 -x5421 -x880 -x5426 -x5431 -x885 -x5436 -x888 -x5441 -x891 -x5446 -x5451 -x5456 -x5461 -x5466 -x5468 -x5470
1800.04/1800.61	v -x5472 -x5474 -x5476 -x5478 -x5480 -x5482 -x5484 -x5486 -x5488 -x5490 -x5492 -x5494 -x5496 -x5498 -x9 -x11 -x12 -x14 -x15
1800.04/1800.61	v -x17 -x18 -x20 -x21 -x23 -x24 -x26 -x27 -x29 -x30 -x32 -x33 -x35 -x36 -x38 -x39 -x41 -x42 -x44 -x45 -x47 -x48 -x50 -x51 -x53 -x54
1800.04/1800.61	v -x56 x57 x59 -x60 -x62 -x63 -x65 -x66 -x68 -x69 -x71 -x73 -x72 -x74 -x76 -x75 -x77 -x79 -x78 -x80 -x82 -x81 -x83 x85 -x84 -x86
1800.04/1800.61	v -x88 -x87 -x89 -x91 -x90 -x92 -x94 -x93 -x95 -x97 -x96 -x98 -x100 -x99 -x101 -x103 -x102 -x104 -x106 -x105 -x107 -x109 -x108
1800.04/1800.61	v -x110 -x112 -x111 -x113 -x115 -x114 -x116 -x118 -x117 -x119 -x121 -x120 -x122 -x124 -x123 -x125 -x127 -x126 -x128 -x130 -x129
1800.04/1800.61	v -x131 -x133 -x132 -x134 -x136 -x135 -x137 -x139 -x138 -x140 -x142 -x141 -x143 -x145 -x144 -x146 -x148 -x147 -x149 -x151 -x150
1800.04/1800.61	v x152 -x154 -x153 -x155 -x157 -x156 -x158 -x160 -x159 -x161 -x163 -x162 -x164 -x166 -x165 -x167 -x169 -x168 -x170 -x172 -x171
1800.04/1800.61	v -x173 -x175 -x174 -x176 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x185 -x187 -x188 -x190 -x191 -x193 -x194 -x196 -x197 -x199 -x200 -x202
1800.04/1800.61	v -x203 x205 -x206 -x208 -x209 -x210 -x211 -x213 -x214 -x216 -x217 -x218 -x219 -x221 -x222 -x224 -x225 -x227 -x228 -x230 -x231
1800.04/1800.61	v -x233 -x234 -x235 -x236 -x238 -x239 -x241 -x242 -x244 -x246 -x245 -x247 -x249 -x248 -x250 -x252 -x251 -x253 -x255 -x254 -x256
1800.04/1800.61	v -x258 -x257 -x259 -x261 -x260 -x262 -x264 -x263 -x265 -x267 -x266 -x268 -x270 -x269 -x271 -x273 -x272 -x274 x276 -x275 -x277
1800.04/1800.61	v -x279 -x278 -x280 -x282 -x281 -x283 -x285 -x284 -x286 -x288 -x287 -x289 -x291 -x290 -x292 -x294 -x293 -x295 -x297 -x296 -x298
1800.04/1800.61	v -x300 -x299 x301 -x303 -x302 -x304 -x306 -x305 -x307 -x309 -x308 -x310 -x312 -x311 -x313 -x315 -x314 -x316 -x318 -x317 -x319
1800.04/1800.61	v -x321 -x320 -x322 -x324 -x323 -x325 -x327 -x326 -x328 -x330 -x329 -x331 -x333 -x332 -x334 -x336 -x335 -x337 -x339 -x338 -x340
1800.04/1800.61	v -x342 -x341 -x343 -x345 -x344 -x346 -x348 -x347 -x349 -x178 x179 -x180 -x181 -x182 -x183 -x184 -x359 -x360 -x361 -x363 -x364
1800.04/1800.61	v -x366 -x367 -x369 -x370 -x371 -x372 -x374 -x375 -x376 -x377 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x388 -x389 -x391
1800.04/1800.61	v -x392 -x393 -x394 -x396 -x397 -x398 -x399 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x410 -x411 -x413 -x414 -x415 -x416
1800.04/1800.61	v x417 -x418 -x420 -x421 -x423 -x424 -x425 -x426 -x428 -x430 -x429 -x431 -x433 -x432 -x434 -x436 -x435 -x437 -x438 -x439 -x441
1800.04/1800.61	v -x440 -x442 x444 -x443 -x445 -x447 -x446 -x448 -x450 -x449 -x451 -x453 -x452 -x454 -x456 -x455 -x457 -x459 -x458 -x460 -x462
1800.04/1800.61	v -x461 -x463 -x465 -x464 -x466 -x468 -x467 -x469 -x471 -x470 -x472 -x474 -x473 -x475 -x477 -x476 -x478 -x480 -x479 -x481 -x483
1800.04/1800.61	v -x482 -x484 -x486 -x485 -x487 -x489 -x488 -x490 -x492 -x491 -x493 -x495 -x494 -x496 -x498 -x497 -x499 -x501 -x500 -x502 -x504
1800.04/1800.61	v -x503 -x505 -x507 -x506 -x508 -x510 -x509 -x511 -x513 -x512 -x514 -x516 -x515 -x517 -x519 -x518 -x520 -x522 -x521 -x523 -x525
1800.04/1800.61	v -x524 -x526 -x528 -x527 -x529 -x531 -x530 -x532 -x534 -x533 -x535 -x537 -x536 -x538 -x539 -x540 -x542 -x541 -x543 -x545 -x544
1800.04/1800.61	v -x546 -x548 -x547 -x549 -x551 -x550 -x552 -x554 -x553 -x555 -x557 -x556 -x558 -x560 -x559 -x561 -x563 -x562 -x564 -x566 -x565
1800.04/1800.61	v -x567 -x569 -x568 -x570 -x572 -x571 -x573 -x575 -x574 -x576 -x578 -x577 -x579 -x581 -x580 -x582 -x584 -x583 -x585 -x587 -x586
1800.04/1800.61	v -x588 -x590 -x589 -x591 -x593 -x592 -x594 -x596 -x595 -x597 -x599 -x598 -x600 -x602 -x601 -x603 -x605 -x604 -x606 -x608 -x607
1800.04/1800.61	v -x609 -x611 -x610 -x612 -x614 -x613 -x615 -x617 -x616 -x618 -x620 -x619 -x621 -x623 -x622 -x624 -x626 -x625 -x627 -x629 -x628
1800.04/1800.61	v -x630 -x632 -x631 -x633 x635 -x634 -x636 -x638 -x637 -x639 -x641 -x640 -x642 -x644 -x643 -x645 -x647 -x646 -x648 -x650 -x649
1800.04/1800.61	v -x651 -x653 -x652 -x654 -x656 -x655 -x657 -x659 -x658 -x660 -x662 -x661 -x663 -x665 -x664 -x666 -x668 -x667 -x669 -x671 -x670
1800.04/1800.61	v -x672 -x674 -x673 -x675 -x677 -x676 -x678 -x680 -x679 -x681 -x683 -x682 -x684 -x686 -x685 -x687 -x689 -x688 -x690 -x692 -x691
1800.04/1800.61	v -x693 -x695 -x694 -x696 -x698 -x697 -x699 -x351 -x352 -x353 -x354 x355 -x356 -x357 -x358 -x708 -x710 -x711 -x712 -x713 -x715
1800.04/1800.61	v -x716 -x717 -x718 -x720 -x721 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 x733 -x734 -x736 -x737 -x738 -x739
1800.04/1800.61	v -x740 -x741 -x742 -x743 -x745 -x746 -x748 -x749 -x750 -x751 -x752 -x753 -x755 -x756 -x757 -x759 -x758 -x760 -x762 -x761 -x763
1800.04/1800.61	v -x765 -x764 -x766 -x768 -x767 -x769 -x771 -x770 -x772 -x774 -x773 -x775 -x777 -x776 -x778 -x780 -x779 -x781 -x783 -x782 -x784
1800.04/1800.61	v -x786 -x785 -x788 -x787 -x789 -x791 -x790 -x792 -x794 -x793 -x795 -x797 -x796 -x798 -x800 -x799 -x801 -x803 -x802 -x804 -x806
1800.04/1800.61	v -x805 -x807 -x808 -x809 -x810 -x811 -x813 -x812 -x814 -x816 -x815 -x817 -x819 -x818 x820 -x821 -x822 -x824 -x823 -x825 -x826
1800.04/1800.61	v -x827 -x829 -x828 -x830 -x832 -x831 -x833 -x835 -x834 -x836 x838 -x837 -x839 -x841 -x840 -x842 -x843 -x844 -x846 -x845 -x847
1800.04/1800.61	v -x849 -x848 -x850 -x852 -x851 -x853 -x855 -x854 -x856 -x701 -x702 -x703 -x704 -x705 -x706 x707 -x864 -x865 -x866 -x867 -x868
1800.04/1800.61	v -x869 -x870 -x871 -x872 -x873 -x874 x876 -x877 -x878 -x879 -x881 -x882 -x883 -x884 -x886 -x887 -x889 -x890 -x892 -x893 -x894
1800.04/1800.61	v -x895 -x896 -x897 -x898 -x900 -x899 -x902 -x901 -x903 -x905 -x904 -x906 -x908 -x907 -x909 -x911 -x910 -x912 -x914 -x913 -x916
1800.04/1800.61	v -x915 -x917 -x919 -x918 -x920 -x921 -x922 -x924 -x923 -x925 -x858 x859 -x860 -x861 -x862 -x863 -x927 -x928 -x929 -x930 -x931
1800.04/1800.61	v -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952
1800.04/1800.61	v -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974
1800.04/1800.61	v -x975 -x976 -x977 -x978 -x979 x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 x992 -x993 -x994 -x995 -x996
1800.04/1800.61	v -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015
1800.04/1800.61	v -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032
1800.04/1800.61	v -x1033 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050
1800.04/1800.61	v -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068
1800.04/1800.61	v -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085
1800.04/1800.61	v -x1086 -x1087 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103
1800.04/1800.61	v -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121
1800.04/1800.61	v -x1122 -x1123 -x1124 -x1125 -x1126 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1140
1800.04/1800.61	v -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158
1800.04/1800.61	v -x1159 -x1160 -x1161 -x1162 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1176 -x1177
1800.04/1800.61	v -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195
1800.04/1800.61	v -x1196 -x1197 -x1198 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1212 -x1213 -x1214
1800.04/1800.61	v -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232
1800.04/1800.61	v -x1233 -x1234 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 x1248 -x1249 -x1250 -x1251
1800.04/1800.61	v -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 x1268 -x1269 -x1270
1800.04/1800.61	v x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289
1800.04/1800.61	v -x1290 -x1291 -x1292 -x1293 -x1294 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 x1308
1800.04/1800.61	v -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326
1800.04/1800.61	v -x1327 -x1328 -x1329 -x1330 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1344 -x1345
1800.04/1800.61	v -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363
1800.04/1800.61	v -x1364 -x1365 -x1366 x1368 -x1370 -x1371 -x1372 -x1373 x1375 -x1377 -x1378 -x1379 -x1380 x1382 -x1384 -x1385 -x1386 -x1387
1800.04/1800.61	v x1389 -x1391 -x1392 -x1393 -x1394 x1396 -x1398 -x1399 -x1400 -x1401 -x1403 -x1405 -x1406 -x1407 -x1408 -x1410 -x1412 -x1413
1800.04/1800.61	v -x1414 -x1415 -x1417 -x1419 -x1420 -x1421 -x1422 -x1424 -x1426 -x1427 -x1428 -x1429 -x1431 -x1433 -x1434 -x1435 -x1436
1800.04/1800.61	v x1438 -x1440 -x1441 -x1442 -x1443 -x1445 -x1447 -x1448 -x1449 -x1450 -x1452 -x1454 -x1455 -x1456 -x1457 -x1459 -x1461
1800.04/1800.61	v -x1462 -x1463 -x1464 -x1466 -x1468 -x1469 -x1470 -x1471 -x1473 -x1475 -x1476 -x1477 -x1478 -x1480 -x1482 -x1483 -x1484
1800.04/1800.61	v -x1485 -x1487 -x1489 -x1490 -x1491 -x1492 -x1494 -x1496 -x1497 -x1498 -x1499 -x1501 -x1503 -x1504 -x1505 -x1506 x1508
1800.04/1800.61	v -x1510 -x1511 -x1512 -x1513 -x1515 -x1517 -x1518 -x1519 -x1520 -x1522 -x1524 -x1525 -x1526 -x1527 -x1529 -x1531 -x1532
1800.04/1800.61	v -x1533 -x1534 -x1536 -x1538 -x1539 -x1540 -x1541 -x1543 x1545 -x1546 -x1547 -x1548 x1550 x1552 -x1553 -x1554 -x1555 -x1557
1800.04/1800.61	v -x1559 -x1560 -x1561 -x1562 -x1564 x1566 -x1567 -x1568 -x1569 -x1571 x1573 x1574 -x1575 -x1576 -x1578 -x1580 -x1581 -x1582
1800.04/1800.61	v -x1583 x1585 x1587 -x1588 -x1589 -x1590 -x1592 -x1594 -x1595 -x1596 -x1597 x1599 -x1601 -x1602 -x1603 -x1604 -x1606 -x1608
1800.04/1800.61	v -x1609 -x1610 -x1611 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626
1800.04/1800.61	v -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 x1640 -x1641 -x1642 -x1643 -x1644
1800.04/1800.61	v -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661
1800.04/1800.61	v -x1662 -x1663 -x1664 -x1665 x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679
1800.04/1800.61	v -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1694 -x1695 -x1696 -x1697
1800.04/1800.61	v -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714
1800.04/1800.61	v -x1715 -x1716 -x1717 -x1718 -x1719 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732
1800.04/1800.61	v -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1748 -x1749 -x1750
1800.04/1800.61	v -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767
1800.04/1800.61	v -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785
1800.04/1800.61	v -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1802 -x1803
1800.04/1800.61	v -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821
1800.04/1800.61	v -x1822 -x1823 -x1824 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1838 -x1839 -x1840
1800.04/1800.61	v -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858
1800.04/1800.61	v -x1859 -x1860 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 x1874 -x1875 -x1876 -x1877
1800.04/1800.61	v -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895
1800.04/1800.61	v -x1896 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1910 -x1911 -x1912 -x1913 -x1914
1800.04/1800.61	v -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 x1922 -x1923 -x1924 -x1925 -x1926 -x1927 x1928 -x1929 -x1930 -x1931 -x1932 -x1934
1800.04/1800.61	v -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952
1800.04/1800.61	v -x1953 -x1954 -x1955 -x1956 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 x1970 -x1971
1800.04/1800.61	v -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989
1800.04/1800.61	v -x1990 -x1991 -x1992 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2006 -x2007 -x2008
1800.04/1800.61	v -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026
1800.04/1800.61	v -x2027 -x2028 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2042 -x2043 -x2044 -x2045
1800.04/1800.61	v -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2054 -x2056 -x2057 -x2058 -x2059 x2061 -x2063 -x2064 -x2065 -x2066
1800.04/1800.61	v -x2068 -x2070 -x2071 -x2072 -x2073 -x2075 -x2077 -x2078 -x2079 -x2080 -x2082 -x2084 -x2085 -x2086 -x2087 x2089 -x2091
1800.04/1800.61	v -x2092 -x2093 -x2094 x2096 -x2098 -x2099 -x2100 -x2101 -x2103 -x2105 -x2106 -x2107 -x2108 -x2110 -x2112 -x2113 -x2114
1800.04/1800.61	v -x2115 x2117 -x2119 -x2120 -x2121 -x2122 x2124 -x2126 -x2127 -x2128 -x2129 x2131 -x2133 -x2134 -x2135 -x2136 -x2138 -x2140
1800.04/1800.61	v -x2141 -x2142 -x2143 -x2145 -x2147 -x2148 -x2149 -x2150 -x2152 -x2154 -x2155 -x2156 -x2157 -x2159 -x2161 -x2162 -x2163
1800.04/1800.61	v -x2164 x2166 x2168 -x2169 -x2170 -x2171 -x2173 -x2175 -x2176 -x2177 -x2178 -x2180 x2182 -x2183 -x2184 -x2185 -x2187 -x2189
1800.04/1800.61	v -x2190 -x2191 -x2192 -x2194 -x2196 -x2197 -x2198 -x2199 -x2201 -x2203 -x2204 -x2205 -x2206 -x2208 -x2210 -x2211 -x2212
1800.04/1800.61	v -x2213 -x2215 x2217 -x2218 -x2219 -x2220 -x2222 x2224 -x2225 x2226 -x2227 x2229 -x2231 -x2232 -x2233 -x2234 -x2236 -x2238
1800.04/1800.61	v -x2239 -x2240 -x2241 -x2243 -x2245 -x2246 -x2247 -x2248 x2250 -x2252 -x2253 -x2254 -x2255 x2257 x2259 -x2260 -x2261 -x2262
1800.04/1800.61	v -x2264 -x2266 -x2267 -x2268 -x2269 -x2271 -x2273 -x2274 -x2275 -x2276 -x2278 -x2280 -x2281 -x2282 -x2283 -x2285 -x2287
1800.04/1800.61	v -x2288 -x2289 -x2290 -x2292 -x2294 -x2295 -x2296 -x2297 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307
1800.04/1800.61	v -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324
1800.04/1800.61	v -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341
1800.04/1800.61	v -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2357 -x2358 -x2359
1800.04/1800.61	v -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376
1800.04/1800.61	v -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393
1800.04/1800.61	v -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410
1800.04/1800.61	v -x2411 -x2412 -x2413 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428
1800.04/1800.61	v -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445
1800.04/1800.61	v -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462
1800.04/1800.61	v -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480
1800.04/1800.61	v -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497
1800.04/1800.61	v -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514
1800.04/1800.61	v -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 x2531 -x2532
1800.04/1800.61	v -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549
1800.04/1800.61	v -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566
1800.04/1800.61	v -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583
1800.04/1800.61	v -x2584 -x2585 -x2586 -x2587 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601
1800.04/1800.61	v -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618
1800.04/1800.61	v -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635
1800.04/1800.61	v -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653
1800.04/1800.61	v -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670
1800.04/1800.61	v -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687
1800.04/1800.61	v -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2705
1800.04/1800.61	v -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722
1800.04/1800.61	v -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739
1800.04/1800.61	v -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756
1800.04/1800.61	v -x2757 -x2758 -x2759 -x2760 -x2761 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774
1800.04/1800.61	v -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2790 -x2791 -x2792
1800.04/1800.61	v -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809
1800.04/1800.61	v -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827
1800.04/1800.61	v -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2844 -x2845
1800.04/1800.61	v -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862
1800.04/1800.61	v -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880
1800.04/1800.61	v -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2898
1800.04/1800.61	v -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915
1800.04/1800.61	v -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933
1800.04/1800.61	v -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950
1800.04/1800.61	v -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968
1800.04/1800.61	v -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986
1800.04/1800.61	v -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003
1800.04/1800.61	v -x3004 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021
1800.04/1800.61	v -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039
1800.04/1800.61	v -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056
1800.04/1800.61	v -x3057 -x3058 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074
1800.04/1800.61	v -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092
1800.04/1800.61	v -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109
1800.04/1800.61	v -x3110 -x3111 -x3112 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127
1800.04/1800.61	v -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3141 -x3142 -x3143 -x3144 -x3145
1800.04/1800.61	v -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162
1800.04/1800.61	v -x3163 -x3164 -x3165 -x3166 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180
1800.04/1800.61	v -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3195 -x3196 -x3197 -x3198
1800.04/1800.61	v -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215
1800.04/1800.61	v -x3216 -x3217 -x3218 -x3219 -x3220 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233
1800.04/1800.61	v -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3249 -x3250 -x3251
1800.04/1800.61	v -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268
1800.04/1800.61	v -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286
1800.04/1800.61	v -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3303 -x3304
1800.04/1800.61	v -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321
1800.04/1800.61	v -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339
1800.04/1800.61	v -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3357
1800.04/1800.61	v -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374
1800.04/1800.61	v -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392
1800.04/1800.61	v -x3393 x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409
1800.04/1800.61	v -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427
1800.04/1800.61	v -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445
1800.04/1800.61	v -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462
1800.04/1800.61	v -x3463 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480
1800.04/1800.61	v -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498
1800.04/1800.61	v -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515
1800.04/1800.61	v -x3516 -x3517 x3519 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 x3533 -x3535 -x3536 -x3537
1800.04/1800.61	v -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 x3547 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556
1800.04/1800.61	v -x3557 -x3558 -x3559 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 x3573 -x3575 -x3576
1800.04/1800.61	v -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 x3587 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595
1800.04/1800.61	v -x3596 -x3597 -x3598 -x3599 x3601 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3615
1800.04/1800.61	v -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3629 -x3631 -x3632 -x3633 -x3634 -x3635
1800.04/1800.61	v -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3643 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654
1800.04/1800.61	v -x3655 -x3657 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3671 -x3673 -x3674 -x3675
1800.04/1800.61	v -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3685 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694
1800.04/1800.61	v -x3695 -x3696 -x3697 -x3699 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3713 -x3715
1800.04/1800.61	v -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3727 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734
1800.04/1800.61	v -x3735 -x3736 -x3737 -x3738 -x3739 -x3741 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753
1800.04/1800.61	v -x3755 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3769 -x3771 -x3772 -x3773 -x3774
1800.04/1800.61	v -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3783 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793
1800.04/1800.61	v -x3794 -x3795 -x3797 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 x3811 -x3813 -x3814
1800.04/1800.61	v -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3825 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833
1800.04/1800.61	v -x3834 -x3835 -x3836 -x3837 -x3839 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3853
1800.04/1800.61	v -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3867 -x3869 -x3870 -x3871 -x3872 -x3873
1800.04/1800.61	v -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3881 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892
1800.04/1800.61	v -x3893 -x3895 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3909 -x3911 -x3912 -x3913
1800.04/1800.61	v -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3923 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932
1800.04/1800.61	v -x3933 -x3934 -x3935 -x3937 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3951 -x3953
1800.04/1800.61	v -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3965 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972
1800.04/1800.61	v -x3973 -x3974 -x3975 -x3976 -x3977 -x3979 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991
1800.04/1800.61	v -x3993 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4007 -x4009 -x4010 -x4011 -x4012
1800.04/1800.61	v -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 x4021 x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032
1800.04/1800.61	v -x4033 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 x4047 x4049 -x4050 -x4051 -x4052 -x4053
1800.04/1800.61	v -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 x4061 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072
1800.04/1800.61	v -x4073 -x4075 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4089 x4091 -x4092 -x4093
1800.04/1800.61	v -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4103 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112
1800.04/1800.61	v -x4113 -x4114 -x4115 -x4117 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4131 -x4133
1800.04/1800.61	v -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4145 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152
1800.04/1800.61	v -x4153 -x4154 -x4155 -x4156 -x4157 -x4159 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171
1800.04/1800.61	v -x4173 x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4187 -x4189 -x4190 -x4191 -x4192
1800.04/1800.61	v -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4201 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211
1800.04/1800.61	v -x4212 -x4213 -x4215 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4229 -x4231 -x4232
1800.04/1800.61	v -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4243 x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251
1800.04/1800.61	v -x4252 x4253 -x4254 -x4255 -x4257 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4271
1800.04/1800.61	v -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4285 -x4287 -x4288 -x4289 -x4290 -x4291
1800.04/1800.61	v -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 x4299 x4300 -x4301 -x4302 -x4304 -x4305 -x4306 -x4307 -x4309 -x4310 -x4311 -x4312
1800.04/1800.61	v -x4314 -x4315 -x4316 -x4317 -x4319 -x4320 -x4321 -x4322 -x4324 -x4325 -x4326 -x4327 -x4329 -x4330 -x4331 -x4332 -x4334
1800.04/1800.61	v -x4335 -x4336 -x4337 x4339 -x4340 -x4341 -x4342 -x4344 -x4345 -x4346 -x4347 -x4349 -x4350 -x4351 -x4352 -x4354 -x4355
1800.04/1800.61	v -x4356 -x4357 -x4359 -x4360 -x4361 -x4362 -x4364 -x4365 -x4366 -x4367 -x4369 -x4370 -x4371 -x4372 -x4374 -x4375 -x4376
1800.04/1800.61	v -x4377 x4379 -x4380 -x4381 -x4382 -x4384 -x4385 -x4386 -x4387 -x4389 -x4390 -x4391 -x4392 -x4394 -x4395 -x4396 -x4397
1800.04/1800.61	v -x4399 -x4400 -x4401 -x4402 -x4404 -x4405 -x4406 -x4407 x4409 -x4410 -x4411 -x4412 -x4414 -x4415 -x4416 -x4417 -x4419
1800.04/1800.61	v -x4420 -x4421 -x4422 -x4424 -x4425 -x4426 -x4427 x4429 -x4430 -x4431 -x4432 -x4434 -x4435 -x4436 -x4437 x4439 -x4440 -x4441
1800.04/1800.61	v -x4442 -x4444 -x4445 -x4446 -x4447 -x4449 -x4450 -x4451 -x4452 -x4454 -x4455 -x4456 -x4457 -x4459 -x4460 -x4461 -x4462
1800.04/1800.61	v -x4464 -x4465 -x4466 -x4467 -x4469 -x4470 -x4471 -x4472 -x4474 -x4475 -x4476 -x4477 -x4479 -x4480 -x4481 -x4482 -x4484
1800.04/1800.61	v -x4485 -x4486 -x4487 -x4489 -x4490 -x4491 -x4492 -x4494 -x4495 -x4496 -x4497 -x4499 -x4500 -x4501 -x4502 -x4504 -x4505
1800.04/1800.61	v -x4506 -x4507 -x4509 -x4510 -x4511 -x4512 -x4514 -x4515 -x4516 -x4517 -x4519 -x4520 -x4521 -x4522 -x4524 -x4525 -x4526
1800.04/1800.61	v -x4527 -x4529 -x4530 -x4531 -x4532 -x4534 -x4535 -x4536 -x4537 -x4539 -x4540 -x4541 -x4542 -x4544 -x4545 -x4546 -x4547
1800.04/1800.61	v -x4549 -x4550 -x4551 -x4552 -x4554 -x4555 -x4556 -x4557 -x4559 -x4560 -x4561 -x4562 -x4564 -x4565 -x4566 -x4567 -x4569
1800.04/1800.61	v -x4570 -x4571 -x4572 -x4574 -x4575 -x4576 -x4577 -x4579 -x4580 -x4581 -x4582 -x4584 -x4585 -x4586 -x4587 -x4589 -x4590
1800.04/1800.61	v -x4591 -x4592 -x4594 -x4595 -x4596 -x4597 -x4599 -x4600 -x4601 -x4602 -x4604 -x4605 -x4606 -x4607 -x4609 -x4610 -x4611
1800.04/1800.61	v -x4612 -x4614 -x4615 -x4616 -x4617 -x4619 -x4620 -x4621 -x4622 -x4624 -x4625 -x4626 -x4627 -x4629 -x4630 -x4631 -x4632
1800.04/1800.61	v -x4634 -x4635 -x4636 -x4637 -x4639 -x4640 -x4641 -x4642 -x4644 -x4645 -x4646 -x4647 -x4649 -x4650 -x4651 -x4652 -x4653
1800.04/1800.61	v -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670
1800.04/1800.61	v -x4671 -x4672 -x4673 -x4674 x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688
1800.04/1800.61	v -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4703 -x4704 -x4705 -x4706
1800.04/1800.61	v -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723
1800.04/1800.61	v -x4724 -x4725 -x4726 -x4727 -x4728 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741
1800.04/1800.61	v -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4757 -x4758 -x4759
1800.04/1800.61	v -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776
1800.04/1800.61	v -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794
1800.04/1800.61	v -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 x4811 -x4812
1800.04/1800.61	v -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829
1800.04/1800.61	v -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847
1800.04/1800.61	v -x4848 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4862 -x4863 -x4864 -x4865 -x4866
1800.04/1800.61	v -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884
1800.04/1800.61	v -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903
1800.04/1800.61	v -x4904 -x4905 -x4906 -x4907 -x4908 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 x4922
1800.04/1800.61	v -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940
1800.04/1800.61	v -x4941 -x4942 -x4943 -x4944 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 x4958 -x4959
1800.04/1800.61	v -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977
1800.04/1800.61	v -x4978 -x4979 -x4980 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4994 -x4995 -x4996
1800.04/1800.61	v -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014
1800.04/1800.61	v -x5015 -x5016 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5030 -x5031 -x5032 -x5033
1800.04/1800.61	v -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051
1800.04/1800.61	v -x5052 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5066 -x5067 -x5068 -x5069 -x5070
1800.04/1800.61	v -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088
1800.04/1800.61	v -x5090 -x5092 -x5093 -x5094 -x5095 -x5097 x5099 -x5100 -x5101 -x5102 -x5104 -x5106 -x5107 -x5108 -x5109 -x5111 -x5113
1800.04/1800.61	v -x5114 -x5115 -x5116 -x5118 x5120 -x5121 -x5122 -x5123 -x5125 -x5127 -x5128 -x5129 -x5130 x5132 -x5134 -x5135 -x5136 -x5137
1800.04/1800.61	v -x5139 -x5141 -x5142 -x5143 -x5144 -x5146 -x5148 -x5149 -x5150 -x5151 -x5153 -x5155 -x5157 -x5158 -x5159 -x5160 -x5162
1800.04/1800.61	v x5164 -x5165 -x5166 -x5167 -x5169 -x5171 -x5172 -x5173 -x5174 -x5176 -x5178 -x5179 -x5180 -x5181 -x5183 -x5185 -x5186
1800.04/1800.61	v -x5187 -x5188 -x5190 -x5192 -x5193 -x5194 -x5195 x5197 -x5199 -x5200 -x5201 -x5202 -x5204 -x5205 -x5206 -x5207 -x5209
1800.04/1800.61	v -x5210 -x5211 -x5212 -x5214 -x5216 -x5217 -x5218 -x5219 -x5221 -x5223 -x5224 -x5225 -x5226 -x5228 x5230 -x5231 -x5232
1800.04/1800.61	v -x5233 -x5235 -x5236 -x5237 -x5238 -x5240 -x5242 -x5243 -x5244 -x5245 -x5247 -x5248 -x5249 -x5250 x5252 -x5254 -x5255
1800.04/1800.61	v -x5256 -x5257 -x5259 -x5261 -x5262 -x5263 -x5264 -x5266 -x5268 -x5269 -x5270 -x5271 x5273 -x5275 -x5276 -x5277 -x5278
1800.04/1800.61	v x5280 -x5282 -x5283 -x5284 -x5285 -x5287 -x5288 -x5289 -x5290 -x5292 -x5294 -x5295 -x5296 -x5297 -x5299 -x5301 -x5302
1800.04/1800.61	v -x5303 -x5304 -x5306 -x5308 -x5309 -x5310 -x5311 -x5313 -x5315 -x5316 -x5317 -x5318 -x5320 -x5321 -x5322 -x5323 -x5324
1800.04/1800.61	v -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342
1800.04/1800.61	v x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361
1800.04/1800.61	v -x5362 -x5363 -x5364 -x5365 -x5366 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5380
1800.04/1800.61	v -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 x5392 -x5393 -x5394 -x5395 x5397 -x5398 -x5399 -x5400
1800.04/1800.61	v -x5402 -x5403 -x5404 -x5405 -x5407 -x5408 -x5409 -x5410 -x5412 -x5413 -x5414 -x5415 x5417 -x5418 -x5419 -x5420 -x5422
1800.04/1800.61	v -x5423 -x5424 -x5425 -x5427 -x5428 -x5429 -x5430 -x5432 -x5433 -x5434 -x5435 -x5437 -x5438 -x5439 -x5440 -x5442 -x5443
1800.04/1800.61	v -x5444 -x5445 -x5447 -x5448 -x5449 -x5450 -x5452 -x5453 -x5454 -x5455 -x5457 -x5458 -x5459 -x5460 -x5462 -x5463 -x5464
1800.04/1800.61	v -x5465 -x5467 -x5469 -x5471 -x5473 -x5475 -x5477 x5479 -x5481 -x5483 -x5485 -x5487 x5489 x5491 -x5493 -x5495 -x5497 -x5499
1800.04/1800.61	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.04/1800.61	c   23   516339 207039  1237186    42416  9115135  23120    286 1800.06
1800.04/1800.61	c Objective: 26
1800.04/1800.61	s SATISFIABLE
1800.04/1800.61	c Total time: 1800.06 s

Verifier Data (download as text)

OK	26

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node4/watcher-433734-1177962987 -o ROOT/results/node4/solver-433734-1177962987 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433734-1177962987/instance-433734-1177962987.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: 1.00 1.02 1.00 3/77 2240
/proc/meminfo: memFree=1855448/2055920 swapFree=4141160/4192956
[pid=2240] ppid=2238 vsize=12284 CPUtime=0
/proc/2240/stat : 2240 (bsolo3.0.17) R 2238 2240 1353 0 -1 4194304 364 0 0 0 0 0 0 0 18 0 1 0 272336478 12578816 334 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11023995 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2240/statm: 3071 334 279 324 0 2004 0

[startup+0.0070019 s]
/proc/loadavg: 1.00 1.02 1.00 3/77 2240
/proc/meminfo: memFree=1855448/2055920 swapFree=4141160/4192956
[pid=2240] ppid=2238 vsize=4608 CPUtime=0
/proc/2240/stat : 2240 (bsolo3.0.17) R 2238 2240 1353 0 -1 4194304 386 0 0 0 0 0 0 0 18 0 1 0 272336478 4718592 356 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11023995 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2240/statm: 1152 357 284 324 0 85 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 4608

[startup+0.10201 s]
/proc/loadavg: 1.00 1.02 1.00 3/77 2240
/proc/meminfo: memFree=1855448/2055920 swapFree=4141160/4192956
[pid=2240] ppid=2238 vsize=6680 CPUtime=0.09
/proc/2240/stat : 2240 (bsolo3.0.17) R 2238 2240 1353 0 -1 4194304 1056 0 0 0 9 0 0 0 18 0 1 0 272336478 6840320 1026 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11023995 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2240/statm: 1670 1026 411 324 0 603 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6680

[startup+0.301029 s]
/proc/loadavg: 1.00 1.02 1.00 3/77 2240
/proc/meminfo: memFree=1855448/2055920 swapFree=4141160/4192956
[pid=2240] ppid=2238 vsize=8528 CPUtime=0.29
/proc/2240/stat : 2240 (bsolo3.0.17) R 2238 2240 1353 0 -1 4194304 1663 0 0 0 27 2 0 0 19 0 1 0 272336478 8732672 1496 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2240/statm: 2132 1496 306 324 0 1202 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8528

[startup+0.701066 s]
/proc/loadavg: 1.00 1.02 1.00 3/77 2240
/proc/meminfo: memFree=1855448/2055920 swapFree=4141160/4192956
[pid=2240] ppid=2238 vsize=8432 CPUtime=0.68
/proc/2240/stat : 2240 (bsolo3.0.17) R 2238 2240 1353 0 -1 4194304 1829 0 0 0 66 2 0 0 22 0 1 0 272336478 8634368 1478 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134571839 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2240/statm: 2108 1478 311 324 0 1178 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 8432

[startup+1.50114 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 2241
/proc/meminfo: memFree=1849488/2055920 swapFree=4141160/4192956
[pid=2240] ppid=2238 vsize=11020 CPUtime=1.49
/proc/2240/stat : 2240 (bsolo3.0.17) R 2238 2240 1353 0 -1 4194304 2480 0 0 0 146 3 0 0 25 0 1 0 272336478 11284480 2129 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11023995 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2240/statm: 2755 2129 311 324 0 1825 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11020

[startup+3.1013 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 2241
/proc/meminfo: memFree=1843792/2055920 swapFree=4141160/4192956
[pid=2240] ppid=2238 vsize=21632 CPUtime=3.09
/proc/2240/stat : 2240 (bsolo3.0.17) R 2238 2240 1353 0 -1 4194304 5118 0 0 0 304 5 0 0 25 0 1 0 272336478 22151168 4767 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2240/statm: 5408 4767 311 324 0 4478 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21632

[startup+6.3016 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 2241
/proc/meminfo: memFree=1825552/2055920 swapFree=4141160/4192956
[pid=2240] ppid=2238 vsize=37440 CPUtime=6.29
/proc/2240/stat : 2240 (bsolo3.0.17) R 2238 2240 1353 0 -1 4194304 9064 0 0 0 623 6 0 0 25 0 1 0 272336478 38338560 8713 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2240/statm: 9360 8713 311 324 0 8430 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 37440

[startup+12.7012 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 2241
/proc/meminfo: memFree=1799184/2055920 swapFree=4141160/4192956
[pid=2240] ppid=2238 vsize=60364 CPUtime=12.69
/proc/2240/stat : 2240 (bsolo3.0.17) R 2238 2240 1353 0 -1 4194304 14819 0 0 0 1260 9 0 0 25 0 1 0 272336478 61812736 14468 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2240/statm: 15091 14468 311 324 0 14161 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 60364

[startup+25.5014 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 2241
/proc/meminfo: memFree=1789200/2055920 swapFree=4141160/4192956
[pid=2240] ppid=2238 vsize=69828 CPUtime=25.48
/proc/2240/stat : 2240 (bsolo3.0.17) R 2238 2240 1353 0 -1 4194304 17184 0 0 0 2537 11 0 0 25 0 1 0 272336478 71503872 16833 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2240/statm: 17457 16833 311 324 0 16527 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 69828

[startup+51.1019 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 2241
/proc/meminfo: memFree=1785680/2055920 swapFree=4141160/4192956
[pid=2240] ppid=2238 vsize=74304 CPUtime=51.07
/proc/2240/stat : 2240 (bsolo3.0.17) R 2238 2240 1353 0 -1 4194304 18288 0 0 0 5095 12 0 0 25 0 1 0 272336478 76087296 17937 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2240/statm: 18576 17937 311 324 0 17646 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 74304

[startup+102.306 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 2241
/proc/meminfo: memFree=1733520/2055920 swapFree=4141160/4192956
[pid=2240] ppid=2238 vsize=125228 CPUtime=102.26
/proc/2240/stat : 2240 (bsolo3.0.17) R 2238 2240 1353 0 -1 4194304 31035 0 0 0 10207 19 0 0 25 0 1 0 272336478 128233472 30684 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2240/statm: 31307 30684 311 324 0 30377 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 125228

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2241
/proc/meminfo: memFree=1723600/2055920 swapFree=4141160/4192956
[pid=2240] ppid=2238 vsize=135020 CPUtime=162.24
/proc/2240/stat : 2240 (bsolo3.0.17) R 2238 2240 1353 0 -1 4194304 33486 0 0 0 16203 21 0 0 25 0 1 0 272336478 138260480 33135 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2240/statm: 33755 33135 311 324 0 32825 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 135020

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2241
/proc/meminfo: memFree=1704528/2055920 swapFree=4141160/4192956
[pid=2240] ppid=2238 vsize=154048 CPUtime=222.23
/proc/2240/stat : 2240 (bsolo3.0.17) R 2238 2240 1353 0 -1 4194304 38243 0 0 0 22198 25 0 0 25 0 1 0 272336478 157745152 37892 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2240/statm: 38512 37892 311 324 0 37582 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 154048

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/84 2313
/proc/meminfo: memFree=1657824/2055920 swapFree=4141160/4192956
[pid=2240] ppid=2238 vsize=199344 CPUtime=282.18
/proc/2240/stat : 2240 (bsolo3.0.17) R 2238 2240 1353 0 -1 4194304 49585 0 0 0 28187 31 0 0 25 0 1 0 272336478 204128256 49200 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11021903 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2240/statm: 49836 49200 311 324 0 48906 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 199344

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2439
/proc/meminfo: memFree=1648528/2055920 swapFree=4141160/4192956
[pid=2240] ppid=2238 vsize=210040 CPUtime=342.1
/proc/2240/stat : 2240 (bsolo3.0.17) R 2238 2240 1353 0 -1 4194304 52276 0 0 0 34176 34 0 0 25 0 1 0 272336478 215080960 51891 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2240/statm: 52510 51891 311 324 0 51580 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 210040

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2439
/proc/meminfo: memFree=1619984/2055920 swapFree=4141160/4192956
[pid=2240] ppid=2238 vsize=238124 CPUtime=402.08
/proc/2240/stat : 2240 (bsolo3.0.17) R 2238 2240 1353 0 -1 4194304 59324 0 0 0 40171 37 0 0 25 0 1 0 272336478 243838976 58905 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550910 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2240/statm: 59531 58905 311 324 0 58601 0
Current children cumulated CPU time (s) 402.08
Current children cumulated vsize (KiB) 238124

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2439
/proc/meminfo: memFree=1614480/2055920 swapFree=4141160/4192956
[pid=2240] ppid=2238 vsize=243800 CPUtime=462.07
/proc/2240/stat : 2240 (bsolo3.0.17) R 2238 2240 1353 0 -1 4194304 60741 0 0 0 46169 38 0 0 25 0 1 0 272336478 249651200 60322 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2240/statm: 60950 60322 311 324 0 60020 0
Current children cumulated CPU time (s) 462.07
Current children cumulated vsize (KiB) 243800

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2439
/proc/meminfo: memFree=1579536/2055920 swapFree=4141160/4192956
[pid=2240] ppid=2238 vsize=278712 CPUtime=522.05
/proc/2240/stat : 2240 (bsolo3.0.17) R 2238 2240 1353 0 -1 4194304 69499 0 0 0 52162 43 0 0 25 0 1 0 272336478 285401088 69046 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091710 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2240/statm: 69678 69046 311 324 0 68748 0
Current children cumulated CPU time (s) 522.05
Current children cumulated vsize (KiB) 278712

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2439
/proc/meminfo: memFree=1579536/2055920 swapFree=4141160/4192956
[pid=2240] ppid=2238 vsize=278684 CPUtime=582.04
/proc/2240/stat : 2240 (bsolo3.0.17) R 2238 2240 1353 0 -1 4194304 69501 0 0 0 58161 43 0 0 25 0 1 0 272336478 285372416 69048 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11030144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2240/statm: 69671 69048 311 324 0 68741 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 278684

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2439
/proc/meminfo: memFree=1579600/2055920 swapFree=4141160/4192956
[pid=2240] ppid=2238 vsize=278684 CPUtime=642.03
/proc/2240/stat : 2240 (bsolo3.0.17) R 2238 2240 1353 0 -1 4194304 69501 0 0 0 64159 44 0 0 25 0 1 0 272336478 285372416 69048 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134571965 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2240/statm: 69671 69048 311 324 0 68741 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 278684


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

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2439
/proc/meminfo: memFree=1579600/2055920 swapFree=4141160/4192956
[pid=2240] ppid=2238 vsize=278696 CPUtime=821.98
/proc/2240/stat : 2240 (bsolo3.0.17) R 2238 2240 1353 0 -1 4194304 69504 0 0 0 82153 45 0 0 25 0 1 0 272336478 285384704 69051 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2240/statm: 69674 69051 311 324 0 68744 0
Current children cumulated CPU time (s) 821.98
Current children cumulated vsize (KiB) 278696

[startup+882.301 s]
/proc/loadavg: 1.03 1.01 1.00 2/78 2439
/proc/meminfo: memFree=1579664/2055920 swapFree=4141160/4192956
[pid=2240] ppid=2238 vsize=278696 CPUtime=881.96
/proc/2240/stat : 2240 (bsolo3.0.17) R 2238 2240 1353 0 -1 4194304 69504 0 0 0 88151 45 0 0 25 0 1 0 272336478 285384704 69051 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2240/statm: 69674 69051 311 324 0 68744 0
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (KiB) 278696

[startup+942.301 s]
/proc/loadavg: 1.01 1.01 1.00 2/78 2439
/proc/meminfo: memFree=1579600/2055920 swapFree=4141160/4192956
[pid=2240] ppid=2238 vsize=278664 CPUtime=941.95
/proc/2240/stat : 2240 (bsolo3.0.17) R 2238 2240 1353 0 -1 4194304 69504 0 0 0 94149 46 0 0 25 0 1 0 272336478 285351936 69047 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134575037 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2240/statm: 69666 69047 311 324 0 68736 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 278664

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2439
/proc/meminfo: memFree=1534480/2055920 swapFree=4141160/4192956
[pid=2240] ppid=2238 vsize=323904 CPUtime=1001.93
/proc/2240/stat : 2240 (bsolo3.0.17) R 2238 2240 1353 0 -1 4194304 80802 0 0 0 100143 50 0 0 25 0 1 0 272336478 331677696 80345 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2240/statm: 80976 80345 311 324 0 80046 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 323904

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2439
/proc/meminfo: memFree=1451216/2055920 swapFree=4141160/4192956
[pid=2240] ppid=2238 vsize=407960 CPUtime=1061.92
/proc/2240/stat : 2240 (bsolo3.0.17) R 2238 2240 1353 0 -1 4194304 101815 0 0 0 106132 60 0 0 25 0 1 0 272336478 417751040 101358 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2240/statm: 101990 101358 311 324 0 101060 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 407960

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2439
/proc/meminfo: memFree=1413968/2055920 swapFree=4141160/4192956
[pid=2240] ppid=2238 vsize=443892 CPUtime=1121.9
/proc/2240/stat : 2240 (bsolo3.0.17) R 2238 2240 1353 0 -1 4194304 110847 0 0 0 112126 64 0 0 25 0 1 0 272336478 454545408 110351 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2240/statm: 110973 110351 311 324 0 110043 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 443892

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2439
/proc/meminfo: memFree=1413968/2055920 swapFree=4141160/4192956
[pid=2240] ppid=2238 vsize=443892 CPUtime=1181.89
/proc/2240/stat : 2240 (bsolo3.0.17) R 2238 2240 1353 0 -1 4194304 110847 0 0 0 118124 65 0 0 25 0 1 0 272336478 454545408 110351 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2240/statm: 110973 110351 311 324 0 110043 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 443892

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2439
/proc/meminfo: memFree=1397968/2055920 swapFree=4141160/4192956
[pid=2240] ppid=2238 vsize=460440 CPUtime=1241.87
/proc/2240/stat : 2240 (bsolo3.0.17) R 2238 2240 1353 0 -1 4194304 114984 0 0 0 124120 67 0 0 25 0 1 0 272336478 471490560 114488 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2240/statm: 115110 114488 311 324 0 114180 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 460440

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2439
/proc/meminfo: memFree=1341072/2055920 swapFree=4141160/4192956
[pid=2240] ppid=2238 vsize=516840 CPUtime=1301.86
/proc/2240/stat : 2240 (bsolo3.0.17) R 2238 2240 1353 0 -1 4194304 129062 0 0 0 130111 75 0 0 25 0 1 0 272336478 529244160 128566 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2240/statm: 129210 128566 311 324 0 128280 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 516840

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2439
/proc/meminfo: memFree=1330576/2055920 swapFree=4141160/4192956
[pid=2240] ppid=2238 vsize=527236 CPUtime=1361.85
/proc/2240/stat : 2240 (bsolo3.0.17) R 2238 2240 1353 0 -1 4194304 131701 0 0 0 136108 77 0 0 25 0 1 0 272336478 539889664 131165 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2240/statm: 131809 131165 311 324 0 130879 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 527236

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2439
/proc/meminfo: memFree=1330576/2055920 swapFree=4141160/4192956
[pid=2240] ppid=2238 vsize=527236 CPUtime=1421.83
/proc/2240/stat : 2240 (bsolo3.0.17) R 2238 2240 1353 0 -1 4194304 131701 0 0 0 142106 77 0 0 25 0 1 0 272336478 539889664 131165 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2240/statm: 131809 131165 311 324 0 130879 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 527236

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2439
/proc/meminfo: memFree=1330640/2055920 swapFree=4141160/4192956
[pid=2240] ppid=2238 vsize=526984 CPUtime=1481.82
/proc/2240/stat : 2240 (bsolo3.0.17) R 2238 2240 1353 0 -1 4194304 131702 0 0 0 148104 78 0 0 25 0 1 0 272336478 539631616 131127 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2240/statm: 131746 131127 311 324 0 130816 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 526984

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/78 2439
/proc/meminfo: memFree=1330704/2055920 swapFree=4141160/4192956
[pid=2240] ppid=2238 vsize=526996 CPUtime=1541.8
/proc/2240/stat : 2240 (bsolo3.0.17) R 2238 2240 1353 0 -1 4194304 131705 0 0 0 154102 78 0 0 25 0 1 0 272336478 539643904 131130 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550896 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2240/statm: 131749 131130 311 324 0 130819 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 526996

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2439
/proc/meminfo: memFree=1330704/2055920 swapFree=4141160/4192956
[pid=2240] ppid=2238 vsize=526996 CPUtime=1601.78
/proc/2240/stat : 2240 (bsolo3.0.17) R 2238 2240 1353 0 -1 4194304 131705 0 0 0 160100 78 0 0 25 0 1 0 272336478 539643904 131130 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2240/statm: 131749 131130 311 324 0 130819 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 526996

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2439
/proc/meminfo: memFree=1330768/2055920 swapFree=4141160/4192956
[pid=2240] ppid=2238 vsize=526996 CPUtime=1661.77
/proc/2240/stat : 2240 (bsolo3.0.17) R 2238 2240 1353 0 -1 4194304 131705 0 0 0 166098 79 0 0 25 0 1 0 272336478 539643904 131130 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134547733 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2240/statm: 131749 131130 311 324 0 130819 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 526996

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2439
/proc/meminfo: memFree=1330768/2055920 swapFree=4141160/4192956
[pid=2240] ppid=2238 vsize=526996 CPUtime=1721.75
/proc/2240/stat : 2240 (bsolo3.0.17) R 2238 2240 1353 0 -1 4194304 131705 0 0 0 172096 79 0 0 25 0 1 0 272336478 539643904 131130 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091745 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2240/statm: 131749 131130 311 324 0 130819 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 526996

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2439
/proc/meminfo: memFree=1330768/2055920 swapFree=4141160/4192956
[pid=2240] ppid=2238 vsize=526996 CPUtime=1781.74
/proc/2240/stat : 2240 (bsolo3.0.17) R 2238 2240 1353 0 -1 4194304 131705 0 0 0 178094 80 0 0 25 0 1 0 272336478 539643904 131130 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134574823 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2240/statm: 131749 131130 311 324 0 130819 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 526996



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2439
/proc/meminfo: memFree=1330768/2055920 swapFree=4141160/4192956
[pid=2240] ppid=2238 vsize=526996 CPUtime=1800.04
/proc/2240/stat : 2240 (bsolo3.0.17) R 2238 2240 1353 0 -1 4194304 131705 0 0 0 179924 80 0 0 25 0 1 0 272336478 539643904 131130 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2240/statm: 131749 131130 311 324 0 130819 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 526996

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

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

Child status: 15
Real time (s): 1800.7
CPU time (s): 1800.14
CPU user time (s): 1799.25
CPU system time (s): 0.888864
CPU usage (%): 99.969
Max. virtual memory (cumulated for all children) (KiB): 527240

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.25
system time used= 0.888864
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 131709
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= 13
involuntary context switches= 5290

runsolver used 1.47378 second user time and 3.77343 second system time

The end

Launcher Data (download as text)

Begin job on node4 on Mon Apr 30 19:56:27 UTC 2007

IDJOB= 433734
IDBENCH= 25021
IDSOLVER= 199
FILE ID= node4/433734-1177962987

PBS_JOBID= 4727703

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_5.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433734-1177962987/instance-433734-1177962987.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node4/watcher-433734-1177962987 -o ROOT/results/node4/solver-433734-1177962987 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/433734-1177962987/instance-433734-1177962987.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  130be24ef6faf784c5a8bf386cbf11b2

RANDOM SEED= 589650641

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node4.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.218
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	: 5931.00
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.218
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:       1855920 kB
Buffers:         32916 kB
Cached:          80048 kB
SwapCached:      14808 kB
Active:          47468 kB
Inactive:        89592 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1855920 kB
SwapTotal:     4192956 kB
SwapFree:      4141160 kB
Dirty:            7216 kB
Writeback:           0 kB
Mapped:          30976 kB
Slab:            48404 kB
Committed_AS:  6430772 kB
PageTables:       1820 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= 66558 MiB

End job on node4 on Mon Apr 30 20:26:30 UTC 2007