Trace number 354738

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)181 1800.11 1800.92

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

Verifier Data (download as text)

OK	181

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node13/watcher-354738-1176723645 -o ROOT/results/node13/solver-354738-1176723645 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/354738-1176723645/wildcat-skc /tmp/evaluation/354738-1176723645/instance-354738-1176723645.opb 786512739 

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 16102
/proc/meminfo: memFree=1676352/2055920 swapFree=4175332/4192956
[pid=16102] ppid=16100 vsize=5972 CPUtime=0
/proc/16102/stat : 16102 (wildcat-skc) R 16100 16102 15352 0 -1 4194304 154 0 0 0 0 0 0 0 18 0 1 0 120282380 6115328 138 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 135014965 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16102/statm: 1493 139 105 226 0 1264 0

[startup+0.0886211 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 16102
/proc/meminfo: memFree=1676352/2055920 swapFree=4175332/4192956
[pid=16102] ppid=16100 vsize=6368 CPUtime=0.08
/proc/16102/stat : 16102 (wildcat-skc) R 16100 16102 15352 0 -1 4194304 250 0 0 0 8 0 0 0 18 0 1 0 120282380 6520832 234 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 135015043 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16102/statm: 1592 234 105 226 0 1363 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6368

[startup+0.101623 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 16102
/proc/meminfo: memFree=1676352/2055920 swapFree=4175332/4192956
[pid=16102] ppid=16100 vsize=6508 CPUtime=0.09
/proc/16102/stat : 16102 (wildcat-skc) R 16100 16102 15352 0 -1 4194304 267 0 0 0 9 0 0 0 18 0 1 0 120282380 6664192 251 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 135002146 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16102/statm: 1627 251 105 226 0 1398 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6508

[startup+0.301665 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 16102
/proc/meminfo: memFree=1676352/2055920 swapFree=4175332/4192956
[pid=16102] ppid=16100 vsize=8100 CPUtime=0.29
/proc/16102/stat : 16102 (wildcat-skc) R 16100 16102 15352 0 -1 4194304 681 0 0 0 29 0 0 0 19 0 1 0 120282380 8294400 665 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 135054637 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16102/statm: 2025 665 107 226 0 1796 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8100

[startup+0.701752 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 16102
/proc/meminfo: memFree=1676352/2055920 swapFree=4175332/4192956
[pid=16102] ppid=16100 vsize=15096 CPUtime=0.69
/proc/16102/stat : 16102 (wildcat-skc) R 16100 16102 15352 0 -1 4194304 2417 0 0 0 68 1 0 0 23 0 1 0 120282380 15458304 2401 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 135002146 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16102/statm: 3774 2402 107 226 0 3545 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15096

[startup+1.50192 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16103
/proc/meminfo: memFree=1662072/2055920 swapFree=4175332/4192956
[pid=16102] ppid=16100 vsize=28296 CPUtime=1.49
/proc/16102/stat : 16102 (wildcat-skc) R 16100 16102 15352 0 -1 4194304 5748 0 0 0 146 3 0 0 25 0 1 0 120282380 28975104 5732 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 135014974 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16102/statm: 7074 5733 107 226 0 6845 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 28296

[startup+3.10126 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16103
/proc/meminfo: memFree=1653560/2055920 swapFree=4175332/4192956
[pid=16102] ppid=16100 vsize=28424 CPUtime=3.09
/proc/16102/stat : 16102 (wildcat-skc) R 16100 16102 15352 0 -1 4194304 5765 0 0 0 306 3 0 0 25 0 1 0 120282380 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134549749 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16102/statm: 7106 5748 115 226 0 6877 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 28424

[startup+6.30295 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16103
/proc/meminfo: memFree=1653432/2055920 swapFree=4175332/4192956
[pid=16102] ppid=16100 vsize=28424 CPUtime=6.29
/proc/16102/stat : 16102 (wildcat-skc) R 16100 16102 15352 0 -1 4194304 5765 0 0 0 626 3 0 0 25 0 1 0 120282380 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134516940 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16102/statm: 7106 5748 115 226 0 6877 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 28424

[startup+12.7013 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16103
/proc/meminfo: memFree=1653560/2055920 swapFree=4175332/4192956
[pid=16102] ppid=16100 vsize=28424 CPUtime=12.68
/proc/16102/stat : 16102 (wildcat-skc) R 16100 16102 15352 0 -1 4194304 5765 0 0 0 1265 3 0 0 25 0 1 0 120282380 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603939 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16102/statm: 7106 5748 115 226 0 6877 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 28424

[startup+25.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16103
/proc/meminfo: memFree=1653688/2055920 swapFree=4175332/4192956
[pid=16102] ppid=16100 vsize=28424 CPUtime=25.48
/proc/16102/stat : 16102 (wildcat-skc) R 16100 16102 15352 0 -1 4194304 5765 0 0 0 2545 3 0 0 25 0 1 0 120282380 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603941 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16102/statm: 7106 5748 115 226 0 6877 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 28424

[startup+51.1015 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16103
/proc/meminfo: memFree=1653752/2055920 swapFree=4175332/4192956
[pid=16102] ppid=16100 vsize=28424 CPUtime=51.08
/proc/16102/stat : 16102 (wildcat-skc) R 16100 16102 15352 0 -1 4194304 5765 0 0 0 5104 4 0 0 25 0 1 0 120282380 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603939 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16102/statm: 7106 5748 115 226 0 6877 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 28424

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16103
/proc/meminfo: memFree=1653816/2055920 swapFree=4175332/4192956
[pid=16102] ppid=16100 vsize=28424 CPUtime=102.25
/proc/16102/stat : 16102 (wildcat-skc) R 16100 16102 15352 0 -1 4194304 5765 0 0 0 10221 4 0 0 25 0 1 0 120282380 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134550787 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16102/statm: 7106 5748 115 226 0 6877 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 28424

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16103
/proc/meminfo: memFree=1653816/2055920 swapFree=4175332/4192956
[pid=16102] ppid=16100 vsize=28424 CPUtime=162.22
/proc/16102/stat : 16102 (wildcat-skc) R 16100 16102 15352 0 -1 4194304 5765 0 0 0 16218 4 0 0 25 0 1 0 120282380 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603939 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16102/statm: 7106 5748 115 226 0 6877 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 28424

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16103
/proc/meminfo: memFree=1653752/2055920 swapFree=4175332/4192956
[pid=16102] ppid=16100 vsize=28424 CPUtime=222.21
/proc/16102/stat : 16102 (wildcat-skc) R 16100 16102 15352 0 -1 4194304 5765 0 0 0 22216 5 0 0 25 0 1 0 120282380 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603939 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16102/statm: 7106 5748 115 226 0 6877 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 28424

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16103
/proc/meminfo: memFree=1653752/2055920 swapFree=4175332/4192956
[pid=16102] ppid=16100 vsize=28424 CPUtime=282.18
/proc/16102/stat : 16102 (wildcat-skc) R 16100 16102 15352 0 -1 4194304 5765 0 0 0 28213 5 0 0 25 0 1 0 120282380 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603939 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16102/statm: 7106 5748 115 226 0 6877 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 28424

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16103
/proc/meminfo: memFree=1653752/2055920 swapFree=4175332/4192956
[pid=16102] ppid=16100 vsize=28424 CPUtime=342.16
/proc/16102/stat : 16102 (wildcat-skc) R 16100 16102 15352 0 -1 4194304 5765 0 0 0 34210 6 0 0 25 0 1 0 120282380 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603939 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16102/statm: 7106 5748 115 226 0 6877 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 28424

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16103
/proc/meminfo: memFree=1653816/2055920 swapFree=4175332/4192956
[pid=16102] ppid=16100 vsize=28424 CPUtime=402.13
/proc/16102/stat : 16102 (wildcat-skc) R 16100 16102 15352 0 -1 4194304 5765 0 0 0 40207 6 0 0 25 0 1 0 120282380 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603942 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16102/statm: 7106 5748 115 226 0 6877 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 28424

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16103
/proc/meminfo: memFree=1653816/2055920 swapFree=4175332/4192956
[pid=16102] ppid=16100 vsize=28424 CPUtime=462.11
/proc/16102/stat : 16102 (wildcat-skc) R 16100 16102 15352 0 -1 4194304 5765 0 0 0 46204 7 0 0 25 0 1 0 120282380 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134549924 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16102/statm: 7106 5748 115 226 0 6877 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 28424

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16103
/proc/meminfo: memFree=1653816/2055920 swapFree=4175332/4192956
[pid=16102] ppid=16100 vsize=28424 CPUtime=522.09
/proc/16102/stat : 16102 (wildcat-skc) R 16100 16102 15352 0 -1 4194304 5765 0 0 0 52202 7 0 0 25 0 1 0 120282380 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603939 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16102/statm: 7106 5748 115 226 0 6877 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 28424

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16103
/proc/meminfo: memFree=1653816/2055920 swapFree=4175332/4192956
[pid=16102] ppid=16100 vsize=28424 CPUtime=582.07
/proc/16102/stat : 16102 (wildcat-skc) R 16100 16102 15352 0 -1 4194304 5765 0 0 0 58199 8 0 0 25 0 1 0 120282380 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603939 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16102/statm: 7106 5748 115 226 0 6877 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 28424

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16103
/proc/meminfo: memFree=1653816/2055920 swapFree=4175332/4192956
[pid=16102] ppid=16100 vsize=28424 CPUtime=642.04
/proc/16102/stat : 16102 (wildcat-skc) R 16100 16102 15352 0 -1 4194304 5765 0 0 0 64196 8 0 0 25 0 1 0 120282380 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134577716 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16102/statm: 7106 5748 115 226 0 6877 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 28424


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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16103
/proc/meminfo: memFree=1653816/2055920 swapFree=4175332/4192956
[pid=16102] ppid=16100 vsize=28424 CPUtime=881.94
/proc/16102/stat : 16102 (wildcat-skc) R 16100 16102 15352 0 -1 4194304 5765 0 0 0 88184 10 0 0 25 0 1 0 120282380 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134549924 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16102/statm: 7106 5748 115 226 0 6877 0
Current children cumulated CPU time (s) 881.94
Current children cumulated vsize (KiB) 28424

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16103
/proc/meminfo: memFree=1653880/2055920 swapFree=4175332/4192956
[pid=16102] ppid=16100 vsize=28424 CPUtime=941.92
/proc/16102/stat : 16102 (wildcat-skc) R 16100 16102 15352 0 -1 4194304 5765 0 0 0 94181 11 0 0 25 0 1 0 120282380 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603939 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16102/statm: 7106 5748 115 226 0 6877 0
Current children cumulated CPU time (s) 941.92
Current children cumulated vsize (KiB) 28424

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16103
/proc/meminfo: memFree=1653816/2055920 swapFree=4175332/4192956
[pid=16102] ppid=16100 vsize=28424 CPUtime=1001.9
/proc/16102/stat : 16102 (wildcat-skc) R 16100 16102 15352 0 -1 4194304 5765 0 0 0 100179 11 0 0 25 0 1 0 120282380 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603939 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16102/statm: 7106 5748 115 226 0 6877 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 28424

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16103
/proc/meminfo: memFree=1653816/2055920 swapFree=4175332/4192956
[pid=16102] ppid=16100 vsize=28424 CPUtime=1061.88
/proc/16102/stat : 16102 (wildcat-skc) R 16100 16102 15352 0 -1 4194304 5765 0 0 0 106176 12 0 0 25 0 1 0 120282380 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603939 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16102/statm: 7106 5748 115 226 0 6877 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 28424

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16103
/proc/meminfo: memFree=1653816/2055920 swapFree=4175332/4192956
[pid=16102] ppid=16100 vsize=28424 CPUtime=1121.85
/proc/16102/stat : 16102 (wildcat-skc) R 16100 16102 15352 0 -1 4194304 5765 0 0 0 112173 12 0 0 25 0 1 0 120282380 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603939 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16102/statm: 7106 5748 115 226 0 6877 0
Current children cumulated CPU time (s) 1121.85
Current children cumulated vsize (KiB) 28424

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16103
/proc/meminfo: memFree=1653816/2055920 swapFree=4175332/4192956
[pid=16102] ppid=16100 vsize=28424 CPUtime=1181.83
/proc/16102/stat : 16102 (wildcat-skc) R 16100 16102 15352 0 -1 4194304 5765 0 0 0 118170 13 0 0 25 0 1 0 120282380 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603939 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16102/statm: 7106 5748 115 226 0 6877 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 28424

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/84 16241
/proc/meminfo: memFree=1652280/2055920 swapFree=4175332/4192956
[pid=16102] ppid=16100 vsize=28424 CPUtime=1241.73
/proc/16102/stat : 16102 (wildcat-skc) R 16100 16102 15352 0 -1 4194304 5765 0 0 0 124160 13 0 0 25 0 1 0 120282380 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603939 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16102/statm: 7106 5748 115 226 0 6877 0
Current children cumulated CPU time (s) 1241.73
Current children cumulated vsize (KiB) 28424

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16301
/proc/meminfo: memFree=1653496/2055920 swapFree=4175332/4192956
[pid=16102] ppid=16100 vsize=28424 CPUtime=1301.68
/proc/16102/stat : 16102 (wildcat-skc) R 16100 16102 15352 0 -1 4194304 5765 0 0 0 130154 14 0 0 25 0 1 0 120282380 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603939 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16102/statm: 7106 5748 115 226 0 6877 0
Current children cumulated CPU time (s) 1301.68
Current children cumulated vsize (KiB) 28424

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16301
/proc/meminfo: memFree=1653560/2055920 swapFree=4175332/4192956
[pid=16102] ppid=16100 vsize=28424 CPUtime=1361.65
/proc/16102/stat : 16102 (wildcat-skc) R 16100 16102 15352 0 -1 4194304 5765 0 0 0 136151 14 0 0 25 0 1 0 120282380 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603939 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16102/statm: 7106 5748 115 226 0 6877 0
Current children cumulated CPU time (s) 1361.65
Current children cumulated vsize (KiB) 28424

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16301
/proc/meminfo: memFree=1653496/2055920 swapFree=4175332/4192956
[pid=16102] ppid=16100 vsize=28424 CPUtime=1421.63
/proc/16102/stat : 16102 (wildcat-skc) R 16100 16102 15352 0 -1 4194304 5765 0 0 0 142148 15 0 0 25 0 1 0 120282380 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603939 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16102/statm: 7106 5748 115 226 0 6877 0
Current children cumulated CPU time (s) 1421.63
Current children cumulated vsize (KiB) 28424

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16301
/proc/meminfo: memFree=1653496/2055920 swapFree=4175332/4192956
[pid=16102] ppid=16100 vsize=28424 CPUtime=1481.6
/proc/16102/stat : 16102 (wildcat-skc) R 16100 16102 15352 0 -1 4194304 5765 0 0 0 148145 15 0 0 25 0 1 0 120282380 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134549936 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16102/statm: 7106 5748 115 226 0 6877 0
Current children cumulated CPU time (s) 1481.6
Current children cumulated vsize (KiB) 28424

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16301
/proc/meminfo: memFree=1653432/2055920 swapFree=4175332/4192956
[pid=16102] ppid=16100 vsize=28424 CPUtime=1541.59
/proc/16102/stat : 16102 (wildcat-skc) R 16100 16102 15352 0 -1 4194304 5765 0 0 0 154143 16 0 0 25 0 1 0 120282380 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603939 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16102/statm: 7106 5748 115 226 0 6877 0
Current children cumulated CPU time (s) 1541.59
Current children cumulated vsize (KiB) 28424

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16301
/proc/meminfo: memFree=1653432/2055920 swapFree=4175332/4192956
[pid=16102] ppid=16100 vsize=28424 CPUtime=1601.56
/proc/16102/stat : 16102 (wildcat-skc) R 16100 16102 15352 0 -1 4194304 5765 0 0 0 160140 16 0 0 25 0 1 0 120282380 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603944 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16102/statm: 7106 5748 115 226 0 6877 0
Current children cumulated CPU time (s) 1601.56
Current children cumulated vsize (KiB) 28424

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16301
/proc/meminfo: memFree=1653560/2055920 swapFree=4175332/4192956
[pid=16102] ppid=16100 vsize=28424 CPUtime=1661.54
/proc/16102/stat : 16102 (wildcat-skc) R 16100 16102 15352 0 -1 4194304 5765 0 0 0 166137 17 0 0 25 0 1 0 120282380 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603942 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16102/statm: 7106 5748 115 226 0 6877 0
Current children cumulated CPU time (s) 1661.54
Current children cumulated vsize (KiB) 28424

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16301
/proc/meminfo: memFree=1653624/2055920 swapFree=4175332/4192956
[pid=16102] ppid=16100 vsize=28424 CPUtime=1721.51
/proc/16102/stat : 16102 (wildcat-skc) R 16100 16102 15352 0 -1 4194304 5765 0 0 0 172134 17 0 0 25 0 1 0 120282380 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134549924 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16102/statm: 7106 5748 115 226 0 6877 0
Current children cumulated CPU time (s) 1721.51
Current children cumulated vsize (KiB) 28424

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16301
/proc/meminfo: memFree=1653560/2055920 swapFree=4175332/4192956
[pid=16102] ppid=16100 vsize=28424 CPUtime=1781.49
/proc/16102/stat : 16102 (wildcat-skc) R 16100 16102 15352 0 -1 4194304 5765 0 0 0 178131 18 0 0 25 0 1 0 120282380 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603939 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16102/statm: 7106 5748 115 226 0 6877 0
Current children cumulated CPU time (s) 1781.49
Current children cumulated vsize (KiB) 28424



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16301
/proc/meminfo: memFree=1653560/2055920 swapFree=4175332/4192956
[pid=16102] ppid=16100 vsize=28424 CPUtime=1800.09
/proc/16102/stat : 16102 (wildcat-skc) R 16100 16102 15352 0 -1 4194304 5765 0 0 0 179991 18 0 0 25 0 1 0 120282380 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603939 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16102/statm: 7106 5748 115 226 0 6877 0
Current children cumulated CPU time (s) 1800.09
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

[startup+1800.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16301
/proc/meminfo: memFree=1653560/2055920 swapFree=4175332/4192956
[pid=16102] ppid=16100 vsize=28424 CPUtime=1800.09
/proc/16102/stat : 16102 (wildcat-skc) R 16100 16102 15352 0 -1 4194304 5765 0 0 0 179991 18 0 0 25 0 1 0 120282380 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603939 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16102/statm: 7106 5748 115 226 0 6877 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 28424

Child status: 0
Real time (s): 1800.92
CPU time (s): 1800.11
CPU user time (s): 1799.92
CPU system time (s): 0.188971
CPU usage (%): 99.9549
Max. virtual memory (cumulated for all children) (KiB): 28424

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.92
system time used= 0.188971
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= 36787

runsolver used 2.20966 second user time and 4.32434 second system time

The end

Launcher Data (download as text)

Begin job on node13 on Mon Apr 16 11:40:46 UTC 2007

IDJOB= 354738
IDBENCH= 2889
IDSOLVER= 162
FILE ID= node13/354738-1176723645

PBS_JOBID= 4559448

Free space on /tmp= 66467 MiB

SOLVER NAME= wildcat-skc 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/354738-1176723645/wildcat-skc /tmp/evaluation/354738-1176723645/instance-354738-1176723645.opb 786512739
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node13/watcher-354738-1176723645 -o ROOT/results/node13/solver-354738-1176723645 -C 1800 -W 3600 -M 1800 --output-limit 1,15  /tmp/evaluation/354738-1176723645/wildcat-skc /tmp/evaluation/354738-1176723645/instance-354738-1176723645.opb 786512739

META MD5SUM SOLVER= 05d21ee76b90579709a9929b8e99937a
MD5SUM BENCH=  0b80319f4195f1e1329c2c4b63b416b0

RANDOM SEED= 786512739

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node13.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.259
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.259
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:       1676824 kB
Buffers:         60520 kB
Cached:         227120 kB
SwapCached:       2992 kB
Active:         178044 kB
Inactive:       140932 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1676824 kB
SwapTotal:     4192956 kB
SwapFree:      4175332 kB
Dirty:           12052 kB
Writeback:           0 kB
Mapped:          41936 kB
Slab:            45572 kB
Committed_AS:  6493328 kB
PageTables:       1876 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= 66467 MiB

End job on node13 on Mon Apr 16 12:10:49 UTC 2007