Trace number 453470

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
oree 0.1.2 alphaSAT (TO)16 1800.2 1800.81

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_25_4.opb
MD5SUM64354bd2b9c3cc2f1ca2c32032e5c032
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark12
Best CPU time to get the best result obtained on this benchmark1800.11
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 12
Optimality of the best value was proved NO
Number of variables200
Total number of constraints200
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints200
Minimum length of a constraint26
Maximum length of a constraint51
Number of terms in the objective function 200
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)6260
Sum of products size (including duplicates)12520
Number of different products6260
Sum of products size12520

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

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

Verifier Data (download as text)

OK	16

Conversion Script Data (download as text)

sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/453470-1178139572/instance-453470-1178139572.opb
mv /tmp/evaluation/453470-1178139572/instance-453470-1178139572.opb.tmp /tmp/evaluation/453470-1178139572/instance-453470-1178139572.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node17/watcher-453470-1178139572 -o ROOT/results/node17/solver-453470-1178139572 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/453470-1178139572/instance-453470-1178139572.opb mod 

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


[startup+0 s]
/proc/loadavg: 0.99 1.01 1.00 3/77 13549
/proc/meminfo: memFree=1674688/2055920 swapFree=4140116/4192956
[pid=13549] ppid=13547 vsize=1468 CPUtime=0
/proc/13549/stat : 13549 (oree) R 13547 13549 13413 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 261874777 1503232 164 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13549/statm: 367 164 130 317 0 46 0

[startup+0.100464 s]
/proc/loadavg: 0.99 1.01 1.00 3/77 13549
/proc/meminfo: memFree=1674688/2055920 swapFree=4140116/4192956
[pid=13549] ppid=13547 vsize=5744 CPUtime=0.09
/proc/13549/stat : 13549 (oree) R 13547 13549 13413 0 -1 4194304 1248 0 0 0 9 0 0 0 18 0 1 0 261874777 5881856 1231 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13549/statm: 1436 1231 137 317 0 1115 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5744

[startup+0.201474 s]
/proc/loadavg: 0.99 1.01 1.00 3/77 13549
/proc/meminfo: memFree=1674688/2055920 swapFree=4140116/4192956
[pid=13549] ppid=13547 vsize=6884 CPUtime=0.19
/proc/13549/stat : 13549 (oree) R 13547 13549 13413 0 -1 4194304 1555 0 0 0 19 0 0 0 18 0 1 0 261874777 7049216 1451 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13549/statm: 1721 1451 170 317 0 1400 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 6884

[startup+0.301484 s]
/proc/loadavg: 0.99 1.01 1.00 3/77 13549
/proc/meminfo: memFree=1674688/2055920 swapFree=4140116/4192956
[pid=13549] ppid=13547 vsize=7016 CPUtime=0.29
/proc/13549/stat : 13549 (oree) R 13547 13549 13413 0 -1 4194304 1615 0 0 0 29 0 0 0 19 0 1 0 261874777 7184384 1511 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13549/statm: 1754 1511 170 317 0 1433 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7016

[startup+0.701526 s]
/proc/loadavg: 0.99 1.01 1.00 3/77 13549
/proc/meminfo: memFree=1674688/2055920 swapFree=4140116/4192956
[pid=13549] ppid=13547 vsize=9012 CPUtime=0.69
/proc/13549/stat : 13549 (oree) R 13547 13549 13413 0 -1 4194304 2093 0 0 0 69 0 0 0 22 0 1 0 261874777 9228288 1989 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13549/statm: 2253 1989 170 317 0 1932 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9012

[startup+1.50161 s]
/proc/loadavg: 0.99 1.01 1.00 2/78 13550
/proc/meminfo: memFree=1665912/2055920 swapFree=4140116/4192956
[pid=13549] ppid=13547 vsize=12212 CPUtime=1.49
/proc/13549/stat : 13549 (oree) R 13547 13549 13413 0 -1 4194304 2898 0 0 0 149 0 0 0 25 0 1 0 261874777 12505088 2794 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134593552 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13549/statm: 3053 2794 170 317 0 2732 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12212

[startup+3.10178 s]
/proc/loadavg: 0.99 1.01 1.00 2/78 13550
/proc/meminfo: memFree=1661624/2055920 swapFree=4140116/4192956
[pid=13549] ppid=13547 vsize=16232 CPUtime=3.09
/proc/13549/stat : 13549 (oree) R 13547 13549 13413 0 -1 4194304 3912 0 0 0 308 1 0 0 25 0 1 0 261874777 16621568 3808 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13549/statm: 4058 3808 170 317 0 3737 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16232

[startup+6.30111 s]
/proc/loadavg: 0.99 1.01 1.00 2/78 13550
/proc/meminfo: memFree=1654456/2055920 swapFree=4140116/4192956
[pid=13549] ppid=13547 vsize=23264 CPUtime=6.28
/proc/13549/stat : 13549 (oree) R 13547 13549 13413 0 -1 4194304 5639 0 0 0 626 2 0 0 25 0 1 0 261874777 23822336 5535 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13549/statm: 5816 5535 170 317 0 5495 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 23264

[startup+12.7018 s]
/proc/loadavg: 0.99 1.01 1.00 2/78 13550
/proc/meminfo: memFree=1644920/2055920 swapFree=4140116/4192956
[pid=13549] ppid=13547 vsize=32028 CPUtime=12.68
/proc/13549/stat : 13549 (oree) R 13547 13549 13413 0 -1 4194304 7783 0 0 0 1265 3 0 0 25 0 1 0 261874777 32796672 7679 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13549/statm: 8007 7679 170 317 0 7686 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 32028

[startup+25.5011 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 13550
/proc/meminfo: memFree=1632696/2055920 swapFree=4140116/4192956
[pid=13549] ppid=13547 vsize=44000 CPUtime=25.48
/proc/13549/stat : 13549 (oree) R 13547 13549 13413 0 -1 4194304 10722 0 0 0 2543 5 0 0 25 0 1 0 261874777 45056000 10618 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13549/statm: 11000 10618 170 317 0 10679 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 44000

[startup+51.1018 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 13550
/proc/meminfo: memFree=1617272/2055920 swapFree=4140116/4192956
[pid=13549] ppid=13547 vsize=59696 CPUtime=51.08
/proc/13549/stat : 13549 (oree) R 13547 13549 13413 0 -1 4194304 14622 0 0 0 5100 8 0 0 25 0 1 0 261874777 61128704 14518 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13549/statm: 14924 14518 170 317 0 14603 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 59696

[startup+102.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/84 13632
/proc/meminfo: memFree=1591864/2055920 swapFree=4140116/4192956
[pid=13549] ppid=13547 vsize=84816 CPUtime=102.23
/proc/13549/stat : 13549 (oree) R 13547 13549 13413 0 -1 4194304 20559 0 0 0 10211 12 0 0 25 0 1 0 261874777 86851584 20455 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13549/statm: 21204 20455 170 317 0 20883 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 84816

[startup+162.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 13748
/proc/meminfo: memFree=1570552/2055920 swapFree=4140116/4192956
[pid=13549] ppid=13547 vsize=107864 CPUtime=162.15
/proc/13549/stat : 13549 (oree) R 13547 13549 13413 0 -1 4194304 26141 0 0 0 16199 16 0 0 25 0 1 0 261874777 110452736 26037 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13549/statm: 26966 26037 170 317 0 26645 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 107864

[startup+222.306 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 13748
/proc/meminfo: memFree=1552312/2055920 swapFree=4140116/4192956
[pid=13549] ppid=13547 vsize=126376 CPUtime=222.13
/proc/13549/stat : 13549 (oree) R 13547 13549 13413 0 -1 4194304 30693 0 0 0 22195 18 0 0 25 0 1 0 261874777 129409024 30589 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13549/statm: 31594 30589 170 317 0 31273 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 126376

[startup+282.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 13748
/proc/meminfo: memFree=1538872/2055920 swapFree=4140116/4192956
[pid=13549] ppid=13547 vsize=140244 CPUtime=282.11
/proc/13549/stat : 13549 (oree) R 13547 13549 13413 0 -1 4194304 34108 0 0 0 28191 20 0 0 25 0 1 0 261874777 143609856 34004 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134563659 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13549/statm: 35061 34004 170 317 0 34740 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 140244

[startup+342.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 13748
/proc/meminfo: memFree=1524408/2055920 swapFree=4140116/4192956
[pid=13549] ppid=13547 vsize=156208 CPUtime=342.09
/proc/13549/stat : 13549 (oree) R 13547 13549 13413 0 -1 4194304 37684 0 0 0 34187 22 0 0 25 0 1 0 261874777 159956992 37580 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13549/statm: 39052 37580 170 317 0 38731 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 156208

[startup+402.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 13748
/proc/meminfo: memFree=1513784/2055920 swapFree=4140116/4192956
[pid=13549] ppid=13547 vsize=167432 CPUtime=402.08
/proc/13549/stat : 13549 (oree) R 13547 13549 13413 0 -1 4194304 40510 0 0 0 40184 24 0 0 25 0 1 0 261874777 171450368 40232 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13549/statm: 41858 40232 170 317 0 41537 0
Current children cumulated CPU time (s) 402.08
Current children cumulated vsize (KiB) 167432

[startup+462.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 13748
/proc/meminfo: memFree=1503160/2055920 swapFree=4140116/4192956
[pid=13549] ppid=13547 vsize=178368 CPUtime=462.06
/proc/13549/stat : 13549 (oree) R 13547 13549 13413 0 -1 4194304 43205 0 0 0 46179 27 0 0 25 0 1 0 261874777 182648832 42927 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13549/statm: 44592 42927 170 317 0 44271 0
Current children cumulated CPU time (s) 462.06
Current children cumulated vsize (KiB) 178368

[startup+522.302 s]
/proc/loadavg: 1.04 1.01 1.00 2/78 13748
/proc/meminfo: memFree=1492728/2055920 swapFree=4140116/4192956
[pid=13549] ppid=13547 vsize=189368 CPUtime=522.04
/proc/13549/stat : 13549 (oree) R 13547 13549 13413 0 -1 4194304 45794 0 0 0 52176 28 0 0 25 0 1 0 261874777 193912832 45516 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13549/statm: 47342 45516 170 317 0 47021 0
Current children cumulated CPU time (s) 522.04
Current children cumulated vsize (KiB) 189368

[startup+582.301 s]
/proc/loadavg: 1.01 1.01 1.00 2/78 13748
/proc/meminfo: memFree=1481144/2055920 swapFree=4140116/4192956
[pid=13549] ppid=13547 vsize=201972 CPUtime=582.03
/proc/13549/stat : 13549 (oree) R 13547 13549 13413 0 -1 4194304 48646 0 0 0 58172 31 0 0 25 0 1 0 261874777 206819328 48368 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13549/statm: 50493 48368 170 317 0 50172 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 201972

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13748
/proc/meminfo: memFree=1471672/2055920 swapFree=4140116/4192956
[pid=13549] ppid=13547 vsize=211232 CPUtime=642.01
/proc/13549/stat : 13549 (oree) R 13547 13549 13413 0 -1 4194304 51019 0 0 0 64168 33 0 0 25 0 1 0 261874777 216301568 50741 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13549/statm: 52808 50741 170 317 0 52487 0
Current children cumulated CPU time (s) 642.01
Current children cumulated vsize (KiB) 211232


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

[startup+882.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13748
/proc/meminfo: memFree=1432952/2055920 swapFree=4140116/4192956
[pid=13549] ppid=13547 vsize=252100 CPUtime=881.95
/proc/13549/stat : 13549 (oree) R 13547 13549 13413 0 -1 4194304 60785 0 0 0 88156 39 0 0 25 0 1 0 261874777 258150400 60441 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13549/statm: 63025 60441 170 317 0 62704 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 252100

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13748
/proc/meminfo: memFree=1423544/2055920 swapFree=4140116/4192956
[pid=13549] ppid=13547 vsize=261716 CPUtime=941.93
/proc/13549/stat : 13549 (oree) R 13547 13549 13413 0 -1 4194304 63122 0 0 0 94152 41 0 0 25 0 1 0 261874777 267997184 62778 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13549/statm: 65429 62778 170 317 0 65108 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 261716

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13748
/proc/meminfo: memFree=1414584/2055920 swapFree=4140116/4192956
[pid=13549] ppid=13547 vsize=271916 CPUtime=1001.91
/proc/13549/stat : 13549 (oree) R 13547 13549 13413 0 -1 4194304 65381 0 0 0 100149 42 0 0 25 0 1 0 261874777 278441984 65004 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13549/statm: 67979 65004 170 317 0 67658 0
Current children cumulated CPU time (s) 1001.91
Current children cumulated vsize (KiB) 271916

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13748
/proc/meminfo: memFree=1406776/2055920 swapFree=4140116/4192956
[pid=13549] ppid=13547 vsize=280240 CPUtime=1061.89
/proc/13549/stat : 13549 (oree) R 13547 13549 13413 0 -1 4194304 67358 0 0 0 106146 43 0 0 25 0 1 0 261874777 286965760 66981 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13549/statm: 70060 66981 170 317 0 69739 0
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (KiB) 280240

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13748
/proc/meminfo: memFree=1399352/2055920 swapFree=4140116/4192956
[pid=13549] ppid=13547 vsize=287416 CPUtime=1121.88
/proc/13549/stat : 13549 (oree) R 13547 13549 13413 0 -1 4194304 69238 0 0 0 112144 44 0 0 25 0 1 0 261874777 294313984 68828 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13549/statm: 71854 68828 170 317 0 71533 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 287416

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13748
/proc/meminfo: memFree=1391352/2055920 swapFree=4140116/4192956
[pid=13549] ppid=13547 vsize=296420 CPUtime=1181.86
/proc/13549/stat : 13549 (oree) R 13547 13549 13413 0 -1 4194304 71287 0 0 0 118140 46 0 0 25 0 1 0 261874777 303534080 70877 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134718670 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13549/statm: 74105 70877 170 317 0 73784 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 296420

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13748
/proc/meminfo: memFree=1381944/2055920 swapFree=4140116/4192956
[pid=13549] ppid=13547 vsize=306024 CPUtime=1241.85
/proc/13549/stat : 13549 (oree) R 13547 13549 13413 0 -1 4194304 73565 0 0 0 124138 47 0 0 25 0 1 0 261874777 313368576 73155 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13549/statm: 76506 73155 170 317 0 76185 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 306024

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13748
/proc/meminfo: memFree=1372920/2055920 swapFree=4140116/4192956
[pid=13549] ppid=13547 vsize=318784 CPUtime=1301.83
/proc/13549/stat : 13549 (oree) R 13547 13549 13413 0 -1 4194304 76381 0 0 0 130134 49 0 0 25 0 1 0 261874777 326434816 75443 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134710848 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13549/statm: 79696 75443 170 317 0 79375 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 318784

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13748
/proc/meminfo: memFree=1365112/2055920 swapFree=4140116/4192956
[pid=13549] ppid=13547 vsize=326552 CPUtime=1361.81
/proc/13549/stat : 13549 (oree) R 13547 13549 13413 0 -1 4194304 78340 0 0 0 136131 50 0 0 25 0 1 0 261874777 334389248 77369 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13549/statm: 81638 77369 170 317 0 81317 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 326552

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13748
/proc/meminfo: memFree=1358072/2055920 swapFree=4140116/4192956
[pid=13549] ppid=13547 vsize=333164 CPUtime=1421.8
/proc/13549/stat : 13549 (oree) R 13547 13549 13413 0 -1 4194304 80074 0 0 0 142129 51 0 0 25 0 1 0 261874777 341159936 79103 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13549/statm: 83291 79103 170 317 0 82970 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 333164

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13748
/proc/meminfo: memFree=1351736/2055920 swapFree=4140116/4192956
[pid=13549] ppid=13547 vsize=339460 CPUtime=1481.78
/proc/13549/stat : 13549 (oree) R 13547 13549 13413 0 -1 4194304 81677 0 0 0 148126 52 0 0 25 0 1 0 261874777 347607040 80706 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13549/statm: 84865 80706 170 317 0 84544 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 339460

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13748
/proc/meminfo: memFree=1345272/2055920 swapFree=4140116/4192956
[pid=13549] ppid=13547 vsize=345460 CPUtime=1541.76
/proc/13549/stat : 13549 (oree) R 13547 13549 13413 0 -1 4194304 83267 0 0 0 154123 53 0 0 25 0 1 0 261874777 353751040 82296 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13549/statm: 86365 82296 170 317 0 86044 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 345460

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13748
/proc/meminfo: memFree=1339064/2055920 swapFree=4140116/4192956
[pid=13549] ppid=13547 vsize=351420 CPUtime=1601.74
/proc/13549/stat : 13549 (oree) R 13547 13549 13413 0 -1 4194304 84819 0 0 0 160120 54 0 0 25 0 1 0 261874777 359854080 83848 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13549/statm: 87855 83848 170 317 0 87534 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 351420

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/78 13748
/proc/meminfo: memFree=1334072/2055920 swapFree=4140116/4192956
[pid=13549] ppid=13547 vsize=356352 CPUtime=1661.73
/proc/13549/stat : 13549 (oree) R 13547 13549 13413 0 -1 4194304 86065 0 0 0 166118 55 0 0 25 0 1 0 261874777 364904448 85094 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13549/statm: 89088 85094 170 317 0 88767 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 356352

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13748
/proc/meminfo: memFree=1328888/2055920 swapFree=4140116/4192956
[pid=13549] ppid=13547 vsize=361492 CPUtime=1721.71
/proc/13549/stat : 13549 (oree) R 13547 13549 13413 0 -1 4194304 87370 0 0 0 172115 56 0 0 25 0 1 0 261874777 370167808 86399 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 135284210 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13549/statm: 90373 86399 170 317 0 90052 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 361492

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13748
/proc/meminfo: memFree=1322872/2055920 swapFree=4140116/4192956
[pid=13549] ppid=13547 vsize=367148 CPUtime=1781.69
/proc/13549/stat : 13549 (oree) R 13547 13549 13413 0 -1 4194304 88858 0 0 0 178112 57 0 0 25 0 1 0 261874777 375959552 87887 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134564074 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13549/statm: 91787 87887 170 317 0 91466 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 367148



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13748
/proc/meminfo: memFree=1321336/2055920 swapFree=4140116/4192956
[pid=13549] ppid=13547 vsize=368716 CPUtime=1800.1
/proc/13549/stat : 13549 (oree) R 13547 13549 13413 0 -1 4194304 89233 0 0 0 179952 58 0 0 25 0 1 0 261874777 377565184 88262 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134563302 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13549/statm: 92179 88262 170 317 0 91858 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 368716

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

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

[startup+1800.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13748
/proc/meminfo: memFree=1321336/2055920 swapFree=4140116/4192956
[pid=13549] ppid=13547 vsize=0 CPUtime=1800.19
/proc/13549/stat : 13549 (oree) R 13547 13549 13413 0 -1 4194308 89249 0 0 0 179956 63 0 0 25 0 1 0 261874777 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 0 0 0
/proc/13549/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.81
CPU time (s): 1800.2
CPU user time (s): 1799.57
CPU system time (s): 0.635903
CPU usage (%): 99.9662
Max. virtual memory (cumulated for all children) (KiB): 368732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.57
system time used= 0.635903
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89249
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9
involuntary context switches= 2843

runsolver used 1.40878 second user time and 4.03839 second system time

The end

Launcher Data (download as text)

Begin job on node17 on Wed May  2 20:59:33 UTC 2007

IDJOB= 453470
IDBENCH= 48132
IDSOLVER= 172
FILE ID= node17/453470-1178139572

PBS_JOBID= 4751063

Free space on /tmp= 66563 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_25_4.opb
COMMAND LINE= oree /tmp/evaluation/453470-1178139572/instance-453470-1178139572.opb mod           
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node17/convwatcher-453470-1178139572 -o ROOT/results/node17/conversion-453470-1178139572 -C 600 -M 1800 /tmp/evaluation/453470-1178139572/substituteSizeProductKeyword /tmp/evaluation/453470-1178139572/instance-453470-1178139572.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node17/watcher-453470-1178139572 -o ROOT/results/node17/solver-453470-1178139572 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/453470-1178139572/instance-453470-1178139572.opb mod           

META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e
MD5SUM BENCH=  64354bd2b9c3cc2f1ca2c32032e5c032

RANDOM SEED= 636766172

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node17.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.240
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.240
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1675160 kB
Buffers:         81132 kB
Cached:         207820 kB
SwapCached:      15008 kB
Active:         145376 kB
Inactive:       168636 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1675160 kB
SwapTotal:     4192956 kB
SwapFree:      4140116 kB
Dirty:            1400 kB
Writeback:           0 kB
Mapped:          30756 kB
Slab:            52304 kB
Committed_AS:  9801724 kB
PageTables:       1800 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66563 MiB

End job on node17 on Wed May  2 21:29:35 UTC 2007