Trace number 33852

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)390033 1800.37 1799.4

General information on the benchmark

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

Verifier Data (download as text)

OK	390033

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/node59/watcher-33852-1154026899 -o ROOT/results/node59/solver-33852-1154026899 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels ROOT/tmp/node59/33852-1154026899/instance-33852-1154026899.opb 161167846 ROOT/tmp/node59/33852-1154026899 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.00 1.00 1.00 3/64 8724
/proc/meminfo: memFree=1133304/2055920 swapFree=4182992/4192956
[pid=8724] ppid=8722 vsize=5356 CPUtime=0
/proc/8724/stat : 8724 (runpbsmodels) R 8722 8724 8675 0 -1 4194304 211 0 0 0 0 0 0 0 19 0 1 0 149559707 5484544 177 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 4437552 0 0 4100 0 0 0 0 17 1 0 0
/proc/8724/statm: 1339 190 156 169 0 50 0

[startup+10.0031 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 8729
/proc/meminfo: memFree=1124072/2055920 swapFree=4182992/4192956
[pid=8724] ppid=8722 vsize=5360 CPUtime=0
/proc/8724/stat : 8724 (runpbsmodels) S 8722 8724 8675 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149559707 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8724/statm: 1340 234 195 169 0 51 0
[pid=8725] ppid=8724 vsize=12268 CPUtime=0
/proc/8725/stat : 8725 (pbsmodels-v1.28) S 8724 8724 8675 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149559708 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 217060523924 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/8725/statm: 3067 383 293 3 0 167 0
[pid=8726] ppid=8725 vsize=5356 CPUtime=4.1
/proc/8726/stat : 8726 (sh) S 8725 8724 8675 0 -1 4194304 311 976 0 0 0 0 410 0 16 0 1 0 149559708 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8726/statm: 1339 227 188 169 0 50 0
[pid=8728] ppid=8726 vsize=9972 CPUtime=7.53
/proc/8728/stat : 8728 (smodels) R 8726 8724 8675 0 -1 4194304 2174 0 0 0 752 1 0 0 25 0 1 0 149559709 10211328 2138 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134549872 0 0 4096 0 0 0 0 17 1 0 0
/proc/8728/statm: 2493 2138 209 20 0 1930 0
[pid=8729] ppid=8726 vsize=12268 CPUtime=0
/proc/8729/stat : 8729 (pbout.pl) S 8726 8724 8675 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 149559709 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 217060520034 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/8729/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 11.63
Current children cumulated vsize (Kb) 45224

[startup+20.01 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 8729
/proc/meminfo: memFree=1124200/2055920 swapFree=4182992/4192956
[pid=8724] ppid=8722 vsize=5360 CPUtime=0
/proc/8724/stat : 8724 (runpbsmodels) S 8722 8724 8675 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149559707 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8724/statm: 1340 234 195 169 0 51 0
[pid=8725] ppid=8724 vsize=12268 CPUtime=0
/proc/8725/stat : 8725 (pbsmodels-v1.28) S 8724 8724 8675 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149559708 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 217060523924 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/8725/statm: 3067 383 293 3 0 167 0
[pid=8726] ppid=8725 vsize=5356 CPUtime=4.1
/proc/8726/stat : 8726 (sh) S 8725 8724 8675 0 -1 4194304 311 976 0 0 0 0 410 0 16 0 1 0 149559708 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8726/statm: 1339 227 188 169 0 50 0
[pid=8728] ppid=8726 vsize=9972 CPUtime=17.53
/proc/8728/stat : 8728 (smodels) R 8726 8724 8675 0 -1 4194304 2174 0 0 0 1752 1 0 0 25 0 1 0 149559709 10211328 2138 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134549899 0 0 4096 0 0 0 0 17 1 0 0
/proc/8728/statm: 2493 2138 209 20 0 1930 0
[pid=8729] ppid=8726 vsize=12268 CPUtime=0
/proc/8729/stat : 8729 (pbout.pl) S 8726 8724 8675 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 149559709 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 217060520034 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/8729/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 21.63
Current children cumulated vsize (Kb) 45224

[startup+30.0169 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 8729
/proc/meminfo: memFree=1124264/2055920 swapFree=4182992/4192956
[pid=8724] ppid=8722 vsize=5360 CPUtime=0
/proc/8724/stat : 8724 (runpbsmodels) S 8722 8724 8675 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149559707 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8724/statm: 1340 234 195 169 0 51 0
[pid=8725] ppid=8724 vsize=12268 CPUtime=0
/proc/8725/stat : 8725 (pbsmodels-v1.28) S 8724 8724 8675 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149559708 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 217060523924 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/8725/statm: 3067 383 293 3 0 167 0
[pid=8726] ppid=8725 vsize=5356 CPUtime=4.1
/proc/8726/stat : 8726 (sh) S 8725 8724 8675 0 -1 4194304 311 976 0 0 0 0 410 0 16 0 1 0 149559708 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8726/statm: 1339 227 188 169 0 50 0
[pid=8728] ppid=8726 vsize=9972 CPUtime=27.53
/proc/8728/stat : 8728 (smodels) R 8726 8724 8675 0 -1 4194304 2174 0 0 0 2752 1 0 0 25 0 1 0 149559709 10211328 2138 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134550967 0 0 4096 0 0 0 0 17 1 0 0
/proc/8728/statm: 2493 2138 209 20 0 1930 0
[pid=8729] ppid=8726 vsize=12268 CPUtime=0
/proc/8729/stat : 8729 (pbout.pl) S 8726 8724 8675 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 149559709 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 217060520034 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/8729/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 31.63
Current children cumulated vsize (Kb) 45224

[startup+40.0238 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 8729
/proc/meminfo: memFree=1124264/2055920 swapFree=4182992/4192956
[pid=8724] ppid=8722 vsize=5360 CPUtime=0
/proc/8724/stat : 8724 (runpbsmodels) S 8722 8724 8675 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149559707 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8724/statm: 1340 234 195 169 0 51 0
[pid=8725] ppid=8724 vsize=12268 CPUtime=0
/proc/8725/stat : 8725 (pbsmodels-v1.28) S 8724 8724 8675 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149559708 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 217060523924 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/8725/statm: 3067 383 293 3 0 167 0
[pid=8726] ppid=8725 vsize=5356 CPUtime=4.1
/proc/8726/stat : 8726 (sh) S 8725 8724 8675 0 -1 4194304 311 976 0 0 0 0 410 0 16 0 1 0 149559708 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8726/statm: 1339 227 188 169 0 50 0
[pid=8728] ppid=8726 vsize=9972 CPUtime=37.53
/proc/8728/stat : 8728 (smodels) R 8726 8724 8675 0 -1 4194304 2174 0 0 0 3752 1 0 0 25 0 1 0 149559709 10211328 2138 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134549899 0 0 4096 0 0 0 0 17 1 0 0
/proc/8728/statm: 2493 2138 209 20 0 1930 0
[pid=8729] ppid=8726 vsize=12268 CPUtime=0
/proc/8729/stat : 8729 (pbout.pl) S 8726 8724 8675 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 149559709 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 217060520034 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/8729/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 41.63
Current children cumulated vsize (Kb) 45224

[startup+50.0308 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 8729
/proc/meminfo: memFree=1124328/2055920 swapFree=4182992/4192956
[pid=8724] ppid=8722 vsize=5360 CPUtime=0
/proc/8724/stat : 8724 (runpbsmodels) S 8722 8724 8675 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149559707 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8724/statm: 1340 234 195 169 0 51 0
[pid=8725] ppid=8724 vsize=12268 CPUtime=0
/proc/8725/stat : 8725 (pbsmodels-v1.28) S 8724 8724 8675 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149559708 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 217060523924 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/8725/statm: 3067 383 293 3 0 167 0
[pid=8726] ppid=8725 vsize=5356 CPUtime=4.1
/proc/8726/stat : 8726 (sh) S 8725 8724 8675 0 -1 4194304 311 976 0 0 0 0 410 0 16 0 1 0 149559708 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8726/statm: 1339 227 188 169 0 50 0
[pid=8728] ppid=8726 vsize=9972 CPUtime=47.53
/proc/8728/stat : 8728 (smodels) R 8726 8724 8675 0 -1 4194304 2174 0 0 0 4752 1 0 0 25 0 1 0 149559709 10211328 2138 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134550961 0 0 4096 0 0 0 0 17 1 0 0
/proc/8728/statm: 2493 2138 209 20 0 1930 0
[pid=8729] ppid=8726 vsize=12268 CPUtime=0
/proc/8729/stat : 8729 (pbout.pl) S 8726 8724 8675 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 149559709 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 217060520034 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/8729/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 51.63
Current children cumulated vsize (Kb) 45224

[startup+60.0377 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 8729
/proc/meminfo: memFree=1124328/2055920 swapFree=4182992/4192956
[pid=8724] ppid=8722 vsize=5360 CPUtime=0
/proc/8724/stat : 8724 (runpbsmodels) S 8722 8724 8675 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149559707 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8724/statm: 1340 234 195 169 0 51 0
[pid=8725] ppid=8724 vsize=12268 CPUtime=0
/proc/8725/stat : 8725 (pbsmodels-v1.28) S 8724 8724 8675 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149559708 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 217060523924 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/8725/statm: 3067 383 293 3 0 167 0
[pid=8726] ppid=8725 vsize=5356 CPUtime=4.1
/proc/8726/stat : 8726 (sh) S 8725 8724 8675 0 -1 4194304 311 976 0 0 0 0 410 0 16 0 1 0 149559708 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8726/statm: 1339 227 188 169 0 50 0
[pid=8728] ppid=8726 vsize=9972 CPUtime=57.54
/proc/8728/stat : 8728 (smodels) R 8726 8724 8675 0 -1 4194304 2174 0 0 0 5753 1 0 0 25 0 1 0 149559709 10211328 2138 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134549872 0 0 4096 0 0 0 0 17 1 0 0
/proc/8728/statm: 2493 2138 209 20 0 1930 0
[pid=8729] ppid=8726 vsize=12268 CPUtime=0
/proc/8729/stat : 8729 (pbout.pl) S 8726 8724 8675 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 149559709 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 217060520034 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/8729/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 61.64
Current children cumulated vsize (Kb) 45224

[startup+70.0446 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 8729
/proc/meminfo: memFree=1124328/2055920 swapFree=4182992/4192956
[pid=8724] ppid=8722 vsize=5360 CPUtime=0
/proc/8724/stat : 8724 (runpbsmodels) S 8722 8724 8675 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149559707 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8724/statm: 1340 234 195 169 0 51 0
[pid=8725] ppid=8724 vsize=12268 CPUtime=0
/proc/8725/stat : 8725 (pbsmodels-v1.28) S 8724 8724 8675 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149559708 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 217060523924 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/8725/statm: 3067 383 293 3 0 167 0
[pid=8726] ppid=8725 vsize=5356 CPUtime=4.1
/proc/8726/stat : 8726 (sh) S 8725 8724 8675 0 -1 4194304 311 976 0 0 0 0 410 0 16 0 1 0 149559708 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8726/statm: 1339 227 188 169 0 50 0
[pid=8728] ppid=8726 vsize=9972 CPUtime=67.54
/proc/8728/stat : 8728 (smodels) R 8726 8724 8675 0 -1 4194304 2174 0 0 0 6753 1 0 0 25 0 1 0 149559709 10211328 2138 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531490 0 0 4096 0 0 0 0 17 1 0 0
/proc/8728/statm: 2493 2138 209 20 0 1930 0
[pid=8729] ppid=8726 vsize=12268 CPUtime=0
/proc/8729/stat : 8729 (pbout.pl) S 8726 8724 8675 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 149559709 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 217060520034 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/8729/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 71.64
Current children cumulated vsize (Kb) 45224

[startup+80.0515 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 8729
/proc/meminfo: memFree=1124328/2055920 swapFree=4182992/4192956
[pid=8724] ppid=8722 vsize=5360 CPUtime=0
/proc/8724/stat : 8724 (runpbsmodels) S 8722 8724 8675 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149559707 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8724/statm: 1340 234 195 169 0 51 0
[pid=8725] ppid=8724 vsize=12268 CPUtime=0
/proc/8725/stat : 8725 (pbsmodels-v1.28) S 8724 8724 8675 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149559708 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 217060523924 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/8725/statm: 3067 383 293 3 0 167 0
[pid=8726] ppid=8725 vsize=5356 CPUtime=4.1
/proc/8726/stat : 8726 (sh) S 8725 8724 8675 0 -1 4194304 311 976 0 0 0 0 410 0 16 0 1 0 149559708 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8726/statm: 1339 227 188 169 0 50 0
[pid=8728] ppid=8726 vsize=9972 CPUtime=77.55
/proc/8728/stat : 8728 (smodels) R 8726 8724 8675 0 -1 4194304 2174 0 0 0 7753 2 0 0 25 0 1 0 149559709 10211328 2138 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531207 0 0 4096 0 0 0 0 17 1 0 0
/proc/8728/statm: 2493 2138 209 20 0 1930 0
[pid=8729] ppid=8726 vsize=12268 CPUtime=0
/proc/8729/stat : 8729 (pbout.pl) S 8726 8724 8675 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 149559709 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 217060520034 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/8729/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 81.65
Current children cumulated vsize (Kb) 45224

[startup+90.0585 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 8729
/proc/meminfo: memFree=1124328/2055920 swapFree=4182992/4192956
[pid=8724] ppid=8722 vsize=5360 CPUtime=0
/proc/8724/stat : 8724 (runpbsmodels) S 8722 8724 8675 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149559707 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8724/statm: 1340 234 195 169 0 51 0
[pid=8725] ppid=8724 vsize=12268 CPUtime=0
/proc/8725/stat : 8725 (pbsmodels-v1.28) S 8724 8724 8675 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149559708 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 217060523924 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/8725/statm: 3067 383 293 3 0 167 0
[pid=8726] ppid=8725 vsize=5356 CPUtime=4.1
/proc/8726/stat : 8726 (sh) S 8725 8724 8675 0 -1 4194304 311 976 0 0 0 0 410 0 16 0 1 0 149559708 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8726/statm: 1339 227 188 169 0 50 0
[pid=8728] ppid=8726 vsize=9972 CPUtime=87.56
/proc/8728/stat : 8728 (smodels) R 8726 8724 8675 0 -1 4194304 2174 0 0 0 8754 2 0 0 25 0 1 0 149559709 10211328 2138 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134550961 0 0 4096 0 0 0 0 17 1 0 0

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

/proc/8728/stat : 8728 (smodels) R 8726 8724 8675 0 -1 4194304 2176 0 0 0 178918 5 0 0 25 0 1 0 149559709 10211328 2140 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531031 0 0 4096 0 0 0 0 17 1 0 0
/proc/8728/statm: 2493 2140 211 20 0 1930 0
[pid=8729] ppid=8726 vsize=12424 CPUtime=0
/proc/8729/stat : 8729 (pbout.pl) S 8726 8724 8675 0 -1 4194304 498 0 0 0 0 0 0 0 16 0 1 0 149559709 12722176 457 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 217060520034 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/8729/statm: 3106 457 333 3 0 206 0
Current children cumulated CPU time (s) 1793.33
Current children cumulated vsize (Kb) 45380

[startup+1793.34 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 8729
/proc/meminfo: memFree=1124264/2055920 swapFree=4182992/4192956
[pid=8724] ppid=8722 vsize=5360 CPUtime=0
/proc/8724/stat : 8724 (runpbsmodels) S 8722 8724 8675 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149559707 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8724/statm: 1340 234 195 169 0 51 0
[pid=8725] ppid=8724 vsize=12268 CPUtime=0
/proc/8725/stat : 8725 (pbsmodels-v1.28) S 8724 8724 8675 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149559708 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 217060523924 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/8725/statm: 3067 383 293 3 0 167 0
[pid=8726] ppid=8725 vsize=5356 CPUtime=4.1
/proc/8726/stat : 8726 (sh) S 8725 8724 8675 0 -1 4194304 311 976 0 0 0 0 410 0 16 0 1 0 149559708 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8726/statm: 1339 227 188 169 0 50 0
[pid=8728] ppid=8726 vsize=9972 CPUtime=1790.23
/proc/8728/stat : 8728 (smodels) R 8726 8724 8675 0 -1 4194304 2176 0 0 0 179018 5 0 0 25 0 1 0 149559709 10211328 2140 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134518588 0 0 4096 0 0 0 0 17 1 0 0
/proc/8728/statm: 2493 2140 211 20 0 1930 0
[pid=8729] ppid=8726 vsize=12424 CPUtime=0
/proc/8729/stat : 8729 (pbout.pl) S 8726 8724 8675 0 -1 4194304 498 0 0 0 0 0 0 0 16 0 1 0 149559709 12722176 457 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 217060520034 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/8729/statm: 3106 457 333 3 0 206 0
Current children cumulated CPU time (s) 1794.33
Current children cumulated vsize (Kb) 45380

[startup+1794.34 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 8729
/proc/meminfo: memFree=1124264/2055920 swapFree=4182992/4192956
[pid=8724] ppid=8722 vsize=5360 CPUtime=0
/proc/8724/stat : 8724 (runpbsmodels) S 8722 8724 8675 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149559707 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8724/statm: 1340 234 195 169 0 51 0
[pid=8725] ppid=8724 vsize=12268 CPUtime=0
/proc/8725/stat : 8725 (pbsmodels-v1.28) S 8724 8724 8675 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149559708 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 217060523924 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/8725/statm: 3067 383 293 3 0 167 0
[pid=8726] ppid=8725 vsize=5356 CPUtime=4.1
/proc/8726/stat : 8726 (sh) S 8725 8724 8675 0 -1 4194304 311 976 0 0 0 0 410 0 16 0 1 0 149559708 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8726/statm: 1339 227 188 169 0 50 0
[pid=8728] ppid=8726 vsize=9972 CPUtime=1791.24
/proc/8728/stat : 8728 (smodels) R 8726 8724 8675 0 -1 4194304 2176 0 0 0 179119 5 0 0 25 0 1 0 149559709 10211328 2140 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134549899 0 0 4096 0 0 0 0 17 1 0 0
/proc/8728/statm: 2493 2140 211 20 0 1930 0
[pid=8729] ppid=8726 vsize=12424 CPUtime=0
/proc/8729/stat : 8729 (pbout.pl) S 8726 8724 8675 0 -1 4194304 498 0 0 0 0 0 0 0 16 0 1 0 149559709 12722176 457 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 217060520034 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/8729/statm: 3106 457 333 3 0 206 0
Current children cumulated CPU time (s) 1795.34
Current children cumulated vsize (Kb) 45380

[startup+1795.35 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 8729
/proc/meminfo: memFree=1124264/2055920 swapFree=4182992/4192956
[pid=8724] ppid=8722 vsize=5360 CPUtime=0
/proc/8724/stat : 8724 (runpbsmodels) S 8722 8724 8675 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149559707 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8724/statm: 1340 234 195 169 0 51 0
[pid=8725] ppid=8724 vsize=12268 CPUtime=0
/proc/8725/stat : 8725 (pbsmodels-v1.28) S 8724 8724 8675 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149559708 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 217060523924 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/8725/statm: 3067 383 293 3 0 167 0
[pid=8726] ppid=8725 vsize=5356 CPUtime=4.1
/proc/8726/stat : 8726 (sh) S 8725 8724 8675 0 -1 4194304 311 976 0 0 0 0 410 0 16 0 1 0 149559708 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8726/statm: 1339 227 188 169 0 50 0
[pid=8728] ppid=8726 vsize=9972 CPUtime=1792.24
/proc/8728/stat : 8728 (smodels) R 8726 8724 8675 0 -1 4194304 2176 0 0 0 179219 5 0 0 25 0 1 0 149559709 10211328 2140 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531495 0 0 4096 0 0 0 0 17 1 0 0
/proc/8728/statm: 2493 2140 211 20 0 1930 0
[pid=8729] ppid=8726 vsize=12424 CPUtime=0
/proc/8729/stat : 8729 (pbout.pl) S 8726 8724 8675 0 -1 4194304 498 0 0 0 0 0 0 0 16 0 1 0 149559709 12722176 457 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 217060520034 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/8729/statm: 3106 457 333 3 0 206 0
Current children cumulated CPU time (s) 1796.34
Current children cumulated vsize (Kb) 45380

[startup+1796.35 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 8729
/proc/meminfo: memFree=1124264/2055920 swapFree=4182992/4192956
[pid=8724] ppid=8722 vsize=5360 CPUtime=0
/proc/8724/stat : 8724 (runpbsmodels) S 8722 8724 8675 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149559707 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8724/statm: 1340 234 195 169 0 51 0
[pid=8725] ppid=8724 vsize=12268 CPUtime=0
/proc/8725/stat : 8725 (pbsmodels-v1.28) S 8724 8724 8675 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149559708 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 217060523924 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/8725/statm: 3067 383 293 3 0 167 0
[pid=8726] ppid=8725 vsize=5356 CPUtime=4.1
/proc/8726/stat : 8726 (sh) S 8725 8724 8675 0 -1 4194304 311 976 0 0 0 0 410 0 16 0 1 0 149559708 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8726/statm: 1339 227 188 169 0 50 0
[pid=8728] ppid=8726 vsize=9972 CPUtime=1793.25
/proc/8728/stat : 8728 (smodels) R 8726 8724 8675 0 -1 4194304 2176 0 0 0 179320 5 0 0 25 0 1 0 149559709 10211328 2140 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134550970 0 0 4096 0 0 0 0 17 1 0 0
/proc/8728/statm: 2493 2140 211 20 0 1930 0
[pid=8729] ppid=8726 vsize=12424 CPUtime=0
/proc/8729/stat : 8729 (pbout.pl) S 8726 8724 8675 0 -1 4194304 498 0 0 0 0 0 0 0 16 0 1 0 149559709 12722176 457 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 217060520034 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/8729/statm: 3106 457 333 3 0 206 0
Current children cumulated CPU time (s) 1797.35
Current children cumulated vsize (Kb) 45380

[startup+1797.36 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 8729
/proc/meminfo: memFree=1124264/2055920 swapFree=4182992/4192956
[pid=8724] ppid=8722 vsize=5360 CPUtime=0
/proc/8724/stat : 8724 (runpbsmodels) S 8722 8724 8675 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149559707 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8724/statm: 1340 234 195 169 0 51 0
[pid=8725] ppid=8724 vsize=12268 CPUtime=0
/proc/8725/stat : 8725 (pbsmodels-v1.28) S 8724 8724 8675 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149559708 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 217060523924 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/8725/statm: 3067 383 293 3 0 167 0
[pid=8726] ppid=8725 vsize=5356 CPUtime=4.1
/proc/8726/stat : 8726 (sh) S 8725 8724 8675 0 -1 4194304 311 976 0 0 0 0 410 0 16 0 1 0 149559708 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8726/statm: 1339 227 188 169 0 50 0
[pid=8728] ppid=8726 vsize=9972 CPUtime=1794.25
/proc/8728/stat : 8728 (smodels) R 8726 8724 8675 0 -1 4194304 2176 0 0 0 179420 5 0 0 25 0 1 0 149559709 10211328 2140 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134550961 0 0 4096 0 0 0 0 17 1 0 0
/proc/8728/statm: 2493 2140 211 20 0 1930 0
[pid=8729] ppid=8726 vsize=12424 CPUtime=0
/proc/8729/stat : 8729 (pbout.pl) S 8726 8724 8675 0 -1 4194304 498 0 0 0 0 0 0 0 16 0 1 0 149559709 12722176 457 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 217060520034 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/8729/statm: 3106 457 333 3 0 206 0
Current children cumulated CPU time (s) 1798.35
Current children cumulated vsize (Kb) 45380

[startup+1798.36 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 8729
/proc/meminfo: memFree=1124264/2055920 swapFree=4182992/4192956
[pid=8724] ppid=8722 vsize=5360 CPUtime=0
/proc/8724/stat : 8724 (runpbsmodels) S 8722 8724 8675 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149559707 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8724/statm: 1340 234 195 169 0 51 0
[pid=8725] ppid=8724 vsize=12268 CPUtime=0
/proc/8725/stat : 8725 (pbsmodels-v1.28) S 8724 8724 8675 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149559708 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 217060523924 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/8725/statm: 3067 383 293 3 0 167 0
[pid=8726] ppid=8725 vsize=5356 CPUtime=4.1
/proc/8726/stat : 8726 (sh) S 8725 8724 8675 0 -1 4194304 311 976 0 0 0 0 410 0 16 0 1 0 149559708 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8726/statm: 1339 227 188 169 0 50 0
[pid=8728] ppid=8726 vsize=9972 CPUtime=1795.26
/proc/8728/stat : 8728 (smodels) R 8726 8724 8675 0 -1 4194304 2176 0 0 0 179521 5 0 0 25 0 1 0 149559709 10211328 2140 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134550785 0 0 4096 0 0 0 0 17 1 0 0
/proc/8728/statm: 2493 2140 211 20 0 1930 0
[pid=8729] ppid=8726 vsize=12424 CPUtime=0
/proc/8729/stat : 8729 (pbout.pl) S 8726 8724 8675 0 -1 4194304 498 0 0 0 0 0 0 0 16 0 1 0 149559709 12722176 457 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 217060520034 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/8729/statm: 3106 457 333 3 0 206 0
Current children cumulated CPU time (s) 1799.36
Current children cumulated vsize (Kb) 45380

[startup+1799.37 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 8729
/proc/meminfo: memFree=1124264/2055920 swapFree=4182992/4192956
[pid=8724] ppid=8722 vsize=5360 CPUtime=0
/proc/8724/stat : 8724 (runpbsmodels) S 8722 8724 8675 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149559707 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8724/statm: 1340 234 195 169 0 51 0
[pid=8725] ppid=8724 vsize=12268 CPUtime=0
/proc/8725/stat : 8725 (pbsmodels-v1.28) S 8724 8724 8675 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149559708 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 217060523924 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/8725/statm: 3067 383 293 3 0 167 0
[pid=8726] ppid=8725 vsize=5356 CPUtime=4.1
/proc/8726/stat : 8726 (sh) S 8725 8724 8675 0 -1 4194304 311 976 0 0 0 0 410 0 16 0 1 0 149559708 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8726/statm: 1339 227 188 169 0 50 0
[pid=8728] ppid=8726 vsize=9972 CPUtime=1796.26
/proc/8728/stat : 8728 (smodels) R 8726 8724 8675 0 -1 4194304 2176 0 0 0 179621 5 0 0 25 0 1 0 149559709 10211328 2140 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134551055 0 0 4096 0 0 0 0 17 1 0 0
/proc/8728/statm: 2493 2140 211 20 0 1930 0
[pid=8729] ppid=8726 vsize=12424 CPUtime=0
/proc/8729/stat : 8729 (pbout.pl) S 8726 8724 8675 0 -1 4194304 498 0 0 0 0 0 0 0 16 0 1 0 149559709 12722176 457 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 217060520034 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/8729/statm: 3106 457 333 3 0 206 0
Current children cumulated CPU time (s) 1800.36
Current children cumulated vsize (Kb) 45380



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1799.37 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 8729
/proc/meminfo: memFree=1124264/2055920 swapFree=4182992/4192956
[pid=8724] ppid=8722 vsize=5360 CPUtime=0
/proc/8724/stat : 8724 (runpbsmodels) S 8722 8724 8675 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149559707 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8724/statm: 1340 234 195 169 0 51 0
[pid=8725] ppid=8724 vsize=12268 CPUtime=0
/proc/8725/stat : 8725 (pbsmodels-v1.28) S 8724 8724 8675 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149559708 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 217060523924 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/8725/statm: 3067 383 293 3 0 167 0
[pid=8726] ppid=8725 vsize=5356 CPUtime=4.1
/proc/8726/stat : 8726 (sh) S 8725 8724 8675 0 -1 4194304 311 976 0 0 0 0 410 0 16 0 1 0 149559708 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8726/statm: 1339 227 188 169 0 50 0
[pid=8728] ppid=8726 vsize=9972 CPUtime=1796.27
/proc/8728/stat : 8728 (smodels) R 8726 8724 8675 0 -1 4194304 2176 0 0 0 179622 5 0 0 25 0 1 0 149559709 10211328 2140 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134549873 0 0 4096 0 0 0 0 17 1 0 0
/proc/8728/statm: 2493 2140 211 20 0 1930 0
[pid=8729] ppid=8726 vsize=12424 CPUtime=0
/proc/8729/stat : 8729 (pbout.pl) S 8726 8724 8675 0 -1 4194304 498 0 0 0 0 0 0 0 16 0 1 0 149559709 12722176 457 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 217060520034 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/8729/statm: 3106 457 333 3 0 206 0
Current children cumulated CPU time (s) 1800.37
Current children cumulated vsize (Kb) 45380

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 8724 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=1999
CPU time returned by wait4() is 0.002998
while last known CPU time is 1800.37

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

Real time (s): 1799.4
CPU time (s): 1800.37
CPU user time (s): 1800.32
CPU system time (s): 0.05
CPU usage (%): 100.054
Max. virtual memory (cumulated for all children) (Kb): 45380
The end

Launcher Data (download as text)

Begin job on node59 on Thu Jul 27 19:01:39 UTC 2006


FILE ID= 33852-1154026899

PBS_JOBID= 880810

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-nsrand_ipx.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels ROOT/tmp/node59/33852-1154026899/instance-33852-1154026899.opb 161167846  ROOT/tmp/node59/33852-1154026899
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node59/watcher-33852-1154026899 -o ROOT/results/node59/solver-33852-1154026899 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels ROOT/tmp/node59/33852-1154026899/instance-33852-1154026899.opb 161167846  ROOT/tmp/node59/33852-1154026899

MD5SUM SOLVER= f639f6b7f53e3afd14340f75c0e271ee 82c14a26114306e436bf36ef1d1c85a0 c893ceb51a2aaa4ab2f96d97b043cdf0 8c810dcfce02286b111d075d14837741 79b233270d136fcdcf9d8f80d20efef0
MD5SUM BENCH=  5afe2e688387cc46a3d150d955d27ab1

RANDOM SEED= 161167846

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.263
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.263
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:       1133512 kB
Buffers:         37108 kB
Cached:         811692 kB
SwapCached:       3852 kB
Active:         219352 kB
Inactive:       638124 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1133512 kB
SwapTotal:     4192956 kB
SwapFree:      4182992 kB
Dirty:             212 kB
Writeback:           0 kB
Mapped:          14760 kB
Slab:            50884 kB
Committed_AS:  1026356 kB
PageTables:       1488 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node59 on Thu Jul 27 19:31:38 UTC 2006