Trace number 453710

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.41 1800.9

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_25_5.opb
MD5SUMe3f554c192a1ee7b261cc2808827870e
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.13
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 constraint50
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)6226
Sum of products size (including duplicates)12452
Number of different products6226
Sum of products size12452

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

Verifier Data (download as text)

OK	17

Conversion Script Data (download as text)

sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/453710-1178151096/instance-453710-1178151096.opb
mv /tmp/evaluation/453710-1178151096/instance-453710-1178151096.opb.tmp /tmp/evaluation/453710-1178151096/instance-453710-1178151096.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node15/watcher-453710-1178151096 -o ROOT/results/node15/solver-453710-1178151096 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/453710-1178151096/instance-453710-1178151096.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 6282
/proc/meminfo: memFree=1721080/2055920 swapFree=4169108/4192956
[pid=6282] ppid=6280 vsize=1468 CPUtime=0
/proc/6282/stat : 6282 (oree) R 6280 6282 4368 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 263027194 1503232 164 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6282/statm: 367 164 130 317 0 46 0

[startup+0.0669359 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 6282
/proc/meminfo: memFree=1721080/2055920 swapFree=4169108/4192956
[pid=6282] ppid=6280 vsize=3540 CPUtime=0.06
/proc/6282/stat : 6282 (oree) R 6280 6282 4368 0 -1 4194304 697 0 0 0 6 0 0 0 18 0 1 0 263027194 3624960 680 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6282/statm: 885 680 132 317 0 564 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 3540

[startup+0.101941 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 6282
/proc/meminfo: memFree=1721080/2055920 swapFree=4169108/4192956
[pid=6282] ppid=6280 vsize=5728 CPUtime=0.09
/proc/6282/stat : 6282 (oree) R 6280 6282 4368 0 -1 4194304 1246 0 0 0 9 0 0 0 18 0 1 0 263027194 5865472 1229 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6282/statm: 1432 1229 137 317 0 1111 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5728

[startup+0.301958 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 6282
/proc/meminfo: memFree=1721080/2055920 swapFree=4169108/4192956
[pid=6282] ppid=6280 vsize=7016 CPUtime=0.29
/proc/6282/stat : 6282 (oree) R 6280 6282 4368 0 -1 4194304 1588 0 0 0 29 0 0 0 19 0 1 0 263027194 7184384 1484 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6282/statm: 1754 1484 170 317 0 1433 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7016

[startup+0.701995 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 6282
/proc/meminfo: memFree=1721080/2055920 swapFree=4169108/4192956
[pid=6282] ppid=6280 vsize=8876 CPUtime=0.69
/proc/6282/stat : 6282 (oree) R 6280 6282 4368 0 -1 4194304 2053 0 0 0 69 0 0 0 23 0 1 0 263027194 9089024 1949 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6282/statm: 2219 1949 170 317 0 1898 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8876

[startup+1.50107 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 6283
/proc/meminfo: memFree=1712944/2055920 swapFree=4169108/4192956
[pid=6282] ppid=6280 vsize=11932 CPUtime=1.48
/proc/6282/stat : 6282 (oree) R 6280 6282 4368 0 -1 4194304 2820 0 0 0 148 0 0 0 25 0 1 0 263027194 12218368 2716 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6282/statm: 2983 2716 170 317 0 2662 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 11932

[startup+3.10121 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 6283
/proc/meminfo: memFree=1708912/2055920 swapFree=4169108/4192956
[pid=6282] ppid=6280 vsize=15644 CPUtime=3.09
/proc/6282/stat : 6282 (oree) R 6280 6282 4368 0 -1 4194304 3756 0 0 0 308 1 0 0 25 0 1 0 263027194 16019456 3652 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6282/statm: 3911 3652 170 317 0 3590 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15644

[startup+6.30151 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 6283
/proc/meminfo: memFree=1701744/2055920 swapFree=4169108/4192956
[pid=6282] ppid=6280 vsize=22172 CPUtime=6.29
/proc/6282/stat : 6282 (oree) R 6280 6282 4368 0 -1 4194304 5386 0 0 0 628 1 0 0 25 0 1 0 263027194 22704128 5282 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6282/statm: 5543 5282 170 317 0 5222 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 22172

[startup+12.7011 s]
/proc/loadavg: 0.94 0.98 0.99 2/78 6283
/proc/meminfo: memFree=1694064/2055920 swapFree=4169108/4192956
[pid=6282] ppid=6280 vsize=29224 CPUtime=12.69
/proc/6282/stat : 6282 (oree) R 6280 6282 4368 0 -1 4194304 7136 0 0 0 1267 2 0 0 25 0 1 0 263027194 29925376 7032 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6282/statm: 7306 7032 170 317 0 6985 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 29224

[startup+25.5013 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 6283
/proc/meminfo: memFree=1681904/2055920 swapFree=4169108/4192956
[pid=6282] ppid=6280 vsize=41344 CPUtime=25.48
/proc/6282/stat : 6282 (oree) R 6280 6282 4368 0 -1 4194304 10073 0 0 0 2545 3 0 0 25 0 1 0 263027194 42336256 9969 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6282/statm: 10336 9969 170 317 0 10015 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 41344

[startup+51.1016 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 6283
/proc/meminfo: memFree=1667760/2055920 swapFree=4169108/4192956
[pid=6282] ppid=6280 vsize=55712 CPUtime=51.08
/proc/6282/stat : 6282 (oree) R 6280 6282 4368 0 -1 4194304 13627 0 0 0 5103 5 0 0 25 0 1 0 263027194 57049088 13523 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6282/statm: 13928 13523 170 317 0 13607 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 55712

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 6283
/proc/meminfo: memFree=1642224/2055920 swapFree=4169108/4192956
[pid=6282] ppid=6280 vsize=81948 CPUtime=102.27
/proc/6282/stat : 6282 (oree) R 6280 6282 4368 0 -1 4194304 19925 0 0 0 10218 9 0 0 25 0 1 0 263027194 83914752 19821 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6282/statm: 20487 19821 170 317 0 20166 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 81948

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 6283
/proc/meminfo: memFree=1621232/2055920 swapFree=4169108/4192956
[pid=6282] ppid=6280 vsize=103268 CPUtime=162.25
/proc/6282/stat : 6282 (oree) R 6280 6282 4368 0 -1 4194304 25197 0 0 0 16214 11 0 0 25 0 1 0 263027194 105746432 25093 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6282/statm: 25817 25093 170 317 0 25496 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 103268

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 6283
/proc/meminfo: memFree=1603952/2055920 swapFree=4169108/4192956
[pid=6282] ppid=6280 vsize=121724 CPUtime=222.23
/proc/6282/stat : 6282 (oree) R 6280 6282 4368 0 -1 4194304 29522 0 0 0 22210 13 0 0 25 0 1 0 263027194 124645376 29418 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134563639 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6282/statm: 30431 29418 170 317 0 30110 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 121724

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 6283
/proc/meminfo: memFree=1588272/2055920 swapFree=4169108/4192956
[pid=6282] ppid=6280 vsize=137332 CPUtime=282.21
/proc/6282/stat : 6282 (oree) R 6280 6282 4368 0 -1 4194304 33411 0 0 0 28206 15 0 0 25 0 1 0 263027194 140627968 33307 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134563622 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6282/statm: 34333 33307 170 317 0 34012 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 137332

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 6283
/proc/meminfo: memFree=1572272/2055920 swapFree=4169108/4192956
[pid=6282] ppid=6280 vsize=155096 CPUtime=342.2
/proc/6282/stat : 6282 (oree) R 6280 6282 4368 0 -1 4194304 37545 0 0 0 34203 17 0 0 25 0 1 0 263027194 158818304 37268 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6282/statm: 38774 37268 170 317 0 38453 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 155096

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 6283
/proc/meminfo: memFree=1558064/2055920 swapFree=4169108/4192956
[pid=6282] ppid=6280 vsize=169800 CPUtime=402.18
/proc/6282/stat : 6282 (oree) R 6280 6282 4368 0 -1 4194304 41074 0 0 0 40199 19 0 0 25 0 1 0 263027194 173875200 40797 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6282/statm: 42450 40797 170 317 0 42129 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 169800

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 6283
/proc/meminfo: memFree=1546032/2055920 swapFree=4169108/4192956
[pid=6282] ppid=6280 vsize=182176 CPUtime=462.17
/proc/6282/stat : 6282 (oree) R 6280 6282 4368 0 -1 4194304 44091 0 0 0 46196 21 0 0 25 0 1 0 263027194 186548224 43814 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6282/statm: 45544 43814 170 317 0 45223 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 182176

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 6283
/proc/meminfo: memFree=1533744/2055920 swapFree=4169108/4192956
[pid=6282] ppid=6280 vsize=194968 CPUtime=522.15
/proc/6282/stat : 6282 (oree) R 6280 6282 4368 0 -1 4194304 47262 0 0 0 52192 23 0 0 25 0 1 0 263027194 199647232 46985 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6282/statm: 48742 46985 170 317 0 48421 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 194968

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 6283
/proc/meminfo: memFree=1524528/2055920 swapFree=4169108/4192956
[pid=6282] ppid=6280 vsize=203560 CPUtime=582.13
/proc/6282/stat : 6282 (oree) R 6280 6282 4368 0 -1 4194304 49528 0 0 0 58188 25 0 0 25 0 1 0 263027194 208445440 49185 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6282/statm: 50890 49185 170 317 0 50569 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 203560

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 6283
/proc/meminfo: memFree=1514864/2055920 swapFree=4169108/4192956
[pid=6282] ppid=6280 vsize=214812 CPUtime=642.12
/proc/6282/stat : 6282 (oree) R 6280 6282 4368 0 -1 4194304 51937 0 0 0 64185 27 0 0 25 0 1 0 263027194 219967488 51594 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6282/statm: 53703 51594 170 317 0 53382 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 214812


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

[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 6283
/proc/meminfo: memFree=1469744/2055920 swapFree=4169108/4192956
[pid=6282] ppid=6280 vsize=263252 CPUtime=942.04
/proc/6282/stat : 6282 (oree) R 6280 6282 4368 0 -1 4194304 63271 0 0 0 94169 35 0 0 25 0 1 0 263027194 269570048 62829 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6282/statm: 65813 62829 170 317 0 65492 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 263252

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 6283
/proc/meminfo: memFree=1462704/2055920 swapFree=4169108/4192956
[pid=6282] ppid=6280 vsize=270324 CPUtime=1002.03
/proc/6282/stat : 6282 (oree) R 6280 6282 4368 0 -1 4194304 65029 0 0 0 100166 37 0 0 25 0 1 0 263027194 276811776 64554 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134718437 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6282/statm: 67581 64554 170 317 0 67260 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 270324

[startup+1062.3 s]
/proc/loadavg: 1.07 1.00 1.00 2/78 6283
/proc/meminfo: memFree=1457968/2055920 swapFree=4169108/4192956
[pid=6282] ppid=6280 vsize=275072 CPUtime=1062.01
/proc/6282/stat : 6282 (oree) R 6280 6282 4368 0 -1 4194304 66236 0 0 0 106163 38 0 0 25 0 1 0 263027194 281673728 65761 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6282/statm: 68768 65761 170 317 0 68447 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 275072

[startup+1122.3 s]
/proc/loadavg: 1.13 1.03 1.01 2/78 6283
/proc/meminfo: memFree=1451504/2055920 swapFree=4169108/4192956
[pid=6282] ppid=6280 vsize=281660 CPUtime=1121.99
/proc/6282/stat : 6282 (oree) R 6280 6282 4368 0 -1 4194304 67843 0 0 0 112160 39 0 0 25 0 1 0 263027194 288419840 67368 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6282/statm: 70415 67368 170 317 0 70094 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 281660

[startup+1182.3 s]
/proc/loadavg: 1.05 1.02 1.00 2/78 6283
/proc/meminfo: memFree=1444912/2055920 swapFree=4169108/4192956
[pid=6282] ppid=6280 vsize=288852 CPUtime=1181.97
/proc/6282/stat : 6282 (oree) R 6280 6282 4368 0 -1 4194304 69491 0 0 0 118157 40 0 0 25 0 1 0 263027194 295784448 69016 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6282/statm: 72213 69016 170 317 0 71892 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 288852

[startup+1242.3 s]
/proc/loadavg: 1.02 1.02 1.00 3/78 6283
/proc/meminfo: memFree=1438576/2055920 swapFree=4169108/4192956
[pid=6282] ppid=6280 vsize=295252 CPUtime=1241.96
/proc/6282/stat : 6282 (oree) R 6280 6282 4368 0 -1 4194304 71090 0 0 0 124154 42 0 0 25 0 1 0 263027194 302338048 70582 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6282/statm: 73813 70582 170 317 0 73492 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 295252

[startup+1302.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 6283
/proc/meminfo: memFree=1432176/2055920 swapFree=4169108/4192956
[pid=6282] ppid=6280 vsize=301376 CPUtime=1301.95
/proc/6282/stat : 6282 (oree) R 6280 6282 4368 0 -1 4194304 72698 0 0 0 130152 43 0 0 25 0 1 0 263027194 308609024 72190 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6282/statm: 75344 72190 170 317 0 75023 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 301376

[startup+1362.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 6283
/proc/meminfo: memFree=1426736/2055920 swapFree=4169108/4192956
[pid=6282] ppid=6280 vsize=307152 CPUtime=1361.92
/proc/6282/stat : 6282 (oree) R 6280 6282 4368 0 -1 4194304 74046 0 0 0 136148 44 0 0 25 0 1 0 263027194 314523648 73538 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6282/statm: 76788 73538 170 317 0 76467 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 307152

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6283
/proc/meminfo: memFree=1421552/2055920 swapFree=4169108/4192956
[pid=6282] ppid=6280 vsize=312232 CPUtime=1421.92
/proc/6282/stat : 6282 (oree) R 6280 6282 4368 0 -1 4194304 75347 0 0 0 142146 46 0 0 25 0 1 0 263027194 319725568 74839 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6282/statm: 78058 74839 170 317 0 77737 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 312232

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6283
/proc/meminfo: memFree=1416048/2055920 swapFree=4169108/4192956
[pid=6282] ppid=6280 vsize=317596 CPUtime=1481.89
/proc/6282/stat : 6282 (oree) R 6280 6282 4368 0 -1 4194304 76765 0 0 0 148142 47 0 0 25 0 1 0 263027194 325218304 76257 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6282/statm: 79399 76257 170 317 0 79078 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 317596

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6283
/proc/meminfo: memFree=1410352/2055920 swapFree=4169108/4192956
[pid=6282] ppid=6280 vsize=322916 CPUtime=1541.88
/proc/6282/stat : 6282 (oree) R 6280 6282 4368 0 -1 4194304 78225 0 0 0 154140 48 0 0 25 0 1 0 263027194 330665984 77684 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134715791 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6282/statm: 80729 77684 170 317 0 80408 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 322916

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6283
/proc/meminfo: memFree=1403952/2055920 swapFree=4169108/4192956
[pid=6282] ppid=6280 vsize=330448 CPUtime=1601.86
/proc/6282/stat : 6282 (oree) R 6280 6282 4368 0 -1 4194304 79831 0 0 0 160136 50 0 0 25 0 1 0 263027194 338378752 79290 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 135284649 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6282/statm: 82612 79290 170 317 0 82291 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 330448

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6283
/proc/meminfo: memFree=1397104/2055920 swapFree=4169108/4192956
[pid=6282] ppid=6280 vsize=337524 CPUtime=1661.84
/proc/6282/stat : 6282 (oree) R 6280 6282 4368 0 -1 4194304 81581 0 0 0 166134 50 0 0 25 0 1 0 263027194 345624576 80974 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6282/statm: 84381 80974 170 317 0 84060 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 337524

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6285
/proc/meminfo: memFree=1390064/2055920 swapFree=4169108/4192956
[pid=6282] ppid=6280 vsize=344388 CPUtime=1721.83
/proc/6282/stat : 6282 (oree) R 6280 6282 4368 0 -1 4194304 83321 0 0 0 172131 52 0 0 25 0 1 0 263027194 352653312 82714 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6282/statm: 86097 82714 170 317 0 85776 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 344388

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6285
/proc/meminfo: memFree=1384688/2055920 swapFree=4169108/4192956
[pid=6282] ppid=6280 vsize=349780 CPUtime=1781.82
/proc/6282/stat : 6282 (oree) R 6280 6282 4368 0 -1 4194304 84675 0 0 0 178129 53 0 0 25 0 1 0 263027194 358174720 84068 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6282/statm: 87445 84068 170 317 0 87124 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 349780



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6285
/proc/meminfo: memFree=1382832/2055920 swapFree=4169108/4192956
[pid=6282] ppid=6280 vsize=351864 CPUtime=1800.01
/proc/6282/stat : 6282 (oree) R 6280 6282 4368 0 -1 4194304 85131 0 0 0 179948 53 0 0 25 0 1 0 263027194 360308736 84524 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6282/statm: 87966 84524 170 317 0 87645 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 351864

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

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

[startup+1800.61 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 6286
/proc/meminfo: memFree=1382824/2055920 swapFree=4169108/4192956
[pid=6282] ppid=6280 vsize=351864 CPUtime=1800.11
/proc/6282/stat : 6282 (oree) R 6280 6282 4368 0 -1 4194304 85131 0 0 0 179958 53 0 0 25 0 1 0 263027194 360308736 84524 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6282/statm: 87966 84524 170 317 0 87645 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 351864

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 6286
/proc/meminfo: memFree=1382824/2055920 swapFree=4169108/4192956
[pid=6282] ppid=6280 vsize=351864 CPUtime=1800.3
/proc/6282/stat : 6282 (oree) R 6280 6282 4368 0 -1 4194304 85141 0 0 0 179977 53 0 0 25 0 1 0 263027194 360308736 84534 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6282/statm: 87966 84534 170 317 0 87645 0
Current children cumulated CPU time (s) 1800.3
Current children cumulated vsize (KiB) 351864

Child status: 0
Real time (s): 1800.9
CPU time (s): 1800.41
CPU user time (s): 1799.82
CPU system time (s): 0.59191
CPU usage (%): 99.9729
Max. virtual memory (cumulated for all children) (KiB): 351864

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

runsolver used 1.47677 second user time and 4.10238 second system time

The end

Launcher Data (download as text)

Begin job on node15 on Thu May  3 00:11:36 UTC 2007

IDJOB= 453710
IDBENCH= 48148
IDSOLVER= 172
FILE ID= node15/453710-1178151096

PBS_JOBID= 4751074

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

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

META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e
MD5SUM BENCH=  e3f554c192a1ee7b261cc2808827870e

RANDOM SEED= 438507720

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node15.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.227
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.227
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:       1721552 kB
Buffers:        118416 kB
Cached:         122168 kB
SwapCached:       2380 kB
Active:         150832 kB
Inactive:       117980 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1721552 kB
SwapTotal:     4192956 kB
SwapFree:      4169108 kB
Dirty:            1408 kB
Writeback:           0 kB
Mapped:          32188 kB
Slab:            50996 kB
Committed_AS: 10521620 kB
PageTables:       1872 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 node15 on Thu May  3 00:41:39 UTC 2007