Trace number 354737

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-rnp 2007-03-21SAT (TO)159 1800.08 1800.63

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-C499.b.opb
MD5SUM0b80319f4195f1e1329c2c4b63b416b0
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark54
Best CPU time to get the best result obtained on this benchmark1800.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 45
Optimality of the best value was proved NO
Number of variables5203
Total number of constraints19637
Number of constraints which are clauses19637
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 constraint11
Maximum length of a constraint360
Number of terms in the objective function 5203
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 5203
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 5203
Number of bits of the biggest sum of numbers13
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-rnp (VERSION 0.8.0-lite-rnp-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:40 PM EDT
0.00/0.00	c 
0.00/0.00	c /tmp/evaluation/354737-1176723637/wildcat-rnp /tmp/evaluation/354737-1176723637/instance-354737-1176723637.opb 809017781 
0.00/0.00	c =================================== BEGIN ===================================
0.00/0.00	c 
0.00/0.00	c Random Number Seed: 809017781
0.00/0.00	c Noise: 0.7 (70 : 100) 
1.49/1.50	c Starting searching:
1.49/1.50	c Phase 1 ...
1.69/1.79	c   trying 5203: vc 
1.69/1.79	o 2627
1.99/2.09	c   trying 2575: vc 
1.99/2.09	o 2575
2.29/2.39	c   trying 2524: vc 
2.29/2.39	o 2524
2.69/2.71	c   trying 2473: vc 
2.69/2.71	o 2473
2.99/3.05	c   trying 2423: vc 
2.99/3.05	o 2423
3.30/3.37	c   trying 2373: vc 
3.30/3.37	o 2373
3.69/3.72	c   trying 2324: vc 
3.69/3.72	o 2324
3.99/4.09	c   trying 2275: vc 
3.99/4.09	o 2275
4.40/4.46	c   trying 2227: vc 
4.40/4.46	o 2227
4.79/4.84	c   trying 2179: vc 
4.79/4.84	o 2179
5.19/5.22	c   trying 2132: vc 
5.19/5.22	o 2132
5.59/5.64	c   trying 2085: vc 
5.59/5.64	o 2085
5.99/6.07	c   trying 2039: vc 
5.99/6.07	o 2039
6.39/6.50	c   trying 1993: vc 
6.39/6.50	o 1993
6.89/6.92	c   trying 1948: vc 
6.89/6.92	o 1948
7.29/7.34	c   trying 1903: vc 
7.29/7.34	o 1903
7.79/7.81	c   trying 1859: vc 
7.79/7.81	o 1859
8.19/8.26	c   trying 1815: vc 
8.19/8.26	o 1815
8.70/8.71	c   trying 1772: vc 
8.70/8.71	o 1772
9.09/9.19	c   trying 1729: vc 
9.09/9.19	o 1729
9.69/9.70	c   trying 1687: vc 
9.69/9.70	o 1687
10.19/10.22	c   trying 1645: vc 
10.19/10.22	o 1645
10.69/10.72	c   trying 1604: vc 
10.69/10.72	o 1604
11.19/11.28	c   trying 1563: vc 
11.19/11.28	o 1563
11.79/11.82	c   trying 1523: vc 
11.79/11.82	o 1523
12.29/12.34	c   trying 1483: vc 
12.29/12.34	o 1483
12.89/12.90	c   trying 1444: vc 
12.89/12.90	o 1444
13.39/13.46	c   trying 1406: vc 
13.39/13.46	o 1406
13.99/14.03	c   trying 1368: vc 
13.99/14.03	o 1368
14.49/14.58	c   trying 1331: vc 
14.49/14.58	o 1331
15.09/15.18	c   trying 1294: vc 
15.09/15.18	o 1294
15.69/15.79	c   trying 1258: vc 
15.69/15.79	o 1258
16.29/16.38	c   trying 1222: vc 
16.29/16.38	o 1222
16.99/17.01	c   trying 1187: vc 
16.99/17.02	o 1187
17.59/17.65	c   trying 1152: vc 
17.59/17.65	o 1152
18.19/18.26	c   trying 1118: vc 
18.19/18.26	o 1118
18.89/18.90	c   trying 1084: vc 
18.89/18.90	o 1084
19.49/19.56	c   trying 1051: vc 
19.49/19.56	o 1051
20.09/20.19	c   trying 1018: vc 
20.09/20.19	o 1018
20.79/20.86	c   trying 986: vc 
20.79/20.86	o 986
21.49/21.53	c   trying 954: vc 
21.49/21.53	o 954
22.09/22.19	c   trying 923: vc 
22.09/22.19	o 923
22.89/22.90	c   trying 892: vc 
22.89/22.90	o 892
23.59/23.61	c   trying 862: vc 
23.59/23.61	o 862
24.29/24.36	c   trying 832: vc 
24.29/24.36	o 832
25.09/25.12	c   trying 803: vc 
25.09/25.12	o 803
25.89/25.91	c   trying 774: vc 
25.89/25.91	o 774
26.69/26.70	c   trying 746: vc 
26.69/26.70	o 746
27.49/27.50	c   trying 718: vc 
27.49/27.50	o 718
28.28/28.34	c   trying 691: vc 
28.28/28.34	o 691
29.18/29.21	c   trying 664: vc 
29.18/29.21	o 664
30.08/30.14	c   trying 638: vc 
30.08/30.14	o 638
31.08/31.13	c   trying 612: vc 
31.08/31.13	o 612
32.08/32.13	c   trying 587: vc 
32.08/32.13	o 587
33.18/33.20	c   trying 562: vc 
33.18/33.20	o 562
34.28/34.31	c   trying 538: vc 
34.28/34.31	o 538
35.37/35.48	c   trying 514: vc 
35.37/35.48	o 514
36.67/36.73	c   trying 491: vc 
36.67/36.73	o 491
38.07/38.19	c   trying 468: vc 
38.07/38.19	o 468
39.67/39.75	c   trying 446: vc 
39.67/39.75	o 446
41.27/41.33	c   trying 424: vc 
41.27/41.33	o 424
43.07/43.10	c   trying 403: vc 
43.07/43.10	o 403
45.37/45.40	c   trying 382: vc 
45.37/45.40	o 382
47.47/47.59	c   trying 362: vc 
47.47/47.59	o 362
50.27/50.40	c   trying 342: vc 
50.27/50.40	o 342
53.37/53.44	c   trying 323: vc 
53.37/53.44	o 323
56.86/56.92	c   trying 305: vc 
56.86/56.92	o 305
60.86/60.97	c   trying 287: vc 
60.86/60.97	o 287
66.36/66.45	c   trying 270: vc 
66.36/66.45	o 270
73.06/73.12	c   trying 253: vc 
73.06/73.12	o 253
81.27/81.33	c   trying 237: vc 
81.27/81.33	o 237
93.26/93.33	c   trying 221: vc 
93.26/93.33	o 221
108.56/108.68	c   trying 206: vc 
108.56/108.68	o 206
172.94/173.06	c   trying 191: xxvc 
172.94/173.06	o 191
389.88/390.05	c   trying 177: xxxxxxxxxxc 
389.88/390.05	c Phase 2 ...
412.68/412.83	c   trying 190: vc 
412.68/412.83	o 190
433.47/433.69	c   trying 189: vc 
433.47/433.69	o 189
460.87/461.02	c   trying 188: vc 
460.87/461.02	o 188
487.56/487.72	c   trying 187: vc 
487.56/487.72	o 187
516.55/516.74	c   trying 186: vc 
516.55/516.74	o 186
545.04/545.29	c   trying 185: vc 
545.04/545.29	o 185
574.93/575.19	c   trying 184: vc 
574.93/575.19	o 184
602.54/602.77	c   trying 183: vc 
602.54/602.77	o 183
631.42/631.64	c   trying 182: vc 
631.42/631.65	o 182
662.41/662.69	c   trying 181: vc 
662.41/662.69	o 181
691.30/691.57	c   trying 180: vc 
691.30/691.57	o 180
727.50/727.77	c   trying 179: vc 
727.50/727.77	o 179
761.99/762.29	c   trying 178: vc 
761.99/762.29	o 178
797.08/797.30	c   trying 177: vc 
797.08/797.30	o 177
831.87/832.15	c   trying 176: vc 
831.87/832.15	o 176
869.06/869.34	c   trying 175: vc 
869.06/869.34	o 175
908.55/908.88	c   trying 174: vc 
908.55/908.88	o 174
950.14/950.42	c   trying 173: vc 
950.14/950.42	o 173
988.14/988.48	c   trying 172: vc 
988.14/988.48	o 172
1032.72/1033.00	c   trying 171: vc 
1032.72/1033.00	o 171
1077.11/1077.40	c   trying 170: vc 
1077.11/1077.40	o 170
1123.70/1124.06	c   trying 169: vc 
1123.70/1124.06	o 169
1179.48/1179.82	c   trying 168: vc 
1179.48/1179.82	o 168
1229.54/1229.99	c   trying 167: vc 
1229.54/1230.00	o 167
1291.37/1291.90	c   trying 166: vc 
1291.37/1291.90	o 166
1344.76/1345.23	c   trying 165: vc 
1344.76/1345.23	o 165
1402.35/1402.85	c   trying 164: vc 
1402.35/1402.85	o 164
1466.93/1467.43	c   trying 163: vc 
1466.93/1467.43	o 163
1531.12/1531.67	c   trying 162: vc 
1531.12/1531.67	o 162
1603.20/1603.79	c   trying 161: vc 
1603.20/1603.79	o 161
1670.88/1671.45	c   trying 160: vc 
1670.88/1671.45	o 160
1735.46/1736.00	c   trying 159: vc 
1735.46/1736.00	o 159
1800.06/1800.61	c   trying 158: xc 
1800.06/1800.61	c Phase 3 ...
1800.06/1800.61	c   trying 158 again: c 
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
1800.06/1800.61	v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54
1800.06/1800.61	v -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 x76 -x77 -x78 -x79 -x80
1800.06/1800.61	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104
1800.06/1800.61	v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125
1800.06/1800.61	v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 x144 -x145 -x146
1800.06/1800.61	v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 x166 -x167
1800.06/1800.61	v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188
1800.06/1800.61	v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209
1800.06/1800.61	v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230
1800.06/1800.61	v -x231 -x232 -x233 -x234 x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 x248 -x249 -x250 -x251
1800.06/1800.61	v -x252 x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272
1800.06/1800.61	v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293
1800.06/1800.61	v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314
1800.06/1800.61	v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335
1800.06/1800.61	v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 x356
1800.06/1800.61	v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 x372 -x373 -x374 -x375 -x376 -x377
1800.06/1800.61	v -x378 -x379 -x380 x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398
1800.06/1800.61	v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419
1800.06/1800.61	v x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 x436 -x437 -x438 -x439 -x440
1800.06/1800.61	v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461
1800.06/1800.61	v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 x482
1800.06/1800.61	v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503
1800.06/1800.61	v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524
1800.06/1800.61	v -x525 -x526 -x527 -x528 -x529 x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 x544 -x545
1800.06/1800.61	v -x546 -x547 -x548 -x549 -x550 -x551 -x552 x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566
1800.06/1800.61	v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587
1800.06/1800.61	v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608
1800.06/1800.61	v -x609 -x610 -x611 -x612 -x613 x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629
1800.06/1800.61	v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650
1800.06/1800.61	v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 x668 -x669 -x670 -x671
1800.06/1800.61	v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692
1800.06/1800.61	v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713
1800.06/1800.61	v -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734
1800.06/1800.61	v -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755
1800.06/1800.61	v -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776
1800.06/1800.61	v -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797
1800.06/1800.61	v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818
1800.06/1800.61	v -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839
1800.06/1800.61	v -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860
1800.06/1800.61	v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881
1800.06/1800.61	v -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902
1800.06/1800.61	v -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923
1800.06/1800.61	v -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944
1800.06/1800.61	v -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965
1800.06/1800.61	v -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986
1800.06/1800.61	v -x987 -x988 -x989 -x990 -x991 -x992 x993 -x994 -x995 -x996 -x997 x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006
1800.06/1800.61	v -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023
1800.06/1800.61	v -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040
1800.06/1800.61	v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057
1800.06/1800.61	v x1058 -x1059 x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 x1072 x1073 -x1074 -x1075
1800.06/1800.61	v -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092
1800.06/1800.61	v -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 x1109
1800.06/1800.61	v -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126
1800.06/1800.61	v -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143
1800.06/1800.61	v x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160
1800.06/1800.61	v -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177
1800.06/1800.61	v -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194
1800.06/1800.61	v -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 x1208 -x1209 -x1210 -x1211
1800.06/1800.61	v -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 x1225 -x1226 -x1227 -x1228
1800.06/1800.61	v -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245
1800.06/1800.61	v x1246 -x1247 x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 x1262 -x1263
1800.06/1800.61	v -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280
1800.06/1800.61	v -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297
1800.06/1800.61	v -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314
1800.06/1800.61	v -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331
1800.06/1800.61	v -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348
1800.06/1800.61	v -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365
1800.06/1800.61	v -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382
1800.06/1800.61	v -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399
1800.06/1800.61	v -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
1800.06/1800.61	v x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484
1800.06/1800.61	v -x1485 -x1486 -x1487 x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501
1800.06/1800.61	v -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518
1800.06/1800.61	v -x1519 -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
1800.06/1800.61	v -x1623 -x1624 x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639
1800.06/1800.61	v -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656
1800.06/1800.61	v -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673
1800.06/1800.61	v -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690
1800.06/1800.61	v -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707
1800.06/1800.61	v -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724
1800.06/1800.61	v -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741
1800.06/1800.61	v -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 x1754 -x1755 -x1756 -x1757 -x1758
1800.06/1800.61	v -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 x1766 -x1767 -x1768 -x1769 -x1770 x1771 -x1772 -x1773 -x1774 -x1775 -x1776
1800.06/1800.61	v -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793
1800.06/1800.61	v -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810
1800.06/1800.61	v -x1811 x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828
1800.06/1800.61	v -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845
1800.06/1800.61	v -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862
1800.06/1800.61	v -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879
1800.06/1800.61	v -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896
1800.06/1800.61	v -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913
1800.06/1800.61	v -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930
1800.06/1800.61	v -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947
1800.06/1800.61	v -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964
1800.06/1800.61	v x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981
1800.06/1800.61	v -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 x1997 -x1998
1800.06/1800.61	v -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015
1800.06/1800.61	v -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032
1800.06/1800.61	v -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049
1800.06/1800.61	v -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 x2064 -x2065 x2066 -x2067
1800.06/1800.61	v -x2068 -x2069 -x2070 x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084
1800.06/1800.61	v -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101
1800.06/1800.61	v -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 x2115 -x2116 -x2117 -x2118
1800.06/1800.61	v -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135
1800.06/1800.61	v -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152
1800.06/1800.61	v -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 x2167 -x2168 -x2169
1800.06/1800.61	v -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 x2183 -x2184 -x2185 x2186 -x2187
1800.06/1800.61	v -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204
1800.06/1800.61	v -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 x2216 -x2217 -x2218 -x2219 -x2220 -x2221
1800.06/1800.61	v -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238
1800.06/1800.61	v -x2239 -x2240 -x2241 -x2242 x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255
1800.06/1800.61	v -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272
1800.06/1800.61	v -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289
1800.06/1800.61	v -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 x2304 -x2305 -x2306
1800.06/1800.61	v -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323
1800.06/1800.61	v -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340
1800.06/1800.61	v -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357
1800.06/1800.61	v -x2358 -x2359 -x2360 -x2361 -x2362 x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374
1800.06/1800.61	v -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 x2390 -x2391
1800.06/1800.61	v -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408
1800.06/1800.61	v -x2409 x2410 x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426
1800.06/1800.61	v -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443
1800.06/1800.61	v -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460
1800.06/1800.61	v -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 x2476 -x2477
1800.06/1800.61	v -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494
1800.06/1800.61	v -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511
1800.06/1800.61	v -x2512 -x2513 -x2514 x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528
1800.06/1800.61	v -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545
1800.06/1800.61	v -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562
1800.06/1800.61	v -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579
1800.06/1800.61	v -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596
1800.06/1800.61	v -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613
1800.06/1800.61	v -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630
1800.06/1800.61	v -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647
1800.06/1800.61	v -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664
1800.06/1800.61	v -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681
1800.06/1800.61	v -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698
1800.06/1800.61	v -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715
1800.06/1800.61	v x2716 -x2717 -x2718 -x2719 -x2720 -x2721 x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733
1800.06/1800.61	v -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750
1800.06/1800.61	v -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767
1800.06/1800.61	v -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784
1800.06/1800.61	v -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801
1800.06/1800.61	v -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818
1800.06/1800.61	v -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835
1800.06/1800.61	v -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 x2848 -x2849 -x2850 -x2851 -x2852
1800.06/1800.61	v -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869
1800.06/1800.61	v -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 x2882 -x2883 -x2884 -x2885 -x2886
1800.06/1800.61	v -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903
1800.06/1800.61	v -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 x2918 -x2919 -x2920
1800.06/1800.61	v -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937
1800.06/1800.61	v -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 x2949 -x2950 -x2951 -x2952 -x2953 -x2954
1800.06/1800.61	v -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971
1800.06/1800.61	v -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988
1800.06/1800.61	v -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005
1800.06/1800.61	v -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 x3021 -x3022
1800.06/1800.61	v -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039
1800.06/1800.61	v -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056
1800.06/1800.61	v -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 x3070 -x3071 -x3072 -x3073
1800.06/1800.61	v -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 -x3108
1800.06/1800.61	v -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125
1800.06/1800.61	v -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142
1800.06/1800.61	v -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159
1800.06/1800.61	v -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176
1800.06/1800.61	v -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 x3187 -x3188 x3189 -x3190 -x3191 -x3192 -x3193 -x3194
1800.06/1800.61	v -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211
1800.06/1800.61	v -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 x3224 -x3225 -x3226 -x3227 -x3228
1800.06/1800.61	v -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245
1800.06/1800.61	v -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262
1800.06/1800.61	v x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 x3276 -x3277 -x3278 -x3279 -x3280
1800.06/1800.61	v -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 x3295 -x3296 -x3297
1800.06/1800.61	v -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314
1800.06/1800.61	v -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331
1800.06/1800.61	v -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 x3348
1800.06/1800.61	v -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365
1800.06/1800.61	v -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382
1800.06/1800.61	v -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
1800.06/1800.61	v -x3502 -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
1800.06/1800.61	v -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639
1800.06/1800.61	v -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656
1800.06/1800.61	v -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673
1800.06/1800.61	v -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690
1800.06/1800.61	v -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707
1800.06/1800.61	v -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724
1800.06/1800.61	v -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741
1800.06/1800.61	v -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 x3748 -x3749 -x3750 x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759
1800.06/1800.61	v -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776
1800.06/1800.61	v x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793
1800.06/1800.61	v -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810
1800.06/1800.61	v -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827
1800.06/1800.61	v -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844
1800.06/1800.61	v -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861
1800.06/1800.61	v -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 x3877 -x3878
1800.06/1800.61	v -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895
1800.06/1800.61	v -x3896 x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 x3909 -x3910 -x3911 -x3912 -x3913
1800.06/1800.61	v -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930
1800.06/1800.61	v -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947
1800.06/1800.61	v -x3948 -x3949 -x3950 -x3951 -x3952 x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964
1800.06/1800.61	v -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 x3977 -x3978 -x3979 -x3980 -x3981
1800.06/1800.61	v -x3982 -x3983 x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 x3991 -x3992 x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999
1800.06/1800.61	v -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016
1800.06/1800.61	v -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033
1800.06/1800.61	v -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 x4046 -x4047 -x4048 -x4049 -x4050
1800.06/1800.61	v -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067
1800.06/1800.61	v -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084
1800.06/1800.61	v -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 x4095 -x4096 -x4097 -x4098 x4099 -x4100 -x4101 -x4102
1800.06/1800.61	v -x4103 -x4104 -x4105 -x4106 -x4107 x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119
1800.06/1800.61	v -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136
1800.06/1800.61	v -x4137 -x4138 -x4139 x4140 -x4141 -x4142 -x4143 -x4144 -x4145 x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154
1800.06/1800.61	v -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171
1800.06/1800.61	v -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188
1800.06/1800.61	v -x4189 -x4190 -x4191 -x4192 -x4193 x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205
1800.06/1800.61	v -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222
1800.06/1800.61	v -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239
1800.06/1800.61	v -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256
1800.06/1800.61	v -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273
1800.06/1800.61	v -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290
1800.06/1800.61	v -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307
1800.06/1800.61	v -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324
1800.06/1800.61	v -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341
1800.06/1800.61	v -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 x4358
1800.06/1800.61	v -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 x4375
1800.06/1800.61	v -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392
1800.06/1800.61	v -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409
1800.06/1800.61	v -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 x4425 -x4426 -x4427
1800.06/1800.61	v -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444
1800.06/1800.61	v -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 x4453 x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462
1800.06/1800.61	v -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479
1800.06/1800.61	v -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496
1800.06/1800.61	v -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 x4510 -x4511 -x4512 -x4513 -x4514
1800.06/1800.61	v -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 x4527 x4528 -x4529 -x4530 -x4531 -x4532
1800.06/1800.61	v -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549
1800.06/1800.61	v -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566
1800.06/1800.61	v -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583
1800.06/1800.61	v -x4584 -x4585 -x4586 x4587 -x4588 -x4589 -x4590 -x4591 -x4592 x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601
1800.06/1800.61	v -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618
1800.06/1800.61	v -x4619 -x4620 -x4621 -x4622 -x4623 x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635
1800.06/1800.61	v -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652
1800.06/1800.61	v -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669
1800.06/1800.61	v -x4670 -x4671 x4672 -x4673 x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687
1800.06/1800.61	v -x4688 -x4689 -x4690 -x4691 -x4692 x4693 -x4694 -x4695 -x4696 x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705
1800.06/1800.61	v -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722
1800.06/1800.61	v -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739
1800.06/1800.61	v x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756
1800.06/1800.61	v -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773
1800.06/1800.61	v -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 x4790
1800.06/1800.61	v -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807
1800.06/1800.61	v -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824
1800.06/1800.61	v -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841
1800.06/1800.61	v -x4842 -x4843 -x4844 x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 x4854 -x4855 -x4856 -x4857 -x4858 -x4859
1800.06/1800.61	v -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876
1800.06/1800.61	v -x4877 -x4878 -x4879 -x4880 x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893
1800.06/1800.61	v -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910
1800.06/1800.61	v -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927
1800.06/1800.61	v -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944
1800.06/1800.61	v -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961
1800.06/1800.61	v -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978
1800.06/1800.61	v -x4979 -x4980 x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995
1800.06/1800.61	v -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012
1800.06/1800.61	v -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 x5025 -x5026 -x5027 -x5028 -x5029
1800.06/1800.61	v -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046
1800.06/1800.61	v -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063
1800.06/1800.61	v -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080
1800.06/1800.61	v -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097
1800.06/1800.61	v -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114
1800.06/1800.61	v -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 x5131
1800.06/1800.61	v -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148
1800.06/1800.61	v -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165
1800.06/1800.61	v -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182
1800.06/1800.61	v -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199
1800.06/1800.61	v -x5200 -x5201 -x5202 -x5203
1800.06/1800.61	c Total Number of Positive Atoms : 159
1800.06/1800.61	c 
1800.06/1800.61	c During searching:         1734.51 seconds elapsed.
1800.06/1800.61	c CPU time spent:           1734.09 seconds.
1800.06/1800.61	c 
1800.06/1800.61	c =================================== END =====================================
1800.06/1800.61	c

Verifier Data (download as text)

OK	159

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node44/watcher-354737-1176723637 -o ROOT/results/node44/solver-354737-1176723637 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/354737-1176723637/wildcat-rnp /tmp/evaluation/354737-1176723637/instance-354737-1176723637.opb 809017781 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 11142
/proc/meminfo: memFree=1702848/2055920 swapFree=4184652/4192956
[pid=11142] ppid=11140 vsize=5972 CPUtime=0
/proc/11142/stat : 11142 (wildcat-rnp) R 11140 11142 10619 0 -1 4194304 155 0 0 0 0 0 0 0 18 0 1 0 120275389 6115328 139 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 135002146 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11142/statm: 1493 139 105 226 0 1264 0

[startup+0.0422501 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 11142
/proc/meminfo: memFree=1702848/2055920 swapFree=4184652/4192956
[pid=11142] ppid=11140 vsize=6236 CPUtime=0.03
/proc/11142/stat : 11142 (wildcat-rnp) R 11140 11142 10619 0 -1 4194304 198 0 0 0 3 0 0 0 18 0 1 0 120275389 6385664 182 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 135002146 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11142/statm: 1559 182 105 226 0 1330 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 6236

[startup+0.101256 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 11142
/proc/meminfo: memFree=1702848/2055920 swapFree=4184652/4192956
[pid=11142] ppid=11140 vsize=6508 CPUtime=0.09
/proc/11142/stat : 11142 (wildcat-rnp) R 11140 11142 10619 0 -1 4194304 267 0 0 0 9 0 0 0 18 0 1 0 120275389 6664192 251 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 135002146 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11142/statm: 1627 251 105 226 0 1398 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6508

[startup+0.301276 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 11142
/proc/meminfo: memFree=1702848/2055920 swapFree=4184652/4192956
[pid=11142] ppid=11140 vsize=8232 CPUtime=0.29
/proc/11142/stat : 11142 (wildcat-rnp) R 11140 11142 10619 0 -1 4194304 689 0 0 0 29 0 0 0 19 0 1 0 120275389 8429568 673 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 135002146 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11142/statm: 2058 673 107 226 0 1829 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8232

[startup+0.701317 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 11142
/proc/meminfo: memFree=1702848/2055920 swapFree=4184652/4192956
[pid=11142] ppid=11140 vsize=15096 CPUtime=0.69
/proc/11142/stat : 11142 (wildcat-rnp) R 11140 11142 10619 0 -1 4194304 2432 0 0 0 68 1 0 0 23 0 1 0 120275389 15458304 2416 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 135002146 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11142/statm: 3774 2416 107 226 0 3545 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15096

[startup+1.5014 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11143
/proc/meminfo: memFree=1688632/2055920 swapFree=4184652/4192956
[pid=11142] ppid=11140 vsize=28428 CPUtime=1.49
/proc/11142/stat : 11142 (wildcat-rnp) R 11140 11142 10619 0 -1 4194304 5755 0 0 0 146 3 0 0 25 0 1 0 120275389 29110272 5739 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 135054637 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11142/statm: 7107 5739 107 226 0 6878 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 28428

[startup+3.10156 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11143
/proc/meminfo: memFree=1679992/2055920 swapFree=4184652/4192956
[pid=11142] ppid=11140 vsize=28424 CPUtime=3.09
/proc/11142/stat : 11142 (wildcat-rnp) R 11140 11142 10619 0 -1 4194304 5765 0 0 0 306 3 0 0 25 0 1 0 120275389 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603939 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11142/statm: 7106 5748 115 226 0 6877 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 28424

[startup+6.30189 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11143
/proc/meminfo: memFree=1679992/2055920 swapFree=4184652/4192956
[pid=11142] ppid=11140 vsize=28424 CPUtime=6.29
/proc/11142/stat : 11142 (wildcat-rnp) R 11140 11142 10619 0 -1 4194304 5765 0 0 0 626 3 0 0 25 0 1 0 120275389 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134549910 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11142/statm: 7106 5748 115 226 0 6877 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 28424

[startup+12.7025 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11143
/proc/meminfo: memFree=1680192/2055920 swapFree=4184652/4192956
[pid=11142] ppid=11140 vsize=28424 CPUtime=12.69
/proc/11142/stat : 11142 (wildcat-rnp) R 11140 11142 10619 0 -1 4194304 5765 0 0 0 1266 3 0 0 25 0 1 0 120275389 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134598435 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11142/statm: 7106 5748 115 226 0 6877 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 28424

[startup+25.5019 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11143
/proc/meminfo: memFree=1680192/2055920 swapFree=4184652/4192956
[pid=11142] ppid=11140 vsize=28424 CPUtime=25.49
/proc/11142/stat : 11142 (wildcat-rnp) R 11140 11142 10619 0 -1 4194304 5765 0 0 0 2546 3 0 0 25 0 1 0 120275389 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134549783 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11142/statm: 7106 5748 115 226 0 6877 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 28424

[startup+51.1015 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11143
/proc/meminfo: memFree=1680320/2055920 swapFree=4184652/4192956
[pid=11142] ppid=11140 vsize=28424 CPUtime=51.07
/proc/11142/stat : 11142 (wildcat-rnp) R 11140 11142 10619 0 -1 4194304 5765 0 0 0 5104 3 0 0 25 0 1 0 120275389 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134549910 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11142/statm: 7106 5748 115 226 0 6877 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 28424

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11143
/proc/meminfo: memFree=1680320/2055920 swapFree=4184652/4192956
[pid=11142] ppid=11140 vsize=28424 CPUtime=102.26
/proc/11142/stat : 11142 (wildcat-rnp) R 11140 11142 10619 0 -1 4194304 5765 0 0 0 10222 4 0 0 25 0 1 0 120275389 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603939 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11142/statm: 7106 5748 115 226 0 6877 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 28424

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11143
/proc/meminfo: memFree=1680192/2055920 swapFree=4184652/4192956
[pid=11142] ppid=11140 vsize=28424 CPUtime=162.24
/proc/11142/stat : 11142 (wildcat-rnp) R 11140 11142 10619 0 -1 4194304 5765 0 0 0 16220 4 0 0 25 0 1 0 120275389 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605394 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11142/statm: 7106 5748 115 226 0 6877 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 28424

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11143
/proc/meminfo: memFree=1680192/2055920 swapFree=4184652/4192956
[pid=11142] ppid=11140 vsize=28424 CPUtime=222.23
/proc/11142/stat : 11142 (wildcat-rnp) R 11140 11142 10619 0 -1 4194304 5765 0 0 0 22218 5 0 0 25 0 1 0 120275389 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605415 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11142/statm: 7106 5748 115 226 0 6877 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 28424

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11143
/proc/meminfo: memFree=1680128/2055920 swapFree=4184652/4192956
[pid=11142] ppid=11140 vsize=28424 CPUtime=282.21
/proc/11142/stat : 11142 (wildcat-rnp) R 11140 11142 10619 0 -1 4194304 5765 0 0 0 28216 5 0 0 25 0 1 0 120275389 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134566243 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11142/statm: 7106 5748 115 226 0 6877 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 28424

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11143
/proc/meminfo: memFree=1680064/2055920 swapFree=4184652/4192956
[pid=11142] ppid=11140 vsize=28424 CPUtime=342.2
/proc/11142/stat : 11142 (wildcat-rnp) R 11140 11142 10619 0 -1 4194304 5765 0 0 0 34214 6 0 0 25 0 1 0 120275389 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603939 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11142/statm: 7106 5748 115 226 0 6877 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 28424

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11143
/proc/meminfo: memFree=1680256/2055920 swapFree=4184652/4192956
[pid=11142] ppid=11140 vsize=28424 CPUtime=402.18
/proc/11142/stat : 11142 (wildcat-rnp) R 11140 11142 10619 0 -1 4194304 5765 0 0 0 40212 6 0 0 25 0 1 0 120275389 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134566243 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11142/statm: 7106 5748 115 226 0 6877 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 28424

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11143
/proc/meminfo: memFree=1680384/2055920 swapFree=4184652/4192956
[pid=11142] ppid=11140 vsize=28424 CPUtime=462.17
/proc/11142/stat : 11142 (wildcat-rnp) R 11140 11142 10619 0 -1 4194304 5765 0 0 0 46210 7 0 0 25 0 1 0 120275389 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605409 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11142/statm: 7106 5748 115 226 0 6877 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 28424

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11143
/proc/meminfo: memFree=1680320/2055920 swapFree=4184652/4192956
[pid=11142] ppid=11140 vsize=28424 CPUtime=522.15
/proc/11142/stat : 11142 (wildcat-rnp) R 11140 11142 10619 0 -1 4194304 5765 0 0 0 52208 7 0 0 25 0 1 0 120275389 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134516984 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11142/statm: 7106 5748 115 226 0 6877 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 28424

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11143
/proc/meminfo: memFree=1680256/2055920 swapFree=4184652/4192956
[pid=11142] ppid=11140 vsize=28424 CPUtime=582.14
/proc/11142/stat : 11142 (wildcat-rnp) R 11140 11142 10619 0 -1 4194304 5765 0 0 0 58206 8 0 0 25 0 1 0 120275389 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603939 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11142/statm: 7106 5748 115 226 0 6877 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 28424

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11143
/proc/meminfo: memFree=1680192/2055920 swapFree=4184652/4192956
[pid=11142] ppid=11140 vsize=28424 CPUtime=642.12
/proc/11142/stat : 11142 (wildcat-rnp) R 11140 11142 10619 0 -1 4194304 5765 0 0 0 64204 8 0 0 25 0 1 0 120275389 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134566252 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11142/statm: 7106 5748 115 226 0 6877 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 28424


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

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11143
/proc/meminfo: memFree=1680256/2055920 swapFree=4184652/4192956
[pid=11142] ppid=11140 vsize=28424 CPUtime=822.07
/proc/11142/stat : 11142 (wildcat-rnp) R 11140 11142 10619 0 -1 4194304 5765 0 0 0 82198 9 0 0 25 0 1 0 120275389 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134549783 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11142/statm: 7106 5748 115 226 0 6877 0
Current children cumulated CPU time (s) 822.07
Current children cumulated vsize (KiB) 28424

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11143
/proc/meminfo: memFree=1680192/2055920 swapFree=4184652/4192956
[pid=11142] ppid=11140 vsize=28424 CPUtime=882.06
/proc/11142/stat : 11142 (wildcat-rnp) R 11140 11142 10619 0 -1 4194304 5765 0 0 0 88196 10 0 0 25 0 1 0 120275389 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134877538 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11142/statm: 7106 5748 115 226 0 6877 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 28424

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11143
/proc/meminfo: memFree=1680128/2055920 swapFree=4184652/4192956
[pid=11142] ppid=11140 vsize=28424 CPUtime=942.04
/proc/11142/stat : 11142 (wildcat-rnp) R 11140 11142 10619 0 -1 4194304 5765 0 0 0 94194 10 0 0 25 0 1 0 120275389 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134549783 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11142/statm: 7106 5748 115 226 0 6877 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 28424

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11143
/proc/meminfo: memFree=1680064/2055920 swapFree=4184652/4192956
[pid=11142] ppid=11140 vsize=28424 CPUtime=1002.03
/proc/11142/stat : 11142 (wildcat-rnp) R 11140 11142 10619 0 -1 4194304 5765 0 0 0 100192 11 0 0 25 0 1 0 120275389 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603939 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11142/statm: 7106 5748 115 226 0 6877 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 28424

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11143
/proc/meminfo: memFree=1680000/2055920 swapFree=4184652/4192956
[pid=11142] ppid=11140 vsize=28424 CPUtime=1062.01
/proc/11142/stat : 11142 (wildcat-rnp) R 11140 11142 10619 0 -1 4194304 5765 0 0 0 106190 11 0 0 25 0 1 0 120275389 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603939 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11142/statm: 7106 5748 115 226 0 6877 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 28424

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11143
/proc/meminfo: memFree=1680000/2055920 swapFree=4184652/4192956
[pid=11142] ppid=11140 vsize=28424 CPUtime=1122
/proc/11142/stat : 11142 (wildcat-rnp) R 11140 11142 10619 0 -1 4194304 5765 0 0 0 112188 12 0 0 25 0 1 0 120275389 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605422 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11142/statm: 7106 5748 115 226 0 6877 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 28424

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11143
/proc/meminfo: memFree=1679936/2055920 swapFree=4184652/4192956
[pid=11142] ppid=11140 vsize=28424 CPUtime=1181.98
/proc/11142/stat : 11142 (wildcat-rnp) R 11140 11142 10619 0 -1 4194304 5765 0 0 0 118186 12 0 0 25 0 1 0 120275389 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134606306 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11142/statm: 7106 5748 115 226 0 6877 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 28424

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/84 11251
/proc/meminfo: memFree=1678472/2055920 swapFree=4184652/4192956
[pid=11142] ppid=11140 vsize=28424 CPUtime=1241.92
/proc/11142/stat : 11142 (wildcat-rnp) R 11140 11142 10619 0 -1 4194304 5765 0 0 0 124179 13 0 0 25 0 1 0 120275389 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134549910 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11142/statm: 7106 5748 115 226 0 6877 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 28424

[startup+1302.3 s]
/proc/loadavg: 1.05 1.01 1.00 2/78 11341
/proc/meminfo: memFree=1679552/2055920 swapFree=4184652/4192956
[pid=11142] ppid=11140 vsize=28424 CPUtime=1301.88
/proc/11142/stat : 11142 (wildcat-rnp) R 11140 11142 10619 0 -1 4194304 5765 0 0 0 130174 14 0 0 25 0 1 0 120275389 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605409 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11142/statm: 7106 5748 115 226 0 6877 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 28424

[startup+1362.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/78 11341
/proc/meminfo: memFree=1679552/2055920 swapFree=4184652/4192956
[pid=11142] ppid=11140 vsize=28424 CPUtime=1361.85
/proc/11142/stat : 11142 (wildcat-rnp) R 11140 11142 10619 0 -1 4194304 5765 0 0 0 136171 14 0 0 25 0 1 0 120275389 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605400 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11142/statm: 7106 5748 115 226 0 6877 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 28424

[startup+1422.31 s]
/proc/loadavg: 1.05 1.02 1.00 2/78 11341
/proc/meminfo: memFree=1679552/2055920 swapFree=4184652/4192956
[pid=11142] ppid=11140 vsize=28424 CPUtime=1421.85
/proc/11142/stat : 11142 (wildcat-rnp) R 11140 11142 10619 0 -1 4194304 5765 0 0 0 142170 15 0 0 25 0 1 0 120275389 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605421 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11142/statm: 7106 5748 115 226 0 6877 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 28424

[startup+1482.3 s]
/proc/loadavg: 1.06 1.03 1.00 2/78 11341
/proc/meminfo: memFree=1679616/2055920 swapFree=4184652/4192956
[pid=11142] ppid=11140 vsize=28424 CPUtime=1481.82
/proc/11142/stat : 11142 (wildcat-rnp) R 11140 11142 10619 0 -1 4194304 5765 0 0 0 148167 15 0 0 25 0 1 0 120275389 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134606304 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11142/statm: 7106 5748 115 226 0 6877 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 28424

[startup+1542.3 s]
/proc/loadavg: 1.06 1.03 1.00 2/78 11341
/proc/meminfo: memFree=1679616/2055920 swapFree=4184652/4192956
[pid=11142] ppid=11140 vsize=28424 CPUtime=1541.81
/proc/11142/stat : 11142 (wildcat-rnp) R 11140 11142 10619 0 -1 4194304 5765 0 0 0 154165 16 0 0 25 0 1 0 120275389 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134549910 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11142/statm: 7106 5748 115 226 0 6877 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 28424

[startup+1602.3 s]
/proc/loadavg: 1.06 1.04 1.00 2/78 11341
/proc/meminfo: memFree=1679616/2055920 swapFree=4184652/4192956
[pid=11142] ppid=11140 vsize=28424 CPUtime=1601.79
/proc/11142/stat : 11142 (wildcat-rnp) R 11140 11142 10619 0 -1 4194304 5765 0 0 0 160163 16 0 0 25 0 1 0 120275389 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134549783 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11142/statm: 7106 5748 115 226 0 6877 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 28424

[startup+1662.3 s]
/proc/loadavg: 1.09 1.06 1.01 2/78 11341
/proc/meminfo: memFree=1679616/2055920 swapFree=4184652/4192956
[pid=11142] ppid=11140 vsize=28424 CPUtime=1661.78
/proc/11142/stat : 11142 (wildcat-rnp) R 11140 11142 10619 0 -1 4194304 5765 0 0 0 166161 17 0 0 25 0 1 0 120275389 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134549783 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11142/statm: 7106 5748 115 226 0 6877 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 28424

[startup+1722.3 s]
/proc/loadavg: 1.03 1.04 1.00 2/78 11341
/proc/meminfo: memFree=1679744/2055920 swapFree=4184652/4192956
[pid=11142] ppid=11140 vsize=28424 CPUtime=1721.76
/proc/11142/stat : 11142 (wildcat-rnp) R 11140 11142 10619 0 -1 4194304 5765 0 0 0 172159 17 0 0 25 0 1 0 120275389 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605415 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11142/statm: 7106 5748 115 226 0 6877 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 28424

[startup+1782.3 s]
/proc/loadavg: 1.01 1.03 1.00 2/78 11341
/proc/meminfo: memFree=1679680/2055920 swapFree=4184652/4192956
[pid=11142] ppid=11140 vsize=28424 CPUtime=1781.75
/proc/11142/stat : 11142 (wildcat-rnp) R 11140 11142 10619 0 -1 4194304 5765 0 0 0 178157 18 0 0 25 0 1 0 120275389 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134606306 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11142/statm: 7106 5748 115 226 0 6877 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 28424



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.01 1.03 1.00 2/78 11341
/proc/meminfo: memFree=1679680/2055920 swapFree=4184652/4192956
[pid=11142] ppid=11140 vsize=28424 CPUtime=1800.06
/proc/11142/stat : 11142 (wildcat-rnp) R 11140 11142 10619 0 -1 4194304 5765 0 0 0 179988 18 0 0 25 0 1 0 120275389 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134549910 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11142/statm: 7106 5748 115 226 0 6877 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 28424

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.89
CPU system time (s): 0.186971
CPU usage (%): 99.9696
Max. virtual memory (cumulated for all children) (KiB): 28428

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.89
system time used= 0.186971
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5765
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= 9
involuntary context switches= 3328

runsolver used 2.03169 second user time and 4.53031 second system time

The end

Launcher Data (download as text)

Begin job on node44 on Mon Apr 16 11:40:37 UTC 2007

IDJOB= 354737
IDBENCH= 2889
IDSOLVER= 161
FILE ID= node44/354737-1176723637

PBS_JOBID= 4559485

Free space on /tmp= 66456 MiB

SOLVER NAME= wildcat-rnp 2007-03-21
BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-C499.b.opb
COMMAND LINE= /tmp/evaluation/354737-1176723637/wildcat-rnp /tmp/evaluation/354737-1176723637/instance-354737-1176723637.opb 809017781
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node44/watcher-354737-1176723637 -o ROOT/results/node44/solver-354737-1176723637 -C 1800 -W 3600 -M 1800 --output-limit 1,15  /tmp/evaluation/354737-1176723637/wildcat-rnp /tmp/evaluation/354737-1176723637/instance-354737-1176723637.opb 809017781

META MD5SUM SOLVER= 05d21ee76b90579709a9929b8e99937a
MD5SUM BENCH=  0b80319f4195f1e1329c2c4b63b416b0

RANDOM SEED= 809017781

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node44.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.234
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.234
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:       1703320 kB
Buffers:         19608 kB
Cached:         213412 kB
SwapCached:       2464 kB
Active:         114060 kB
Inactive:       181816 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1703320 kB
SwapTotal:     4192956 kB
SwapFree:      4184652 kB
Dirty:           12044 kB
Writeback:           0 kB
Mapped:          78476 kB
Slab:            42276 kB
Committed_AS:   408440 kB
PageTables:       1736 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= 66456 MiB

End job on node44 on Mon Apr 16 12:10:40 UTC 2007