Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | 83 | 1800.19 | 1800.77 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-C499.b.opb |
MD5SUM | 0b80319f4195f1e1329c2c4b63b416b0 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 54 |
Best CPU time to get the best result obtained on this benchmark | 1800.03 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 45 |
Optimality of the best value was proved | NO |
Number of variables | 5203 |
Total number of constraints | 19637 |
Number of constraints which are clauses | 19637 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 360 |
Number of terms in the objective function | 5203 |
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 | 5203 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 5203 |
Number of bits of the biggest sum of numbers | 13 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
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... 2.39/2.43 c ...done 2.39/2.43 c #vars=5203 #constraints=19638 hasObjective=yes 6.09/6.12 c res. mode=mod 6.09/6.12 c VSIDS like heuristics 6.09/6.12 c complete search running 6.09/6.17 c restart after 401 decisions 6.19/6.22 c nbDecision=500 #constraints=19638 6.19/6.26 c restart after 801 decisions 6.29/6.32 c nbDecision=1000 #constraints=19638 6.49/6.50 c nbDecision=1500 #constraints=19640 6.49/6.52 c restart after 1601 decisions 6.59/6.64 c nbDecision=2000 #constraints=19640 6.68/6.71 c nbDecision=2500 #constraints=19640 6.78/6.82 c nbDecision=3000 #constraints=19641 6.78/6.84 c restart after 3201 decisions 6.98/7.00 c nbDecision=3500 #constraints=19641 6.98/7.07 c nbDecision=4000 #constraints=19641 7.08/7.12 c nbDecision=4500 #constraints=19641 7.08/7.19 c nbDecision=5000 #constraints=19641 7.28/7.33 c nbDecision=5500 #constraints=19642 7.38/7.41 c nbDecision=6000 #constraints=19642 7.38/7.47 c restart after 6401 decisions 7.69/7.78 c nbDecision=6500 #constraints=19643 7.78/7.85 c nbDecision=7000 #constraints=19643 7.88/7.91 c nbDecision=7500 #constraints=19643 7.88/7.97 c nbDecision=8000 #constraints=19643 7.98/8.07 c nbDecision=8500 #constraints=19643 8.08/8.13 c nbDecision=9000 #constraints=19643 8.18/8.21 c nbDecision=9500 #constraints=19643 8.18/8.28 c nbDecision=10000 #constraints=19644 8.18/8.28 c nbDecision=10122 #constraints=19644 8.18/8.28 c linear search for optimum 8.18/8.28 o 84 8.38/8.49 c nbDecision=10500 #constraints=19672 8.70/8.75 c nbDecision=11000 #constraints=19705 8.89/8.99 c nbDecision=11500 #constraints=19735 9.19/9.25 c nbDecision=12000 #constraints=19768 9.49/9.52 c nbDecision=12500 #constraints=19801 9.59/9.69 c restart after 12801 decisions 9.99/10.06 c nbDecision=13000 #constraints=19822 10.09/10.14 c nbDecision=13500 #constraints=19822 10.19/10.20 c nbDecision=14000 #constraints=19822 10.19/10.26 c nbDecision=14500 #constraints=19822 10.29/10.36 c nbDecision=15000 #constraints=19822 10.39/10.44 c nbDecision=15500 #constraints=19822 10.49/10.51 c nbDecision=16000 #constraints=19822 10.49/10.59 c nbDecision=16500 #constraints=19825 10.79/10.84 c nbDecision=17000 #constraints=19855 11.09/11.11 c nbDecision=17500 #constraints=19888 11.19/11.29 c nbDecision=18000 #constraints=19921 11.39/11.47 c nbDecision=18500 #constraints=19954 11.59/11.66 c nbDecision=19000 #constraints=19987 11.79/11.88 c nbDecision=19500 #constraints=20017 12.09/12.17 c nbDecision=20000 #constraints=20050 12.39/12.45 c nbDecision=20500 #constraints=20080 12.69/12.76 c nbDecision=21000 #constraints=20113 12.99/13.04 c nbDecision=21500 #constraints=20143 13.28/13.38 c nbDecision=22000 #constraints=20179 13.68/13.70 c nbDecision=22500 #constraints=20212 13.88/14.00 c nbDecision=23000 #constraints=20242 14.29/14.30 c nbDecision=23500 #constraints=20272 14.59/14.64 c nbDecision=24000 #constraints=20305 14.89/14.94 c nbDecision=24500 #constraints=20335 15.19/15.26 c nbDecision=25000 #constraints=20365 15.59/15.60 c nbDecision=25500 #constraints=20398 15.59/15.69 c restart after 25601 decisions 16.09/16.16 c nbDecision=26000 #constraints=20407 16.19/16.24 c nbDecision=26500 #constraints=20407 16.29/16.31 c nbDecision=27000 #constraints=20407 16.29/16.38 c nbDecision=27500 #constraints=20407 16.39/16.49 c nbDecision=28000 #constraints=20407 16.49/16.58 c nbDecision=28500 #constraints=20407 16.59/16.66 c nbDecision=29000 #constraints=20407 16.79/16.88 c nbDecision=29500 #constraints=20425 17.19/17.20 c nbDecision=30000 #constraints=20455 17.49/17.52 c nbDecision=30500 #constraints=20485 17.79/17.88 c nbDecision=31000 #constraints=20518 18.19/18.23 c nbDecision=31500 #constraints=20551 18.49/18.60 c nbDecision=32000 #constraints=20584 18.89/18.91 c nbDecision=32500 #constraints=20614 19.09/19.18 c nbDecision=33000 #constraints=20647 19.39/19.45 c nbDecision=33500 #constraints=20680 19.69/19.70 c nbDecision=34000 #constraints=20710 19.99/20.04 c nbDecision=34500 #constraints=20743 20.39/20.42 c nbDecision=35000 #constraints=20776 20.79/20.80 c nbDecision=35500 #constraints=20809 21.18/21.20 c nbDecision=36000 #constraints=20842 21.48/21.57 c nbDecision=36500 #constraints=20872 21.89/21.97 c nbDecision=37000 #constraints=20905 22.28/22.34 c nbDecision=37500 #constraints=20935 22.68/22.73 c nbDecision=38000 #constraints=20965 23.09/23.13 c nbDecision=38500 #constraints=20998 23.48/23.54 c nbDecision=39000 #constraints=21031 23.88/23.97 c nbDecision=39500 #constraints=21064 24.29/24.37 c nbDecision=40000 #constraints=21094 24.69/24.79 c nbDecision=40500 #constraints=21127 25.19/25.22 c nbDecision=41000 #constraints=21160 25.58/25.63 c nbDecision=41500 #constraints=21190 25.98/26.04 c nbDecision=42000 #constraints=21220 26.48/26.51 c nbDecision=42500 #constraints=21256 26.88/26.96 c nbDecision=43000 #constraints=21289 27.28/27.38 c nbDecision=43500 #constraints=21319 27.68/27.76 c nbDecision=44000 #constraints=21352 28.08/28.12 c nbDecision=44500 #constraints=21385 28.38/28.46 c nbDecision=45000 #constraints=21415 28.79/28.81 c nbDecision=45500 #constraints=21445 29.19/29.27 c nbDecision=46000 #constraints=21478 29.69/29.75 c nbDecision=46500 #constraints=21511 30.18/30.23 c nbDecision=47000 #constraints=21544 30.58/30.68 c nbDecision=47500 #constraints=21574 31.08/31.17 c nbDecision=48000 #constraints=21607 31.58/31.66 c nbDecision=48500 #constraints=21640 32.08/32.13 c nbDecision=49000 #constraints=21670 32.58/32.60 c nbDecision=49500 #constraints=21700 33.08/33.10 c nbDecision=50000 #constraints=21733 33.58/33.64 c nbDecision=50500 #constraints=21769 34.08/34.12 c nbDecision=51000 #constraints=21799 34.38/34.44 c restart after 51201 decisions 35.08/35.12 c nbDecision=51500 #constraints=21825 35.18/35.27 c nbDecision=52000 #constraints=21825 35.28/35.33 c nbDecision=52500 #constraints=21825 35.38/35.44 c nbDecision=53000 #constraints=21825 35.58/35.60 c nbDecision=53500 #constraints=21825 35.68/35.72 c nbDecision=54000 #constraints=21825 35.78/35.83 c nbDecision=54500 #constraints=21825 36.29/36.37 c nbDecision=55000 #constraints=21870 37.48/37.56 c nbDecision=55500 #constraints=21990 38.58/38.70 c nbDecision=56000 #constraints=22110 39.88/39.95 c nbDecision=56500 #constraints=22220 40.87/40.91 c nbDecision=57000 #constraints=22297 41.88/41.91 c nbDecision=57500 #constraints=22380 42.78/42.88 c nbDecision=58000 #constraints=22456 43.68/43.77 c nbDecision=58500 #constraints=22524 44.78/44.83 c nbDecision=59000 #constraints=22607 45.58/45.60 c nbDecision=59500 #constraints=22665 46.38/46.47 c nbDecision=60000 #constraints=22751 47.28/47.31 c nbDecision=60500 #constraints=22830 48.07/48.17 c nbDecision=61000 #constraints=22892 49.27/49.31 c nbDecision=61500 #constraints=22975 50.08/50.18 c nbDecision=62000 #constraints=23033 51.28/51.37 c nbDecision=62500 #constraints=23119 52.38/52.43 c nbDecision=63000 #constraints=23192 53.37/53.44 c nbDecision=63500 #constraints=23260 54.57/54.66 c nbDecision=64000 #constraints=23343 55.48/55.54 c nbDecision=64500 #constraints=23399 56.77/56.81 c nbDecision=65000 #constraints=23485 57.67/57.73 c nbDecision=65500 #constraints=23543 58.87/58.97 c nbDecision=66000 #constraints=23626 60.18/60.27 c nbDecision=66500 #constraints=23712 61.07/61.15 c nbDecision=67000 #constraints=23767 62.17/62.25 c nbDecision=67500 #constraints=23853 62.97/63.06 c nbDecision=68000 #constraints=23911 64.18/64.27 c nbDecision=68500 #constraints=23994 65.58/65.66 c nbDecision=69000 #constraints=24080 66.57/66.61 c nbDecision=69500 #constraints=24135 67.97/68.03 c nbDecision=70000 #constraints=24221 68.97/69.07 c nbDecision=70500 #constraints=24279 70.38/70.45 c nbDecision=71000 #constraints=24362 71.87/71.91 c nbDecision=71500 #constraints=24448 73.27/73.31 c nbDecision=72000 #constraints=24524 74.97/75.03 c nbDecision=72500 #constraints=24615 76.07/76.11 c nbDecision=73000 #constraints=24673 77.47/77.56 c nbDecision=73500 #constraints=24756 78.67/78.74 c nbDecision=74000 #constraints=24819 80.07/80.18 c nbDecision=74500 #constraints=24900 81.57/81.69 c nbDecision=75000 #constraints=24983 82.57/82.64 c nbDecision=75500 #constraints=25041 83.87/83.93 c nbDecision=76000 #constraints=25124 85.07/85.13 c nbDecision=76500 #constraints=25192 86.46/86.55 c nbDecision=77000 #constraints=25268 88.06/88.15 c nbDecision=77500 #constraints=25351 89.27/89.33 c nbDecision=78000 #constraints=25409 90.87/90.94 c nbDecision=78500 #constraints=25492 92.07/92.16 c nbDecision=79000 #constraints=25550 93.77/93.82 c nbDecision=79500 #constraints=25636 95.37/95.46 c nbDecision=80000 #constraints=25717 97.56/97.61 c nbDecision=80500 #constraints=25814 99.06/99.16 c nbDecision=81000 #constraints=25888 100.46/100.55 c nbDecision=81500 #constraints=25954 101.86/101.97 c nbDecision=82000 #constraints=26024 103.36/103.41 c nbDecision=82500 #constraints=26094 105.47/105.51 c nbDecision=83000 #constraints=26206 107.96/108.07 c nbDecision=83500 #constraints=26365 110.66/110.71 c nbDecision=84000 #constraints=26507 113.06/113.11 c nbDecision=84500 #constraints=26612 115.46/115.57 c nbDecision=85000 #constraints=26712 117.96/118.06 c nbDecision=85500 #constraints=26817 120.35/120.42 c nbDecision=86000 #constraints=26912 122.06/122.13 c nbDecision=86500 #constraints=26978 122.85/122.98 c nbDecision=87000 #constraints=27011 123.75/123.85 c nbDecision=87500 #constraints=27044 124.55/124.67 c nbDecision=88000 #constraints=27074 125.55/125.60 c nbDecision=88500 #constraints=27107 126.36/126.50 c nbDecision=89000 #constraints=27140 127.26/127.36 c nbDecision=89500 #constraints=27170 128.16/128.22 c nbDecision=90000 #constraints=27200 128.96/129.05 c nbDecision=90500 #constraints=27236 129.76/129.84 c nbDecision=91000 #constraints=27269 130.56/130.62 c nbDecision=91500 #constraints=27299 131.36/131.43 c nbDecision=92000 #constraints=27329 132.25/132.36 c nbDecision=92500 #constraints=27362 133.25/133.32 c nbDecision=93000 #constraints=27395 134.06/134.20 c nbDecision=93500 #constraints=27425 135.05/135.14 c nbDecision=94000 #constraints=27458 135.95/136.06 c nbDecision=94500 #constraints=27491 136.85/136.99 c nbDecision=95000 #constraints=27524 137.86/137.95 c nbDecision=95500 #constraints=27557 138.76/138.86 c nbDecision=96000 #constraints=27587 139.66/139.75 c nbDecision=96500 #constraints=27617 140.66/140.75 c nbDecision=97000 #constraints=27650 141.56/141.67 c nbDecision=97500 #constraints=27680 144.55/144.60 c nbDecision=98000 #constraints=27839 147.66/147.70 c nbDecision=98500 #constraints=28002 150.45/150.57 c nbDecision=99000 #constraints=28111 153.25/153.33 c nbDecision=99500 #constraints=28211 156.05/156.20 c nbDecision=100000 #constraints=28311 158.95/159.06 c nbDecision=100500 #constraints=28416 161.65/161.76 c nbDecision=101000 #constraints=28505 162.65/162.80 c nbDecision=101500 #constraints=28541 163.65/163.79 c nbDecision=102000 #constraints=28574 164.45/164.58 c restart after 102401 decisions 166.34/166.40 c nbDecision=102500 #constraints=28598 166.64/166.70 c nbDecision=103000 #constraints=28598 166.64/166.79 c nbDecision=103500 #constraints=28598 166.94/167.09 c nbDecision=104000 #constraints=28598 167.44/167.53 c nbDecision=104500 #constraints=28598 167.74/167.85 c nbDecision=105000 #constraints=28598 167.94/168.05 c nbDecision=105500 #constraints=28598 168.34/168.40 c nbDecision=106000 #constraints=28598 169.25/169.36 c nbDecision=106500 #constraints=28625 170.25/170.35 c nbDecision=107000 #constraints=28658 171.25/171.36 c nbDecision=107500 #constraints=28691 172.35/172.40 c nbDecision=108000 #constraints=28724 173.25/173.35 c nbDecision=108500 #constraints=28754 174.25/174.30 c nbDecision=109000 #constraints=28787 175.15/175.28 c nbDecision=109500 #constraints=28820 176.05/176.17 c nbDecision=110000 #constraints=28850 177.05/177.17 c nbDecision=110500 #constraints=28883 178.05/178.19 c nbDecision=111000 #constraints=28916 179.14/179.23 c nbDecision=111500 #constraints=28949 180.24/180.31 c nbDecision=112000 #constraints=28982 181.24/181.34 c nbDecision=112500 #constraints=29012 182.34/182.41 c nbDecision=113000 #constraints=29045 183.34/183.44 c nbDecision=113500 #constraints=29075 184.34/184.48 c nbDecision=114000 #constraints=29105 185.44/185.52 c nbDecision=114500 #constraints=29138 186.44/186.58 c nbDecision=115000 #constraints=29171 187.54/187.69 c nbDecision=115500 #constraints=29204 188.64/188.76 c nbDecision=116000 #constraints=29234 189.74/189.86 c nbDecision=116500 #constraints=29267 190.84/190.96 c nbDecision=117000 #constraints=29300 191.94/192.04 c nbDecision=117500 #constraints=29330 192.94/193.08 c nbDecision=118000 #constraints=29360 194.14/194.24 c nbDecision=118500 #constraints=29396 195.24/195.36 c nbDecision=119000 #constraints=29429 196.34/196.41 c nbDecision=119500 #constraints=29459 197.34/197.47 c nbDecision=120000 #constraints=29492 198.44/198.50 c nbDecision=120500 #constraints=29525 199.44/199.51 c nbDecision=121000 #constraints=29555 200.34/200.49 c nbDecision=121500 #constraints=29585 201.44/201.59 c nbDecision=122000 #constraints=29618 202.64/202.70 c nbDecision=122500 #constraints=29651 203.74/203.86 c nbDecision=123000 #constraints=29684 204.84/204.96 c nbDecision=123500 #constraints=29714 206.04/206.11 c nbDecision=124000 #constraints=29747 207.14/207.28 c nbDecision=124500 #constraints=29780 208.34/208.42 c nbDecision=125000 #constraints=29810 209.44/209.54 c nbDecision=125500 #constraints=29840 210.53/210.67 c nbDecision=126000 #constraints=29873 211.73/211.85 c nbDecision=126500 #constraints=29906 212.93/213.06 c nbDecision=127000 #constraints=29939 214.04/214.20 c nbDecision=127500 #constraints=29969 215.34/215.41 c nbDecision=128000 #constraints=30002 216.54/216.61 c nbDecision=128500 #constraints=30035 217.64/217.78 c nbDecision=129000 #constraints=30065 218.84/218.94 c nbDecision=129500 #constraints=30098 220.03/220.11 c nbDecision=130000 #constraints=30131 221.13/221.23 c nbDecision=130500 #constraints=30161 222.33/222.43 c nbDecision=131000 #constraints=30194 223.43/223.55 c nbDecision=131500 #constraints=30227 224.53/224.65 c nbDecision=132000 #constraints=30260 225.63/225.74 c nbDecision=132500 #constraints=30290 226.73/226.84 c nbDecision=133000 #constraints=30320 227.93/228.04 c nbDecision=133500 #constraints=30353 229.13/229.27 c nbDecision=134000 #constraints=30386 230.42/230.52 c nbDecision=134500 #constraints=30419 231.62/231.71 c nbDecision=135000 #constraints=30449 232.82/232.97 c nbDecision=135500 #constraints=30482 234.14/234.26 c nbDecision=136000 #constraints=30515 235.34/235.49 c nbDecision=136500 #constraints=30545 236.53/236.67 c nbDecision=137000 #constraints=30575 237.83/237.96 c nbDecision=137500 #constraints=30611 239.03/239.15 c nbDecision=138000 #constraints=30641 240.93/241.08 c nbDecision=138500 #constraints=30695 244.72/244.85 c nbDecision=139000 #constraints=30815 248.32/248.43 c nbDecision=139500 #constraints=30935 252.23/252.34 c nbDecision=140000 #constraints=31055 255.33/255.48 c nbDecision=140500 #constraints=31145 257.52/257.60 c nbDecision=141000 #constraints=31211 259.92/260.08 c nbDecision=141500 #constraints=31292 262.63/262.70 c nbDecision=142000 #constraints=31375 264.52/264.60 c nbDecision=142500 #constraints=31433 267.13/267.26 c nbDecision=143000 #constraints=31516 269.33/269.45 c nbDecision=143500 #constraints=31592 271.42/271.53 c nbDecision=144000 #constraints=31660 274.02/274.18 c nbDecision=144500 #constraints=31743 276.02/276.12 c nbDecision=145000 #constraints=31801 278.71/278.87 c nbDecision=145500 #constraints=31884 281.21/281.31 c nbDecision=146000 #constraints=31960 283.51/283.64 c nbDecision=146500 #constraints=32028 286.31/286.40 c nbDecision=147000 #constraints=32111 288.31/288.46 c nbDecision=147500 #constraints=32169 291.22/291.31 c nbDecision=148000 #constraints=32250 293.22/293.31 c nbDecision=148500 #constraints=32308 296.11/296.20 c nbDecision=149000 #constraints=32394 298.71/298.89 c nbDecision=149500 #constraints=32473 300.91/301.05 c nbDecision=150000 #constraints=32535 303.81/303.98 c nbDecision=150500 #constraints=32618 305.81/305.95 c nbDecision=151000 #constraints=32679 308.40/308.58 c nbDecision=151500 #constraints=32762 311.12/311.28 c nbDecision=152000 #constraints=32841 313.51/313.60 c nbDecision=152500 #constraints=32906 316.41/316.54 c nbDecision=153000 #constraints=32986 318.61/318.74 c nbDecision=153500 #constraints=33047 321.50/321.65 c nbDecision=154000 #constraints=33130 324.20/324.30 c nbDecision=154500 #constraints=33203 326.61/326.78 c nbDecision=155000 #constraints=33271 329.70/329.88 c nbDecision=155500 #constraints=33354 333.80/333.93 c nbDecision=156000 #constraints=33449 336.70/336.85 c nbDecision=156500 #constraints=33521 339.00/339.17 c nbDecision=157000 #constraints=33582 342.00/342.17 c nbDecision=157500 #constraints=33665 345.21/345.31 c nbDecision=158000 #constraints=33751 347.41/347.58 c nbDecision=158500 #constraints=33809 350.40/350.55 c nbDecision=159000 #constraints=33892 352.80/352.99 c nbDecision=159500 #constraints=33962 355.40/355.59 c nbDecision=160000 #constraints=34033 358.70/358.82 c nbDecision=160500 #constraints=34119 360.99/361.12 c nbDecision=161000 #constraints=34177 364.09/364.28 c nbDecision=161500 #constraints=34260 366.79/366.97 c nbDecision=162000 #constraints=34330 369.69/369.84 c nbDecision=162500 #constraints=34401 372.99/373.12 c nbDecision=163000 #constraints=34487 375.19/375.38 c nbDecision=163500 #constraints=34542 379.69/379.80 c nbDecision=164000 #constraints=34644 383.39/383.59 c nbDecision=164500 #constraints=34728 386.19/386.33 c nbDecision=165000 #constraints=34794 389.08/389.26 c nbDecision=165500 #constraints=34866 391.98/392.12 c nbDecision=166000 #constraints=34934 395.38/395.57 c nbDecision=166500 #constraints=35015 400.49/400.60 c nbDecision=167000 #constraints=35183 405.38/405.52 c nbDecision=167500 #constraints=35337 410.18/410.35 c nbDecision=168000 #constraints=35442 414.98/415.10 c nbDecision=168500 #constraints=35542 419.87/420.06 c nbDecision=169000 #constraints=35647 424.58/424.73 c nbDecision=169500 #constraints=35747 428.68/428.80 c nbDecision=170000 #constraints=35829 430.27/430.45 c nbDecision=170500 #constraints=35862 431.87/432.10 c nbDecision=171000 #constraints=35895 433.57/433.72 c nbDecision=171500 #constraints=35925 435.07/435.27 c nbDecision=172000 #constraints=35955 436.77/436.97 c nbDecision=172500 #constraints=35991 438.48/438.62 c nbDecision=173000 #constraints=36024 439.97/440.17 c nbDecision=173500 #constraints=36054 441.57/441.80 c nbDecision=174000 #constraints=36087 443.18/443.37 c nbDecision=174500 #constraints=36120 444.77/444.93 c nbDecision=175000 #constraints=36150 446.27/446.43 c nbDecision=175500 #constraints=36180 447.87/448.05 c nbDecision=176000 #constraints=36213 449.57/449.71 c nbDecision=176500 #constraints=36246 451.27/451.42 c nbDecision=177000 #constraints=36279 452.87/453.07 c nbDecision=177500 #constraints=36309 454.56/454.78 c nbDecision=178000 #constraints=36342 456.37/456.50 c nbDecision=178500 #constraints=36375 457.96/458.17 c nbDecision=179000 #constraints=36405 459.67/459.82 c nbDecision=179500 #constraints=36435 461.27/461.46 c nbDecision=180000 #constraints=36468 462.97/463.14 c nbDecision=180500 #constraints=36501 464.67/464.83 c nbDecision=181000 #constraints=36531 468.97/469.19 c nbDecision=181500 #constraints=36652 474.36/474.55 c nbDecision=182000 #constraints=36811 479.76/479.96 c nbDecision=182500 #constraints=36941 484.76/484.93 c nbDecision=183000 #constraints=37041 489.96/490.12 c nbDecision=183500 #constraints=37141 495.16/495.37 c nbDecision=184000 #constraints=37246 500.45/500.60 c nbDecision=184500 #constraints=37346 501.65/501.85 c nbDecision=184651 #constraints=37365 501.65/501.85 o 83 502.85/503.09 c nbDecision=185000 #constraints=37393 504.55/504.76 c nbDecision=185500 #constraints=37423 506.46/506.65 c nbDecision=186000 #constraints=37456 508.16/508.33 c nbDecision=186500 #constraints=37486 509.86/510.04 c nbDecision=187000 #constraints=37519 511.66/511.80 c nbDecision=187500 #constraints=37552 513.46/513.61 c nbDecision=188000 #constraints=37585 515.05/515.29 c nbDecision=188500 #constraints=37615 516.86/517.00 c nbDecision=189000 #constraints=37648 518.55/518.77 c nbDecision=189500 #constraints=37681 520.15/520.36 c nbDecision=190000 #constraints=37711 521.95/522.11 c nbDecision=190500 #constraints=37744 523.65/523.86 c nbDecision=191000 #constraints=37777 525.45/525.66 c nbDecision=191500 #constraints=37810 527.35/527.53 c nbDecision=192000 #constraints=37843 529.15/529.33 c nbDecision=192500 #constraints=37873 530.95/531.17 c nbDecision=193000 #constraints=37906 532.75/532.96 c nbDecision=193500 #constraints=37936 534.64/534.80 c nbDecision=194000 #constraints=37966 536.34/536.58 c nbDecision=194500 #constraints=37999 538.14/538.38 c nbDecision=195000 #constraints=38032 539.95/540.15 c nbDecision=195500 #constraints=38062 542.35/542.56 c nbDecision=196000 #constraints=38101 547.65/547.83 c nbDecision=196500 #constraints=38201 553.24/553.48 c nbDecision=197000 #constraints=38306 558.75/558.94 c nbDecision=197500 #constraints=38406 564.34/564.50 c nbDecision=198000 #constraints=38511 569.64/569.84 c nbDecision=198500 #constraints=38606 575.33/575.52 c nbDecision=199000 #constraints=38711 580.63/580.88 c nbDecision=199500 #constraints=38806 584.23/584.43 c nbDecision=200000 #constraints=38880 589.14/589.31 c nbDecision=200500 #constraints=39000 595.23/595.41 c nbDecision=201000 #constraints=39168 601.13/601.35 c nbDecision=201500 #constraints=39323 607.33/607.51 c nbDecision=202000 #constraints=39491 613.42/613.68 c nbDecision=202500 #constraints=39642 619.73/619.96 c nbDecision=203000 #constraints=39810 625.73/625.95 c nbDecision=203500 #constraints=39956 629.92/630.12 c nbDecision=204000 #constraints=40035 634.22/634.48 c nbDecision=204500 #constraints=40115 636.72/636.95 c restart after 204801 decisions 640.32/640.59 c nbDecision=205000 #constraints=40161 640.92/641.17 c nbDecision=205500 #constraints=40161 641.02/641.29 c nbDecision=206000 #constraints=40161 641.72/641.94 c nbDecision=206500 #constraints=40161 642.62/642.82 c nbDecision=207000 #constraints=40161 643.22/643.45 c nbDecision=207500 #constraints=40161 643.62/643.90 c nbDecision=208000 #constraints=40161 644.91/645.16 c nbDecision=208500 #constraints=40175 648.91/649.18 c nbDecision=209000 #constraints=40249 655.11/655.32 c nbDecision=209500 #constraints=40355 661.12/661.38 c nbDecision=210000 #constraints=40460 665.81/666.07 c nbDecision=210500 #constraints=40539 670.01/670.27 c nbDecision=211000 #constraints=40615 675.51/675.76 c nbDecision=211500 #constraints=40709 681.61/681.87 c nbDecision=212000 #constraints=40814 687.40/687.68 c nbDecision=212500 #constraints=40909 693.61/693.86 c nbDecision=213000 #constraints=41014 699.70/699.96 c nbDecision=213500 #constraints=41114 705.80/706.07 c nbDecision=214000 #constraints=41214 712.10/712.35 c nbDecision=214500 #constraints=41319 717.40/717.67 c nbDecision=215000 #constraints=41407 721.20/721.49 c nbDecision=215500 #constraints=41473 727.60/727.88 c nbDecision=216000 #constraints=41629 734.50/734.77 c nbDecision=216500 #constraints=41797 741.00/741.26 c nbDecision=217000 #constraints=41952 747.70/747.98 c nbDecision=217500 #constraints=42111 754.79/755.09 c nbDecision=218000 #constraints=42271 761.58/761.86 c nbDecision=218500 #constraints=42430 767.78/768.07 c nbDecision=219000 #constraints=42558 772.39/772.61 c nbDecision=219500 #constraints=42632 777.39/777.63 c nbDecision=220000 #constraints=42716 781.88/782.18 c nbDecision=220500 #constraints=42790 787.78/788.02 c nbDecision=221000 #constraints=42883 794.38/794.68 c nbDecision=221500 #constraints=42988 800.58/800.83 c nbDecision=222000 #constraints=43078 805.18/805.45 c nbDecision=222500 #constraints=43154 810.17/810.49 c nbDecision=223000 #constraints=43232 817.27/817.52 c nbDecision=223500 #constraints=43342 823.57/823.87 c nbDecision=224000 #constraints=43437 830.47/830.78 c nbDecision=224500 #constraints=43542 837.07/837.39 c nbDecision=225000 #constraints=43642 843.86/844.11 c nbDecision=225500 #constraints=43742 850.66/850.97 c nbDecision=226000 #constraints=43847 857.56/857.83 c nbDecision=226500 #constraints=43947 861.96/862.25 c nbDecision=227000 #constraints=44016 867.86/868.19 c nbDecision=227500 #constraints=44132 875.16/875.45 c nbDecision=228000 #constraints=44291 882.35/882.65 c nbDecision=228500 #constraints=44446 889.65/889.96 c nbDecision=229000 #constraints=44609 897.45/897.79 c nbDecision=229500 #constraints=44765 904.85/905.18 c nbDecision=230000 #constraints=44928 912.45/912.75 c nbDecision=230500 #constraints=45086 918.15/918.42 c nbDecision=231000 #constraints=45171 923.25/923.51 c nbDecision=231500 #constraints=45247 928.74/929.05 c nbDecision=232000 #constraints=45329 934.44/934.72 c nbDecision=232500 #constraints=45411 941.74/942.00 c nbDecision=233000 #constraints=45516 948.54/948.88 c nbDecision=233500 #constraints=45611 954.34/954.68 c nbDecision=234000 #constraints=45691 959.73/960.01 c nbDecision=234500 #constraints=45769 965.33/965.64 c nbDecision=235000 #constraints=45849 970.63/970.91 c nbDecision=235500 #constraints=45925 975.73/976.08 c nbDecision=236000 #constraints=45997 980.93/981.24 c nbDecision=236500 #constraints=46071 985.92/986.23 c nbDecision=237000 #constraints=46139 992.93/993.25 c nbDecision=237500 #constraints=46299 998.33/998.65 c nbDecision=238000 #constraints=46391 1004.22/1004.52 c nbDecision=238500 #constraints=46487 1009.52/1009.82 c nbDecision=239000 #constraints=46561 1014.92/1015.22 c nbDecision=239500 #constraints=46635 1020.22/1020.50 c nbDecision=240000 #constraints=46707 1025.52/1025.81 c nbDecision=240500 #constraints=46787 1032.52/1032.84 c nbDecision=241000 #constraints=46935 1039.21/1039.53 c nbDecision=241500 #constraints=47055 1046.42/1046.72 c nbDecision=242000 #constraints=47155 1053.71/1054.07 c nbDecision=242500 #constraints=47255 1061.40/1061.73 c nbDecision=243000 #constraints=47360 1068.71/1069.01 c nbDecision=243500 #constraints=47460 1076.21/1076.51 c nbDecision=244000 #constraints=47560 1083.50/1083.83 c nbDecision=244500 #constraints=47660 1091.30/1091.66 c nbDecision=245000 #constraints=47765 1096.60/1096.99 c nbDecision=245500 #constraints=47837 1102.80/1103.17 c nbDecision=246000 #constraints=47941 1111.09/1111.40 c nbDecision=246500 #constraints=48109 1119.09/1119.43 c nbDecision=247000 #constraints=48264 1127.09/1127.47 c nbDecision=247500 #constraints=48423 1135.69/1136.01 c nbDecision=248000 #constraints=48574 1144.08/1144.41 c nbDecision=248500 #constraints=48742 1152.18/1152.57 c nbDecision=249000 #constraints=48896 1159.28/1159.62 c nbDecision=249500 #constraints=48992 1165.08/1165.45 c nbDecision=250000 #constraints=49066 1171.58/1171.91 c nbDecision=250500 #constraints=49148 1177.57/1177.95 c nbDecision=251000 #constraints=49224 1185.67/1186.07 c nbDecision=251500 #constraints=49329 1193.58/1193.93 c nbDecision=252000 #constraints=49429 1200.27/1200.68 c nbDecision=252500 #constraints=49512 1206.27/1206.64 c nbDecision=253000 #constraints=49586 1212.77/1213.16 c nbDecision=253500 #constraints=49666 1218.87/1219.29 c nbDecision=254000 #constraints=49742 1224.86/1225.28 c nbDecision=254500 #constraints=49816 1230.96/1231.35 c nbDecision=255000 #constraints=49890 1236.86/1237.26 c nbDecision=255500 #constraints=49960 1244.35/1244.77 c nbDecision=256000 #constraints=50107 1250.96/1251.36 c nbDecision=256500 #constraints=50202 1257.96/1258.32 c nbDecision=257000 #constraints=50304 1264.05/1264.42 c nbDecision=257500 #constraints=50378 1270.25/1270.63 c nbDecision=258000 #constraints=50452 1276.55/1276.97 c nbDecision=258500 #constraints=50528 1282.55/1282.92 c nbDecision=259000 #constraints=50602 1290.64/1291.05 c nbDecision=259500 #constraints=50752 1297.44/1297.82 c nbDecision=260000 #constraints=50856 1306.14/1306.53 c nbDecision=260500 #constraints=50969 1314.44/1314.85 c nbDecision=261000 #constraints=51074 1322.54/1322.93 c nbDecision=261500 #constraints=51174 1330.54/1330.92 c nbDecision=262000 #constraints=51274 1338.73/1339.13 c nbDecision=262500 #constraints=51374 1347.03/1347.44 c nbDecision=263000 #constraints=51479 1355.33/1355.71 c nbDecision=263500 #constraints=51579 1361.53/1361.92 c nbDecision=264000 #constraints=51655 1368.13/1368.59 c nbDecision=264500 #constraints=51751 1377.22/1377.65 c nbDecision=265000 #constraints=51919 1385.92/1386.39 c nbDecision=265500 #constraints=52074 1395.12/1395.53 c nbDecision=266000 #constraints=52242 1404.52/1404.94 c nbDecision=266500 #constraints=52393 1413.51/1413.93 c nbDecision=267000 #constraints=52552 1422.61/1423.06 c nbDecision=267500 #constraints=52715 1430.50/1430.97 c nbDecision=268000 #constraints=52808 1437.31/1437.77 c nbDecision=268500 #constraints=52884 1444.50/1444.98 c nbDecision=269000 #constraints=52964 1451.40/1451.82 c nbDecision=269500 #constraints=53040 1460.31/1460.70 c nbDecision=270000 #constraints=53143 1469.00/1469.47 c nbDecision=270500 #constraints=53248 1476.39/1476.83 c nbDecision=271000 #constraints=53328 1483.19/1483.66 c nbDecision=271500 #constraints=53402 1491.50/1492.00 c nbDecision=272000 #constraints=53496 1500.39/1500.80 c nbDecision=272500 #constraints=53601 1508.79/1509.28 c nbDecision=273000 #constraints=53696 1518.08/1518.51 c nbDecision=273500 #constraints=53806 1526.48/1526.96 c nbDecision=274000 #constraints=53901 1535.58/1536.05 c nbDecision=274500 #constraints=54006 1544.27/1544.74 c nbDecision=275000 #constraints=54106 1552.27/1552.79 c nbDecision=275500 #constraints=54197 1558.37/1558.85 c nbDecision=276000 #constraints=54263 1567.68/1568.16 c nbDecision=276500 #constraints=54421 1577.37/1577.81 c nbDecision=277000 #constraints=54580 1586.66/1587.12 c nbDecision=277500 #constraints=54735 1596.36/1596.80 c nbDecision=278000 #constraints=54898 1606.67/1607.14 c nbDecision=278500 #constraints=55054 1616.36/1616.88 c nbDecision=279000 #constraints=55217 1625.95/1626.44 c nbDecision=279500 #constraints=55348 1633.25/1633.73 c nbDecision=280000 #constraints=55422 1641.25/1641.70 c nbDecision=280500 #constraints=55506 1648.45/1648.99 c nbDecision=281000 #constraints=55580 1657.05/1657.55 c nbDecision=281500 #constraints=55670 1666.45/1666.92 c nbDecision=282000 #constraints=55775 1675.45/1675.99 c nbDecision=282500 #constraints=55870 1682.55/1683.06 c nbDecision=283000 #constraints=55942 1690.63/1691.13 c nbDecision=283500 #constraints=56023 1693.02/1693.59 c nbDecision=284000 #constraints=56053 1695.42/1695.98 c nbDecision=284500 #constraints=56086 1697.93/1698.46 c nbDecision=285000 #constraints=56119 1700.32/1700.86 c nbDecision=285500 #constraints=56149 1702.71/1703.26 c nbDecision=286000 #constraints=56182 1705.30/1705.82 c nbDecision=286500 #constraints=56215 1707.90/1708.45 c nbDecision=287000 #constraints=56248 1710.39/1710.96 c nbDecision=287500 #constraints=56278 1712.69/1713.24 c nbDecision=288000 #constraints=56311 1715.08/1715.61 c nbDecision=288500 #constraints=56344 1717.47/1718.10 c nbDecision=289000 #constraints=56377 1719.96/1720.52 c nbDecision=289500 #constraints=56407 1722.46/1723.10 c nbDecision=290000 #constraints=56440 1725.16/1725.71 c nbDecision=290500 #constraints=56473 1727.76/1728.33 c nbDecision=291000 #constraints=56503 1730.16/1730.73 c nbDecision=291500 #constraints=56533 1732.56/1733.17 c nbDecision=292000 #constraints=56566 1735.16/1735.76 c nbDecision=292500 #constraints=56599 1737.85/1738.47 c nbDecision=293000 #constraints=56629 1740.35/1740.92 c nbDecision=293500 #constraints=56662 1742.85/1743.45 c nbDecision=294000 #constraints=56695 1745.44/1746.07 c nbDecision=294500 #constraints=56725 1750.34/1750.90 c nbDecision=295000 #constraints=56773 1759.83/1760.47 c nbDecision=295500 #constraints=56878 1769.33/1769.98 c nbDecision=296000 #constraints=56978 1779.02/1779.65 c nbDecision=296500 #constraints=57083 1788.52/1789.15 c nbDecision=297000 #constraints=57183 1798.12/1798.70 c nbDecision=297500 #constraints=57283 1800.03/1800.60 Received signal 15 1800.03/1800.65 1800.03/1800.65 s SATISFIABLE 1800.03/1800.65 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.03/1800.65 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.03/1800.65 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.03/1800.65 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.03/1800.65 v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 1800.03/1800.65 v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 1800.03/1800.65 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 1800.03/1800.65 v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 1800.03/1800.65 v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 1800.03/1800.65 v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 1800.03/1800.65 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 1800.03/1800.65 v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 1800.03/1800.65 v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 1800.03/1800.65 v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 1800.03/1800.65 v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 1800.03/1800.65 v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 1800.03/1800.65 v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 1800.03/1800.65 v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 1800.03/1800.65 v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 1800.03/1800.65 v x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 1800.03/1800.65 v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 1800.03/1800.65 v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 1800.03/1800.65 v -x483 -x484 x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 1800.03/1800.65 v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 1800.03/1800.65 v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 1800.03/1800.65 v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 1800.03/1800.65 v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 1800.03/1800.65 v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 1800.03/1800.65 v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 1800.03/1800.65 v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 1800.03/1800.65 v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 1800.03/1800.65 v -x672 -x673 -x674 -x675 x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 1800.03/1800.65 v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 1800.03/1800.65 v -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 1800.03/1800.65 v -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 1800.03/1800.65 v -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 1800.03/1800.65 v -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 1800.03/1800.65 v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 1800.03/1800.65 v -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 1800.03/1800.65 v -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 1800.03/1800.65 v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 1800.03/1800.65 v -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 1800.03/1800.65 v -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 1800.03/1800.65 v -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 1800.03/1800.65 v -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 1800.03/1800.65 v -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 1800.03/1800.65 v -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 1800.03/1800.65 v -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 x1019 -x1020 -x1021 -x1022 1800.03/1800.65 v -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 1800.03/1800.65 v -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 1800.03/1800.65 v -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 x1070 -x1071 -x1072 -x1073 1800.03/1800.65 v -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 1800.03/1800.65 v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 1800.03/1800.65 v -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 1800.03/1800.65 v -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 1800.03/1800.65 v -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 1800.03/1800.65 v -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 1800.03/1800.65 v -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 1800.03/1800.65 v -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 1800.03/1800.65 v -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 1800.03/1800.65 v -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 1800.03/1800.65 v -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 1800.03/1800.65 v -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 1800.03/1800.65 v -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 1800.03/1800.65 v -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 1800.03/1800.65 v -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 1800.03/1800.65 v -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 1800.03/1800.65 v -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 1800.03/1800.65 v -x1363 -x1364 -x1365 -x1366 -x1367 x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 1800.03/1800.65 v -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 1800.03/1800.65 v -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 1800.03/1800.65 v -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 1800.03/1800.65 v -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 1800.03/1800.65 v -x1448 -x1449 x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 1800.03/1800.65 v -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 1800.03/1800.65 v -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 1800.03/1800.65 v -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 1800.03/1800.65 v -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 1800.03/1800.65 v -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 1800.03/1800.65 v -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 1800.03/1800.65 v -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 x1580 -x1581 -x1582 -x1583 1800.03/1800.65 v -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 1800.03/1800.65 v -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 1800.03/1800.65 v -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 1800.03/1800.65 v -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 1800.03/1800.65 v -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 1800.03/1800.65 v -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 1800.03/1800.65 v -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 1800.03/1800.65 v -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 1800.03/1800.65 v -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 1800.03/1800.65 v -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 1800.03/1800.65 v -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 1800.03/1800.65 v -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 1800.03/1800.65 v -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 1800.03/1800.65 v -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 1800.03/1800.65 v -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 1800.03/1800.65 v -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 1800.03/1800.65 v -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 1800.03/1800.65 v -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 1800.03/1800.65 v -x1890 x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 1800.03/1800.65 v -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 x1921 -x1922 -x1923 1800.03/1800.65 v -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 1800.03/1800.65 v -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 1800.03/1800.65 v -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 1800.03/1800.65 v -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 1800.03/1800.65 v -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 1800.03/1800.65 v -x2009 -x2010 -x2011 -x2012 -x2013 x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 1800.03/1800.65 v -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 1800.03/1800.65 v -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 1800.03/1800.65 v -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 1800.03/1800.65 v -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 1800.03/1800.65 v -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 1800.03/1800.65 v -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 1800.03/1800.65 v -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 1800.03/1800.65 v -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 1800.03/1800.65 v -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 1800.03/1800.65 v -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 1800.03/1800.65 v -x2196 -x2197 x2198 x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 1800.03/1800.65 v -x2214 -x2215 -x2216 x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 1800.03/1800.65 v -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 1800.03/1800.65 v -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 1800.03/1800.65 v -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 1800.03/1800.65 v -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 1800.03/1800.65 v -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 1800.03/1800.65 v -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 1800.03/1800.65 v -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 1800.03/1800.65 v -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 1800.03/1800.65 v -x2367 -x2368 -x2369 -x2370 x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 1800.03/1800.65 v -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 1800.03/1800.65 v -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 1800.03/1800.65 v -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 1800.03/1800.65 v -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 1800.03/1800.65 v -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 1800.03/1800.65 v -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 1800.03/1800.65 v -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 1800.03/1800.65 v -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 1800.03/1800.65 v -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 1800.03/1800.65 v -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 1800.03/1800.65 v -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 1800.03/1800.65 v -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 1800.03/1800.65 v -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 1800.03/1800.65 v -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 1800.03/1800.65 v -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 1800.03/1800.65 v -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 1800.03/1800.65 v -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 1800.03/1800.65 v -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 1800.03/1800.65 v -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 1800.03/1800.65 v -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 1800.03/1800.65 v -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 1800.03/1800.65 v -x2741 x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 1800.03/1800.65 v -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 1800.03/1800.65 v -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 1800.03/1800.65 v -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 1800.03/1800.65 v -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 1800.03/1800.65 v -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 1800.03/1800.65 v -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 1800.03/1800.65 v -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 1800.03/1800.65 v -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 1800.03/1800.65 v -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 1800.03/1800.65 v -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 1800.03/1800.65 v -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 1800.03/1800.65 v -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 1800.03/1800.65 v -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 1800.03/1800.65 v -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 1800.03/1800.65 v -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 1800.03/1800.65 v -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 1800.03/1800.65 v -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 1800.03/1800.65 v -x3047 x3048 -x3049 -x3050 -x3051 x3052 x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 1800.03/1800.65 v -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 1800.03/1800.65 v -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 x3097 -x3098 1800.03/1800.65 v -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 x3112 -x3113 -x3114 -x3115 1800.03/1800.65 v -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 1800.03/1800.65 v -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 1800.03/1800.65 v -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 1800.03/1800.65 v -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 1800.03/1800.65 v -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 x3200 1800.03/1800.65 v -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 1800.03/1800.65 v -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 1800.03/1800.65 v -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 1800.03/1800.65 v -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 1800.03/1800.65 v -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 1800.03/1800.65 v -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 x3298 x3299 x3300 x3301 -x3302 -x3303 1800.03/1800.65 v -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 1800.03/1800.65 v -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 1800.03/1800.65 v -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 1800.03/1800.65 v -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 1800.03/1800.65 v -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 1800.03/1800.65 v -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 1800.03/1800.65 v -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 1800.03/1800.65 v -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 1800.03/1800.65 v -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 1800.03/1800.65 v -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 1800.03/1800.65 v -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 1800.03/1800.65 v -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 1800.03/1800.65 v -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 1800.03/1800.65 v -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 1800.03/1800.65 v -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 1800.03/1800.65 v -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 1800.03/1800.65 v -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 1800.03/1800.65 v -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 1800.03/1800.65 v -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 1800.03/1800.65 v -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 1800.03/1800.65 v -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 1800.03/1800.65 v -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 1800.03/1800.65 v -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 1800.03/1800.65 v -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 x3709 -x3710 -x3711 1800.03/1800.65 v -x3712 -x3713 x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 1800.03/1800.65 v -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 1800.03/1800.65 v -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 1800.03/1800.65 v -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 1800.03/1800.65 v -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 1800.03/1800.65 v -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 1800.03/1800.65 v -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 1800.03/1800.65 v -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 x3843 -x3844 -x3845 -x3846 -x3847 1800.03/1800.65 v -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 1800.03/1800.65 v -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 1800.03/1800.65 v -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 1800.03/1800.65 v -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 1800.03/1800.65 v -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 1800.03/1800.65 v x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 1800.03/1800.65 v -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 1800.03/1800.65 v -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 1800.03/1800.65 v -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 x3999 -x4000 -x4001 1800.03/1800.65 v -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 1800.03/1800.65 v -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 1800.03/1800.65 v -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 x4049 -x4050 -x4051 -x4052 1800.03/1800.65 v -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 1800.03/1800.65 v -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 1800.03/1800.65 v -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 1800.03/1800.65 v -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 x4116 -x4117 x4118 -x4119 -x4120 -x4121 1800.03/1800.65 v -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 1800.03/1800.65 v -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 1800.03/1800.65 v x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 1800.03/1800.65 v -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 x4186 -x4187 -x4188 -x4189 -x4190 1800.03/1800.65 v -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 x4203 -x4204 -x4205 -x4206 -x4207 1800.03/1800.65 v -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 1800.03/1800.65 v -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 1800.03/1800.65 v -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 1800.03/1800.65 v -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 1800.03/1800.65 v -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 1800.03/1800.65 v -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 1800.03/1800.65 v -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 1800.03/1800.65 v -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 1800.03/1800.65 v -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 1800.03/1800.65 v -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 1800.03/1800.65 v -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 1800.03/1800.65 v -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 x4410 -x4411 1800.03/1800.65 v -x4412 -x4413 x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 1800.03/1800.65 v -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 1800.03/1800.65 v -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 1800.03/1800.65 v -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 1800.03/1800.65 v -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 1800.03/1800.65 v -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 1800.03/1800.65 v -x4514 -x4515 x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 x4527 -x4528 -x4529 -x4530 -x4531 1800.03/1800.65 v -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 1800.03/1800.65 v -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 1800.03/1800.65 v -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 1800.03/1800.65 v -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 1800.03/1800.65 v -x4600 x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 1800.03/1800.65 v -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 x4628 -x4629 -x4630 -x4631 -x4632 -x4633 1800.03/1800.65 v -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 1800.03/1800.65 v -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 1800.03/1800.65 v -x4668 x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 x4680 -x4681 -x4682 -x4683 -x4684 -x4685 1800.03/1800.65 v -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 1800.03/1800.65 v -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 1800.03/1800.65 v -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 1800.03/1800.65 v -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 1800.03/1800.65 v -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 1800.03/1800.65 v -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 1800.03/1800.65 v -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 x4800 -x4801 -x4802 -x4803 -x4804 1800.03/1800.65 v -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 1800.03/1800.65 v -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 1800.03/1800.65 v -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 x4853 -x4854 -x4855 1800.03/1800.65 v -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 1800.03/1800.65 v -x4873 -x4874 -x4875 -x4876 x4877 -x4878 -x4879 -x4880 x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 1800.03/1800.65 v -x4891 x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 x4903 -x4904 -x4905 -x4906 -x4907 -x4908 1800.03/1800.65 v -x4909 -x4910 -x4911 -x4912 -x4913 x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 1800.03/1800.65 v -x4926 -x4927 x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 1800.03/1800.65 v -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 1800.03/1800.65 v -x4960 -x4961 -x4962 -x4963 x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 1800.03/1800.65 v -x4977 -x4978 -x4979 -x4980 x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 x4990 -x4991 -x4992 -x4993 -x4994 1800.03/1800.65 v -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 1800.03/1800.65 v -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 1800.03/1800.65 v -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 1800.03/1800.65 v -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 1800.03/1800.65 v -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 x5075 -x5076 -x5077 -x5078 -x5079 1800.03/1800.65 v -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 1800.03/1800.65 v -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 x5111 -x5112 -x5113 1800.03/1800.65 v -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 x5127 -x5128 -x5129 -x5130 1800.03/1800.65 v -x5131 -x5132 x5133 -x5134 -x5135 -x5136 x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 1800.03/1800.65 v -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 1800.03/1800.65 v -x5166 -x5167 -x5168 -x5169 x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 1800.03/1800.65 v -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 1800.03/1800.65 v -x5200 -x5201 -x5202 -x5203 1800.03/1800.65 1800.03/1800.65 c user time= 1799.26 s 1800.03/1800.65 c system time= 0.823874 s 1800.03/1800.65 c wall clock time=1800.65
OK 83
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node74/watcher-357455-1177000371 -o ROOT/results/node74/solver-357455-1177000371 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357455-1177000371/instance-357455-1177000371.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: 1.00 1.00 1.00 3/66 32572 /proc/meminfo: memFree=1425944/2055920 swapFree=4183056/4192956 [pid=32572] ppid=32570 vsize=1620 CPUtime=0 /proc/32572/stat : 32572 (oree) R 32570 32572 32084 0 -1 4194304 194 0 0 0 0 0 0 0 18 0 1 0 147951882 1658880 176 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32572/statm: 405 176 126 317 0 84 0 [startup+0.069647 s] /proc/loadavg: 1.00 1.00 1.00 3/66 32572 /proc/meminfo: memFree=1425944/2055920 swapFree=4183056/4192956 [pid=32572] ppid=32570 vsize=2812 CPUtime=0.06 /proc/32572/stat : 32572 (oree) R 32570 32572 32084 0 -1 4194304 503 0 0 0 6 0 0 0 18 0 1 0 147951882 2879488 485 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32572/statm: 703 485 130 317 0 382 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 2812 [startup+0.101648 s] /proc/loadavg: 1.00 1.00 1.00 3/66 32572 /proc/meminfo: memFree=1425944/2055920 swapFree=4183056/4192956 [pid=32572] ppid=32570 vsize=3472 CPUtime=0.09 /proc/32572/stat : 32572 (oree) R 32570 32572 32084 0 -1 4194304 666 0 0 0 9 0 0 0 18 0 1 0 147951882 3555328 648 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32572/statm: 868 648 130 317 0 547 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3472 [startup+0.301673 s] /proc/loadavg: 1.00 1.00 1.00 3/66 32572 /proc/meminfo: memFree=1425944/2055920 swapFree=4183056/4192956 [pid=32572] ppid=32570 vsize=7300 CPUtime=0.29 /proc/32572/stat : 32572 (oree) R 32570 32572 32084 0 -1 4194304 1637 0 0 0 29 0 0 0 19 0 1 0 147951882 7475200 1619 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32572/statm: 1825 1620 130 317 0 1504 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7300 [startup+0.701717 s] /proc/loadavg: 1.00 1.00 1.00 3/66 32572 /proc/meminfo: memFree=1425944/2055920 swapFree=4183056/4192956 [pid=32572] ppid=32570 vsize=15220 CPUtime=0.69 /proc/32572/stat : 32572 (oree) R 32570 32572 32084 0 -1 4194304 3615 0 0 0 68 1 0 0 22 0 1 0 147951882 15585280 3597 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32572/statm: 3805 3597 130 317 0 3484 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15220 [startup+1.50181 s] /proc/loadavg: 1.00 1.00 1.00 2/67 32573 /proc/meminfo: memFree=1406032/2055920 swapFree=4183056/4192956 [pid=32572] ppid=32570 vsize=31112 CPUtime=1.49 /proc/32572/stat : 32572 (oree) R 32570 32572 32084 0 -1 4194304 7579 0 0 0 145 4 0 0 25 0 1 0 147951882 31858688 7561 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32572/statm: 7778 7561 130 317 0 7457 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 31112 [startup+3.10199 s] /proc/loadavg: 1.00 1.00 1.00 2/67 32573 /proc/meminfo: memFree=1384080/2055920 swapFree=4183056/4192956 [pid=32572] ppid=32570 vsize=53928 CPUtime=3.09 /proc/32572/stat : 32572 (oree) R 32570 32572 32084 0 -1 4194304 13279 0 0 0 302 7 0 0 25 0 1 0 147951882 55222272 13261 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32572/statm: 13482 13261 137 317 0 13161 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 53928 [startup+6.30136 s] /proc/loadavg: 1.00 1.00 1.00 2/67 32573 /proc/meminfo: memFree=1366736/2055920 swapFree=4183056/4192956 [pid=32572] ppid=32570 vsize=64288 CPUtime=6.29 /proc/32572/stat : 32572 (oree) R 32570 32572 32084 0 -1 4194304 15846 0 0 0 621 8 0 0 25 0 1 0 147951882 65830912 15828 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606843 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32572/statm: 16072 15828 138 317 0 15751 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 64288 [startup+12.7011 s] /proc/loadavg: 1.00 1.00 1.00 2/67 32573 /proc/meminfo: memFree=1357200/2055920 swapFree=4183056/4192956 [pid=32572] ppid=32570 vsize=71588 CPUtime=12.69 /proc/32572/stat : 32572 (oree) R 32570 32572 32084 0 -1 4194304 17697 0 0 0 1260 9 0 0 25 0 1 0 147951882 73306112 17544 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32572/statm: 17897 17544 170 317 0 17576 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 71588 [startup+25.5016 s] /proc/loadavg: 1.00 1.00 1.00 2/67 32573 /proc/meminfo: memFree=1338704/2055920 swapFree=4183056/4192956 [pid=32572] ppid=32570 vsize=89440 CPUtime=25.48 /proc/32572/stat : 32572 (oree) R 32570 32572 32084 0 -1 4194304 22140 0 0 0 2537 11 0 0 25 0 1 0 147951882 91586560 21987 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716218 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32572/statm: 22360 21987 170 317 0 22039 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 89440 [startup+51.1015 s] /proc/loadavg: 1.00 1.00 1.00 2/67 32573 /proc/meminfo: memFree=1309776/2055920 swapFree=4183056/4192956 [pid=32572] ppid=32570 vsize=119140 CPUtime=51.08 /proc/32572/stat : 32572 (oree) R 32570 32572 32084 0 -1 4194304 29438 0 0 0 5093 15 0 0 25 0 1 0 147951882 121999360 29285 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32572/statm: 29785 29285 170 317 0 29464 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 119140 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/67 32573 /proc/meminfo: memFree=1264208/2055920 swapFree=4183056/4192956 [pid=32572] ppid=32570 vsize=165808 CPUtime=102.26 /proc/32572/stat : 32572 (oree) R 32570 32572 32084 0 -1 4194304 40669 0 0 0 10206 20 0 0 25 0 1 0 147951882 169787392 40516 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270603 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32572/statm: 41452 40516 170 317 0 41131 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 165808 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/67 32573 /proc/meminfo: memFree=1225552/2055920 swapFree=4183056/4192956 [pid=32572] ppid=32570 vsize=207028 CPUtime=162.25 /proc/32572/stat : 32572 (oree) R 32570 32572 32084 0 -1 4194304 50369 0 0 0 16199 26 0 0 25 0 1 0 147951882 211996672 50216 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32572/statm: 51757 50216 170 317 0 51436 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 207028 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/67 32573 /proc/meminfo: memFree=1198160/2055920 swapFree=4183056/4192956 [pid=32572] ppid=32570 vsize=236664 CPUtime=222.23 /proc/32572/stat : 32572 (oree) R 32570 32572 32084 0 -1 4194304 57150 0 0 0 22193 30 0 0 25 0 1 0 147951882 242343936 56997 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718318 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32572/statm: 59166 56997 170 317 0 58845 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 236664 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/67 32573 /proc/meminfo: memFree=1172944/2055920 swapFree=4183056/4192956 [pid=32572] ppid=32570 vsize=260100 CPUtime=282.21 /proc/32572/stat : 32572 (oree) R 32570 32572 32084 0 -1 4194304 63511 0 0 0 28188 33 0 0 25 0 1 0 147951882 266342400 63358 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32572/statm: 65025 63358 170 317 0 64704 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 260100 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/67 32573 /proc/meminfo: memFree=1146128/2055920 swapFree=4183056/4192956 [pid=32572] ppid=32570 vsize=288720 CPUtime=342.2 /proc/32572/stat : 32572 (oree) R 32570 32572 32084 0 -1 4194304 70167 0 0 0 34184 36 0 0 25 0 1 0 147951882 295649280 69981 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32572/statm: 72180 69981 170 317 0 71859 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 288720 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/67 32575 /proc/meminfo: memFree=1125072/2055920 swapFree=4183056/4192956 [pid=32572] ppid=32570 vsize=309244 CPUtime=402.19 /proc/32572/stat : 32572 (oree) R 32570 32572 32084 0 -1 4194304 75443 0 0 0 40180 39 0 0 25 0 1 0 147951882 316665856 75257 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32572/statm: 77311 75257 170 317 0 76990 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 309244 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/67 32575 /proc/meminfo: memFree=1103504/2055920 swapFree=4183056/4192956 [pid=32572] ppid=32570 vsize=338936 CPUtime=462.17 /proc/32572/stat : 32572 (oree) R 32570 32572 32084 0 -1 4194304 82094 0 0 0 46175 42 0 0 25 0 1 0 147951882 347070464 80555 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32572/statm: 84734 80555 170 317 0 84413 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 338936 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/67 32575 /proc/meminfo: memFree=1085840/2055920 swapFree=4183056/4192956 [pid=32572] ppid=32570 vsize=355180 CPUtime=522.15 /proc/32572/stat : 32572 (oree) R 32570 32572 32084 0 -1 4194304 86554 0 0 0 52171 44 0 0 25 0 1 0 147951882 363704320 85015 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604429 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32572/statm: 88795 85015 170 317 0 88474 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 355180 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/67 32575 /proc/meminfo: memFree=1069328/2055920 swapFree=4183056/4192956 [pid=32572] ppid=32570 vsize=371752 CPUtime=582.13 /proc/32572/stat : 32572 (oree) R 32570 32572 32084 0 -1 4194304 90917 0 0 0 58167 46 0 0 25 0 1 0 147951882 380674048 89081 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32572/statm: 92938 89081 170 317 0 92617 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 371752 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/67 32575 /proc/meminfo: memFree=1050448/2055920 swapFree=4183056/4192956 [pid=32572] ppid=32570 vsize=400104 CPUtime=642.12 /proc/32572/stat : 32572 (oree) R 32570 32572 32084 0 -1 4194304 97788 0 0 0 64163 49 0 0 25 0 1 0 147951882 409706496 93770 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32572/statm: 100026 93770 170 317 0 99705 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 400104 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/67 32575 /proc/meminfo: memFree=991056/2055920 swapFree=4183056/4192956 [pid=32572] ppid=32570 vsize=455720 CPUtime=882.05 /proc/32572/stat : 32572 (oree) R 32570 32572 32084 0 -1 4194304 112628 0 0 0 88148 57 0 0 25 0 1 0 147951882 466657280 108610 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32572/statm: 113930 108610 170 317 0 113609 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 455720 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/67 32575 /proc/meminfo: memFree=976656/2055920 swapFree=4183056/4192956 [pid=32572] ppid=32570 vsize=469988 CPUtime=942.04 /proc/32572/stat : 32572 (oree) R 32570 32572 32084 0 -1 4194304 116502 0 0 0 94144 60 0 0 25 0 1 0 147951882 481267712 112220 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715652 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32572/statm: 117497 112220 170 317 0 117176 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 469988 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 32575 /proc/meminfo: memFree=963792/2055920 swapFree=4183056/4192956 [pid=32572] ppid=32570 vsize=481964 CPUtime=1002.02 /proc/32572/stat : 32572 (oree) R 32570 32572 32084 0 -1 4194304 119792 0 0 0 100140 62 0 0 25 0 1 0 147951882 493531136 115411 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32572/statm: 120491 115411 170 317 0 120170 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 481964 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 32575 /proc/meminfo: memFree=949456/2055920 swapFree=4183056/4192956 [pid=32572] ppid=32570 vsize=502660 CPUtime=1062 /proc/32572/stat : 32572 (oree) R 32570 32572 32084 0 -1 4194304 124775 0 0 0 106136 64 0 0 25 0 1 0 147951882 514723840 119008 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32572/statm: 125665 119008 170 317 0 125344 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 502660 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 32575 /proc/meminfo: memFree=936464/2055920 swapFree=4183056/4192956 [pid=32572] ppid=32570 vsize=514056 CPUtime=1121.99 /proc/32572/stat : 32572 (oree) R 32570 32572 32084 0 -1 4194304 128051 0 0 0 112134 65 0 0 25 0 1 0 147951882 526393344 122284 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32572/statm: 128514 122284 170 317 0 128193 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 514056 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 32575 /proc/meminfo: memFree=923600/2055920 swapFree=4183056/4192956 [pid=32572] ppid=32570 vsize=525992 CPUtime=1181.97 /proc/32572/stat : 32572 (oree) R 32570 32572 32084 0 -1 4194304 131233 0 0 0 118130 67 0 0 25 0 1 0 147951882 538615808 125466 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32572/statm: 131498 125466 170 317 0 131177 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 525992 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 32575 /proc/meminfo: memFree=913104/2055920 swapFree=4183056/4192956 [pid=32572] ppid=32570 vsize=535736 CPUtime=1241.96 /proc/32572/stat : 32572 (oree) R 32570 32572 32084 0 -1 4194304 133837 0 0 0 124128 68 0 0 25 0 1 0 147951882 548593664 128070 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32572/statm: 133934 128070 170 317 0 133613 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 535736 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 32575 /proc/meminfo: memFree=899216/2055920 swapFree=4183056/4192956 [pid=32572] ppid=32570 vsize=549196 CPUtime=1301.94 /proc/32572/stat : 32572 (oree) R 32570 32572 32084 0 -1 4194304 137270 0 0 0 130125 69 0 0 25 0 1 0 147951882 562376704 131503 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32572/statm: 137299 131503 170 317 0 136978 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 549196 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 32575 /proc/meminfo: memFree=888592/2055920 swapFree=4183056/4192956 [pid=32572] ppid=32570 vsize=558604 CPUtime=1361.93 /proc/32572/stat : 32572 (oree) R 32570 32572 32084 0 -1 4194304 139935 0 0 0 136122 71 0 0 25 0 1 0 147951882 572010496 134168 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32572/statm: 139651 134168 170 317 0 139330 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 558604 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/67 32575 /proc/meminfo: memFree=873552/2055920 swapFree=4183056/4192956 [pid=32572] ppid=32570 vsize=589824 CPUtime=1421.91 /proc/32572/stat : 32572 (oree) R 32570 32572 32084 0 -1 4194304 147627 0 0 0 142118 73 0 0 25 0 1 0 147951882 603979776 137895 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32572/statm: 147456 137895 170 317 0 147135 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 589824 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 32575 /proc/meminfo: memFree=864016/2055920 swapFree=4183056/4192956 [pid=32572] ppid=32570 vsize=598460 CPUtime=1481.89 /proc/32572/stat : 32572 (oree) R 32570 32572 32084 0 -1 4194304 150010 0 0 0 148115 74 0 0 25 0 1 0 147951882 612823040 140278 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32572/statm: 149615 140278 170 317 0 149294 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 598460 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 32575 /proc/meminfo: memFree=853776/2055920 swapFree=4183056/4192956 [pid=32572] ppid=32570 vsize=607604 CPUtime=1541.87 /proc/32572/stat : 32572 (oree) R 32570 32572 32084 0 -1 4194304 152578 0 0 0 154112 75 0 0 25 0 1 0 147951882 622186496 142846 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32572/statm: 151901 142846 170 317 0 151580 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 607604 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 32575 /proc/meminfo: memFree=842128/2055920 swapFree=4183056/4192956 [pid=32572] ppid=32570 vsize=617908 CPUtime=1601.87 /proc/32572/stat : 32572 (oree) R 32570 32572 32084 0 -1 4194304 155571 0 0 0 160110 77 0 0 25 0 1 0 147951882 632737792 145839 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32572/statm: 154477 145839 170 317 0 154156 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 617908 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 32575 /proc/meminfo: memFree=831888/2055920 swapFree=4183056/4192956 [pid=32572] ppid=32570 vsize=626680 CPUtime=1661.85 /proc/32572/stat : 32572 (oree) R 32570 32572 32084 0 -1 4194304 158019 0 0 0 166107 78 0 0 25 0 1 0 147951882 641720320 148287 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32572/statm: 156670 148287 170 317 0 156349 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 626680 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/73 32739 /proc/meminfo: memFree=820704/2055920 swapFree=4183056/4192956 [pid=32572] ppid=32570 vsize=635648 CPUtime=1721.76 /proc/32572/stat : 32572 (oree) R 32570 32572 32084 0 -1 4194304 160554 0 0 0 172096 80 0 0 25 0 1 0 147951882 650903552 150789 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32572/statm: 158912 150789 170 317 0 158591 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 635648 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 305 /proc/meminfo: memFree=811088/2055920 swapFree=4183056/4192956 [pid=32572] ppid=32570 vsize=644800 CPUtime=1781.72 /proc/32572/stat : 32572 (oree) R 32570 32572 32084 0 -1 4194304 163191 0 0 0 178091 81 0 0 25 0 1 0 147951882 660275200 153426 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32572/statm: 161200 153426 170 317 0 160879 0 Current children cumulated CPU time (s) 1781.72 Current children cumulated vsize (KiB) 644800 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/67 305 /proc/meminfo: memFree=808272/2055920 swapFree=4183056/4192956 [pid=32572] ppid=32570 vsize=647464 CPUtime=1800.03 /proc/32572/stat : 32572 (oree) R 32570 32572 32084 0 -1 4194304 163888 0 0 0 179921 82 0 0 25 0 1 0 147951882 663003136 154123 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32572/statm: 161866 154123 170 317 0 161545 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 647464 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/67 305 /proc/meminfo: memFree=808272/2055920 swapFree=4183056/4192956 [pid=32572] ppid=32570 vsize=0 CPUtime=1800.13 /proc/32572/stat : 32572 (oree) R 32570 32572 32084 0 -1 4194308 163904 0 0 0 179927 86 0 0 25 0 1 0 147951882 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32572/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.13 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.77 CPU time (s): 1800.19 CPU user time (s): 1799.27 CPU system time (s): 0.91986 CPU usage (%): 99.9682 Max. virtual memory (cumulated for all children) (KiB): 647464 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.27 system time used= 0.91986 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 163904 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= 1282 runsolver used 2.25666 second user time and 4.23236 second system time The end
Begin job on node74 on Thu Apr 19 16:32:51 UTC 2007 IDJOB= 357455 IDBENCH= 2889 IDSOLVER= 172 FILE ID= node74/357455-1177000371 PBS_JOBID= 4630474 Free space on /tmp= 103194 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-C499.b.opb COMMAND LINE= oree /tmp/evaluation/357455-1177000371/instance-357455-1177000371.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node74/watcher-357455-1177000371 -o ROOT/results/node74/solver-357455-1177000371 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357455-1177000371/instance-357455-1177000371.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 0b80319f4195f1e1329c2c4b63b416b0 RANDOM SEED= 437892066 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node74.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.213 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.213 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: 1426352 kB Buffers: 36224 kB Cached: 518856 kB SwapCached: 3064 kB Active: 119552 kB Inactive: 446388 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1426352 kB SwapTotal: 4192956 kB SwapFree: 4183056 kB Dirty: 11032 kB Writeback: 0 kB Mapped: 16828 kB Slab: 49428 kB Committed_AS: 2043180 kB PageTables: 1484 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 103194 MiB End job on node74 on Thu Apr 19 17:02:54 UTC 2007