Trace number 453860

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)17 1800.11 1800.7

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_25_3.opb
MD5SUM0e507441d4bf529adaad354902c51a54
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.12
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 constraint46
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)6216
Sum of products size (including duplicates)12432
Number of different products6216
Sum of products size12432

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

Verifier Data (download as text)

OK	17

Conversion Script Data (download as text)

sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/453860-1178160807/instance-453860-1178160807.opb
mv /tmp/evaluation/453860-1178160807/instance-453860-1178160807.opb.tmp /tmp/evaluation/453860-1178160807/instance-453860-1178160807.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node6/watcher-453860-1178160807 -o ROOT/results/node6/solver-453860-1178160807 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/453860-1178160807/instance-453860-1178160807.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.92 0.98 0.99 3/77 26172
/proc/meminfo: memFree=1773232/2055924 swapFree=4146580/4192956
[pid=26172] ppid=26170 vsize=1468 CPUtime=0
/proc/26172/stat : 26172 (oree) R 26170 26172 24835 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 292118395 1503232 164 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26172/statm: 367 164 130 317 0 46 0

[startup+0.0211449 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 26172
/proc/meminfo: memFree=1773232/2055924 swapFree=4146580/4192956
[pid=26172] ppid=26170 vsize=1732 CPUtime=0.01
/proc/26172/stat : 26172 (oree) R 26170 26172 24835 0 -1 4194304 255 0 0 0 1 0 0 0 18 0 1 0 292118395 1773568 238 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26172/statm: 433 238 130 317 0 112 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 1732

[startup+0.102139 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 26172
/proc/meminfo: memFree=1773232/2055924 swapFree=4146580/4192956
[pid=26172] ppid=26170 vsize=5724 CPUtime=0.09
/proc/26172/stat : 26172 (oree) R 26170 26172 24835 0 -1 4194304 1247 0 0 0 9 0 0 0 18 0 1 0 292118395 5861376 1230 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26172/statm: 1431 1230 137 317 0 1110 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5724

[startup+0.302162 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 26172
/proc/meminfo: memFree=1773232/2055924 swapFree=4146580/4192956
[pid=26172] ppid=26170 vsize=6992 CPUtime=0.29
/proc/26172/stat : 26172 (oree) R 26170 26172 24835 0 -1 4194304 1609 0 0 0 29 0 0 0 19 0 1 0 292118395 7159808 1505 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26172/statm: 1748 1505 170 317 0 1427 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6992

[startup+0.701208 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 26172
/proc/meminfo: memFree=1773232/2055924 swapFree=4146580/4192956
[pid=26172] ppid=26170 vsize=8856 CPUtime=0.68
/proc/26172/stat : 26172 (oree) R 26170 26172 24835 0 -1 4194304 2056 0 0 0 68 0 0 0 23 0 1 0 292118395 9068544 1952 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26172/statm: 2214 1952 170 317 0 1893 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 8856

[startup+1.5013 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 26173
/proc/meminfo: memFree=1764968/2055924 swapFree=4146580/4192956
[pid=26172] ppid=26170 vsize=11664 CPUtime=1.49
/proc/26172/stat : 26172 (oree) R 26170 26172 24835 0 -1 4194304 2762 0 0 0 148 1 0 0 25 0 1 0 292118395 11943936 2658 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26172/statm: 2916 2658 170 317 0 2595 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11664

[startup+3.10149 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 26173
/proc/meminfo: memFree=1761128/2055924 swapFree=4146580/4192956
[pid=26172] ppid=26170 vsize=15872 CPUtime=3.09
/proc/26172/stat : 26172 (oree) R 26170 26172 24835 0 -1 4194304 3800 0 0 0 308 1 0 0 25 0 1 0 292118395 16252928 3696 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26172/statm: 3968 3696 170 317 0 3647 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15872

[startup+6.30187 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 26173
/proc/meminfo: memFree=1754024/2055924 swapFree=4146580/4192956
[pid=26172] ppid=26170 vsize=22352 CPUtime=6.29
/proc/26172/stat : 26172 (oree) R 26170 26172 24835 0 -1 4194304 5405 0 0 0 627 2 0 0 25 0 1 0 292118395 22888448 5301 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26172/statm: 5588 5301 170 317 0 5267 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 22352

[startup+12.7016 s]
/proc/loadavg: 0.94 0.98 0.99 2/78 26173
/proc/meminfo: memFree=1745576/2055924 swapFree=4146580/4192956
[pid=26172] ppid=26170 vsize=30108 CPUtime=12.69
/proc/26172/stat : 26172 (oree) R 26170 26172 24835 0 -1 4194304 7297 0 0 0 1266 3 0 0 25 0 1 0 292118395 30830592 7193 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134563634 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26172/statm: 7527 7193 170 317 0 7206 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 30108

[startup+25.5021 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 26173
/proc/meminfo: memFree=1732008/2055924 swapFree=4146580/4192956
[pid=26172] ppid=26170 vsize=43188 CPUtime=25.49
/proc/26172/stat : 26172 (oree) R 26170 26172 24835 0 -1 4194304 10535 0 0 0 2544 5 0 0 25 0 1 0 292118395 44224512 10431 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134718318 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26172/statm: 10797 10431 170 317 0 10476 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 43188

[startup+51.1011 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 26173
/proc/meminfo: memFree=1711656/2055924 swapFree=4146580/4192956
[pid=26172] ppid=26170 vsize=64812 CPUtime=51.08
/proc/26172/stat : 26172 (oree) R 26170 26172 24835 0 -1 4194304 15699 0 0 0 5101 7 0 0 25 0 1 0 292118395 66367488 15595 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26172/statm: 16203 15595 170 317 0 15882 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 64812

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 26173
/proc/meminfo: memFree=1682088/2055924 swapFree=4146580/4192956
[pid=26172] ppid=26170 vsize=94428 CPUtime=102.27
/proc/26172/stat : 26172 (oree) R 26170 26172 24835 0 -1 4194304 22970 0 0 0 10216 11 0 0 25 0 1 0 292118395 96694272 22866 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26172/statm: 23607 22866 170 317 0 23286 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 94428

[startup+162.301 s]
/proc/loadavg: 1.07 1.00 1.00 2/78 26173
/proc/meminfo: memFree=1657320/2055924 swapFree=4146580/4192956
[pid=26172] ppid=26170 vsize=121140 CPUtime=162.25
/proc/26172/stat : 26172 (oree) R 26170 26172 24835 0 -1 4194304 29174 0 0 0 16211 14 0 0 25 0 1 0 292118395 124047360 29070 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26172/statm: 30285 29070 170 317 0 29964 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 121140

[startup+222.301 s]
/proc/loadavg: 1.02 1.00 1.00 2/78 26173
/proc/meminfo: memFree=1641704/2055924 swapFree=4146580/4192956
[pid=26172] ppid=26170 vsize=137144 CPUtime=222.23
/proc/26172/stat : 26172 (oree) R 26170 26172 24835 0 -1 4194304 33024 0 0 0 22206 17 0 0 25 0 1 0 292118395 140435456 32920 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26172/statm: 34286 32920 170 317 0 33965 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 137144

[startup+282.302 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 26173
/proc/meminfo: memFree=1627816/2055924 swapFree=4146580/4192956
[pid=26172] ppid=26170 vsize=151092 CPUtime=282.21
/proc/26172/stat : 26172 (oree) R 26170 26172 24835 0 -1 4194304 36533 0 0 0 28202 19 0 0 25 0 1 0 292118395 154718208 36429 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26172/statm: 37773 36429 170 317 0 37452 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 151092

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26173
/proc/meminfo: memFree=1616424/2055924 swapFree=4146580/4192956
[pid=26172] ppid=26170 vsize=162172 CPUtime=342.2
/proc/26172/stat : 26172 (oree) R 26170 26172 24835 0 -1 4194304 39319 0 0 0 34199 21 0 0 25 0 1 0 292118395 166064128 39215 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134718650 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26172/statm: 40543 39215 170 317 0 40222 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 162172

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26173
/proc/meminfo: memFree=1605736/2055924 swapFree=4146580/4192956
[pid=26172] ppid=26170 vsize=174440 CPUtime=402.18
/proc/26172/stat : 26172 (oree) R 26170 26172 24835 0 -1 4194304 42194 0 0 0 40195 23 0 0 25 0 1 0 292118395 178626560 41917 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26172/statm: 43610 41917 170 317 0 43289 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 174440

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/84 26245
/proc/meminfo: memFree=1591416/2055924 swapFree=4146580/4192956
[pid=26172] ppid=26170 vsize=187912 CPUtime=462.14
/proc/26172/stat : 26172 (oree) R 26170 26172 24835 0 -1 4194304 45433 0 0 0 46189 25 0 0 25 0 1 0 292118395 192421888 45156 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134563634 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26172/statm: 46978 45156 170 317 0 46657 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 187912

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26371
/proc/meminfo: memFree=1578216/2055924 swapFree=4146580/4192956
[pid=26172] ppid=26170 vsize=203596 CPUtime=522.05
/proc/26172/stat : 26172 (oree) R 26170 26172 24835 0 -1 4194304 49018 0 0 0 52178 27 0 0 25 0 1 0 292118395 208482304 48741 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26172/statm: 50899 48741 170 317 0 50578 0
Current children cumulated CPU time (s) 522.05
Current children cumulated vsize (KiB) 203596

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26371
/proc/meminfo: memFree=1563240/2055924 swapFree=4146580/4192956
[pid=26172] ppid=26170 vsize=219388 CPUtime=582.03
/proc/26172/stat : 26172 (oree) R 26170 26172 24835 0 -1 4194304 52888 0 0 0 58173 30 0 0 25 0 1 0 292118395 224653312 52446 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26172/statm: 54847 52446 170 317 0 54526 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 219388

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26371
/proc/meminfo: memFree=1550632/2055924 swapFree=4146580/4192956
[pid=26172] ppid=26170 vsize=231568 CPUtime=642.02
/proc/26172/stat : 26172 (oree) R 26170 26172 24835 0 -1 4194304 56027 0 0 0 64170 32 0 0 25 0 1 0 292118395 237125632 55585 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26172/statm: 57892 55585 170 317 0 57571 0
Current children cumulated CPU time (s) 642.02
Current children cumulated vsize (KiB) 231568


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

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26371
/proc/meminfo: memFree=1517160/2055924 swapFree=4146580/4192956
[pid=26172] ppid=26170 vsize=267832 CPUtime=821.97
/proc/26172/stat : 26172 (oree) R 26170 26172 24835 0 -1 4194304 64375 0 0 0 82159 38 0 0 25 0 1 0 292118395 274259968 63933 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26172/statm: 66958 63933 170 317 0 66637 0
Current children cumulated CPU time (s) 821.97
Current children cumulated vsize (KiB) 267832

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26371
/proc/meminfo: memFree=1508392/2055924 swapFree=4146580/4192956
[pid=26172] ppid=26170 vsize=276348 CPUtime=881.95
/proc/26172/stat : 26172 (oree) R 26170 26172 24835 0 -1 4194304 66598 0 0 0 88156 39 0 0 25 0 1 0 292118395 282980352 66123 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26172/statm: 69087 66123 170 317 0 68766 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 276348

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26371
/proc/meminfo: memFree=1498344/2055924 swapFree=4146580/4192956
[pid=26172] ppid=26170 vsize=286812 CPUtime=941.94
/proc/26172/stat : 26172 (oree) R 26170 26172 24835 0 -1 4194304 69113 0 0 0 94152 42 0 0 25 0 1 0 292118395 293695488 68638 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26172/statm: 71703 68638 170 317 0 71382 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 286812

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26371
/proc/meminfo: memFree=1488104/2055924 swapFree=4146580/4192956
[pid=26172] ppid=26170 vsize=296656 CPUtime=1001.92
/proc/26172/stat : 26172 (oree) R 26170 26172 24835 0 -1 4194304 71673 0 0 0 100148 44 0 0 25 0 1 0 292118395 303775744 71198 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26172/statm: 74164 71198 170 317 0 73843 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 296656

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26371
/proc/meminfo: memFree=1479784/2055924 swapFree=4146580/4192956
[pid=26172] ppid=26170 vsize=304340 CPUtime=1061.91
/proc/26172/stat : 26172 (oree) R 26170 26172 24835 0 -1 4194304 73771 0 0 0 106145 46 0 0 25 0 1 0 292118395 311644160 73296 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26172/statm: 76085 73296 170 317 0 75764 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 304340

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26371
/proc/meminfo: memFree=1471400/2055924 swapFree=4146580/4192956
[pid=26172] ppid=26170 vsize=313268 CPUtime=1121.89
/proc/26172/stat : 26172 (oree) R 26170 26172 24835 0 -1 4194304 75861 0 0 0 112141 48 0 0 25 0 1 0 292118395 320786432 75353 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26172/statm: 78317 75353 170 317 0 77996 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 313268

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26371
/proc/meminfo: memFree=1463912/2055924 swapFree=4146580/4192956
[pid=26172] ppid=26170 vsize=320848 CPUtime=1181.88
/proc/26172/stat : 26172 (oree) R 26170 26172 24835 0 -1 4194304 77755 0 0 0 118138 50 0 0 25 0 1 0 292118395 328548352 77247 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26172/statm: 80212 77247 170 317 0 79891 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 320848

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26371
/proc/meminfo: memFree=1456936/2055924 swapFree=4146580/4192956
[pid=26172] ppid=26170 vsize=328704 CPUtime=1241.86
/proc/26172/stat : 26172 (oree) R 26170 26172 24835 0 -1 4194304 79503 0 0 0 124135 51 0 0 25 0 1 0 292118395 336592896 78995 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134562663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26172/statm: 82176 78995 170 317 0 81855 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 328704

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26371
/proc/meminfo: memFree=1449128/2055924 swapFree=4146580/4192956
[pid=26172] ppid=26170 vsize=339216 CPUtime=1301.85
/proc/26172/stat : 26172 (oree) R 26170 26172 24835 0 -1 4194304 81872 0 0 0 130132 53 0 0 25 0 1 0 292118395 347357184 80935 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26172/statm: 84804 80935 170 317 0 84483 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 339216

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26371
/proc/meminfo: memFree=1441960/2055924 swapFree=4146580/4192956
[pid=26172] ppid=26170 vsize=346492 CPUtime=1361.83
/proc/26172/stat : 26172 (oree) R 26170 26172 24835 0 -1 4194304 83684 0 0 0 136129 54 0 0 25 0 1 0 292118395 354807808 82747 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26172/statm: 86623 82747 170 317 0 86302 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 346492

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26371
/proc/meminfo: memFree=1435944/2055924 swapFree=4146580/4192956
[pid=26172] ppid=26170 vsize=352208 CPUtime=1421.81
/proc/26172/stat : 26172 (oree) R 26170 26172 24835 0 -1 4194304 85164 0 0 0 142126 55 0 0 25 0 1 0 292118395 360660992 84227 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26172/statm: 88052 84227 170 317 0 87731 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 352208

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26371
/proc/meminfo: memFree=1427624/2055924 swapFree=4146580/4192956
[pid=26172] ppid=26170 vsize=361068 CPUtime=1481.79
/proc/26172/stat : 26172 (oree) R 26170 26172 24835 0 -1 4194304 87234 0 0 0 148123 56 0 0 25 0 1 0 292118395 369733632 86297 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26172/statm: 90267 86297 170 317 0 89946 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 361068

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26371
/proc/meminfo: memFree=1420136/2055924 swapFree=4146580/4192956
[pid=26172] ppid=26170 vsize=369380 CPUtime=1541.78
/proc/26172/stat : 26172 (oree) R 26170 26172 24835 0 -1 4194304 89102 0 0 0 154120 58 0 0 25 0 1 0 292118395 378245120 88165 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26172/statm: 92345 88165 170 317 0 92024 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 369380

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26371
/proc/meminfo: memFree=1412968/2055924 swapFree=4146580/4192956
[pid=26172] ppid=26170 vsize=379408 CPUtime=1601.76
/proc/26172/stat : 26172 (oree) R 26170 26172 24835 0 -1 4194304 91472 0 0 0 160117 59 0 0 25 0 1 0 292118395 388513792 89974 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26172/statm: 94852 89974 170 317 0 94531 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 379408

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26371
/proc/meminfo: memFree=1407208/2055924 swapFree=4146580/4192956
[pid=26172] ppid=26170 vsize=385036 CPUtime=1661.75
/proc/26172/stat : 26172 (oree) R 26170 26172 24835 0 -1 4194304 92915 0 0 0 166114 61 0 0 25 0 1 0 292118395 394276864 91384 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26172/statm: 96259 91384 170 317 0 95938 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 385036

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26371
/proc/meminfo: memFree=1400040/2055924 swapFree=4146580/4192956
[pid=26172] ppid=26170 vsize=393584 CPUtime=1721.72
/proc/26172/stat : 26172 (oree) R 26170 26172 24835 0 -1 4194304 94728 0 0 0 172110 62 0 0 25 0 1 0 292118395 403030016 93197 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26172/statm: 98396 93197 170 317 0 98075 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 393584

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26371
/proc/meminfo: memFree=1394344/2055924 swapFree=4146580/4192956
[pid=26172] ppid=26170 vsize=398732 CPUtime=1781.71
/proc/26172/stat : 26172 (oree) R 26170 26172 24835 0 -1 4194304 96111 0 0 0 178107 64 0 0 25 0 1 0 292118395 408301568 94580 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26172/statm: 99683 94580 170 317 0 99362 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 398732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26371
/proc/meminfo: memFree=1392488/2055924 swapFree=4146580/4192956
[pid=26172] ppid=26170 vsize=400476 CPUtime=1800.02
/proc/26172/stat : 26172 (oree) R 26170 26172 24835 0 -1 4194304 96589 0 0 0 179938 64 0 0 25 0 1 0 292118395 410087424 95058 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26172/statm: 100119 95058 170 317 0 99798 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 400476

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

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

Child status: 0
Real time (s): 1800.7
CPU time (s): 1800.11
CPU user time (s): 1799.4
CPU system time (s): 0.707892
CPU usage (%): 99.9673
Max. virtual memory (cumulated for all children) (KiB): 400476

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.4
system time used= 0.707892
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96605
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= 38051

runsolver used 1.42178 second user time and 3.98839 second system time

The end

Launcher Data (download as text)

Begin job on node6 on Thu May  3 02:53:27 UTC 2007

IDJOB= 453860
IDBENCH= 48158
IDSOLVER= 172
FILE ID= node6/453860-1178160807

PBS_JOBID= 4751087

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_3.opb
COMMAND LINE= oree /tmp/evaluation/453860-1178160807/instance-453860-1178160807.opb mod           
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node6/convwatcher-453860-1178160807 -o ROOT/results/node6/conversion-453860-1178160807 -C 600 -M 1800 /tmp/evaluation/453860-1178160807/substituteSizeProductKeyword /tmp/evaluation/453860-1178160807/instance-453860-1178160807.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e
MD5SUM BENCH=  0e507441d4bf529adaad354902c51a54

RANDOM SEED= 557001602

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node6.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.232
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.232
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:      2055924 kB
MemFree:       1773640 kB
Buffers:         88592 kB
Cached:         104468 kB
SwapCached:      14272 kB
Active:         113064 kB
Inactive:       104828 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:       1773640 kB
SwapTotal:     4192956 kB
SwapFree:      4146580 kB
Dirty:            1448 kB
Writeback:           0 kB
Mapped:          31264 kB
Slab:            49936 kB
Committed_AS: 12406528 kB
PageTables:       1788 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 node6 on Thu May  3 03:23:30 UTC 2007