Trace number 49540

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
PB-smodels 1.28SAT (TO)1065 1800.75 1800.23

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-des.a.opb
MD5SUM41d95962f9f821e00bc6bf0e503d69d6
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark957
Best CPU time to get the best result obtained on this benchmark1800.5
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 957
Optimality of the best value was proved NO
Number of variables6175
Total number of constraints17920
Number of constraints which are clauses17920
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint495
Number of terms in the objective function 6175
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 6175
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 6175
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

Solver Data (download as text)

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

Verifier Data (download as text)

OK	1065

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes

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

Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
command line: runsolver --timestamp -w ROOT/results/node41/watcher-49540-1154085083 -o ROOT/results/node41/solver-49540-1154085083 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels ROOT/tmp/node41/49540-1154085083/instance-49540-1154085083.opb 346665377 ROOT/tmp/node41/49540-1154085083 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.98 2/64 23978
/proc/meminfo: memFree=1543496/2055920 swapFree=4182960/4192956
[pid=23978] ppid=23976 vsize=5360 CPUtime=0
/proc/23978/stat : 23978 (runpbsmodels) S 23976 23978 23929 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 155379448 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 238390141764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23978/statm: 1340 234 195 169 0 51 0
[pid=23979] ppid=23978 vsize=2552 CPUtime=0
/proc/23979/stat : 23979 (pbsmodels-v1.28) R 23978 23978 23929 0 -1 4194304 51 0 0 0 0 0 0 0 19 0 1 0 155379448 2613248 33 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 238387525097 0 0 4096 0 0 0 0 17 1 0 0
/proc/23979/statm: 918 37 28 3 0 8 0

[startup+10.0014 s]
/proc/loadavg: 0.93 0.95 0.98 2/68 23983
/proc/meminfo: memFree=1535576/2055920 swapFree=4182960/4192956
[pid=23978] ppid=23976 vsize=5360 CPUtime=0
/proc/23978/stat : 23978 (runpbsmodels) S 23976 23978 23929 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 155379448 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 238390141764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23978/statm: 1340 234 195 169 0 51 0
[pid=23979] ppid=23978 vsize=12268 CPUtime=0
/proc/23979/stat : 23979 (pbsmodels-v1.28) S 23978 23978 23929 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 155379448 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 238399045524 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/23979/statm: 3067 383 293 3 0 167 0
[pid=23980] ppid=23979 vsize=5356 CPUtime=2.24
/proc/23980/stat : 23980 (sh) S 23979 23978 23929 0 -1 4194304 311 963 0 0 0 0 224 0 16 0 1 0 155379449 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 238390141764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23980/statm: 1339 227 188 169 0 50 0
[pid=23982] ppid=23980 vsize=8536 CPUtime=8.73
/proc/23982/stat : 23982 (smodels) R 23980 23978 23929 0 -1 4194304 1811 0 0 0 872 1 0 0 25 0 1 0 155379449 8740864 1775 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531271 0 0 4096 0 0 0 0 17 1 0 0
/proc/23982/statm: 2134 1775 210 20 0 1571 0
[pid=23983] ppid=23980 vsize=12268 CPUtime=0
/proc/23983/stat : 23983 (pbout.pl) S 23980 23978 23929 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 155379449 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 238399041634 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/23983/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 10.97
Current children cumulated vsize (Kb) 43788

[startup+20.0082 s]
/proc/loadavg: 0.94 0.96 0.98 2/68 23983
/proc/meminfo: memFree=1535704/2055920 swapFree=4182960/4192956
[pid=23978] ppid=23976 vsize=5360 CPUtime=0
/proc/23978/stat : 23978 (runpbsmodels) S 23976 23978 23929 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 155379448 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 238390141764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23978/statm: 1340 234 195 169 0 51 0
[pid=23979] ppid=23978 vsize=12268 CPUtime=0
/proc/23979/stat : 23979 (pbsmodels-v1.28) S 23978 23978 23929 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 155379448 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 238399045524 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/23979/statm: 3067 383 293 3 0 167 0
[pid=23980] ppid=23979 vsize=5356 CPUtime=2.24
/proc/23980/stat : 23980 (sh) S 23979 23978 23929 0 -1 4194304 311 963 0 0 0 0 224 0 16 0 1 0 155379449 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 238390141764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23980/statm: 1339 227 188 169 0 50 0
[pid=23982] ppid=23980 vsize=8536 CPUtime=18.74
/proc/23982/stat : 23982 (smodels) R 23980 23978 23929 0 -1 4194304 1812 0 0 0 1873 1 0 0 25 0 1 0 155379449 8740864 1776 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531154 0 0 4096 0 0 0 0 17 1 0 0
/proc/23982/statm: 2134 1776 210 20 0 1571 0
[pid=23983] ppid=23980 vsize=12268 CPUtime=0
/proc/23983/stat : 23983 (pbout.pl) S 23980 23978 23929 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 155379449 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 238399041634 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/23983/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 20.98
Current children cumulated vsize (Kb) 43788

[startup+30.0141 s]
/proc/loadavg: 0.95 0.96 0.98 2/68 23983
/proc/meminfo: memFree=1535704/2055920 swapFree=4182960/4192956
[pid=23978] ppid=23976 vsize=5360 CPUtime=0
/proc/23978/stat : 23978 (runpbsmodels) S 23976 23978 23929 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 155379448 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 238390141764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23978/statm: 1340 234 195 169 0 51 0
[pid=23979] ppid=23978 vsize=12268 CPUtime=0
/proc/23979/stat : 23979 (pbsmodels-v1.28) S 23978 23978 23929 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 155379448 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 238399045524 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/23979/statm: 3067 383 293 3 0 167 0
[pid=23980] ppid=23979 vsize=5356 CPUtime=2.24
/proc/23980/stat : 23980 (sh) S 23979 23978 23929 0 -1 4194304 311 963 0 0 0 0 224 0 16 0 1 0 155379449 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 238390141764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23980/statm: 1339 227 188 169 0 50 0
[pid=23982] ppid=23980 vsize=8536 CPUtime=28.74
/proc/23982/stat : 23982 (smodels) R 23980 23978 23929 0 -1 4194304 1813 0 0 0 2873 1 0 0 25 0 1 0 155379449 8740864 1777 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134551106 0 0 4096 0 0 0 0 17 1 0 0
/proc/23982/statm: 2134 1777 210 20 0 1571 0
[pid=23983] ppid=23980 vsize=12268 CPUtime=0
/proc/23983/stat : 23983 (pbout.pl) S 23980 23978 23929 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 155379449 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 238399041634 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/23983/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 30.98
Current children cumulated vsize (Kb) 43788

[startup+40.02 s]
/proc/loadavg: 0.95 0.96 0.98 2/68 23983
/proc/meminfo: memFree=1535640/2055920 swapFree=4182960/4192956
[pid=23978] ppid=23976 vsize=5360 CPUtime=0
/proc/23978/stat : 23978 (runpbsmodels) S 23976 23978 23929 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 155379448 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 238390141764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23978/statm: 1340 234 195 169 0 51 0
[pid=23979] ppid=23978 vsize=12268 CPUtime=0
/proc/23979/stat : 23979 (pbsmodels-v1.28) S 23978 23978 23929 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 155379448 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 238399045524 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/23979/statm: 3067 383 293 3 0 167 0
[pid=23980] ppid=23979 vsize=5356 CPUtime=2.24
/proc/23980/stat : 23980 (sh) S 23979 23978 23929 0 -1 4194304 311 963 0 0 0 0 224 0 16 0 1 0 155379449 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 238390141764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23980/statm: 1339 227 188 169 0 50 0
[pid=23982] ppid=23980 vsize=8536 CPUtime=38.75
/proc/23982/stat : 23982 (smodels) R 23980 23978 23929 0 -1 4194304 1816 0 0 0 3874 1 0 0 25 0 1 0 155379449 8740864 1780 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134548927 0 0 4096 0 0 0 0 17 1 0 0
/proc/23982/statm: 2134 1780 212 20 0 1571 0
[pid=23983] ppid=23980 vsize=12416 CPUtime=0
/proc/23983/stat : 23983 (pbout.pl) S 23980 23978 23929 0 -1 4194304 513 0 0 0 0 0 0 0 17 0 1 0 155379449 12713984 472 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 238399041634 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/23983/statm: 3104 472 333 3 0 204 0
Current children cumulated CPU time (s) 40.99
Current children cumulated vsize (Kb) 43936

[startup+50.0268 s]
/proc/loadavg: 0.96 0.96 0.98 2/68 23983
/proc/meminfo: memFree=1535640/2055920 swapFree=4182960/4192956
[pid=23978] ppid=23976 vsize=5360 CPUtime=0
/proc/23978/stat : 23978 (runpbsmodels) S 23976 23978 23929 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 155379448 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 238390141764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23978/statm: 1340 234 195 169 0 51 0
[pid=23979] ppid=23978 vsize=12268 CPUtime=0
/proc/23979/stat : 23979 (pbsmodels-v1.28) S 23978 23978 23929 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 155379448 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 238399045524 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/23979/statm: 3067 383 293 3 0 167 0
[pid=23980] ppid=23979 vsize=5356 CPUtime=2.24
/proc/23980/stat : 23980 (sh) S 23979 23978 23929 0 -1 4194304 311 963 0 0 0 0 224 0 16 0 1 0 155379449 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 238390141764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23980/statm: 1339 227 188 169 0 50 0
[pid=23982] ppid=23980 vsize=8536 CPUtime=48.75
/proc/23982/stat : 23982 (smodels) R 23980 23978 23929 0 -1 4194304 1816 0 0 0 4874 1 0 0 25 0 1 0 155379449 8740864 1780 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134534179 0 0 4096 0 0 0 0 17 1 0 0
/proc/23982/statm: 2134 1780 212 20 0 1571 0
[pid=23983] ppid=23980 vsize=12416 CPUtime=0
/proc/23983/stat : 23983 (pbout.pl) S 23980 23978 23929 0 -1 4194304 513 0 0 0 0 0 0 0 17 0 1 0 155379449 12713984 472 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 238399041634 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/23983/statm: 3104 472 333 3 0 204 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (Kb) 43936

[startup+60.0337 s]
/proc/loadavg: 0.97 0.96 0.98 2/68 23983
/proc/meminfo: memFree=1535640/2055920 swapFree=4182960/4192956
[pid=23978] ppid=23976 vsize=5360 CPUtime=0
/proc/23978/stat : 23978 (runpbsmodels) S 23976 23978 23929 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 155379448 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 238390141764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23978/statm: 1340 234 195 169 0 51 0
[pid=23979] ppid=23978 vsize=12268 CPUtime=0
/proc/23979/stat : 23979 (pbsmodels-v1.28) S 23978 23978 23929 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 155379448 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 238399045524 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/23979/statm: 3067 383 293 3 0 167 0
[pid=23980] ppid=23979 vsize=5356 CPUtime=2.24
/proc/23980/stat : 23980 (sh) S 23979 23978 23929 0 -1 4194304 311 963 0 0 0 0 224 0 16 0 1 0 155379449 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 238390141764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23980/statm: 1339 227 188 169 0 50 0
[pid=23982] ppid=23980 vsize=8536 CPUtime=58.76
/proc/23982/stat : 23982 (smodels) R 23980 23978 23929 0 -1 4194304 1816 0 0 0 5875 1 0 0 25 0 1 0 155379449 8740864 1780 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134534209 0 0 4096 0 0 0 0 17 1 0 0
/proc/23982/statm: 2134 1780 212 20 0 1571 0
[pid=23983] ppid=23980 vsize=12416 CPUtime=0
/proc/23983/stat : 23983 (pbout.pl) S 23980 23978 23929 0 -1 4194304 513 0 0 0 0 0 0 0 17 0 1 0 155379449 12713984 472 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 238399041634 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/23983/statm: 3104 472 333 3 0 204 0
Current children cumulated CPU time (s) 61
Current children cumulated vsize (Kb) 43936

[startup+70.0396 s]
/proc/loadavg: 0.97 0.96 0.98 2/68 23983
/proc/meminfo: memFree=1535640/2055920 swapFree=4182960/4192956
[pid=23978] ppid=23976 vsize=5360 CPUtime=0
/proc/23978/stat : 23978 (runpbsmodels) S 23976 23978 23929 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 155379448 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 238390141764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23978/statm: 1340 234 195 169 0 51 0
[pid=23979] ppid=23978 vsize=12268 CPUtime=0
/proc/23979/stat : 23979 (pbsmodels-v1.28) S 23978 23978 23929 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 155379448 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 238399045524 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/23979/statm: 3067 383 293 3 0 167 0
[pid=23980] ppid=23979 vsize=5356 CPUtime=2.24
/proc/23980/stat : 23980 (sh) S 23979 23978 23929 0 -1 4194304 311 963 0 0 0 0 224 0 16 0 1 0 155379449 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 238390141764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23980/statm: 1339 227 188 169 0 50 0
[pid=23982] ppid=23980 vsize=8536 CPUtime=68.76
/proc/23982/stat : 23982 (smodels) R 23980 23978 23929 0 -1 4194304 1816 0 0 0 6875 1 0 0 25 0 1 0 155379449 8740864 1780 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134550767 0 0 4096 0 0 0 0 17 1 0 0
/proc/23982/statm: 2134 1780 212 20 0 1571 0
[pid=23983] ppid=23980 vsize=12416 CPUtime=0
/proc/23983/stat : 23983 (pbout.pl) S 23980 23978 23929 0 -1 4194304 513 0 0 0 0 0 0 0 17 0 1 0 155379449 12713984 472 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 238399041634 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/23983/statm: 3104 472 333 3 0 204 0
Current children cumulated CPU time (s) 71
Current children cumulated vsize (Kb) 43936

[startup+80.0454 s]
/proc/loadavg: 0.98 0.96 0.98 2/68 23983
/proc/meminfo: memFree=1535640/2055920 swapFree=4182960/4192956
[pid=23978] ppid=23976 vsize=5360 CPUtime=0
/proc/23978/stat : 23978 (runpbsmodels) S 23976 23978 23929 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 155379448 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 238390141764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23978/statm: 1340 234 195 169 0 51 0
[pid=23979] ppid=23978 vsize=12268 CPUtime=0
/proc/23979/stat : 23979 (pbsmodels-v1.28) S 23978 23978 23929 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 155379448 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 238399045524 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/23979/statm: 3067 383 293 3 0 167 0
[pid=23980] ppid=23979 vsize=5356 CPUtime=2.24
/proc/23980/stat : 23980 (sh) S 23979 23978 23929 0 -1 4194304 311 963 0 0 0 0 224 0 16 0 1 0 155379449 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 238390141764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23980/statm: 1339 227 188 169 0 50 0
[pid=23982] ppid=23980 vsize=8536 CPUtime=78.76
/proc/23982/stat : 23982 (smodels) R 23980 23978 23929 0 -1 4194304 1816 0 0 0 7875 1 0 0 25 0 1 0 155379449 8740864 1780 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134533109 0 0 4096 0 0 0 0 17 1 0 0
/proc/23982/statm: 2134 1780 212 20 0 1571 0
[pid=23983] ppid=23980 vsize=12416 CPUtime=0
/proc/23983/stat : 23983 (pbout.pl) S 23980 23978 23929 0 -1 4194304 513 0 0 0 0 0 0 0 17 0 1 0 155379449 12713984 472 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 238399041634 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/23983/statm: 3104 472 333 3 0 204 0
Current children cumulated CPU time (s) 81
Current children cumulated vsize (Kb) 43936

[startup+90.0513 s]
/proc/loadavg: 0.98 0.96 0.98 2/68 23983
/proc/meminfo: memFree=1535640/2055920 swapFree=4182960/4192956
[pid=23978] ppid=23976 vsize=5360 CPUtime=0
/proc/23978/stat : 23978 (runpbsmodels) S 23976 23978 23929 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 155379448 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 238390141764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23978/statm: 1340 234 195 169 0 51 0
[pid=23979] ppid=23978 vsize=12268 CPUtime=0
/proc/23979/stat : 23979 (pbsmodels-v1.28) S 23978 23978 23929 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 155379448 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 238399045524 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/23979/statm: 3067 383 293 3 0 167 0
[pid=23980] ppid=23979 vsize=5356 CPUtime=2.24
/proc/23980/stat : 23980 (sh) S 23979 23978 23929 0 -1 4194304 311 963 0 0 0 0 224 0 16 0 1 0 155379449 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 238390141764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0

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

/proc/23982/stat : 23982 (smodels) R 23980 23978 23929 0 -1 4194304 1816 0 0 0 179145 2 0 0 25 0 1 0 155379449 8740864 1780 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531271 0 0 4096 0 0 0 0 17 1 0 0
/proc/23982/statm: 2134 1780 212 20 0 1571 0
[pid=23983] ppid=23980 vsize=12416 CPUtime=0
/proc/23983/stat : 23983 (pbout.pl) S 23980 23978 23929 0 -1 4194304 513 0 0 0 0 0 0 0 17 0 1 0 155379449 12713984 472 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 238399041634 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/23983/statm: 3104 472 333 3 0 204 0
Current children cumulated CPU time (s) 1793.71
Current children cumulated vsize (Kb) 43936

[startup+1794.17 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 23985
/proc/meminfo: memFree=1535064/2055920 swapFree=4182960/4192956
[pid=23978] ppid=23976 vsize=5360 CPUtime=0
/proc/23978/stat : 23978 (runpbsmodels) S 23976 23978 23929 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 155379448 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 238390141764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23978/statm: 1340 234 195 169 0 51 0
[pid=23979] ppid=23978 vsize=12268 CPUtime=0
/proc/23979/stat : 23979 (pbsmodels-v1.28) S 23978 23978 23929 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 155379448 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 238399045524 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/23979/statm: 3067 383 293 3 0 167 0
[pid=23980] ppid=23979 vsize=5356 CPUtime=2.24
/proc/23980/stat : 23980 (sh) S 23979 23978 23929 0 -1 4194304 311 963 0 0 0 0 224 0 16 0 1 0 155379449 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 238390141764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23980/statm: 1339 227 188 169 0 50 0
[pid=23982] ppid=23980 vsize=8536 CPUtime=1792.48
/proc/23982/stat : 23982 (smodels) R 23980 23978 23929 0 -1 4194304 1816 0 0 0 179246 2 0 0 25 0 1 0 155379449 8740864 1780 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134551009 0 0 4096 0 0 0 0 17 1 0 0
/proc/23982/statm: 2134 1780 212 20 0 1571 0
[pid=23983] ppid=23980 vsize=12416 CPUtime=0
/proc/23983/stat : 23983 (pbout.pl) S 23980 23978 23929 0 -1 4194304 513 0 0 0 0 0 0 0 17 0 1 0 155379449 12713984 472 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 238399041634 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/23983/statm: 3104 472 333 3 0 204 0
Current children cumulated CPU time (s) 1794.72
Current children cumulated vsize (Kb) 43936

[startup+1795.18 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 23985
/proc/meminfo: memFree=1535064/2055920 swapFree=4182960/4192956
[pid=23978] ppid=23976 vsize=5360 CPUtime=0
/proc/23978/stat : 23978 (runpbsmodels) S 23976 23978 23929 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 155379448 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 238390141764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23978/statm: 1340 234 195 169 0 51 0
[pid=23979] ppid=23978 vsize=12268 CPUtime=0
/proc/23979/stat : 23979 (pbsmodels-v1.28) S 23978 23978 23929 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 155379448 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 238399045524 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/23979/statm: 3067 383 293 3 0 167 0
[pid=23980] ppid=23979 vsize=5356 CPUtime=2.24
/proc/23980/stat : 23980 (sh) S 23979 23978 23929 0 -1 4194304 311 963 0 0 0 0 224 0 16 0 1 0 155379449 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 238390141764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23980/statm: 1339 227 188 169 0 50 0
[pid=23982] ppid=23980 vsize=8536 CPUtime=1793.48
/proc/23982/stat : 23982 (smodels) R 23980 23978 23929 0 -1 4194304 1816 0 0 0 179346 2 0 0 25 0 1 0 155379449 8740864 1780 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134551021 0 0 4096 0 0 0 0 17 1 0 0
/proc/23982/statm: 2134 1780 212 20 0 1571 0
[pid=23983] ppid=23980 vsize=12416 CPUtime=0
/proc/23983/stat : 23983 (pbout.pl) S 23980 23978 23929 0 -1 4194304 513 0 0 0 0 0 0 0 17 0 1 0 155379449 12713984 472 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 238399041634 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/23983/statm: 3104 472 333 3 0 204 0
Current children cumulated CPU time (s) 1795.72
Current children cumulated vsize (Kb) 43936

[startup+1796.18 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 23985
/proc/meminfo: memFree=1535064/2055920 swapFree=4182960/4192956
[pid=23978] ppid=23976 vsize=5360 CPUtime=0
/proc/23978/stat : 23978 (runpbsmodels) S 23976 23978 23929 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 155379448 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 238390141764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23978/statm: 1340 234 195 169 0 51 0
[pid=23979] ppid=23978 vsize=12268 CPUtime=0
/proc/23979/stat : 23979 (pbsmodels-v1.28) S 23978 23978 23929 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 155379448 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 238399045524 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/23979/statm: 3067 383 293 3 0 167 0
[pid=23980] ppid=23979 vsize=5356 CPUtime=2.24
/proc/23980/stat : 23980 (sh) S 23979 23978 23929 0 -1 4194304 311 963 0 0 0 0 224 0 16 0 1 0 155379449 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 238390141764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23980/statm: 1339 227 188 169 0 50 0
[pid=23982] ppid=23980 vsize=8536 CPUtime=1794.49
/proc/23982/stat : 23982 (smodels) R 23980 23978 23929 0 -1 4194304 1816 0 0 0 179447 2 0 0 25 0 1 0 155379449 8740864 1780 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134533089 0 0 4096 0 0 0 0 17 1 0 0
/proc/23982/statm: 2134 1780 212 20 0 1571 0
[pid=23983] ppid=23980 vsize=12416 CPUtime=0
/proc/23983/stat : 23983 (pbout.pl) S 23980 23978 23929 0 -1 4194304 513 0 0 0 0 0 0 0 17 0 1 0 155379449 12713984 472 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 238399041634 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/23983/statm: 3104 472 333 3 0 204 0
Current children cumulated CPU time (s) 1796.73
Current children cumulated vsize (Kb) 43936

[startup+1797.19 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 23985
/proc/meminfo: memFree=1535064/2055920 swapFree=4182960/4192956
[pid=23978] ppid=23976 vsize=5360 CPUtime=0
/proc/23978/stat : 23978 (runpbsmodels) S 23976 23978 23929 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 155379448 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 238390141764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23978/statm: 1340 234 195 169 0 51 0
[pid=23979] ppid=23978 vsize=12268 CPUtime=0
/proc/23979/stat : 23979 (pbsmodels-v1.28) S 23978 23978 23929 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 155379448 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 238399045524 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/23979/statm: 3067 383 293 3 0 167 0
[pid=23980] ppid=23979 vsize=5356 CPUtime=2.24
/proc/23980/stat : 23980 (sh) S 23979 23978 23929 0 -1 4194304 311 963 0 0 0 0 224 0 16 0 1 0 155379449 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 238390141764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23980/statm: 1339 227 188 169 0 50 0
[pid=23982] ppid=23980 vsize=8536 CPUtime=1795.5
/proc/23982/stat : 23982 (smodels) R 23980 23978 23929 0 -1 4194304 1816 0 0 0 179548 2 0 0 25 0 1 0 155379449 8740864 1780 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134550945 0 0 4096 0 0 0 0 17 1 0 0
/proc/23982/statm: 2134 1780 212 20 0 1571 0
[pid=23983] ppid=23980 vsize=12416 CPUtime=0
/proc/23983/stat : 23983 (pbout.pl) S 23980 23978 23929 0 -1 4194304 513 0 0 0 0 0 0 0 17 0 1 0 155379449 12713984 472 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 238399041634 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/23983/statm: 3104 472 333 3 0 204 0
Current children cumulated CPU time (s) 1797.74
Current children cumulated vsize (Kb) 43936

[startup+1798.19 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 23985
/proc/meminfo: memFree=1535064/2055920 swapFree=4182960/4192956
[pid=23978] ppid=23976 vsize=5360 CPUtime=0
/proc/23978/stat : 23978 (runpbsmodels) S 23976 23978 23929 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 155379448 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 238390141764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23978/statm: 1340 234 195 169 0 51 0
[pid=23979] ppid=23978 vsize=12268 CPUtime=0
/proc/23979/stat : 23979 (pbsmodels-v1.28) S 23978 23978 23929 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 155379448 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 238399045524 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/23979/statm: 3067 383 293 3 0 167 0
[pid=23980] ppid=23979 vsize=5356 CPUtime=2.24
/proc/23980/stat : 23980 (sh) S 23979 23978 23929 0 -1 4194304 311 963 0 0 0 0 224 0 16 0 1 0 155379449 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 238390141764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23980/statm: 1339 227 188 169 0 50 0
[pid=23982] ppid=23980 vsize=8536 CPUtime=1796.5
/proc/23982/stat : 23982 (smodels) R 23980 23978 23929 0 -1 4194304 1816 0 0 0 179648 2 0 0 25 0 1 0 155379449 8740864 1780 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134550205 0 0 4096 0 0 0 0 17 1 0 0
/proc/23982/statm: 2134 1780 212 20 0 1571 0
[pid=23983] ppid=23980 vsize=12416 CPUtime=0
/proc/23983/stat : 23983 (pbout.pl) S 23980 23978 23929 0 -1 4194304 513 0 0 0 0 0 0 0 17 0 1 0 155379449 12713984 472 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 238399041634 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/23983/statm: 3104 472 333 3 0 204 0
Current children cumulated CPU time (s) 1798.74
Current children cumulated vsize (Kb) 43936

[startup+1799.2 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 23985
/proc/meminfo: memFree=1535064/2055920 swapFree=4182960/4192956
[pid=23978] ppid=23976 vsize=5360 CPUtime=0
/proc/23978/stat : 23978 (runpbsmodels) S 23976 23978 23929 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 155379448 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 238390141764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23978/statm: 1340 234 195 169 0 51 0
[pid=23979] ppid=23978 vsize=12268 CPUtime=0
/proc/23979/stat : 23979 (pbsmodels-v1.28) S 23978 23978 23929 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 155379448 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 238399045524 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/23979/statm: 3067 383 293 3 0 167 0
[pid=23980] ppid=23979 vsize=5356 CPUtime=2.24
/proc/23980/stat : 23980 (sh) S 23979 23978 23929 0 -1 4194304 311 963 0 0 0 0 224 0 16 0 1 0 155379449 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 238390141764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23980/statm: 1339 227 188 169 0 50 0
[pid=23982] ppid=23980 vsize=8536 CPUtime=1797.5
/proc/23982/stat : 23982 (smodels) R 23980 23978 23929 0 -1 4194304 1816 0 0 0 179748 2 0 0 25 0 1 0 155379449 8740864 1780 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134549899 0 0 4096 0 0 0 0 17 1 0 0
/proc/23982/statm: 2134 1780 212 20 0 1571 0
[pid=23983] ppid=23980 vsize=12416 CPUtime=0
/proc/23983/stat : 23983 (pbout.pl) S 23980 23978 23929 0 -1 4194304 513 0 0 0 0 0 0 0 17 0 1 0 155379449 12713984 472 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 238399041634 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/23983/statm: 3104 472 333 3 0 204 0
Current children cumulated CPU time (s) 1799.74
Current children cumulated vsize (Kb) 43936

[startup+1800.2 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 23985
/proc/meminfo: memFree=1535064/2055920 swapFree=4182960/4192956
[pid=23978] ppid=23976 vsize=5360 CPUtime=0
/proc/23978/stat : 23978 (runpbsmodels) S 23976 23978 23929 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 155379448 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 238390141764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23978/statm: 1340 234 195 169 0 51 0
[pid=23979] ppid=23978 vsize=12268 CPUtime=0
/proc/23979/stat : 23979 (pbsmodels-v1.28) S 23978 23978 23929 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 155379448 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 238399045524 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/23979/statm: 3067 383 293 3 0 167 0
[pid=23980] ppid=23979 vsize=5356 CPUtime=2.24
/proc/23980/stat : 23980 (sh) S 23979 23978 23929 0 -1 4194304 311 963 0 0 0 0 224 0 16 0 1 0 155379449 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 238390141764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23980/statm: 1339 227 188 169 0 50 0
[pid=23982] ppid=23980 vsize=8536 CPUtime=1798.51
/proc/23982/stat : 23982 (smodels) R 23980 23978 23929 0 -1 4194304 1816 0 0 0 179849 2 0 0 25 0 1 0 155379449 8740864 1780 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134549906 0 0 4096 0 0 0 0 17 1 0 0
/proc/23982/statm: 2134 1780 212 20 0 1571 0
[pid=23983] ppid=23980 vsize=12416 CPUtime=0
/proc/23983/stat : 23983 (pbout.pl) S 23980 23978 23929 0 -1 4194304 513 0 0 0 0 0 0 0 17 0 1 0 155379449 12713984 472 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 238399041634 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/23983/statm: 3104 472 333 3 0 204 0
Current children cumulated CPU time (s) 1800.75
Current children cumulated vsize (Kb) 43936



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.21 s]
/proc/loadavg: 0.99 0.97 0.98 2/68 23985
/proc/meminfo: memFree=1535064/2055920 swapFree=4182960/4192956
[pid=23978] ppid=23976 vsize=5360 CPUtime=0
/proc/23978/stat : 23978 (runpbsmodels) S 23976 23978 23929 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 155379448 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 238390141764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23978/statm: 1340 234 195 169 0 51 0
[pid=23979] ppid=23978 vsize=12268 CPUtime=0
/proc/23979/stat : 23979 (pbsmodels-v1.28) S 23978 23978 23929 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 155379448 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 238399045524 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/23979/statm: 3067 383 293 3 0 167 0
[pid=23980] ppid=23979 vsize=5356 CPUtime=2.24
/proc/23980/stat : 23980 (sh) S 23979 23978 23929 0 -1 4194304 311 963 0 0 0 0 224 0 16 0 1 0 155379449 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 238390141764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23980/statm: 1339 227 188 169 0 50 0
[pid=23982] ppid=23980 vsize=8536 CPUtime=1798.51
/proc/23982/stat : 23982 (smodels) R 23980 23978 23929 0 -1 4194304 1816 0 0 0 179849 2 0 0 25 0 1 0 155379449 8740864 1780 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134549059 0 0 4096 0 0 0 0 17 1 0 0
/proc/23982/statm: 2134 1780 212 20 0 1571 0
[pid=23983] ppid=23980 vsize=12416 CPUtime=0
/proc/23983/stat : 23983 (pbout.pl) S 23980 23978 23929 0 -1 4194304 513 0 0 0 0 0 0 0 17 0 1 0 155379449 12713984 472 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 238399041634 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/23983/statm: 3104 472 333 3 0 204 0
Current children cumulated CPU time (s) 1800.75
Current children cumulated vsize (Kb) 43936

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

Child ended because it received signal 15 (SIGTERM)

!!! problem with CPU time !!!
wait4(...,&childrusage) returns 23978 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=999 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=999
CPU time returned by wait4() is 0.001998
while last known CPU time is 1800.75

Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...

Real time (s): 1800.23
CPU time (s): 1800.75
CPU user time (s): 1800.73
CPU system time (s): 0.02
CPU usage (%): 100.029
Max. virtual memory (cumulated for all children) (Kb): 43936
The end

Launcher Data (download as text)

Begin job on node41 on Fri Jul 28 11:11:24 UTC 2006


FILE ID= 49540-1154085083

PBS_JOBID= 885297

BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-des.a.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels ROOT/tmp/node41/49540-1154085083/instance-49540-1154085083.opb 346665377  ROOT/tmp/node41/49540-1154085083
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node41/watcher-49540-1154085083 -o ROOT/results/node41/solver-49540-1154085083 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels ROOT/tmp/node41/49540-1154085083/instance-49540-1154085083.opb 346665377  ROOT/tmp/node41/49540-1154085083

MD5SUM SOLVER= f639f6b7f53e3afd14340f75c0e271ee 82c14a26114306e436bf36ef1d1c85a0 c893ceb51a2aaa4ab2f96d97b043cdf0 8c810dcfce02286b111d075d14837741 79b233270d136fcdcf9d8f80d20efef0
MD5SUM BENCH=  41d95962f9f821e00bc6bf0e503d69d6

RANDOM SEED= 346665377

TIMEOUT= 1800 seconds


/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:       1543704 kB
Buffers:         33592 kB
Cached:         403268 kB
SwapCached:       3712 kB
Active:          48660 kB
Inactive:       396780 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1543704 kB
SwapTotal:     4192956 kB
SwapFree:      4182960 kB
Dirty:             204 kB
Writeback:           0 kB
Mapped:          14520 kB
Slab:            52736 kB
Committed_AS:   612944 kB
PageTables:       1492 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node41 on Fri Jul 28 11:41:24 UTC 2006