Trace number 373128

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.16SAT (TO)26 1800.09 1800.63

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

Verifier Data (download as text)

OK	26

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node30/watcher-373128-1177169619 -o ROOT/results/node30/solver-373128-1177169619 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/373128-1177169619/instance-373128-1177169619.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.92 0.97 0.98 3/77 519
/proc/meminfo: memFree=1859760/2055920 swapFree=4157100/4192956
[pid=519] ppid=517 vsize=12284 CPUtime=0
/proc/519/stat : 519 (bsolo3.0.16) R 517 519 32112 0 -1 4194304 368 0 0 0 0 0 0 0 18 0 1 0 164877613 12578816 336 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/519/statm: 3071 336 281 324 0 2003 0

[startup+0.097109 s]
/proc/loadavg: 0.92 0.97 0.98 3/77 519
/proc/meminfo: memFree=1859760/2055920 swapFree=4157100/4192956
[pid=519] ppid=517 vsize=6676 CPUtime=0.08
/proc/519/stat : 519 (bsolo3.0.16) R 517 519 32112 0 -1 4194304 1037 0 0 0 8 0 0 0 18 0 1 0 164877613 6836224 1005 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 7452283 0 0 4096 16384 0 0 0 17 1 0 0
/proc/519/statm: 1669 1005 409 324 0 601 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6676

[startup+0.101108 s]
/proc/loadavg: 0.92 0.97 0.98 3/77 519
/proc/meminfo: memFree=1859760/2055920 swapFree=4157100/4192956
[pid=519] ppid=517 vsize=6812 CPUtime=0.09
/proc/519/stat : 519 (bsolo3.0.16) R 517 519 32112 0 -1 4194304 1063 0 0 0 9 0 0 0 18 0 1 0 164877613 6975488 1031 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 7452283 0 0 4096 16384 0 0 0 17 1 0 0
/proc/519/statm: 1703 1031 414 324 0 635 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6812

[startup+0.301121 s]
/proc/loadavg: 0.92 0.97 0.98 3/77 519
/proc/meminfo: memFree=1859760/2055920 swapFree=4157100/4192956
[pid=519] ppid=517 vsize=8528 CPUtime=0.29
/proc/519/stat : 519 (bsolo3.0.16) R 517 519 32112 0 -1 4194304 1667 0 0 0 28 1 0 0 19 0 1 0 164877613 8732672 1498 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/519/statm: 2132 1498 308 324 0 1201 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8528

[startup+0.701145 s]
/proc/loadavg: 0.92 0.97 0.98 3/77 519
/proc/meminfo: memFree=1859760/2055920 swapFree=4157100/4192956
[pid=519] ppid=517 vsize=8432 CPUtime=0.68
/proc/519/stat : 519 (bsolo3.0.16) R 517 519 32112 0 -1 4194304 1833 0 0 0 66 2 0 0 23 0 1 0 164877613 8634368 1480 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/519/statm: 2108 1480 313 324 0 1177 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 8432

[startup+1.5022 s]
/proc/loadavg: 0.92 0.97 0.98 2/78 520
/proc/meminfo: memFree=1853864/2055920 swapFree=4157100/4192956
[pid=519] ppid=517 vsize=11016 CPUtime=1.48
/proc/519/stat : 519 (bsolo3.0.16) R 517 519 32112 0 -1 4194304 2467 0 0 0 145 3 0 0 25 0 1 0 164877613 11280384 2114 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551907 0 0 4096 16384 0 0 0 17 1 0 0
/proc/519/statm: 2754 2114 313 324 0 1823 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 11016

[startup+3.1013 s]
/proc/loadavg: 0.92 0.97 0.98 2/78 520
/proc/meminfo: memFree=1848232/2055920 swapFree=4157100/4192956
[pid=519] ppid=517 vsize=21256 CPUtime=3.09
/proc/519/stat : 519 (bsolo3.0.16) R 517 519 32112 0 -1 4194304 5046 0 0 0 304 5 0 0 25 0 1 0 164877613 21766144 4693 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0
/proc/519/statm: 5314 4693 313 324 0 4383 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21256

[startup+6.3015 s]
/proc/loadavg: 0.93 0.97 0.98 2/78 520
/proc/meminfo: memFree=1830056/2055920 swapFree=4157100/4192956
[pid=519] ppid=517 vsize=37064 CPUtime=6.29
/proc/519/stat : 519 (bsolo3.0.16) R 517 519 32112 0 -1 4194304 9001 0 0 0 622 7 0 0 25 0 1 0 164877613 37953536 8648 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/519/statm: 9266 8648 313 324 0 8335 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 37064

[startup+12.7019 s]
/proc/loadavg: 0.93 0.97 0.98 2/78 520
/proc/meminfo: memFree=1803696/2055920 swapFree=4157100/4192956
[pid=519] ppid=517 vsize=60364 CPUtime=12.68
/proc/519/stat : 519 (bsolo3.0.16) R 517 519 32112 0 -1 4194304 14819 0 0 0 1258 10 0 0 25 0 1 0 164877613 61812736 14466 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/519/statm: 15091 14466 313 324 0 14160 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 60364

[startup+25.5017 s]
/proc/loadavg: 0.95 0.97 0.98 2/78 520
/proc/meminfo: memFree=1793648/2055920 swapFree=4157100/4192956
[pid=519] ppid=517 vsize=69828 CPUtime=25.49
/proc/519/stat : 519 (bsolo3.0.16) R 517 519 32112 0 -1 4194304 17171 0 0 0 2533 16 0 0 25 0 1 0 164877613 71503872 16818 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551545 0 0 4096 16384 0 0 0 17 1 0 0
/proc/519/statm: 17457 16818 313 324 0 16526 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 69828

[startup+51.1013 s]
/proc/loadavg: 0.96 0.97 0.98 2/78 520
/proc/meminfo: memFree=1790320/2055920 swapFree=4157100/4192956
[pid=519] ppid=517 vsize=74048 CPUtime=51.08
/proc/519/stat : 519 (bsolo3.0.16) R 517 519 32112 0 -1 4194304 18227 0 0 0 5086 22 0 0 25 0 1 0 164877613 75825152 17874 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 7452283 0 0 4096 16384 0 0 0 17 1 0 0
/proc/519/statm: 18512 17874 313 324 0 17581 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 74048

[startup+102.305 s]
/proc/loadavg: 0.98 0.97 0.98 2/78 520
/proc/meminfo: memFree=1737840/2055920 swapFree=4157100/4192956
[pid=519] ppid=517 vsize=125228 CPUtime=102.27
/proc/519/stat : 519 (bsolo3.0.16) R 517 519 32112 0 -1 4194304 31039 0 0 0 10191 36 0 0 25 0 1 0 164877613 128233472 30686 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551108 0 0 4096 16384 0 0 0 17 1 0 0
/proc/519/statm: 31307 30686 313 324 0 30376 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 125228

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 520
/proc/meminfo: memFree=1727984/2055920 swapFree=4157100/4192956
[pid=519] ppid=517 vsize=135020 CPUtime=162.25
/proc/519/stat : 519 (bsolo3.0.16) R 517 519 32112 0 -1 4194304 33490 0 0 0 16182 43 0 0 25 0 1 0 164877613 138260480 33137 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/519/statm: 33755 33137 313 324 0 32824 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 135020

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 520
/proc/meminfo: memFree=1708912/2055920 swapFree=4157100/4192956
[pid=519] ppid=517 vsize=154048 CPUtime=222.24
/proc/519/stat : 519 (bsolo3.0.16) R 517 519 32112 0 -1 4194304 38247 0 0 0 22173 51 0 0 25 0 1 0 164877613 157745152 37894 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/519/statm: 38512 37894 313 324 0 37581 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 154048

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 522
/proc/meminfo: memFree=1663344/2055920 swapFree=4157100/4192956
[pid=519] ppid=517 vsize=199344 CPUtime=282.22
/proc/519/stat : 519 (bsolo3.0.16) R 517 519 32112 0 -1 4194304 49589 0 0 0 28159 63 0 0 25 0 1 0 164877613 204128256 49202 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/519/statm: 49836 49202 313 324 0 48905 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 199344

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 522
/proc/meminfo: memFree=1653680/2055920 swapFree=4157100/4192956
[pid=519] ppid=517 vsize=209280 CPUtime=342.21
/proc/519/stat : 519 (bsolo3.0.16) R 517 519 32112 0 -1 4194304 52073 0 0 0 34153 68 0 0 25 0 1 0 164877613 214302720 51686 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/519/statm: 52320 51686 313 324 0 51389 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 209280

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 522
/proc/meminfo: memFree=1624432/2055920 swapFree=4157100/4192956
[pid=519] ppid=517 vsize=238124 CPUtime=402.19
/proc/519/stat : 519 (bsolo3.0.16) R 517 519 32112 0 -1 4194304 59328 0 0 0 40144 75 0 0 25 0 1 0 164877613 243838976 58907 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/519/statm: 59531 58907 313 324 0 58600 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 238124

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 522
/proc/meminfo: memFree=1621232/2055920 swapFree=4157100/4192956
[pid=519] ppid=517 vsize=242080 CPUtime=462.18
/proc/519/stat : 519 (bsolo3.0.16) R 517 519 32112 0 -1 4194304 60303 0 0 0 46139 79 0 0 25 0 1 0 164877613 247889920 59882 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/519/statm: 60520 59882 313 324 0 59589 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 242080

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 522
/proc/meminfo: memFree=1583728/2055920 swapFree=4157100/4192956
[pid=519] ppid=517 vsize=278712 CPUtime=522.17
/proc/519/stat : 519 (bsolo3.0.16) R 517 519 32112 0 -1 4194304 69503 0 0 0 52129 88 0 0 25 0 1 0 164877613 285401088 69048 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551838 0 0 4096 16384 0 0 0 17 1 0 0
/proc/519/statm: 69678 69048 313 324 0 68747 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 278712

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 522
/proc/meminfo: memFree=1583728/2055920 swapFree=4157100/4192956
[pid=519] ppid=517 vsize=278684 CPUtime=582.15
/proc/519/stat : 519 (bsolo3.0.16) R 517 519 32112 0 -1 4194304 69505 0 0 0 58122 93 0 0 25 0 1 0 164877613 285372416 69050 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551513 0 0 4096 16384 0 0 0 17 1 0 0
/proc/519/statm: 69671 69050 313 324 0 68740 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 278684

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 522
/proc/meminfo: memFree=1583728/2055920 swapFree=4157100/4192956
[pid=519] ppid=517 vsize=278684 CPUtime=642.14
/proc/519/stat : 519 (bsolo3.0.16) R 517 519 32112 0 -1 4194304 69505 0 0 0 64113 101 0 0 25 0 1 0 164877613 285372416 69050 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551609 0 0 4096 16384 0 0 0 17 1 0 0
/proc/519/statm: 69671 69050 313 324 0 68740 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 278684


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

[startup+822.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 522
/proc/meminfo: memFree=1583856/2055920 swapFree=4157100/4192956
[pid=519] ppid=517 vsize=278696 CPUtime=822.1
/proc/519/stat : 519 (bsolo3.0.16) R 517 519 32112 0 -1 4194304 69508 0 0 0 82093 117 0 0 25 0 1 0 164877613 285384704 69053 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/519/statm: 69674 69053 313 324 0 68743 0
Current children cumulated CPU time (s) 822.1
Current children cumulated vsize (KiB) 278696

[startup+882.301 s]
/proc/loadavg: 1.07 0.99 0.99 2/78 522
/proc/meminfo: memFree=1583792/2055920 swapFree=4157100/4192956
[pid=519] ppid=517 vsize=278696 CPUtime=882.07
/proc/519/stat : 519 (bsolo3.0.16) R 517 519 32112 0 -1 4194304 69508 0 0 0 88087 120 0 0 25 0 1 0 164877613 285384704 69053 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/519/statm: 69674 69053 313 324 0 68743 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 278696

[startup+942.302 s]
/proc/loadavg: 1.09 1.00 0.99 2/78 522
/proc/meminfo: memFree=1583856/2055920 swapFree=4157100/4192956
[pid=519] ppid=517 vsize=278664 CPUtime=942.06
/proc/519/stat : 519 (bsolo3.0.16) R 517 519 32112 0 -1 4194304 69508 0 0 0 94083 123 0 0 25 0 1 0 164877613 285351936 69049 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/519/statm: 69666 69049 313 324 0 68735 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 278664

[startup+1002.3 s]
/proc/loadavg: 1.03 1.00 0.99 2/78 522
/proc/meminfo: memFree=1543600/2055920 swapFree=4157100/4192956
[pid=519] ppid=517 vsize=319436 CPUtime=1002.05
/proc/519/stat : 519 (bsolo3.0.16) R 517 519 32112 0 -1 4194304 79690 0 0 0 100074 131 0 0 25 0 1 0 164877613 327102464 79231 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/519/statm: 79859 79231 313 324 0 78928 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 319436

[startup+1062.3 s]
/proc/loadavg: 1.01 1.00 0.99 2/78 522
/proc/meminfo: memFree=1459888/2055920 swapFree=4157100/4192956
[pid=519] ppid=517 vsize=403584 CPUtime=1062.04
/proc/519/stat : 519 (bsolo3.0.16) R 517 519 32112 0 -1 4194304 100731 0 0 0 106061 143 0 0 25 0 1 0 164877613 413270016 100272 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/519/statm: 100896 100272 313 324 0 99965 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 403584

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 522
/proc/meminfo: memFree=1418096/2055920 swapFree=4157100/4192956
[pid=519] ppid=517 vsize=443892 CPUtime=1122.02
/proc/519/stat : 519 (bsolo3.0.16) R 517 519 32112 0 -1 4194304 110851 0 0 0 112052 150 0 0 25 0 1 0 164877613 454545408 110353 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/519/statm: 110973 110353 313 324 0 110042 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 443892

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 522
/proc/meminfo: memFree=1418096/2055920 swapFree=4157100/4192956
[pid=519] ppid=517 vsize=443892 CPUtime=1182
/proc/519/stat : 519 (bsolo3.0.16) R 517 519 32112 0 -1 4194304 110851 0 0 0 118047 153 0 0 25 0 1 0 164877613 454545408 110353 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551091 0 0 4096 16384 0 0 0 17 1 0 0
/proc/519/statm: 110973 110353 313 324 0 110042 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 443892

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 522
/proc/meminfo: memFree=1406192/2055920 swapFree=4157100/4192956
[pid=519] ppid=517 vsize=456496 CPUtime=1241.99
/proc/519/stat : 519 (bsolo3.0.16) R 517 519 32112 0 -1 4194304 114002 0 0 0 124042 157 0 0 25 0 1 0 164877613 467451904 113504 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 7450356 0 0 4096 16384 0 0 0 17 1 0 0
/proc/519/statm: 114124 113504 313 324 0 113193 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 456496

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 522
/proc/meminfo: memFree=1347632/2055920 swapFree=4157100/4192956
[pid=519] ppid=517 vsize=514348 CPUtime=1301.97
/proc/519/stat : 519 (bsolo3.0.16) R 517 519 32112 0 -1 4194304 128455 0 0 0 130031 166 0 0 25 0 1 0 164877613 526692352 127957 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/519/statm: 128587 127957 313 324 0 127656 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 514348

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 522
/proc/meminfo: memFree=1334576/2055920 swapFree=4157100/4192956
[pid=519] ppid=517 vsize=527236 CPUtime=1361.96
/proc/519/stat : 519 (bsolo3.0.16) R 517 519 32112 0 -1 4194304 131705 0 0 0 136026 170 0 0 25 0 1 0 164877613 539889664 131167 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551513 0 0 4096 16384 0 0 0 17 1 0 0
/proc/519/statm: 131809 131167 313 324 0 130878 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 527236

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 522
/proc/meminfo: memFree=1334576/2055920 swapFree=4157100/4192956
[pid=519] ppid=517 vsize=527236 CPUtime=1421.95
/proc/519/stat : 519 (bsolo3.0.16) R 517 519 32112 0 -1 4194304 131705 0 0 0 142020 175 0 0 25 0 1 0 164877613 539889664 131167 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551091 0 0 4096 16384 0 0 0 17 1 0 0
/proc/519/statm: 131809 131167 313 324 0 130878 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 527236

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 522
/proc/meminfo: memFree=1334640/2055920 swapFree=4157100/4192956
[pid=519] ppid=517 vsize=526984 CPUtime=1481.93
/proc/519/stat : 519 (bsolo3.0.16) R 517 519 32112 0 -1 4194304 131706 0 0 0 148011 182 0 0 25 0 1 0 164877613 539631616 131129 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 7448449 0 0 4096 16384 0 0 0 17 1 0 0
/proc/519/statm: 131746 131129 313 324 0 130815 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 526984

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 522
/proc/meminfo: memFree=1334704/2055920 swapFree=4157100/4192956
[pid=519] ppid=517 vsize=526996 CPUtime=1541.92
/proc/519/stat : 519 (bsolo3.0.16) R 517 519 32112 0 -1 4194304 131709 0 0 0 154001 191 0 0 25 0 1 0 164877613 539643904 131132 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/519/statm: 131749 131132 313 324 0 130818 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 526996

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 522
/proc/meminfo: memFree=1334768/2055920 swapFree=4157100/4192956
[pid=519] ppid=517 vsize=526996 CPUtime=1601.9
/proc/519/stat : 519 (bsolo3.0.16) R 517 519 32112 0 -1 4194304 131709 0 0 0 159992 198 0 0 25 0 1 0 164877613 539643904 131132 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/519/statm: 131749 131132 313 324 0 130818 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 526996

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/84 638
/proc/meminfo: memFree=1333496/2055920 swapFree=4157100/4192956
[pid=519] ppid=517 vsize=526996 CPUtime=1661.83
/proc/519/stat : 519 (bsolo3.0.16) R 517 519 32112 0 -1 4194304 131709 0 0 0 165978 205 0 0 25 0 1 0 164877613 539643904 131132 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/519/statm: 131749 131132 313 324 0 130818 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 526996

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 720
/proc/meminfo: memFree=1334640/2055920 swapFree=4157100/4192956
[pid=519] ppid=517 vsize=526996 CPUtime=1721.78
/proc/519/stat : 519 (bsolo3.0.16) R 517 519 32112 0 -1 4194304 131709 0 0 0 171969 209 0 0 25 0 1 0 164877613 539643904 131132 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 7447905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/519/statm: 131749 131132 313 324 0 130818 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 526996

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 720
/proc/meminfo: memFree=1334768/2055920 swapFree=4157100/4192956
[pid=519] ppid=517 vsize=526996 CPUtime=1781.77
/proc/519/stat : 519 (bsolo3.0.16) R 517 519 32112 0 -1 4194304 131709 0 0 0 177964 213 0 0 25 0 1 0 164877613 539643904 131132 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134575015 0 0 4096 16384 0 0 0 17 1 0 0
/proc/519/statm: 131749 131132 313 324 0 130818 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 526996



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 720
/proc/meminfo: memFree=1731312/2055920 swapFree=4157100/4192956
[pid=519] ppid=517 vsize=0 CPUtime=1800.07
/proc/519/stat : 519 (bsolo3.0.16) R 517 519 32112 0 -1 4194308 131710 0 0 0 179786 221 0 0 17 0 1 0 164877613 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/519/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 0

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

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

Child status: 0
Real time (s): 1800.63
CPU time (s): 1800.09
CPU user time (s): 1797.86
CPU system time (s): 2.23166
CPU usage (%): 99.9703
Max. virtual memory (cumulated for all children) (KiB): 527240

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.86
system time used= 2.23166
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 131710
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= 15
involuntary context switches= 26071

runsolver used 2.14767 second user time and 4.27835 second system time

The end

Launcher Data (download as text)

Begin job on node30 on Sat Apr 21 15:33:39 UTC 2007

IDJOB= 373128
IDBENCH= 25021
IDSOLVER= 163
FILE ID= node30/373128-1177169619

PBS_JOBID= 4648939

Free space on /tmp= 66391 MiB

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

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  130be24ef6faf784c5a8bf386cbf11b2

RANDOM SEED= 266033631

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node30.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	: 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.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:       1860104 kB
Buffers:         32136 kB
Cached:          74900 kB
SwapCached:      15024 kB
Active:          43524 kB
Inactive:        88900 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1860104 kB
SwapTotal:     4192956 kB
SwapFree:      4157100 kB
Dirty:            4956 kB
Writeback:           0 kB
Mapped:          32436 kB
Slab:            48852 kB
Committed_AS:  3474828 kB
PageTables:       1780 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= 66391 MiB

End job on node30 on Sat Apr 21 16:03:42 UTC 2007