Trace number 373323

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
wildcat-skc 2007-03-21SAT (TO)118 1800.08 1800.63

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_opers/normalized-fir03_area_opers.opb
MD5SUMb21d0afca1befeb5506928b558ab5220
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark17
Best CPU time to get the best result obtained on this benchmark11.7222
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 17
Optimality of the best value was proved YES
Number of variables6672
Total number of constraints14168
Number of constraints which are clauses14168
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint127
Number of terms in the objective function 3302
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 3302
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 3302
Number of bits of the biggest sum of numbers12
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 
0.00/0.00	c wildcat-skc (VERSION 0.8.0-lite-skc-devel)
0.00/0.00	c Developed by L. Liu  and M. Truszczynski 
0.00/0.00	c Last built on Sun 18 Mar 2007 03:03:20 PM EDT
0.00/0.00	c 
0.00/0.00	c /tmp/evaluation/373323-1177182195/wildcat-skc /tmp/evaluation/373323-1177182195/instance-373323-1177182195.opb 915786917 
0.00/0.00	c =================================== BEGIN ===================================
0.00/0.00	c 
0.00/0.00	c Random Number Seed: 915786917
0.00/0.00	c Noise: 0.1 (10 : 100) 
0.09/0.14	c Starting searching:
0.09/0.14	c Phase 1 ...
0.09/0.14	c   trying 3302: vc 
0.09/0.14	o 1565
0.09/0.15	c   trying 1525: vc 
0.09/0.15	o 1422
0.09/0.16	c   trying 1384: vc 
0.09/0.16	o 1374
0.09/0.17	c   trying 1336: vc 
0.09/0.17	o 1324
0.09/0.18	c   trying 1287: vc 
0.09/0.18	o 1278
0.09/0.20	c   trying 1242: vc 
0.09/0.20	o 1190
0.19/0.21	c   trying 1155: vc 
0.19/0.21	o 1155
0.19/0.22	c   trying 1121: vc 
0.19/0.22	o 1121
0.19/0.23	c   trying 1087: vc 
0.19/0.23	o 1087
0.19/0.25	c   trying 1054: vc 
0.19/0.25	o 1054
0.19/0.26	c   trying 1021: vc 
0.19/0.26	o 1021
0.19/0.27	c   trying 989: vc 
0.19/0.27	o 989
0.19/0.29	c   trying 957: vc 
0.19/0.29	o 957
0.29/0.31	c   trying 926: vc 
0.29/0.31	o 926
0.29/0.32	c   trying 895: vc 
0.29/0.32	o 895
0.29/0.34	c   trying 865: vc 
0.29/0.34	o 865
0.29/0.35	c   trying 835: vc 
0.29/0.35	o 835
0.29/0.37	c   trying 806: vc 
0.29/0.37	o 806
0.29/0.39	c   trying 777: vc 
0.29/0.39	o 777
0.39/0.41	c   trying 749: vc 
0.39/0.41	o 749
0.39/0.44	c   trying 721: vc 
0.39/0.44	o 721
0.39/0.46	c   trying 694: vc 
0.39/0.46	o 694
0.39/0.49	c   trying 667: vc 
0.39/0.49	o 667
0.49/0.51	c   trying 641: vc 
0.49/0.51	o 641
0.49/0.54	c   trying 615: vc 
0.49/0.54	o 615
0.49/0.57	c   trying 590: vc 
0.49/0.57	o 590
0.59/0.61	c   trying 565: vc 
0.59/0.61	o 565
0.59/0.66	c   trying 541: vc 
0.59/0.66	o 541
0.69/0.72	c   trying 517: vc 
0.69/0.72	o 517
0.69/0.76	c   trying 494: vc 
0.69/0.76	o 494
0.79/0.83	c   trying 471: vc 
0.79/0.83	o 471
0.79/0.90	c   trying 449: vc 
0.79/0.90	o 449
0.89/0.96	c   trying 427: vc 
0.89/0.96	o 427
0.99/1.04	c   trying 406: vc 
0.99/1.04	o 406
1.09/1.11	c   trying 385: vc 
1.09/1.11	o 385
1.19/1.28	c   trying 365: vc 
1.19/1.28	o 365
1.39/1.42	c   trying 345: vc 
1.39/1.42	o 345
1.89/1.94	c   trying 326: vc 
1.89/1.94	o 326
2.09/2.18	c   trying 307: vc 
2.09/2.18	o 307
2.79/2.83	c   trying 289: vc 
2.79/2.83	o 289
3.59/3.64	c   trying 272: vc 
3.59/3.64	o 272
4.59/4.65	c   trying 255: vc 
4.59/4.65	o 255
5.39/5.48	c   trying 239: vc 
5.39/5.48	o 239
8.69/8.74	c   trying 223: xvc 
8.69/8.74	o 223
13.48/13.52	c   trying 208: xxvc 
13.48/13.52	o 208
28.68/28.78	c   trying 193: xxxxxxxxxxc 
28.68/28.78	c Phase 2 ...
31.48/31.59	c   trying 207: vc 
31.48/31.59	o 207
33.58/33.68	c   trying 206: vc 
33.58/33.68	o 202
36.97/37.02	c   trying 201: vc 
36.97/37.02	o 201
40.87/40.97	c   trying 200: vc 
40.87/40.97	o 200
44.47/44.56	c   trying 199: vc 
44.47/44.56	o 199
47.18/47.22	c   trying 198: vc 
47.18/47.22	o 198
50.67/50.72	c   trying 197: vc 
50.67/50.72	o 197
52.97/53.07	c   trying 196: vc 
52.97/53.07	o 196
54.87/54.94	c   trying 195: vc 
54.87/54.94	o 195
60.37/60.43	c   trying 194: vc 
60.37/60.43	o 194
61.87/61.93	c   trying 193: vc 
61.87/61.93	o 193
64.67/64.78	c   trying 192: vc 
64.67/64.78	o 192
67.46/67.50	c   trying 191: vc 
67.46/67.50	o 191
70.96/71.08	c   trying 190: vc 
70.96/71.08	o 190
74.06/74.17	c   trying 189: vc 
74.06/74.17	o 189
78.87/78.90	c   trying 188: vc 
78.87/78.90	o 188
81.47/81.58	c   trying 187: vc 
81.47/81.58	o 187
86.57/86.62	c   trying 186: vc 
86.57/86.62	o 186
90.57/90.66	c   trying 185: vc 
90.57/90.66	o 185
95.36/95.48	c   trying 184: vc 
95.36/95.48	o 184
101.86/101.90	c   trying 183: vc 
101.86/101.90	o 183
106.86/106.91	c   trying 182: vc 
106.86/106.91	o 182
112.86/112.91	c   trying 181: vc 
112.86/112.91	o 181
118.85/118.95	c   trying 180: vc 
118.85/118.95	o 180
125.15/125.28	c   trying 179: vc 
125.15/125.28	o 179
131.15/131.22	c   trying 178: vc 
131.15/131.22	o 178
135.85/135.93	c   trying 177: vc 
135.85/135.93	o 177
140.75/140.87	c   trying 176: vc 
140.75/140.87	o 176
146.84/146.90	c   trying 175: vc 
146.84/146.90	o 175
154.54/154.61	c   trying 174: vc 
154.54/154.61	o 174
161.44/161.58	c   trying 173: vc 
161.44/161.58	o 173
169.93/170.08	c   trying 172: vc 
169.93/170.08	o 172
179.03/179.19	c   trying 171: vc 
179.03/179.19	o 171
182.74/182.84	c   trying 170: vc 
182.74/182.84	o 170
191.43/191.58	c   trying 169: vc 
191.43/191.58	o 169
202.13/202.22	c   trying 168: vc 
202.13/202.22	o 168
211.03/211.20	c   trying 167: vc 
211.03/211.20	o 167
221.62/221.75	c   trying 166: vc 
221.62/221.75	o 166
228.73/228.89	c   trying 165: vc 
228.73/228.89	o 165
238.22/238.35	c   trying 164: vc 
238.22/238.35	o 164
245.02/245.16	c   trying 163: vc 
245.02/245.16	o 163
254.41/254.58	c   trying 162: vc 
254.41/254.58	o 162
264.51/264.63	c   trying 161: vc 
264.51/264.63	o 161
274.51/274.66	c   trying 160: vc 
274.51/274.66	o 160
283.50/283.64	c   trying 159: vc 
283.50/283.64	o 159
292.50/292.63	c   trying 158: vc 
292.50/292.63	o 158
306.29/306.41	c   trying 157: vc 
306.29/306.41	o 157
319.00/319.18	c   trying 156: vc 
319.00/319.18	o 156
330.90/331.09	c   trying 155: vc 
330.90/331.09	o 155
341.59/341.76	c   trying 154: vc 
341.59/341.76	o 154
347.59/347.74	c   trying 153: vc 
347.59/347.74	o 153
426.56/426.71	c   trying 152: xxxxxvc 
426.56/426.71	o 152
452.15/452.36	c   trying 151: xvc 
452.15/452.36	o 151
502.54/502.72	c   trying 150: xxxvc 
502.54/502.72	o 150
530.33/530.50	c   trying 149: xvc 
530.33/530.50	o 149
557.62/557.81	c   trying 148: xvc 
557.62/557.81	o 148
595.02/595.23	c   trying 147: xxvc 
595.02/595.23	o 147
622.61/622.82	c   trying 146: xvc 
622.61/622.82	o 146
744.47/744.79	c   trying 145: xxxxxxxxxxc 
744.47/744.79	c Phase 3 ...
768.67/768.97	c   trying 145 again: vc 
768.67/768.97	o 145
787.16/787.50	c   trying 144 again: vc 
787.26/787.50	o 144
813.25/813.50	c   trying 143 again: vc 
813.25/813.50	o 143
828.24/828.60	c   trying 142 again: vc 
828.24/828.60	o 142
838.34/838.62	c   trying 141 again: vc 
838.34/838.62	o 141
867.93/868.22	c   trying 140 again: vc 
867.93/868.22	o 140
897.02/897.33	c   trying 139 again: vc 
897.02/897.33	o 139
920.32/920.70	c   trying 138 again: vc 
920.32/920.70	o 138
937.41/937.76	c   trying 137 again: vc 
937.41/937.76	o 137
963.90/964.29	c   trying 136 again: vc 
963.90/964.29	o 136
993.40/993.71	c   trying 135 again: vc 
993.40/993.71	o 135
1016.39/1016.72	c   trying 134 again: vc 
1016.39/1016.73	o 134
1043.58/1043.97	c   trying 133 again: vc 
1043.58/1043.97	o 133
1071.27/1071.61	c   trying 132 again: vc 
1071.27/1071.62	o 132
1100.27/1100.62	c   trying 131 again: vc 
1100.27/1100.62	o 131
1118.36/1118.75	c   trying 130 again: vc 
1118.36/1118.75	o 130
1157.05/1157.46	c   trying 129 again: vc 
1157.05/1157.46	o 129
1200.13/1200.52	c   trying 128 again: vc 
1200.13/1200.52	o 128
1226.13/1226.56	c   trying 127 again: vc 
1226.13/1226.56	o 127
1256.82/1257.26	c   trying 126 again: vc 
1256.82/1257.26	o 126
1297.40/1297.87	c   trying 125 again: vc 
1297.40/1297.87	o 125
1367.69/1368.10	c   trying 124 again: vc 
1367.69/1368.10	o 124
1423.56/1424.09	c   trying 123 again: vc 
1423.56/1424.09	o 123
1465.25/1465.70	c   trying 122 again: vc 
1465.25/1465.70	o 122
1526.73/1527.26	c   trying 121 again: vc 
1526.73/1527.26	o 121
1586.51/1587.10	c   trying 120 again: vc 
1586.61/1587.10	o 120
1659.20/1659.73	c   trying 119 again: vc 
1659.20/1659.73	o 119
1726.07/1726.65	c   trying 118 again: vc 
1726.07/1726.65	o 118
1800.06/1800.61	c   trying 117 again: xc 
1800.06/1800.61	s SATISFIABLE
1800.06/1800.61	v x1 x2 x3 -x4 x5 -x6 -x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 -x30 -x31 x32 -x33
1800.06/1800.61	v -x34 x35 -x36 -x37 -x38 x39 x40 x41 x42 x43 x44 -x45 -x46 -x47 -x48 -x49 x50 x51 x52 -x53 x54 -x55 x56 -x57 -x58 -x59 x60 x61 x62
1800.06/1800.61	v x63 x64 -x65 -x66 -x67 x68 x69 -x70 x71 -x72 -x73 x74 -x75 x76 -x77 -x78 -x79 x80 x81 -x82 -x83 -x84 -x85 -x86 x87 x88 -x89 x90 -x91
1800.06/1800.61	v -x92 -x93 x94 -x95 -x96 -x97 -x98 -x99 x100 -x101 -x102 -x103 x104 x105 x106 -x107 -x108 -x109 x110 x111 x112 -x113 x114 x115
1800.06/1800.61	v -x116 x117 -x118 x119 -x120 -x121 -x122 x123 -x124 -x125 x126 x127 -x128 -x129 x130 -x131 -x132 x133 x134 -x135 -x136 x137
1800.06/1800.61	v x138 -x139 -x140 x141 -x142 x143 -x144 -x145 -x146 -x147 x148 -x149 -x150 x151 x152 x153 -x154 -x155 x156 -x157 -x158 x159
1800.06/1800.61	v -x160 -x161 x162 -x163 -x164 x165 x166 -x167 x168 -x169 -x170 x171 -x172 -x173 x174 -x175 -x176 -x177 x178 x179 x180 -x181
1800.06/1800.61	v x182 x183 -x184 -x185 x186 -x187 x188 x189 -x190 x191 x192 -x193 x194 x195 -x196 -x197 -x198 x199 -x200 -x201 x202 -x203 x204
1800.06/1800.61	v x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 x213 x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225
1800.06/1800.61	v -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246
1800.06/1800.61	v -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267
1800.06/1800.61	v -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288
1800.06/1800.61	v -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309
1800.06/1800.61	v -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330
1800.06/1800.61	v -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351
1800.06/1800.61	v -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372
1800.06/1800.61	v -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393
1800.06/1800.61	v -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414
1800.06/1800.61	v -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435
1800.06/1800.61	v -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456
1800.06/1800.61	v -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477
1800.06/1800.61	v -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498
1800.06/1800.61	v -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519
1800.06/1800.61	v -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540
1800.06/1800.61	v -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561
1800.06/1800.61	v -x562 -x563 -x564 -x565 -x566 -x567 -x568 x569 x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582
1800.06/1800.61	v -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603
1800.06/1800.61	v -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624
1800.06/1800.61	v -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645
1800.06/1800.61	v -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666
1800.06/1800.61	v -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687
1800.06/1800.61	v -x688 -x689 -x690 -x691 -x692 x693 x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708
1800.06/1800.61	v -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729
1800.06/1800.61	v -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750
1800.06/1800.61	v -x751 -x752 x753 x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771
1800.06/1800.61	v -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792
1800.06/1800.61	v -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813
1800.06/1800.61	v -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834
1800.06/1800.61	v -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855
1800.06/1800.61	v -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876
1800.06/1800.61	v -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897
1800.06/1800.61	v -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918
1800.06/1800.61	v -x919 -x920 -x921 x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939
1800.06/1800.61	v -x940 -x941 -x942 -x943 -x944 x945 x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960
1800.06/1800.61	v -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981
1800.06/1800.61	v -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001
1800.06/1800.61	v -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018
1800.06/1800.61	v -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035
1800.06/1800.61	v -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052
1800.06/1800.61	v -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069
1800.06/1800.61	v -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086
1800.06/1800.61	v -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 x1099 x1100 -x1101 -x1102 -x1103 -x1104
1800.06/1800.61	v x1105 x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122
1800.06/1800.61	v -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139
1800.06/1800.61	v -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156
1800.06/1800.61	v -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173
1800.06/1800.61	v -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190
1800.06/1800.61	v -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 x1205 x1206 -x1207 -x1208
1800.06/1800.61	v -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225
1800.06/1800.61	v -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242
1800.06/1800.61	v -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259
1800.06/1800.61	v -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 x1273 x1274 -x1275 -x1276 -x1277
1800.06/1800.61	v -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294
1800.06/1800.61	v -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311
1800.06/1800.61	v -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 x1319 x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329
1800.06/1800.61	v -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346
1800.06/1800.61	v -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363
1800.06/1800.61	v -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 x1375 x1376 -x1377 -x1378 -x1379 -x1380 -x1381
1800.06/1800.61	v -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398
1800.06/1800.61	v -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 x1409 x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416
1800.06/1800.61	v -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 x1433
1800.06/1800.61	v x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450
1800.06/1800.61	v -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 x1457 x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468
1800.06/1800.61	v -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485
1800.06/1800.61	v -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502
1800.06/1800.61	v -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519
1800.06/1800.61	v -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536
1800.06/1800.61	v -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553
1800.06/1800.61	v -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570
1800.06/1800.61	v -x1571 x1572 x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588
1800.06/1800.61	v -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605
1800.06/1800.61	v -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 x1618 x1619 -x1620 -x1621 -x1622 -x1623
1800.06/1800.61	v -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640
1800.06/1800.61	v -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657
1800.06/1800.61	v x1658 x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675
1800.06/1800.61	v -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692
1800.06/1800.61	v -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709
1800.06/1800.61	v -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726
1800.06/1800.61	v x1727 x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744
1800.06/1800.61	v -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 x1755 x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762
1800.06/1800.61	v -x1763 -x1764 x1765 x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780
1800.06/1800.61	v -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797
1800.06/1800.61	v -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814
1800.06/1800.61	v -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 x1821 x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832
1800.06/1800.61	v -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849
1800.06/1800.61	v -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866
1800.06/1800.61	v -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883
1800.06/1800.61	v -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900
1800.06/1800.61	v -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917
1800.06/1800.61	v -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934
1800.06/1800.61	v -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951
1800.06/1800.61	v -x1952 -x1953 -x1954 -x1955 x1956 x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969
1800.06/1800.61	v -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986
1800.06/1800.61	v -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003
1800.06/1800.61	v -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020
1800.06/1800.61	v -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037
1800.06/1800.61	v -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054
1800.06/1800.61	v -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071
1800.06/1800.61	v -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088
1800.06/1800.61	v -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105
1800.06/1800.61	v -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 x2114 x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123
1800.06/1800.61	v -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140
1800.06/1800.61	v -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157
1800.06/1800.61	v -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174
1800.06/1800.61	v -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191
1800.06/1800.61	v -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208
1800.06/1800.61	v -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225
1800.06/1800.61	v -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242
1800.06/1800.61	v -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259
1800.06/1800.61	v -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276
1800.06/1800.61	v -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293
1800.06/1800.61	v -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310
1800.06/1800.61	v -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327
1800.06/1800.61	v -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344
1800.06/1800.61	v -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 x2356 x2357 -x2358 -x2359 -x2360 -x2361 -x2362
1800.06/1800.61	v -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379
1800.06/1800.61	v -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396
1800.06/1800.61	v -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413
1800.06/1800.61	v -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430
1800.06/1800.61	v -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447
1800.06/1800.61	v -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464
1800.06/1800.61	v -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481
1800.06/1800.61	v x2482 x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499
1800.06/1800.61	v -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516
1800.06/1800.61	v -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 x2530 x2531 -x2532 -x2533 -x2534
1800.06/1800.61	v -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551
1800.06/1800.61	v -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 x2562 x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569
1800.06/1800.61	v -x2570 -x2571 x2572 x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587
1800.06/1800.61	v -x2588 -x2589 x2590 x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605
1800.06/1800.61	v -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622
1800.06/1800.61	v -x2623 -x2624 -x2625 -x2626 -x2627 x2628 x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640
1800.06/1800.61	v -x2641 -x2642 -x2643 x2644 x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658
1800.06/1800.61	v -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675
1800.06/1800.61	v -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692
1800.06/1800.61	v -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709
1800.06/1800.61	v -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726
1800.06/1800.61	v -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743
1800.06/1800.61	v -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760
1800.06/1800.61	v -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777
1800.06/1800.61	v -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794
1800.06/1800.61	v -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 x2810 x2811 -x2812
1800.06/1800.61	v -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 x2820 x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830
1800.06/1800.61	v -x2831 -x2832 -x2833 x2834 x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848
1800.06/1800.61	v -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865
1800.06/1800.61	v -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882
1800.06/1800.61	v -x2883 x2884 x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900
1800.06/1800.61	v -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 x2912 x2913 -x2914 -x2915 -x2916 -x2917 -x2918
1800.06/1800.61	v -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935
1800.06/1800.61	v -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952
1800.06/1800.61	v -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969
1800.06/1800.61	v x2970 x2971 -x2972 -x2973 x2974 x2975 -x2976 -x2977 x2978 x2979 -x2980 -x2981 -x2982 -x2983 x2984 -x2985 -x2986 -x2987
1800.06/1800.61	v -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004
1800.06/1800.61	v -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021
1800.06/1800.61	v -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038
1800.06/1800.61	v -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055
1800.06/1800.61	v -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072
1800.06/1800.61	v -x3073 -x3074 x3075 x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090
1800.06/1800.61	v -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107
1800.06/1800.61	v -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124
1800.06/1800.61	v -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141
1800.06/1800.61	v -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158
1800.06/1800.61	v -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175
1800.06/1800.61	v -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192
1800.06/1800.61	v -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209
1800.06/1800.61	v -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226
1800.06/1800.61	v -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243
1800.06/1800.61	v -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260
1800.06/1800.61	v -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277
1800.06/1800.61	v -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294
1800.06/1800.61	v x3295 x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312
1800.06/1800.61	v -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329
1800.06/1800.61	v -x3330 -x3331 -x3332 x3333 x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347
1800.06/1800.61	v -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364
1800.06/1800.61	v -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381
1800.06/1800.61	v -x3382 -x3383 -x3384 -x3385 -x3386 x3387 x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399
1800.06/1800.61	v -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416
1800.06/1800.61	v -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433
1800.06/1800.61	v -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450
1800.06/1800.61	v -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467
1800.06/1800.61	v -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484
1800.06/1800.61	v -x3485 -x3486 -x3487 -x3488 x3489 x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502
1800.06/1800.61	v -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519
1800.06/1800.61	v -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536
1800.06/1800.61	v -x3537 -x3538 -x3539 -x3540 x3541 x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554
1800.06/1800.61	v -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571
1800.06/1800.61	v -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588
1800.06/1800.61	v -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605
1800.06/1800.61	v -x3606 -x3607 -x3608 -x3609 -x3610 x3611 x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623
1800.06/1800.61	v -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640
1800.06/1800.61	v -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657
1800.06/1800.61	v -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674
1800.06/1800.61	v -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691
1800.06/1800.61	v -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 x3703 x3704 -x3705 -x3706 -x3707 -x3708 -x3709
1800.06/1800.61	v -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 x3719 x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727
1800.06/1800.61	v -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744
1800.06/1800.61	v -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761
1800.06/1800.61	v -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778
1800.06/1800.61	v -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795
1800.06/1800.61	v -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812
1800.06/1800.61	v -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829
1800.06/1800.61	v -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846
1800.06/1800.61	v -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863
1800.06/1800.61	v -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 x3879 x3880 -x3881
1800.06/1800.61	v -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 x3898
1800.06/1800.61	v x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915
1800.06/1800.61	v -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932
1800.06/1800.61	v -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 x3947 x3948 -x3949 -x3950
1800.06/1800.61	v -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967
1800.06/1800.61	v -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 x3974 x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985
1800.06/1800.61	v -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002
1800.06/1800.61	v -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 x4010 x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020
1800.06/1800.61	v -x4021 -x4022 -x4023 -x4024 -x4025 x4026 x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038
1800.06/1800.61	v -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055
1800.06/1800.61	v -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 x4064 x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073
1800.06/1800.61	v -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090
1800.06/1800.61	v -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107
1800.06/1800.61	v -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124
1800.06/1800.61	v -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141
1800.06/1800.61	v -x4142 -x4143 -x4144 -x4145 x4146 x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159
1800.06/1800.61	v -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176
1800.06/1800.61	v -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 x4185 -x4186 -x4187 -x4188 -x4189 -x4190 x4191 x4192 x4193 -x4194
1800.06/1800.61	v -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211
1800.06/1800.61	v -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228
1800.06/1800.61	v -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245
1800.06/1800.61	v -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262
1800.06/1800.61	v -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279
1800.06/1800.61	v -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296
1800.06/1800.61	v -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313
1800.06/1800.61	v -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 x4327 x4328 -x4329 -x4330 -x4331
1800.06/1800.61	v -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348
1800.06/1800.61	v -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365
1800.06/1800.61	v -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382
1800.06/1800.61	v -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399
1800.06/1800.61	v -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416
1800.06/1800.61	v -x4417 -x4418 x4419 x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434
1800.06/1800.61	v -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451
1800.06/1800.61	v -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 x4464 x4465 -x4466 -x4467 -x4468 -x4469
1800.06/1800.61	v -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486
1800.06/1800.61	v -x4487 -x4488 -x4489 -x4490 -x4491 x4492 x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504
1800.06/1800.61	v -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521
1800.06/1800.61	v -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538
1800.06/1800.61	v -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555
1800.06/1800.61	v -x4556 -x4557 -x4558 -x4559 x4560 x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573
1800.06/1800.61	v -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590
1800.06/1800.61	v -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607
1800.06/1800.61	v -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624
1800.06/1800.61	v -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641
1800.06/1800.61	v -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 x4648 x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659
1800.06/1800.61	v -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676
1800.06/1800.61	v -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 x4690 x4691 -x4692 -x4693 -x4694
1800.06/1800.61	v -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711
1800.06/1800.61	v -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728
1800.06/1800.61	v x4729 x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746
1800.06/1800.61	v -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763
1800.06/1800.61	v -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780
1800.06/1800.61	v -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797
1800.06/1800.61	v -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 x4813 -x4814
1800.06/1800.61	v -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831
1800.06/1800.61	v -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848
1800.06/1800.61	v -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865
1800.06/1800.61	v -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882
1800.06/1800.61	v -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899
1800.06/1800.61	v -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916
1800.06/1800.61	v -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933
1800.06/1800.61	v -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950
1800.06/1800.61	v -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967
1800.06/1800.61	v -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984
1800.06/1800.61	v -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001
1800.06/1800.61	v -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 x5018
1800.06/1800.61	v x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035
1800.06/1800.61	v -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052
1800.06/1800.61	v -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069
1800.06/1800.61	v -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086
1800.06/1800.61	v -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 x5099 x5100 -x5101 -x5102 -x5103 -x5104
1800.06/1800.61	v -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121
1800.06/1800.61	v -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138
1800.06/1800.61	v -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155
1800.06/1800.61	v -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172
1800.06/1800.61	v -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189
1800.06/1800.61	v -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 x5203 x5204 -x5205 -x5206 -x5207
1800.06/1800.61	v -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224
1800.06/1800.61	v -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241
1800.06/1800.61	v -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258
1800.06/1800.61	v -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275
1800.06/1800.61	v -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292
1800.06/1800.61	v -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309
1800.06/1800.61	v -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326
1800.06/1800.61	v -x5327 -x5328 -x5329 -x5330 x5331 x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 x5341 x5342 -x5343 -x5344
1800.06/1800.61	v -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361
1800.06/1800.61	v -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378
1800.06/1800.61	v -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395
1800.06/1800.61	v -x5396 -x5397 -x5398 -x5399 -x5400 x5401 x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413
1800.06/1800.61	v -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430
1800.06/1800.61	v -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447
1800.06/1800.61	v -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464
1800.06/1800.61	v -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481
1800.06/1800.61	v -x5482 -x5483 x5484 x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 x5496 x5497 -x5498 -x5499
1800.06/1800.61	v -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516
1800.06/1800.61	v -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533
1800.06/1800.61	v -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 x5549 x5550 -x5551
1800.06/1800.61	v -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568
1800.06/1800.61	v -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 x5575 x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586
1800.06/1800.61	v -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603
1800.06/1800.61	v -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620
1800.06/1800.61	v -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637
1800.06/1800.61	v -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 x5647 x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655
1800.06/1800.61	v -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672
1800.06/1800.61	v -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689
1800.06/1800.61	v -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706
1800.06/1800.61	v -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 x5721 x5722 -x5723 -x5724
1800.06/1800.61	v -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741
1800.06/1800.61	v -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758
1800.06/1800.61	v -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775
1800.06/1800.61	v -x5776 -x5777 -x5778 -x5779 -x5780 x5781 -x5782 -x5783 -x5784 -x5785 x5786 x5787 -x5788 -x5789 -x5790 -x5791 x5792 x5793
1800.06/1800.61	v -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810
1800.06/1800.61	v -x5811 x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827
1800.06/1800.61	v -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844
1800.06/1800.61	v -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861
1800.06/1800.61	v -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878
1800.06/1800.61	v -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 x5895
1800.06/1800.61	v x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 x5911 x5912 -x5913
1800.06/1800.61	v -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930
1800.06/1800.61	v -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947
1800.06/1800.61	v -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964
1800.06/1800.61	v -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 x5979 -x5980 -x5981
1800.06/1800.61	v -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998
1800.06/1800.61	v -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015
1800.06/1800.61	v -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032
1800.06/1800.61	v -x6033 -x6034 -x6035 -x6036 x6037 x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 x6046 -x6047 -x6048 -x6049 -x6050
1800.06/1800.61	v -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067
1800.06/1800.61	v -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084
1800.06/1800.61	v -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101
1800.06/1800.61	v -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118
1800.06/1800.61	v x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135
1800.06/1800.61	v -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152
1800.06/1800.61	v -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169
1800.06/1800.61	v -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186
1800.06/1800.61	v -x6187 x6188 x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204
1800.06/1800.61	v -x6205 -x6206 -x6207 -x6208 -x6209 x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221
1800.06/1800.61	v -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238
1800.06/1800.61	v x6239 x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256
1800.06/1800.61	v -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273
1800.06/1800.61	v -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290
1800.06/1800.61	v -x6291 -x6292 -x6293 -x6294 -x6295 x6296 x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 x6304 -x6305 -x6306 -x6307 -x6308
1800.06/1800.61	v -x6309 -x6310 -x6311 -x6312 x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325
1800.06/1800.61	v -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 x6334 x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343
1800.06/1800.61	v -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360
1800.06/1800.61	v -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377
1800.06/1800.61	v -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394
1800.06/1800.61	v x6395 x6396 x6397 x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412
1800.06/1800.61	v -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429
1800.06/1800.61	v -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446
1800.06/1800.61	v -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463
1800.06/1800.61	v -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 x6476 x6477 -x6478 -x6479 -x6480 -x6481
1800.06/1800.61	v -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 x6497 x6498 -x6499
1800.06/1800.61	v -x6500 x6501 x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517
1800.06/1800.61	v -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534
1800.06/1800.61	v -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 x6549 -x6550 -x6551
1800.06/1800.61	v x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568
1800.06/1800.61	v -x6569 -x6570 -x6571 -x6572 x6573 -x6574 -x6575 -x6576 -x6577 x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586
1800.06/1800.61	v -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603
1800.06/1800.61	v -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620
1800.06/1800.61	v x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637
1800.06/1800.61	v -x6638 -x6639 -x6640 -x6641 -x6642 x6643 x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 x6651 -x6652 -x6653 -x6654 -x6655
1800.06/1800.61	v -x6656 -x6657 x6658 -x6659 -x6660 -x6661 -x6662 x6663 -x6664 x6665 -x6666 -x6667 x6668 -x6669 -x6670 x6671 x6672
1800.06/1800.62	c Total Number of Positive Atoms : 307
1800.06/1800.62	c 
1800.06/1800.62	c During searching:         1726.51 seconds elapsed.
1800.06/1800.62	c CPU time spent:           1726.13 seconds.
1800.06/1800.62	c 
1800.06/1800.62	c =================================== END =====================================
1800.06/1800.62	c

Verifier Data (download as text)

OK	118

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node11/watcher-373323-1177182195 -o ROOT/results/node11/solver-373323-1177182195 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/373323-1177182195/wildcat-skc /tmp/evaluation/373323-1177182195/instance-373323-1177182195.opb 915786917 

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.99 3/77 31829
/proc/meminfo: memFree=1816448/2055920 swapFree=4150632/4192956
[pid=31829] ppid=31827 vsize=5972 CPUtime=0
/proc/31829/stat : 31829 (wildcat-skc) R 31827 31829 30700 0 -1 4194304 155 0 0 0 0 0 0 0 18 0 1 0 159268404 6115328 139 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 135002146 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31829/statm: 1493 139 105 226 0 1264 0

[startup+0.0407209 s]
/proc/loadavg: 0.92 0.97 0.99 3/77 31829
/proc/meminfo: memFree=1816448/2055920 swapFree=4150632/4192956
[pid=31829] ppid=31827 vsize=6236 CPUtime=0.03
/proc/31829/stat : 31829 (wildcat-skc) R 31827 31829 30700 0 -1 4194304 220 0 0 0 3 0 0 0 18 0 1 0 159268404 6385664 204 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 135002146 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31829/statm: 1559 204 105 226 0 1330 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 6236

[startup+0.101728 s]
/proc/loadavg: 0.92 0.97 0.99 3/77 31829
/proc/meminfo: memFree=1816448/2055920 swapFree=4150632/4192956
[pid=31829] ppid=31827 vsize=6768 CPUtime=0.09
/proc/31829/stat : 31829 (wildcat-skc) R 31827 31829 30700 0 -1 4194304 333 0 0 0 9 0 0 0 18 0 1 0 159268404 6930432 317 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 135002146 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31829/statm: 1692 318 107 226 0 1463 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6768

[startup+0.30175 s]
/proc/loadavg: 0.92 0.97 0.99 3/77 31829
/proc/meminfo: memFree=1816448/2055920 swapFree=4150632/4192956
[pid=31829] ppid=31827 vsize=10064 CPUtime=0.29
/proc/31829/stat : 31829 (wildcat-skc) R 31827 31829 30700 0 -1 4194304 1200 0 0 0 29 0 0 0 19 0 1 0 159268404 10305536 1183 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134603942 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31829/statm: 2516 1183 115 226 0 2287 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10064

[startup+0.701799 s]
/proc/loadavg: 0.92 0.97 0.99 3/77 31829
/proc/meminfo: memFree=1816448/2055920 swapFree=4150632/4192956
[pid=31829] ppid=31827 vsize=10064 CPUtime=0.69
/proc/31829/stat : 31829 (wildcat-skc) R 31827 31829 30700 0 -1 4194304 1200 0 0 0 69 0 0 0 22 0 1 0 159268404 10305536 1183 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565719 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31829/statm: 2516 1183 115 226 0 2287 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10064

[startup+1.50189 s]
/proc/loadavg: 0.92 0.97 0.99 2/78 31830
/proc/meminfo: memFree=1812088/2055920 swapFree=4150632/4192956
[pid=31829] ppid=31827 vsize=10064 CPUtime=1.49
/proc/31829/stat : 31829 (wildcat-skc) R 31827 31829 30700 0 -1 4194304 1200 0 0 0 149 0 0 0 25 0 1 0 159268404 10305536 1183 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565708 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31829/statm: 2516 1183 115 226 0 2287 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10064

[startup+3.10113 s]
/proc/loadavg: 0.92 0.97 0.99 2/78 31830
/proc/meminfo: memFree=1811960/2055920 swapFree=4150632/4192956
[pid=31829] ppid=31827 vsize=10064 CPUtime=3.09
/proc/31829/stat : 31829 (wildcat-skc) R 31827 31829 30700 0 -1 4194304 1200 0 0 0 309 0 0 0 25 0 1 0 159268404 10305536 1183 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565708 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31829/statm: 2516 1183 115 226 0 2287 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10064

[startup+6.30146 s]
/proc/loadavg: 0.93 0.97 0.99 2/78 31830
/proc/meminfo: memFree=1811896/2055920 swapFree=4150632/4192956
[pid=31829] ppid=31827 vsize=10064 CPUtime=6.29
/proc/31829/stat : 31829 (wildcat-skc) R 31827 31829 30700 0 -1 4194304 1200 0 0 0 629 0 0 0 25 0 1 0 159268404 10305536 1183 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565841 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31829/statm: 2516 1183 115 226 0 2287 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10064

[startup+12.7012 s]
/proc/loadavg: 0.93 0.97 0.99 2/78 31830
/proc/meminfo: memFree=1811896/2055920 swapFree=4150632/4192956
[pid=31829] ppid=31827 vsize=10064 CPUtime=12.69
/proc/31829/stat : 31829 (wildcat-skc) R 31827 31829 30700 0 -1 4194304 1200 0 0 0 1269 0 0 0 25 0 1 0 159268404 10305536 1183 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134598372 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31829/statm: 2516 1183 115 226 0 2287 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 10064

[startup+25.5017 s]
/proc/loadavg: 0.95 0.97 0.99 2/78 31830
/proc/meminfo: memFree=1811896/2055920 swapFree=4150632/4192956
[pid=31829] ppid=31827 vsize=10064 CPUtime=25.48
/proc/31829/stat : 31829 (wildcat-skc) R 31827 31829 30700 0 -1 4194304 1200 0 0 0 2548 0 0 0 25 0 1 0 159268404 10305536 1183 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134598372 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31829/statm: 2516 1183 115 226 0 2287 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 10064

[startup+51.1018 s]
/proc/loadavg: 0.96 0.97 0.99 2/78 31830
/proc/meminfo: memFree=1811896/2055920 swapFree=4150632/4192956
[pid=31829] ppid=31827 vsize=10064 CPUtime=51.07
/proc/31829/stat : 31829 (wildcat-skc) R 31827 31829 30700 0 -1 4194304 1200 0 0 0 5107 0 0 0 25 0 1 0 159268404 10305536 1183 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134598368 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31829/statm: 2516 1183 115 226 0 2287 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 10064

[startup+102.306 s]
/proc/loadavg: 0.98 0.97 0.99 2/78 31830
/proc/meminfo: memFree=1811896/2055920 swapFree=4150632/4192956
[pid=31829] ppid=31827 vsize=10064 CPUtime=102.26
/proc/31829/stat : 31829 (wildcat-skc) R 31827 31829 30700 0 -1 4194304 1200 0 0 0 10225 1 0 0 25 0 1 0 159268404 10305536 1183 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565731 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31829/statm: 2516 1183 115 226 0 2287 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 10064

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31830
/proc/meminfo: memFree=1811832/2055920 swapFree=4150632/4192956
[pid=31829] ppid=31827 vsize=10064 CPUtime=162.24
/proc/31829/stat : 31829 (wildcat-skc) R 31827 31829 30700 0 -1 4194304 1200 0 0 0 16223 1 0 0 25 0 1 0 159268404 10305536 1183 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565782 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31829/statm: 2516 1183 115 226 0 2287 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 10064

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31830
/proc/meminfo: memFree=1811832/2055920 swapFree=4150632/4192956
[pid=31829] ppid=31827 vsize=10064 CPUtime=222.22
/proc/31829/stat : 31829 (wildcat-skc) R 31827 31829 30700 0 -1 4194304 1200 0 0 0 22220 2 0 0 25 0 1 0 159268404 10305536 1183 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134599065 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31829/statm: 2516 1183 115 226 0 2287 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 10064

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31830
/proc/meminfo: memFree=1811896/2055920 swapFree=4150632/4192956
[pid=31829] ppid=31827 vsize=10064 CPUtime=282.2
/proc/31829/stat : 31829 (wildcat-skc) R 31827 31829 30700 0 -1 4194304 1200 0 0 0 28218 2 0 0 25 0 1 0 159268404 10305536 1183 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565708 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31829/statm: 2516 1183 115 226 0 2287 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 10064

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31830
/proc/meminfo: memFree=1811896/2055920 swapFree=4150632/4192956
[pid=31829] ppid=31827 vsize=10064 CPUtime=342.19
/proc/31829/stat : 31829 (wildcat-skc) R 31827 31829 30700 0 -1 4194304 1200 0 0 0 34216 3 0 0 25 0 1 0 159268404 10305536 1183 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134599046 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31829/statm: 2516 1183 115 226 0 2287 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 10064

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31830
/proc/meminfo: memFree=1811896/2055920 swapFree=4150632/4192956
[pid=31829] ppid=31827 vsize=10064 CPUtime=402.17
/proc/31829/stat : 31829 (wildcat-skc) R 31827 31829 30700 0 -1 4194304 1200 0 0 0 40214 3 0 0 25 0 1 0 159268404 10305536 1183 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565731 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31829/statm: 2516 1183 115 226 0 2287 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 10064

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31830
/proc/meminfo: memFree=1811960/2055920 swapFree=4150632/4192956
[pid=31829] ppid=31827 vsize=10064 CPUtime=462.16
/proc/31829/stat : 31829 (wildcat-skc) R 31827 31829 30700 0 -1 4194304 1200 0 0 0 46212 4 0 0 25 0 1 0 159268404 10305536 1183 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565708 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31829/statm: 2516 1183 115 226 0 2287 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 10064

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31830
/proc/meminfo: memFree=1812088/2055920 swapFree=4150632/4192956
[pid=31829] ppid=31827 vsize=10064 CPUtime=522.13
/proc/31829/stat : 31829 (wildcat-skc) R 31827 31829 30700 0 -1 4194304 1200 0 0 0 52209 4 0 0 25 0 1 0 159268404 10305536 1183 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565708 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31829/statm: 2516 1183 115 226 0 2287 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 10064

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31830
/proc/meminfo: memFree=1811960/2055920 swapFree=4150632/4192956
[pid=31829] ppid=31827 vsize=10064 CPUtime=582.12
/proc/31829/stat : 31829 (wildcat-skc) R 31827 31829 30700 0 -1 4194304 1200 0 0 0 58207 5 0 0 25 0 1 0 159268404 10305536 1183 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134598445 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31829/statm: 2516 1183 115 226 0 2287 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 10064

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31830
/proc/meminfo: memFree=1812024/2055920 swapFree=4150632/4192956
[pid=31829] ppid=31827 vsize=10064 CPUtime=642.1
/proc/31829/stat : 31829 (wildcat-skc) R 31827 31829 30700 0 -1 4194304 1200 0 0 0 64205 5 0 0 25 0 1 0 159268404 10305536 1183 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565788 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31829/statm: 2516 1183 115 226 0 2287 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 10064


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

[startup+822.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31830
/proc/meminfo: memFree=1811960/2055920 swapFree=4150632/4192956
[pid=31829] ppid=31827 vsize=10064 CPUtime=822.04
/proc/31829/stat : 31829 (wildcat-skc) R 31827 31829 30700 0 -1 4194304 1200 0 0 0 82198 6 0 0 25 0 1 0 159268404 10305536 1183 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565841 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31829/statm: 2516 1183 115 226 0 2287 0
Current children cumulated CPU time (s) 822.04
Current children cumulated vsize (KiB) 10064

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31830
/proc/meminfo: memFree=1811960/2055920 swapFree=4150632/4192956
[pid=31829] ppid=31827 vsize=10064 CPUtime=882.03
/proc/31829/stat : 31829 (wildcat-skc) R 31827 31829 30700 0 -1 4194304 1200 0 0 0 88196 7 0 0 25 0 1 0 159268404 10305536 1183 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134869282 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31829/statm: 2516 1183 115 226 0 2287 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 10064

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31830
/proc/meminfo: memFree=1811960/2055920 swapFree=4150632/4192956
[pid=31829] ppid=31827 vsize=10064 CPUtime=942
/proc/31829/stat : 31829 (wildcat-skc) R 31827 31829 30700 0 -1 4194304 1200 0 0 0 94193 7 0 0 25 0 1 0 159268404 10305536 1183 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565841 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31829/statm: 2516 1183 115 226 0 2287 0
Current children cumulated CPU time (s) 942
Current children cumulated vsize (KiB) 10064

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31830
/proc/meminfo: memFree=1812024/2055920 swapFree=4150632/4192956
[pid=31829] ppid=31827 vsize=10064 CPUtime=1001.99
/proc/31829/stat : 31829 (wildcat-skc) R 31827 31829 30700 0 -1 4194304 1200 0 0 0 100191 8 0 0 25 0 1 0 159268404 10305536 1183 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134599046 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31829/statm: 2516 1183 115 226 0 2287 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 10064

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31830
/proc/meminfo: memFree=1812024/2055920 swapFree=4150632/4192956
[pid=31829] ppid=31827 vsize=10064 CPUtime=1061.97
/proc/31829/stat : 31829 (wildcat-skc) R 31827 31829 30700 0 -1 4194304 1200 0 0 0 106189 8 0 0 25 0 1 0 159268404 10305536 1183 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565731 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31829/statm: 2516 1183 115 226 0 2287 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 10064

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31830
/proc/meminfo: memFree=1812024/2055920 swapFree=4150632/4192956
[pid=31829] ppid=31827 vsize=10064 CPUtime=1121.96
/proc/31829/stat : 31829 (wildcat-skc) R 31827 31829 30700 0 -1 4194304 1200 0 0 0 112187 9 0 0 25 0 1 0 159268404 10305536 1183 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134598449 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31829/statm: 2516 1183 115 226 0 2287 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 10064

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31830
/proc/meminfo: memFree=1812024/2055920 swapFree=4150632/4192956
[pid=31829] ppid=31827 vsize=10064 CPUtime=1181.93
/proc/31829/stat : 31829 (wildcat-skc) R 31827 31829 30700 0 -1 4194304 1200 0 0 0 118184 9 0 0 25 0 1 0 159268404 10305536 1183 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565708 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31829/statm: 2516 1183 115 226 0 2287 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 10064

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31830
/proc/meminfo: memFree=1812024/2055920 swapFree=4150632/4192956
[pid=31829] ppid=31827 vsize=10064 CPUtime=1241.92
/proc/31829/stat : 31829 (wildcat-skc) R 31827 31829 30700 0 -1 4194304 1200 0 0 0 124182 10 0 0 25 0 1 0 159268404 10305536 1183 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134599058 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31829/statm: 2516 1183 115 226 0 2287 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 10064

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31830
/proc/meminfo: memFree=1811960/2055920 swapFree=4150632/4192956
[pid=31829] ppid=31827 vsize=10064 CPUtime=1301.9
/proc/31829/stat : 31829 (wildcat-skc) R 31827 31829 30700 0 -1 4194304 1200 0 0 0 130180 10 0 0 25 0 1 0 159268404 10305536 1183 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565841 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31829/statm: 2516 1183 115 226 0 2287 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 10064

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31830
/proc/meminfo: memFree=1812024/2055920 swapFree=4150632/4192956
[pid=31829] ppid=31827 vsize=10064 CPUtime=1361.89
/proc/31829/stat : 31829 (wildcat-skc) R 31827 31829 30700 0 -1 4194304 1200 0 0 0 136178 11 0 0 25 0 1 0 159268404 10305536 1183 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565764 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31829/statm: 2516 1183 115 226 0 2287 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 10064

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31830
/proc/meminfo: memFree=1812024/2055920 swapFree=4150632/4192956
[pid=31829] ppid=31827 vsize=10064 CPUtime=1421.87
/proc/31829/stat : 31829 (wildcat-skc) R 31827 31829 30700 0 -1 4194304 1200 0 0 0 142176 11 0 0 25 0 1 0 159268404 10305536 1183 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565708 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31829/statm: 2516 1183 115 226 0 2287 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 10064

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31830
/proc/meminfo: memFree=1812024/2055920 swapFree=4150632/4192956
[pid=31829] ppid=31827 vsize=10064 CPUtime=1481.85
/proc/31829/stat : 31829 (wildcat-skc) R 31827 31829 30700 0 -1 4194304 1200 0 0 0 148173 12 0 0 25 0 1 0 159268404 10305536 1183 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565708 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31829/statm: 2516 1183 115 226 0 2287 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 10064

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31830
/proc/meminfo: memFree=1812024/2055920 swapFree=4150632/4192956
[pid=31829] ppid=31827 vsize=10064 CPUtime=1541.83
/proc/31829/stat : 31829 (wildcat-skc) R 31827 31829 30700 0 -1 4194304 1200 0 0 0 154171 12 0 0 25 0 1 0 159268404 10305536 1183 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134611617 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31829/statm: 2516 1183 115 226 0 2287 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 10064

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31830
/proc/meminfo: memFree=1812024/2055920 swapFree=4150632/4192956
[pid=31829] ppid=31827 vsize=10064 CPUtime=1601.81
/proc/31829/stat : 31829 (wildcat-skc) R 31827 31829 30700 0 -1 4194304 1200 0 0 0 160169 12 0 0 25 0 1 0 159268404 10305536 1183 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134599046 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31829/statm: 2516 1183 115 226 0 2287 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 10064

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31830
/proc/meminfo: memFree=1811960/2055920 swapFree=4150632/4192956
[pid=31829] ppid=31827 vsize=10064 CPUtime=1661.79
/proc/31829/stat : 31829 (wildcat-skc) R 31827 31829 30700 0 -1 4194304 1200 0 0 0 166166 13 0 0 25 0 1 0 159268404 10305536 1183 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134598454 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31829/statm: 2516 1183 115 226 0 2287 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 10064

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31830
/proc/meminfo: memFree=1812024/2055920 swapFree=4150632/4192956
[pid=31829] ppid=31827 vsize=10064 CPUtime=1721.77
/proc/31829/stat : 31829 (wildcat-skc) R 31827 31829 30700 0 -1 4194304 1200 0 0 0 172164 13 0 0 25 0 1 0 159268404 10305536 1183 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565731 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31829/statm: 2516 1183 115 226 0 2287 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 10064

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31830
/proc/meminfo: memFree=1812024/2055920 swapFree=4150632/4192956
[pid=31829] ppid=31827 vsize=10064 CPUtime=1781.76
/proc/31829/stat : 31829 (wildcat-skc) R 31827 31829 30700 0 -1 4194304 1200 0 0 0 178162 14 0 0 25 0 1 0 159268404 10305536 1183 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565841 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31829/statm: 2516 1183 115 226 0 2287 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 10064



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31830
/proc/meminfo: memFree=1811960/2055920 swapFree=4150632/4192956
[pid=31829] ppid=31827 vsize=10064 CPUtime=1800.06
/proc/31829/stat : 31829 (wildcat-skc) R 31827 31829 30700 0 -1 4194304 1200 0 0 0 179992 14 0 0 25 0 1 0 159268404 10305536 1183 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565708 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31829/statm: 2516 1183 115 226 0 2287 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 10064

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.08
CPU user time (s): 1799.94
CPU system time (s): 0.143978
CPU usage (%): 99.9698
Max. virtual memory (cumulated for all children) (KiB): 10064

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

runsolver used 2.18067 second user time and 4.14237 second system time

The end

Launcher Data (download as text)

Begin job on node11 on Sat Apr 21 19:03:15 UTC 2007

IDJOB= 373323
IDBENCH= 25035
IDSOLVER= 162
FILE ID= node11/373323-1177182195

PBS_JOBID= 4649000

Free space on /tmp= 66347 MiB

SOLVER NAME= wildcat-skc 2007-03-21
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_opers/normalized-fir03_area_opers.opb
COMMAND LINE= /tmp/evaluation/373323-1177182195/wildcat-skc /tmp/evaluation/373323-1177182195/instance-373323-1177182195.opb 915786917
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node11/watcher-373323-1177182195 -o ROOT/results/node11/solver-373323-1177182195 -C 1800 -W 3600 -M 1800 --output-limit 1,15  /tmp/evaluation/373323-1177182195/wildcat-skc /tmp/evaluation/373323-1177182195/instance-373323-1177182195.opb 915786917

META MD5SUM SOLVER= 05d21ee76b90579709a9929b8e99937a
MD5SUM BENCH=  b21d0afca1befeb5506928b558ab5220

RANDOM SEED= 915786917

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node11.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.235
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.235
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:       1816920 kB
Buffers:         35028 kB
Cached:         118132 kB
SwapCached:      10856 kB
Active:          87376 kB
Inactive:        89744 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1816920 kB
SwapTotal:     4192956 kB
SwapFree:      4150632 kB
Dirty:            2744 kB
Writeback:           0 kB
Mapped:          31068 kB
Slab:            47380 kB
Committed_AS:  6259228 kB
PageTables:       1848 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= 66347 MiB

End job on node11 on Sat Apr 21 19:33:17 UTC 2007