Trace number 453665

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.21 1800.76

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_25_2.opb
MD5SUMfaa00895e2f6f80e77634e2be522df62
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.09
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 constraint45
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)6220
Sum of products size (including duplicates)12440
Number of different products6220
Sum of products size12440

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

Verifier Data (download as text)

OK	16

Conversion Script Data (download as text)

sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/453665-1178147704/instance-453665-1178147704.opb
mv /tmp/evaluation/453665-1178147704/instance-453665-1178147704.opb.tmp /tmp/evaluation/453665-1178147704/instance-453665-1178147704.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node5/watcher-453665-1178147704 -o ROOT/results/node5/solver-453665-1178147704 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/453665-1178147704/instance-453665-1178147704.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.99 0.99 3/77 20096
/proc/meminfo: memFree=1744384/2055920 swapFree=4150044/4192956
[pid=20096] ppid=20094 vsize=1468 CPUtime=0
/proc/20096/stat : 20096 (oree) R 20094 20096 18961 0 -1 4194304 185 0 0 0 0 0 0 0 18 0 1 0 290808096 1503232 168 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 0 0 0
/proc/20096/statm: 367 168 130 317 0 46 0

[startup+0.0911049 s]
/proc/loadavg: 0.92 0.99 0.99 3/77 20096
/proc/meminfo: memFree=1744384/2055920 swapFree=4150044/4192956
[pid=20096] ppid=20094 vsize=5724 CPUtime=0.08
/proc/20096/stat : 20096 (oree) R 20094 20096 18961 0 -1 4194304 1238 0 0 0 8 0 0 0 18 0 1 0 290808096 5861376 1221 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 0 0 0
/proc/20096/statm: 1431 1221 137 317 0 1110 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5724

[startup+0.104111 s]
/proc/loadavg: 0.92 0.99 0.99 3/77 20096
/proc/meminfo: memFree=1744384/2055920 swapFree=4150044/4192956
[pid=20096] ppid=20094 vsize=5856 CPUtime=0.1
/proc/20096/stat : 20096 (oree) R 20094 20096 18961 0 -1 4194304 1267 0 0 0 10 0 0 0 18 0 1 0 290808096 5996544 1250 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 0 0 0
/proc/20096/statm: 1464 1250 137 317 0 1143 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 5856

[startup+0.301128 s]
/proc/loadavg: 0.92 0.99 0.99 3/77 20096
/proc/meminfo: memFree=1744384/2055920 swapFree=4150044/4192956
[pid=20096] ppid=20094 vsize=7120 CPUtime=0.29
/proc/20096/stat : 20096 (oree) R 20094 20096 18961 0 -1 4194304 1641 0 0 0 29 0 0 0 19 0 1 0 290808096 7290880 1537 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 0 0 0
/proc/20096/statm: 1780 1537 170 317 0 1459 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7120

[startup+0.701172 s]
/proc/loadavg: 0.92 0.99 0.99 3/77 20096
/proc/meminfo: memFree=1744384/2055920 swapFree=4150044/4192956
[pid=20096] ppid=20094 vsize=8964 CPUtime=0.69
/proc/20096/stat : 20096 (oree) R 20094 20096 18961 0 -1 4194304 2077 0 0 0 69 0 0 0 23 0 1 0 290808096 9179136 1973 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134715798 0 0 4096 17474 0 0 0 17 0 0 0
/proc/20096/statm: 2241 1973 170 317 0 1920 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8964

[startup+1.50126 s]
/proc/loadavg: 0.92 0.99 0.99 2/78 20097
/proc/meminfo: memFree=1735928/2055920 swapFree=4150044/4192956
[pid=20096] ppid=20094 vsize=12132 CPUtime=1.49
/proc/20096/stat : 20096 (oree) R 20094 20096 18961 0 -1 4194304 2879 0 0 0 148 1 0 0 25 0 1 0 290808096 12423168 2775 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134718451 0 0 4096 17474 0 0 0 17 0 0 0
/proc/20096/statm: 3033 2775 170 317 0 2712 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12132

[startup+3.10144 s]
/proc/loadavg: 0.92 0.99 0.99 2/78 20097
/proc/meminfo: memFree=1731704/2055920 swapFree=4150044/4192956
[pid=20096] ppid=20094 vsize=16916 CPUtime=3.09
/proc/20096/stat : 20096 (oree) R 20094 20096 18961 0 -1 4194304 4046 0 0 0 307 2 0 0 25 0 1 0 290808096 17321984 3942 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 0 0 0
/proc/20096/statm: 4229 3942 170 317 0 3908 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16916

[startup+6.30181 s]
/proc/loadavg: 0.93 0.99 0.99 2/78 20097
/proc/meminfo: memFree=1723256/2055920 swapFree=4150044/4192956
[pid=20096] ppid=20094 vsize=24836 CPUtime=6.29
/proc/20096/stat : 20096 (oree) R 20094 20096 18961 0 -1 4194304 5994 0 0 0 627 2 0 0 25 0 1 0 290808096 25432064 5890 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 135271361 0 0 4096 17474 0 0 0 17 0 0 0
/proc/20096/statm: 6209 5890 170 317 0 5888 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 24836

[startup+12.7015 s]
/proc/loadavg: 0.93 0.99 0.99 2/78 20097
/proc/meminfo: memFree=1711096/2055920 swapFree=4150044/4192956
[pid=20096] ppid=20094 vsize=36196 CPUtime=12.69
/proc/20096/stat : 20096 (oree) R 20094 20096 18961 0 -1 4194304 8773 0 0 0 1265 4 0 0 25 0 1 0 290808096 37064704 8669 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 0 0 0
/proc/20096/statm: 9049 8669 170 317 0 8728 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 36196

[startup+25.503 s]
/proc/loadavg: 0.95 0.99 0.99 2/78 20097
/proc/meminfo: memFree=1695864/2055920 swapFree=4150044/4192956
[pid=20096] ppid=20094 vsize=51036 CPUtime=25.48
/proc/20096/stat : 20096 (oree) R 20094 20096 18961 0 -1 4194304 12407 0 0 0 2543 5 0 0 25 0 1 0 290808096 52260864 12303 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 0 0 0
/proc/20096/statm: 12759 12303 170 317 0 12438 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 51036

[startup+51.1029 s]
/proc/loadavg: 0.96 0.99 0.99 2/78 20097
/proc/meminfo: memFree=1674680/2055920 swapFree=4150044/4192956
[pid=20096] ppid=20094 vsize=72980 CPUtime=51.08
/proc/20096/stat : 20096 (oree) R 20094 20096 18961 0 -1 4194304 17723 0 0 0 5100 8 0 0 25 0 1 0 290808096 74731520 17619 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 0 0 0
/proc/20096/statm: 18245 17619 170 317 0 17924 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 72980

[startup+102.307 s]
/proc/loadavg: 0.98 0.99 0.99 2/78 20097
/proc/meminfo: memFree=1644024/2055920 swapFree=4150044/4192956
[pid=20096] ppid=20094 vsize=105032 CPUtime=102.26
/proc/20096/stat : 20096 (oree) R 20094 20096 18961 0 -1 4194304 25266 0 0 0 10215 11 0 0 25 0 1 0 290808096 107552768 25162 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 0 0 0
/proc/20096/statm: 26258 25162 170 317 0 25937 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 105032

[startup+162.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 20097
/proc/meminfo: memFree=1616696/2055920 swapFree=4150044/4192956
[pid=20096] ppid=20094 vsize=133532 CPUtime=162.25
/proc/20096/stat : 20096 (oree) R 20094 20096 18961 0 -1 4194304 32148 0 0 0 16210 15 0 0 25 0 1 0 290808096 136736768 32044 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 0 0 0
/proc/20096/statm: 33383 32044 170 317 0 33062 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 133532

[startup+222.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 20097
/proc/meminfo: memFree=1590968/2055920 swapFree=4150044/4192956
[pid=20096] ppid=20094 vsize=160088 CPUtime=222.23
/proc/20096/stat : 20096 (oree) R 20094 20096 18961 0 -1 4194304 38505 0 0 0 22205 18 0 0 25 0 1 0 290808096 163930112 38401 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 0 0 0
/proc/20096/statm: 40022 38401 170 317 0 39701 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 160088

[startup+282.303 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 20097
/proc/meminfo: memFree=1569272/2055920 swapFree=4150044/4192956
[pid=20096] ppid=20094 vsize=183640 CPUtime=282.21
/proc/20096/stat : 20096 (oree) R 20094 20096 18961 0 -1 4194304 43945 0 0 0 28200 21 0 0 25 0 1 0 290808096 188047360 43841 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 0 0 0
/proc/20096/statm: 45910 43841 170 317 0 45589 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 183640

[startup+342.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 20097
/proc/meminfo: memFree=1552376/2055920 swapFree=4150044/4192956
[pid=20096] ppid=20094 vsize=200560 CPUtime=342.2
/proc/20096/stat : 20096 (oree) R 20094 20096 18961 0 -1 4194304 48123 0 0 0 34197 23 0 0 25 0 1 0 290808096 205373440 48019 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 0 0 0
/proc/20096/statm: 50140 48019 170 317 0 49819 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 200560

[startup+402.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 20097
/proc/meminfo: memFree=1538104/2055920 swapFree=4150044/4192956
[pid=20096] ppid=20094 vsize=215768 CPUtime=402.18
/proc/20096/stat : 20096 (oree) R 20094 20096 18961 0 -1 4194304 51892 0 0 0 40192 26 0 0 25 0 1 0 290808096 220946432 51615 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 0 0 0
/proc/20096/statm: 53942 51615 170 317 0 53621 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 215768

[startup+462.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 20097
/proc/meminfo: memFree=1524216/2055920 swapFree=4150044/4192956
[pid=20096] ppid=20094 vsize=230348 CPUtime=462.17
/proc/20096/stat : 20096 (oree) R 20094 20096 18961 0 -1 4194304 55327 0 0 0 46189 28 0 0 25 0 1 0 290808096 235876352 55050 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 0 0 0
/proc/20096/statm: 57587 55050 170 317 0 57266 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 230348

[startup+522.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 20097
/proc/meminfo: memFree=1510776/2055920 swapFree=4150044/4192956
[pid=20096] ppid=20094 vsize=244116 CPUtime=522.14
/proc/20096/stat : 20096 (oree) R 20094 20096 18961 0 -1 4194304 58698 0 0 0 52185 29 0 0 25 0 1 0 290808096 249974784 58421 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 0 0 0
/proc/20096/statm: 61029 58421 170 317 0 60708 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 244116

[startup+582.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 20097
/proc/meminfo: memFree=1499896/2055920 swapFree=4150044/4192956
[pid=20096] ppid=20094 vsize=255516 CPUtime=582.12
/proc/20096/stat : 20096 (oree) R 20094 20096 18961 0 -1 4194304 61482 0 0 0 58182 30 0 0 25 0 1 0 290808096 261648384 61139 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 0 0 0
/proc/20096/statm: 63879 61139 170 317 0 63558 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 255516

[startup+642.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 20097
/proc/meminfo: memFree=1485560/2055920 swapFree=4150044/4192956
[pid=20096] ppid=20094 vsize=271404 CPUtime=642.11
/proc/20096/stat : 20096 (oree) R 20094 20096 18961 0 -1 4194304 65024 0 0 0 64179 32 0 0 25 0 1 0 290808096 277917696 64681 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134718560 0 0 4096 17474 0 0 0 17 0 0 0
/proc/20096/statm: 67851 64681 170 317 0 67530 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 271404


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 20097
/proc/meminfo: memFree=1434104/2055920 swapFree=4150044/4192956
[pid=20096] ppid=20094 vsize=326060 CPUtime=882.05
/proc/20096/stat : 20096 (oree) R 20094 20096 18961 0 -1 4194304 77923 0 0 0 88166 39 0 0 25 0 1 0 290808096 333885440 77514 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 0 0 0
/proc/20096/statm: 81515 77514 170 317 0 81194 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 326060

[startup+942.301 s]
/proc/loadavg: 1.06 1.00 1.00 2/78 20097
/proc/meminfo: memFree=1422264/2055920 swapFree=4150044/4192956
[pid=20096] ppid=20094 vsize=338308 CPUtime=942.03
/proc/20096/stat : 20096 (oree) R 20094 20096 18961 0 -1 4194304 80920 0 0 0 94163 40 0 0 25 0 1 0 290808096 346427392 80478 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 0 0 0
/proc/20096/statm: 84577 80478 170 317 0 84256 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 338308

[startup+1002.3 s]
/proc/loadavg: 1.02 1.00 1.00 2/78 20097
/proc/meminfo: memFree=1410296/2055920 swapFree=4150044/4192956
[pid=20096] ppid=20094 vsize=350324 CPUtime=1002.01
/proc/20096/stat : 20096 (oree) R 20094 20096 18961 0 -1 4194304 83927 0 0 0 100159 42 0 0 25 0 1 0 290808096 358731776 83452 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 0 0 0
/proc/20096/statm: 87581 83452 170 317 0 87260 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 350324

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20097
/proc/meminfo: memFree=1400952/2055920 swapFree=4150044/4192956
[pid=20096] ppid=20094 vsize=359348 CPUtime=1062
/proc/20096/stat : 20096 (oree) R 20094 20096 18961 0 -1 4194304 86285 0 0 0 106157 43 0 0 25 0 1 0 290808096 367972352 85810 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 0 0 0
/proc/20096/statm: 89837 85810 170 317 0 89516 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 359348

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20097
/proc/meminfo: memFree=1393912/2055920 swapFree=4150044/4192956
[pid=20096] ppid=20094 vsize=366956 CPUtime=1121.98
/proc/20096/stat : 20096 (oree) R 20094 20096 18961 0 -1 4194304 88013 0 0 0 112154 44 0 0 25 0 1 0 290808096 375762944 87538 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 0 0 0
/proc/20096/statm: 91739 87538 170 317 0 91418 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 366956

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20099
/proc/meminfo: memFree=1385528/2055920 swapFree=4150044/4192956
[pid=20096] ppid=20094 vsize=376548 CPUtime=1181.96
/proc/20096/stat : 20096 (oree) R 20094 20096 18961 0 -1 4194304 90132 0 0 0 118151 45 0 0 25 0 1 0 290808096 385585152 89657 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 0 0 0
/proc/20096/statm: 94137 89657 170 317 0 93816 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 376548

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20099
/proc/meminfo: memFree=1377592/2055920 swapFree=4150044/4192956
[pid=20096] ppid=20094 vsize=385424 CPUtime=1241.94
/proc/20096/stat : 20096 (oree) R 20094 20096 18961 0 -1 4194304 92081 0 0 0 124148 46 0 0 25 0 1 0 290808096 394674176 91606 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 0 0 0
/proc/20096/statm: 96356 91606 170 317 0 96035 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 385424

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20099
/proc/meminfo: memFree=1367224/2055920 swapFree=4150044/4192956
[pid=20096] ppid=20094 vsize=397376 CPUtime=1301.93
/proc/20096/stat : 20096 (oree) R 20094 20096 18961 0 -1 4194304 94648 0 0 0 130146 47 0 0 25 0 1 0 290808096 406913024 94173 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 0 0 0
/proc/20096/statm: 99344 94173 170 317 0 99023 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 397376

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20099
/proc/meminfo: memFree=1357240/2055920 swapFree=4150044/4192956
[pid=20096] ppid=20094 vsize=408648 CPUtime=1361.92
/proc/20096/stat : 20096 (oree) R 20094 20096 18961 0 -1 4194304 97170 0 0 0 136143 49 0 0 25 0 1 0 290808096 418455552 96695 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 0 0 0
/proc/20096/statm: 102162 96695 170 317 0 101841 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 408648

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20099
/proc/meminfo: memFree=1347896/2055920 swapFree=4150044/4192956
[pid=20096] ppid=20094 vsize=417488 CPUtime=1421.9
/proc/20096/stat : 20096 (oree) R 20094 20096 18961 0 -1 4194304 99469 0 0 0 142140 50 0 0 25 0 1 0 290808096 427507712 98994 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 0 0 0
/proc/20096/statm: 104372 98994 170 317 0 104051 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 417488

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20099
/proc/meminfo: memFree=1338232/2055920 swapFree=4150044/4192956
[pid=20096] ppid=20094 vsize=426876 CPUtime=1481.87
/proc/20096/stat : 20096 (oree) R 20094 20096 18961 0 -1 4194304 101883 0 0 0 148136 51 0 0 25 0 1 0 290808096 437121024 101408 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 0 0 0
/proc/20096/statm: 106719 101408 170 317 0 106398 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 426876

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20099
/proc/meminfo: memFree=1330104/2055920 swapFree=4150044/4192956
[pid=20096] ppid=20094 vsize=435072 CPUtime=1541.86
/proc/20096/stat : 20096 (oree) R 20094 20096 18961 0 -1 4194304 103904 0 0 0 154134 52 0 0 25 0 1 0 290808096 445513728 103429 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 0 0 0
/proc/20096/statm: 108768 103429 170 317 0 108447 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 435072

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20099
/proc/meminfo: memFree=1322296/2055920 swapFree=4150044/4192956
[pid=20096] ppid=20094 vsize=442860 CPUtime=1601.85
/proc/20096/stat : 20096 (oree) R 20094 20096 18961 0 -1 4194304 105890 0 0 0 160131 54 0 0 25 0 1 0 290808096 453488640 105415 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 0 0 0
/proc/20096/statm: 110715 105415 170 317 0 110394 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 442860

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20099
/proc/meminfo: memFree=1314680/2055920 swapFree=4150044/4192956
[pid=20096] ppid=20094 vsize=450044 CPUtime=1661.83
/proc/20096/stat : 20096 (oree) R 20094 20096 18961 0 -1 4194304 107780 0 0 0 166128 55 0 0 25 0 1 0 290808096 460845056 107305 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 0 0 0
/proc/20096/statm: 112511 107305 170 317 0 112190 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 450044

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20099
/proc/meminfo: memFree=1305848/2055920 swapFree=4150044/4192956
[pid=20096] ppid=20094 vsize=459700 CPUtime=1721.81
/proc/20096/stat : 20096 (oree) R 20094 20096 18961 0 -1 4194304 109984 0 0 0 172125 56 0 0 25 0 1 0 290808096 470732800 109509 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 0 0 0
/proc/20096/statm: 114925 109509 170 317 0 114604 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 459700

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20099
/proc/meminfo: memFree=1298104/2055920 swapFree=4150044/4192956
[pid=20096] ppid=20094 vsize=467104 CPUtime=1781.8
/proc/20096/stat : 20096 (oree) R 20094 20096 18961 0 -1 4194304 111909 0 0 0 178123 57 0 0 25 0 1 0 290808096 478314496 111434 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 0 0 0
/proc/20096/statm: 116776 111434 170 317 0 116455 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 467104



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20099
/proc/meminfo: memFree=1294584/2055920 swapFree=4150044/4192956
[pid=20096] ppid=20094 vsize=471576 CPUtime=1800.1
/proc/20096/stat : 20096 (oree) R 20094 20096 18961 0 -1 4194304 112771 0 0 0 179953 57 0 0 25 0 1 0 290808096 482893824 112296 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 0 0 0
/proc/20096/statm: 117894 112296 170 317 0 117573 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 471576

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

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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20099
/proc/meminfo: memFree=1294584/2055920 swapFree=4150044/4192956
[pid=20096] ppid=20094 vsize=0 CPUtime=1800.2
/proc/20096/stat : 20096 (oree) R 20094 20096 18961 0 -1 4194308 112787 0 0 0 179956 64 0 0 25 0 1 0 290808096 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 0 0 0
/proc/20096/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.76
CPU time (s): 1800.21
CPU user time (s): 1799.56
CPU system time (s): 0.648901
CPU usage (%): 99.9694
Max. virtual memory (cumulated for all children) (KiB): 471576

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

runsolver used 1.54377 second user time and 5.02724 second system time

The end

Launcher Data (download as text)

Begin job on node5 on Wed May  2 23:15:04 UTC 2007

IDJOB= 453665
IDBENCH= 48145
IDSOLVER= 172
FILE ID= node5/453665-1178147704

PBS_JOBID= 4751072

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

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

META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e
MD5SUM BENCH=  faa00895e2f6f80e77634e2be522df62

RANDOM SEED= 170827111

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node5.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:      2055920 kB
MemFree:       1744792 kB
Buffers:        133988 kB
Cached:          70204 kB
SwapCached:      11368 kB
Active:         120060 kB
Inactive:       110528 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1744792 kB
SwapTotal:     4192956 kB
SwapFree:      4150044 kB
Dirty:            1488 kB
Writeback:           0 kB
Mapped:          31276 kB
Slab:            66148 kB
Committed_AS: 13698912 kB
PageTables:       1724 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 node5 on Wed May  2 23:45:07 UTC 2007