Trace number 2705146

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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 NameAnswerCPU timeWall clock time
SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solverMSAT 1793.44 1793.4

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.rf8.ucl--soft-33-100-0.wbo
MD5SUM0f4cdf827473fd69202dfaa2ec82572c
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.32295
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables6832
Total number of constraints19477
Number of soft constraints13064
Number of constraints which are clauses18953
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints524
Minimum length of a constraint1
Maximum length of a constraint11
Top cost 665815
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 665814
Biggest number in a constraint 33
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 126
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

Verifier Data 

OK	17637

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2705146-1278574759/watcher-2705146-1278574759 -o /tmp/evaluation-result-2705146-1278574759/solver-2705146-1278574759 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705146-1278574759.wbo -t 1800 -m 3800 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.79 1.94 1.67 3/178 21279
/proc/meminfo: memFree=29263740/32950928 swapFree=67111528/67111528
[pid=21279] ppid=21277 vsize=12344 CPUtime=0
/proc/21279/stat : 21279 (pbscip.linux.x8) R 21277 21279 21011 0 -1 4202496 1923 0 0 0 0 0 0 0 23 0 1 0 25689718 12640256 1842 4089446400 4194304 10345943 140737415879168 18446744073709551615 9107500 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/21279/statm: 3086 1842 429 1502 0 1579 0

[startup+0.10436 s]
/proc/loadavg: 1.79 1.94 1.67 3/178 21279
/proc/meminfo: memFree=29263740/32950928 swapFree=67111528/67111528
[pid=21279] ppid=21277 vsize=38696 CPUtime=0.09
/proc/21279/stat : 21279 (pbscip.linux.x8) R 21277 21279 21011 0 -1 4202496 8517 0 0 0 9 0 0 0 23 0 1 0 25689718 39624704 8436 4089446400 4194304 10345943 140737415879168 18446744073709551615 6328979 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/21279/statm: 9674 8437 430 1502 0 8167 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 38696

[startup+0.200345 s]
/proc/loadavg: 1.79 1.94 1.67 3/178 21279
/proc/meminfo: memFree=29263740/32950928 swapFree=67111528/67111528
[pid=21279] ppid=21277 vsize=68592 CPUtime=0.19
/proc/21279/stat : 21279 (pbscip.linux.x8) R 21277 21279 21011 0 -1 4202496 16289 0 0 0 18 1 0 0 23 0 1 0 25689718 70238208 15799 4089446400 4194304 10345943 140737415879168 18446744073709551615 9145522 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21279/statm: 17148 15800 474 1502 0 15641 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 68592

[startup+0.300325 s]
/proc/loadavg: 1.79 1.94 1.67 3/178 21279
/proc/meminfo: memFree=29263740/32950928 swapFree=67111528/67111528
[pid=21279] ppid=21277 vsize=114444 CPUtime=0.29
/proc/21279/stat : 21279 (pbscip.linux.x8) R 21277 21279 21011 0 -1 4202496 27781 0 0 0 27 2 0 0 23 0 1 0 25689718 117190656 27291 4089446400 4194304 10345943 140737415879168 18446744073709551615 4601776 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21279/statm: 28611 27291 494 1502 0 27104 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 114444

[startup+0.700257 s]
/proc/loadavg: 1.79 1.94 1.67 3/178 21279
/proc/meminfo: memFree=29263740/32950928 swapFree=67111528/67111528
[pid=21279] ppid=21277 vsize=140680 CPUtime=0.69
/proc/21279/stat : 21279 (pbscip.linux.x8) R 21277 21279 21011 0 -1 4202496 34345 0 0 0 67 2 0 0 25 0 1 0 25689718 144056320 33065 4089446400 4194304 10345943 140737415879168 18446744073709551615 4882679 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21279/statm: 35170 33065 592 1502 0 33663 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 140680

[startup+1.50112 s]
/proc/loadavg: 1.79 1.94 1.67 3/179 21280
/proc/meminfo: memFree=29133440/32950928 swapFree=67111528/67111528
[pid=21279] ppid=21277 vsize=169400 CPUtime=1.49
/proc/21279/stat : 21279 (pbscip.linux.x8) R 21277 21279 21011 0 -1 4202496 40511 0 0 0 146 3 0 0 25 0 1 0 25689718 173465600 39219 4089446400 4194304 10345943 140737415879168 18446744073709551615 6777597 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21279/statm: 42350 39219 716 1502 0 40843 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 169400

[startup+3.10084 s]
/proc/loadavg: 1.79 1.94 1.67 3/179 21280
/proc/meminfo: memFree=29105416/32950928 swapFree=67111528/67111528
[pid=21279] ppid=21277 vsize=176764 CPUtime=3.09
/proc/21279/stat : 21279 (pbscip.linux.x8) R 21277 21279 21011 0 -1 4202496 41917 0 0 0 306 3 0 0 25 0 1 0 25689718 181006336 40581 4089446400 4194304 10345943 140737415879168 18446744073709551615 5849640 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21279/statm: 44191 40581 767 1502 0 42684 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 176764

[startup+6.30027 s]
/proc/loadavg: 1.80 1.94 1.67 3/179 21280
/proc/meminfo: memFree=29099436/32950928 swapFree=67111528/67111528
[pid=21279] ppid=21277 vsize=183204 CPUtime=6.29
/proc/21279/stat : 21279 (pbscip.linux.x8) R 21277 21279 21011 0 -1 4202496 43598 0 0 0 625 4 0 0 25 0 1 0 25689718 187600896 42260 4089446400 4194304 10345943 140737415879168 18446744073709551615 5849694 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21279/statm: 45801 42260 767 1502 0 44294 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 183204

[startup+12.7011 s]
/proc/loadavg: 1.82 1.94 1.67 3/179 21280
/proc/meminfo: memFree=29088992/32950928 swapFree=67111528/67111528
[pid=21279] ppid=21277 vsize=194820 CPUtime=12.69
/proc/21279/stat : 21279 (pbscip.linux.x8) R 21277 21279 21011 0 -1 4202496 66461 0 0 0 1261 8 0 0 25 0 1 0 25689718 199495680 44402 4089446400 4194304 10345943 140737415879168 18446744073709551615 6802838 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21279/statm: 48705 44402 793 1502 0 47198 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 194820

[startup+25.5008 s]
/proc/loadavg: 1.86 1.94 1.68 3/179 21280
/proc/meminfo: memFree=29073500/32950928 swapFree=67111528/67111528
[pid=21279] ppid=21277 vsize=194580 CPUtime=25.49
/proc/21279/stat : 21279 (pbscip.linux.x8) R 21277 21279 21011 0 -1 4202496 83110 0 0 0 2537 12 0 0 25 0 1 0 25689718 199249920 44626 4089446400 4194304 10345943 140737415879168 18446744073709551615 6847565 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21279/statm: 48645 44626 793 1502 0 47138 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 194580

[startup+51.1003 s]
/proc/loadavg: 1.91 1.94 1.68 3/179 21282
/proc/meminfo: memFree=29065304/32950928 swapFree=67111528/67111528
[pid=21279] ppid=21277 vsize=199016 CPUtime=51.1
/proc/21279/stat : 21279 (pbscip.linux.x8) R 21277 21279 21011 0 -1 4202496 102278 0 0 0 5090 20 0 0 25 0 1 0 25689718 203792384 45588 4089446400 4194304 10345943 140737415879168 18446744073709551615 6756379 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21279/statm: 49754 45588 797 1502 0 48247 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 199016

[startup+102.3 s]
/proc/loadavg: 1.96 1.95 1.70 3/179 21282
/proc/meminfo: memFree=29055640/32950928 swapFree=67111528/67111528
[pid=21279] ppid=21277 vsize=198400 CPUtime=102.29
/proc/21279/stat : 21279 (pbscip.linux.x8) R 21277 21279 21011 0 -1 4202496 178212 0 0 0 10194 35 0 0 25 0 1 0 25689718 203161600 46400 4089446400 4194304 10345943 140737415879168 18446744073709551615 6120538 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21279/statm: 49600 46400 787 1502 0 48093 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 198400

[startup+162.301 s]
/proc/loadavg: 1.98 1.96 1.72 3/179 21284
/proc/meminfo: memFree=29025192/32950928 swapFree=67111528/67111528
[pid=21279] ppid=21277 vsize=225668 CPUtime=162.29
/proc/21279/stat : 21279 (pbscip.linux.x8) R 21277 21279 21011 0 -1 4202496 341060 0 0 0 16165 64 0 0 25 0 1 0 25689718 231084032 52717 4089446400 4194304 10345943 140737415879168 18446744073709551615 6108031 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21279/statm: 56417 52717 789 1502 0 54910 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 225668

[startup+222.306 s]
/proc/loadavg: 1.99 1.96 1.73 3/179 21286
/proc/meminfo: memFree=28994148/32950928 swapFree=67111528/67111528
[pid=21279] ppid=21277 vsize=252388 CPUtime=222.3
/proc/21279/stat : 21279 (pbscip.linux.x8) R 21277 21279 21011 0 -1 4202496 404333 0 0 0 22147 83 0 0 25 0 1 0 25689718 258445312 59636 4089446400 4194304 10345943 140737415879168 18446744073709551615 5012568 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21279/statm: 63097 59636 789 1502 0 61590 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 252388

[startup+282.301 s]
/proc/loadavg: 1.99 1.97 1.74 3/179 21288
/proc/meminfo: memFree=28953176/32950928 swapFree=67111528/67111528
[pid=21279] ppid=21277 vsize=291372 CPUtime=282.29
/proc/21279/stat : 21279 (pbscip.linux.x8) R 21277 21279 21011 0 -1 4202496 419427 0 0 0 28137 92 0 0 25 0 1 0 25689718 298364928 69603 4089446400 4194304 10345943 140737415879168 18446744073709551615 4881982 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21279/statm: 72843 69603 789 1502 0 71336 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 291372

[startup+342.301 s]
/proc/loadavg: 1.99 1.97 1.75 3/179 21290
/proc/meminfo: memFree=28913956/32950928 swapFree=67111528/67111528
[pid=21279] ppid=21277 vsize=325644 CPUtime=342.3
/proc/21279/stat : 21279 (pbscip.linux.x8) R 21277 21279 21011 0 -1 4202496 457066 0 0 0 34126 104 0 0 25 0 1 0 25689718 333459456 78390 4089446400 4194304 10345943 140737415879168 18446744073709551615 6003033 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21279/statm: 81411 78390 789 1502 0 79904 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 325644

[startup+402.3 s]
/proc/loadavg: 1.99 1.97 1.77 3/179 21290
/proc/meminfo: memFree=28878196/32950928 swapFree=67111528/67111528
[pid=21279] ppid=21277 vsize=359600 CPUtime=402.29
/proc/21279/stat : 21279 (pbscip.linux.x8) R 21277 21279 21011 0 -1 4202496 472486 0 0 0 40117 112 0 0 25 0 1 0 25689718 368230400 85957 4089446400 4194304 10345943 140737415879168 18446744073709551615 6777576 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21279/statm: 89900 85957 789 1502 0 88393 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 359600

[startup+462.301 s]
/proc/loadavg: 1.99 1.97 1.78 3/179 21292
/proc/meminfo: memFree=28844168/32950928 swapFree=67111528/67111528
[pid=21279] ppid=21277 vsize=387984 CPUtime=462.3
/proc/21279/stat : 21279 (pbscip.linux.x8) R 21277 21279 21011 0 -1 4202496 516672 0 0 0 46103 127 0 0 25 0 1 0 25689718 397295616 93415 4089446400 4194304 10345943 140737415879168 18446744073709551615 5614817 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21279/statm: 96996 93415 790 1502 0 95489 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 387984

[startup+522.3 s]
/proc/loadavg: 1.99 1.97 1.79 3/179 21294
/proc/meminfo: memFree=28806156/32950928 swapFree=67111528/67111528
[pid=21279] ppid=21277 vsize=426268 CPUtime=522.3
/proc/21279/stat : 21279 (pbscip.linux.x8) R 21277 21279 21011 0 -1 4202496 535418 0 0 0 52093 137 0 0 25 0 1 0 25689718 436498432 102506 4089446400 4194304 10345943 140737415879168 18446744073709551615 6755827 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21279/statm: 106567 102506 790 1502 0 105060 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 426268

[startup+582.301 s]
/proc/loadavg: 2.03 1.99 1.81 3/179 21296
/proc/meminfo: memFree=28765812/32950928 swapFree=67111528/67111528
[pid=21279] ppid=21277 vsize=465220 CPUtime=582.3
/proc/21279/stat : 21279 (pbscip.linux.x8) R 21277 21279 21011 0 -1 4202496 546119 0 0 0 58086 144 0 0 25 0 1 0 25689718 476385280 111631 4089446400 4194304 10345943 140737415879168 18446744073709551615 4881982 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21279/statm: 116305 111631 790 1502 0 114798 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 465220

[startup+642.301 s]
/proc/loadavg: 2.01 1.99 1.82 3/179 21298
/proc/meminfo: memFree=28733892/32950928 swapFree=67111528/67111528
[pid=21279] ppid=21277 vsize=496620 CPUtime=642.3
/proc/21279/stat : 21279 (pbscip.linux.x8) R 21277 21279 21011 0 -1 4202496 554593 0 0 0 64080 150 0 0 25 0 1 0 25689718 508538880 119084 4089446400 4194304 10345943 140737415879168 18446744073709551615 4882679 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21279/statm: 124155 119084 790 1502 0 122648 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 496620

[startup+702.301 s]

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

/proc/meminfo: memFree=28538880/32950928 swapFree=67111528/67111528
[pid=21279] ppid=21277 vsize=670612 CPUtime=1062.31
/proc/21279/stat : 21279 (pbscip.linux.x8) R 21277 21279 21011 0 -1 4202496 639819 0 0 0 106037 194 0 0 25 0 1 0 25689718 686706688 163360 4089446400 4194304 10345943 140737415879168 18446744073709551615 6307534 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21279/statm: 167653 163360 790 1502 0 166146 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 670612

[startup+1122.3 s]
/proc/loadavg: 2.05 2.00 1.87 3/179 21310
/proc/meminfo: memFree=28509172/32950928 swapFree=67111528/67111528
[pid=21279] ppid=21277 vsize=697748 CPUtime=1122.31
/proc/21279/stat : 21279 (pbscip.linux.x8) R 21277 21279 21011 0 -1 4202496 647368 0 0 0 112032 199 0 0 25 0 1 0 25689718 714493952 169980 4089446400 4194304 10345943 140737415879168 18446744073709551615 6785237 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21279/statm: 174437 169980 790 1502 0 172930 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 697748

[startup+1182.3 s]
/proc/loadavg: 2.02 2.00 1.88 3/179 21312
/proc/meminfo: memFree=28480252/32950928 swapFree=67111528/67111528
[pid=21279] ppid=21277 vsize=726784 CPUtime=1182.31
/proc/21279/stat : 21279 (pbscip.linux.x8) R 21277 21279 21011 0 -1 4202496 655453 0 0 0 118028 203 0 0 25 0 1 0 25689718 744226816 176783 4089446400 4194304 10345943 140737415879168 18446744073709551615 4454087 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21279/statm: 181696 176783 790 1502 0 180189 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 726784

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/179 21314
/proc/meminfo: memFree=28450544/32950928 swapFree=67111528/67111528
[pid=21279] ppid=21277 vsize=753616 CPUtime=1242.31
/proc/21279/stat : 21279 (pbscip.linux.x8) R 21277 21279 21011 0 -1 4202496 663748 0 0 0 124024 207 0 0 25 0 1 0 25689718 771702784 183071 4089446400 4194304 10345943 140737415879168 18446744073709551615 4476219 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21279/statm: 188404 183071 790 1502 0 186897 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 753616

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/179 21314
/proc/meminfo: memFree=28424700/32950928 swapFree=67111528/67111528
[pid=21279] ppid=21277 vsize=775712 CPUtime=1302.31
/proc/21279/stat : 21279 (pbscip.linux.x8) R 21277 21279 21011 0 -1 4202496 669492 0 0 0 130020 211 0 0 25 0 1 0 25689718 794329088 188695 4089446400 4194304 10345943 140737415879168 18446744073709551615 4476219 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21279/statm: 193928 188695 790 1502 0 192421 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 775712

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/179 21325
/proc/meminfo: memFree=28397972/32950928 swapFree=67111528/67111528
[pid=21279] ppid=21277 vsize=801908 CPUtime=1362.31
/proc/21279/stat : 21279 (pbscip.linux.x8) R 21277 21279 21011 0 -1 4202496 676918 0 0 0 136015 216 0 0 25 0 1 0 25689718 821153792 194884 4089446400 4194304 10345943 140737415879168 18446744073709551615 4476332 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21279/statm: 200477 194884 790 1502 0 198970 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 801908

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/179 21327
/proc/meminfo: memFree=28370280/32950928 swapFree=67111528/67111528
[pid=21279] ppid=21277 vsize=828560 CPUtime=1422.32
/proc/21279/stat : 21279 (pbscip.linux.x8) R 21277 21279 21011 0 -1 4202496 687015 0 0 0 142009 223 0 0 25 0 1 0 25689718 848445440 201181 4089446400 4194304 10345943 140737415879168 18446744073709551615 4687909 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21279/statm: 207140 201181 790 1502 0 205633 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 828560

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21329
/proc/meminfo: memFree=28340232/32950928 swapFree=67111528/67111528
[pid=21279] ppid=21277 vsize=849300 CPUtime=1482.32
/proc/21279/stat : 21279 (pbscip.linux.x8) R 21277 21279 21011 0 -1 4202496 708007 0 0 0 148003 229 0 0 25 0 1 0 25689718 869683200 208631 4089446400 4194304 10345943 140737415879168 18446744073709551615 6307366 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21279/statm: 212325 208631 790 1502 0 210818 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 849300

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21331
/proc/meminfo: memFree=28315400/32950928 swapFree=67111528/67111528
[pid=21279] ppid=21277 vsize=875368 CPUtime=1542.32
/proc/21279/stat : 21279 (pbscip.linux.x8) R 21277 21279 21011 0 -1 4202496 715096 0 0 0 153998 234 0 0 25 0 1 0 25689718 896376832 214747 4089446400 4194304 10345943 140737415879168 18446744073709551615 5614700 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21279/statm: 218842 214747 790 1502 0 217335 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 875368

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21331
/proc/meminfo: memFree=28287572/32950928 swapFree=67111528/67111528
[pid=21279] ppid=21277 vsize=902980 CPUtime=1602.32
/proc/21279/stat : 21279 (pbscip.linux.x8) R 21277 21279 21011 0 -1 4202496 721497 0 0 0 159993 239 0 0 25 0 1 0 25689718 924651520 221028 4089446400 4194304 10345943 140737415879168 18446744073709551615 6702728 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21279/statm: 225745 221028 790 1502 0 224238 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 902980

[startup+1662.3 s]
/proc/loadavg: 2.07 2.02 1.91 3/179 21333
/proc/meminfo: memFree=28263580/32950928 swapFree=67111528/67111528
[pid=21279] ppid=21277 vsize=926796 CPUtime=1662.32
/proc/21279/stat : 21279 (pbscip.linux.x8) R 21277 21279 21011 0 -1 4202496 727259 0 0 0 165989 243 0 0 25 0 1 0 25689718 949039104 226680 4089446400 4194304 10345943 140737415879168 18446744073709551615 4749665 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21279/statm: 231699 226680 790 1502 0 230192 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 926796

[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 1.91 3/179 21335
/proc/meminfo: memFree=28239716/32950928 swapFree=67111528/67111528
[pid=21279] ppid=21277 vsize=947844 CPUtime=1722.32
/proc/21279/stat : 21279 (pbscip.linux.x8) R 21277 21279 21011 0 -1 4202496 739967 0 0 0 171981 251 0 0 25 0 1 0 25689718 970592256 231980 4089446400 4194304 10345943 140737415879168 18446744073709551615 5614817 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21279/statm: 236961 231980 790 1502 0 235454 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 947844

[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 1.91 3/179 21337
/proc/meminfo: memFree=28212024/32950928 swapFree=67111528/67111528
[pid=21279] ppid=21277 vsize=972204 CPUtime=1782.33
/proc/21279/stat : 21279 (pbscip.linux.x8) R 21277 21279 21011 0 -1 4202496 747374 0 0 0 177977 256 0 0 25 0 1 0 25689718 995536896 238510 4089446400 4194304 10345943 140737415879168 18446744073709551615 8160357 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21279/statm: 243051 238510 790 1502 0 241544 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 972204

Solver just ended. Dumping a history of the last processes samples

[startup+1785.6 s]
/proc/loadavg: 2.01 2.00 1.91 3/179 21364
/proc/meminfo: memFree=28306384/32950928 swapFree=67111528/67111528
[pid=21279] ppid=21277 vsize=975148 CPUtime=1785.62
/proc/21279/stat : 21279 (pbscip.linux.x8) R 21277 21279 21011 0 -1 4202496 747706 0 0 0 178306 256 0 0 25 0 1 0 25689718 998551552 238842 4089446400 4194304 10345943 140737415879168 18446744073709551615 6702728 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21279/statm: 243787 238842 790 1502 0 242280 0
Current children cumulated CPU time (s) 1785.62
Current children cumulated vsize (KiB) 975148

[startup+1788.8 s]
/proc/loadavg: 2.01 2.00 1.91 3/179 21364
/proc/meminfo: memFree=28188592/32950928 swapFree=67111528/67111528
[pid=21279] ppid=21277 vsize=975148 CPUtime=1788.82
/proc/21279/stat : 21279 (pbscip.linux.x8) R 21277 21279 21011 0 -1 4202496 747908 0 0 0 178626 256 0 0 25 0 1 0 25689718 998551552 239044 4089446400 4194304 10345943 140737415879168 18446744073709551615 5926399 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21279/statm: 243787 239044 790 1502 0 242280 0
Current children cumulated CPU time (s) 1788.82
Current children cumulated vsize (KiB) 975148

[startup+1792.01 s]
/proc/loadavg: 2.01 2.00 1.91 3/179 21364
/proc/meminfo: memFree=28187040/32950928 swapFree=67111528/67111528
[pid=21279] ppid=21277 vsize=975148 CPUtime=1792.03
/proc/21279/stat : 21279 (pbscip.linux.x8) R 21277 21279 21011 0 -1 4202496 748162 0 0 0 178947 256 0 0 25 0 1 0 25689718 998551552 239298 4089446400 4194304 10345943 140737415879168 18446744073709551615 4246693 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21279/statm: 243787 239298 790 1502 0 242280 0
Current children cumulated CPU time (s) 1792.03
Current children cumulated vsize (KiB) 975148

[startup+1792.8 s]
/proc/loadavg: 2.01 2.00 1.91 3/179 21364
/proc/meminfo: memFree=28187040/32950928 swapFree=67111528/67111528
[pid=21279] ppid=21277 vsize=975148 CPUtime=1792.82
/proc/21279/stat : 21279 (pbscip.linux.x8) R 21277 21279 21011 0 -1 4202496 748162 0 0 0 179026 256 0 0 25 0 1 0 25689718 998551552 239298 4089446400 4194304 10345943 140737415879168 18446744073709551615 9138377 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21279/statm: 243787 239298 790 1502 0 242280 0
Current children cumulated CPU time (s) 1792.82
Current children cumulated vsize (KiB) 975148

[startup+1793.2 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21364
/proc/meminfo: memFree=28186916/32950928 swapFree=67111528/67111528
[pid=21279] ppid=21277 vsize=975148 CPUtime=1793.22
/proc/21279/stat : 21279 (pbscip.linux.x8) R 21277 21279 21011 0 -1 4202496 748163 0 0 0 179066 256 0 0 25 0 1 0 25689718 998551552 239299 4089446400 4194304 10345943 140737415879168 18446744073709551615 4214934 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21279/statm: 243787 239299 791 1502 0 242280 0
Current children cumulated CPU time (s) 1793.22
Current children cumulated vsize (KiB) 975148

[startup+1793.4 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21364
/proc/meminfo: memFree=28186916/32950928 swapFree=67111528/67111528
[pid=21279] ppid=21277 vsize=101700 CPUtime=1793.43
/proc/21279/stat : 21279 (pbscip.linux.x8) R 21277 21279 21011 0 -1 4202496 748163 0 0 0 179082 261 0 0 25 0 1 0 25689718 104140800 9065 4089446400 4194304 10345943 140737415879168 18446744073709551615 9366586 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21279/statm: 25425 8832 791 1502 0 23918 0
Current children cumulated CPU time (s) 1793.43
Current children cumulated vsize (KiB) 101700

Child status: 0
Real time (s): 1793.4
CPU time (s): 1793.44
CPU user time (s): 1790.82
CPU system time (s): 2.6146
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 977880

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.82
system time used= 2.6146
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 748166
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1
involuntary context switches= 1391

runsolver used 2.58661 second user time and 5.57715 second system time

The end

Launcher Data 

Begin job on node125 at 2010-07-08 09:39:19
IDJOB=2705146
IDBENCH=79050
IDSOLVER=1214
FILE ID=node125/2705146-1278574759
PBS_JOBID= 11240203
Free space on /tmp= 73528 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-ooo.rf8.ucl--soft-33-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2705146-1278574759/watcher-2705146-1278574759 -o /tmp/evaluation-result-2705146-1278574759/solver-2705146-1278574759 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705146-1278574759.wbo -t 1800 -m 3800

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 0f4cdf827473fd69202dfaa2ec82572c
RANDOM SEED=902839186

node125.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.823
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.64
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.823
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.823
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.823
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.823
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.823
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.823
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.823
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      29264392 kB
Buffers:        133768 kB
Cached:        3296628 kB
SwapCached:          0 kB
Active:         960204 kB
Inactive:      2567896 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29264392 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           26260 kB
Writeback:           0 kB
AnonPages:       97164 kB
Mapped:          17612 kB
Slab:            93792 kB
PageTables:       4752 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   246652 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73516 MiB
End job on node125 at 2010-07-08 10:09:13