Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.12 | 1800.85 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-bnl1.opb |
MD5SUM | 86d589e9c21b90dfd700c7c422b09b8c |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 2.75758 |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 35250 |
Total number of constraints | 624 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 624 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 2280 |
Number of terms in the objective function | 29490 |
Biggest coefficient in the objective function | 6378 |
Number of bits for the biggest coefficient in the objective function | 13 |
Sum of the numbers in the objective function | 548620 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 548620 |
Number of bits of the biggest sum of numbers | 20 |
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... 0.49/0.51 c ...done 0.49/0.51 c #vars=35250 #constraints=856 hasObjective=yes 0.89/0.96 c res. mode=mod 0.89/0.96 c VSIDS like heuristics 0.89/0.96 c complete search running 1.39/1.47 c restart after 401 decisions 1.49/1.53 c nbDecision=500 #constraints=1116 1.69/1.78 c restart after 801 decisions 1.89/1.93 c nbDecision=1000 #constraints=1380 2.29/2.34 c nbDecision=1500 #constraints=1666 2.39/2.42 c restart after 1601 decisions 2.69/2.74 c nbDecision=2000 #constraints=1895 3.09/3.16 c nbDecision=2500 #constraints=2169 3.48/3.56 c nbDecision=3000 #constraints=2427 3.69/3.71 c restart after 3201 decisions 3.89/3.97 c nbDecision=3500 #constraints=2637 4.39/4.42 c nbDecision=4000 #constraints=2886 4.79/4.85 c nbDecision=4500 #constraints=3108 5.19/5.28 c nbDecision=5000 #constraints=3299 5.69/5.72 c nbDecision=5500 #constraints=3516 6.09/6.17 c nbDecision=6000 #constraints=3718 6.50/6.52 c restart after 6401 decisions 6.60/6.60 c nbDecision=6500 #constraints=3904 6.99/7.05 c nbDecision=7000 #constraints=4080 7.49/7.51 c nbDecision=7500 #constraints=4282 7.89/7.99 c nbDecision=8000 #constraints=4471 8.38/8.46 c nbDecision=8500 #constraints=4668 8.79/8.88 c nbDecision=9000 #constraints=4820 9.28/9.34 c nbDecision=9500 #constraints=4971 9.80/9.82 c nbDecision=10000 #constraints=5147 10.19/10.25 c nbDecision=10500 #constraints=5278 10.69/10.74 c nbDecision=11000 #constraints=5436 11.19/11.21 c nbDecision=11500 #constraints=5582 11.59/11.63 c nbDecision=12000 #constraints=5715 11.99/12.05 c nbDecision=12500 #constraints=5848 12.18/12.29 c restart after 12801 decisions 12.48/12.50 c nbDecision=13000 #constraints=5966 12.98/13.02 c nbDecision=13500 #constraints=6133 13.38/13.48 c nbDecision=14000 #constraints=6274 13.88/13.97 c nbDecision=14500 #constraints=6423 14.38/14.48 c nbDecision=15000 #constraints=6553 14.89/14.93 c nbDecision=15500 #constraints=6670 15.29/15.39 c nbDecision=16000 #constraints=6776 15.89/15.91 c nbDecision=16500 #constraints=6931 16.29/16.38 c nbDecision=17000 #constraints=7047 16.79/16.82 c nbDecision=17500 #constraints=7167 17.19/17.24 c nbDecision=18000 #constraints=7265 17.59/17.65 c nbDecision=18500 #constraints=7363 18.09/18.11 c nbDecision=19000 #constraints=7474 18.49/18.55 c nbDecision=19500 #constraints=7575 18.89/18.98 c nbDecision=20000 #constraints=7675 19.38/19.44 c nbDecision=20500 #constraints=7788 19.79/19.90 c nbDecision=21000 #constraints=7896 20.28/20.33 c nbDecision=21500 #constraints=7975 20.79/20.83 c nbDecision=22000 #constraints=8102 21.19/21.28 c nbDecision=22500 #constraints=8191 21.68/21.73 c nbDecision=23000 #constraints=8278 22.08/22.18 c nbDecision=23500 #constraints=8358 22.58/22.62 c nbDecision=24000 #constraints=8422 23.09/23.18 c nbDecision=24500 #constraints=8543 23.68/23.71 c nbDecision=25000 #constraints=8656 24.18/24.29 c nbDecision=25500 #constraints=8770 24.38/24.40 c restart after 25601 decisions 24.78/24.86 c nbDecision=26000 #constraints=8889 25.28/25.36 c nbDecision=26500 #constraints=8967 25.68/25.79 c nbDecision=27000 #constraints=9040 26.18/26.24 c nbDecision=27500 #constraints=9117 26.69/26.78 c nbDecision=28000 #constraints=9213 27.19/27.25 c nbDecision=28500 #constraints=9290 27.68/27.75 c nbDecision=29000 #constraints=9366 28.08/28.18 c nbDecision=29500 #constraints=9433 28.59/28.62 c nbDecision=30000 #constraints=9487 28.98/29.09 c nbDecision=30500 #constraints=9565 29.48/29.57 c nbDecision=31000 #constraints=9632 29.98/30.07 c nbDecision=31500 #constraints=9708 30.48/30.57 c nbDecision=32000 #constraints=9797 30.98/31.04 c nbDecision=32500 #constraints=9870 31.48/31.51 c nbDecision=33000 #constraints=9927 31.98/32.01 c nbDecision=33500 #constraints=10001 32.48/32.52 c nbDecision=34000 #constraints=10071 33.08/33.11 c nbDecision=34500 #constraints=10178 33.58/33.66 c nbDecision=35000 #constraints=10268 34.18/34.20 c nbDecision=35500 #constraints=10355 34.68/34.70 c nbDecision=36000 #constraints=10422 35.18/35.25 c nbDecision=36500 #constraints=10519 35.67/35.75 c nbDecision=37000 #constraints=10585 36.19/36.21 c nbDecision=37500 #constraints=10646 36.68/36.71 c nbDecision=38000 #constraints=10729 37.08/37.16 c nbDecision=38500 #constraints=10773 37.58/37.65 c nbDecision=39000 #constraints=10818 38.08/38.13 c nbDecision=39500 #constraints=10894 38.58/38.62 c nbDecision=40000 #constraints=10938 39.08/39.11 c nbDecision=40500 #constraints=10990 39.48/39.58 c nbDecision=41000 #constraints=11035 40.08/40.18 c nbDecision=41500 #constraints=11123 40.68/40.78 c nbDecision=42000 #constraints=11202 41.17/41.26 c nbDecision=42500 #constraints=11257 41.78/41.89 c nbDecision=43000 #constraints=11339 42.37/42.40 c nbDecision=43500 #constraints=11406 42.88/42.99 c nbDecision=44000 #constraints=11474 43.37/43.48 c nbDecision=44500 #constraints=11524 43.88/43.96 c nbDecision=45000 #constraints=11567 44.47/44.56 c nbDecision=45500 #constraints=11657 45.08/45.20 c nbDecision=46000 #constraints=11734 45.77/45.81 c nbDecision=46500 #constraints=11821 46.27/46.37 c nbDecision=47000 #constraints=11889 46.87/46.93 c nbDecision=47500 #constraints=11953 47.37/47.46 c nbDecision=48000 #constraints=12014 48.07/48.16 c nbDecision=48500 #constraints=12124 48.67/48.79 c nbDecision=49000 #constraints=12205 49.28/49.39 c nbDecision=49500 #constraints=12283 49.98/50.06 c nbDecision=50000 #constraints=12372 50.58/50.69 c nbDecision=50500 #constraints=12453 51.18/51.27 c nbDecision=51000 #constraints=12528 51.38/51.48 c restart after 51201 decisions 51.78/51.80 c nbDecision=51500 #constraints=12588 52.38/52.48 c nbDecision=52000 #constraints=12683 52.97/53.06 c nbDecision=52500 #constraints=12756 53.57/53.65 c nbDecision=53000 #constraints=12824 54.17/54.23 c nbDecision=53500 #constraints=12905 54.77/54.84 c nbDecision=54000 #constraints=12983 55.27/55.39 c nbDecision=54500 #constraints=13050 55.87/55.90 c nbDecision=55000 #constraints=13087 56.37/56.42 c nbDecision=55500 #constraints=13139 56.87/56.92 c nbDecision=56000 #constraints=13182 57.37/57.49 c nbDecision=56500 #constraints=13249 57.97/58.02 c nbDecision=57000 #constraints=13292 58.37/58.49 c nbDecision=57500 #constraints=13313 58.87/58.98 c nbDecision=58000 #constraints=13341 59.57/59.66 c nbDecision=58500 #constraints=13424 60.17/60.27 c nbDecision=59000 #constraints=13500 60.87/60.91 c nbDecision=59500 #constraints=13566 61.37/61.46 c nbDecision=60000 #constraints=13612 61.97/62.02 c nbDecision=60500 #constraints=13663 62.47/62.52 c nbDecision=61000 #constraints=13699 62.97/63.05 c nbDecision=61500 #constraints=13740 63.57/63.64 c nbDecision=62000 #constraints=13793 64.17/64.25 c nbDecision=62500 #constraints=13859 64.78/64.84 c nbDecision=63000 #constraints=13916 65.37/65.42 c nbDecision=63500 #constraints=13983 66.07/66.11 c nbDecision=64000 #constraints=14052 66.57/66.69 c nbDecision=64500 #constraints=14106 67.27/67.31 c nbDecision=65000 #constraints=14169 67.87/67.96 c nbDecision=65500 #constraints=14234 68.47/68.57 c nbDecision=66000 #constraints=14290 69.07/69.16 c nbDecision=66500 #constraints=14355 69.77/69.81 c nbDecision=67000 #constraints=14411 70.27/70.39 c nbDecision=67500 #constraints=14462 70.87/70.99 c nbDecision=68000 #constraints=14507 71.57/71.62 c nbDecision=68500 #constraints=14571 72.27/72.33 c nbDecision=69000 #constraints=14653 72.77/72.82 c nbDecision=69500 #constraints=14683 73.37/73.43 c nbDecision=70000 #constraints=14736 73.87/73.95 c nbDecision=70500 #constraints=14770 74.37/74.48 c nbDecision=71000 #constraints=14799 74.86/74.99 c nbDecision=71500 #constraints=14848 75.46/75.55 c nbDecision=72000 #constraints=14886 76.06/76.10 c nbDecision=72500 #constraints=14930 76.66/76.70 c nbDecision=73000 #constraints=14989 77.36/77.40 c nbDecision=73500 #constraints=15065 77.97/78.09 c nbDecision=74000 #constraints=15127 78.67/78.75 c nbDecision=74500 #constraints=15192 79.27/79.31 c nbDecision=75000 #constraints=15232 79.87/79.91 c nbDecision=75500 #constraints=15267 80.47/80.50 c nbDecision=76000 #constraints=15326 81.06/81.11 c nbDecision=76500 #constraints=15373 81.66/81.73 c nbDecision=77000 #constraints=15420 82.26/82.37 c nbDecision=77500 #constraints=15468 82.86/82.92 c nbDecision=78000 #constraints=15496 83.57/83.68 c nbDecision=78500 #constraints=15576 84.26/84.36 c nbDecision=79000 #constraints=15646 84.96/85.06 c nbDecision=79500 #constraints=15721 85.66/85.73 c nbDecision=80000 #constraints=15782 86.26/86.33 c nbDecision=80500 #constraints=15828 86.96/87.02 c nbDecision=81000 #constraints=15881 87.66/87.73 c nbDecision=81500 #constraints=15955 88.26/88.33 c nbDecision=82000 #constraints=15994 88.76/88.86 c nbDecision=82500 #constraints=16028 89.46/89.52 c nbDecision=83000 #constraints=16070 90.07/90.18 c nbDecision=83500 #constraints=16132 90.76/90.86 c nbDecision=84000 #constraints=16196 91.57/91.62 c nbDecision=84500 #constraints=16271 92.37/92.41 c nbDecision=85000 #constraints=16345 92.96/93.03 c nbDecision=85500 #constraints=16388 93.56/93.69 c nbDecision=86000 #constraints=16445 94.26/94.39 c nbDecision=86500 #constraints=16513 94.96/95.01 c nbDecision=87000 #constraints=16561 95.56/95.63 c nbDecision=87500 #constraints=16603 96.16/96.21 c nbDecision=88000 #constraints=16638 96.76/96.89 c nbDecision=88500 #constraints=16680 97.46/97.59 c nbDecision=89000 #constraints=16742 98.26/98.31 c nbDecision=89500 #constraints=16805 98.96/99.01 c nbDecision=90000 #constraints=16873 99.66/99.77 c nbDecision=90500 #constraints=16945 100.35/100.43 c nbDecision=91000 #constraints=16987 101.06/101.12 c nbDecision=91500 #constraints=17050 101.75/101.84 c nbDecision=92000 #constraints=17101 102.35/102.46 c nbDecision=92500 #constraints=17145 103.15/103.22 c nbDecision=93000 #constraints=17225 103.95/104.02 c nbDecision=93500 #constraints=17296 104.75/104.85 c nbDecision=94000 #constraints=17368 105.46/105.51 c nbDecision=94500 #constraints=17419 106.16/106.20 c nbDecision=95000 #constraints=17461 106.76/106.84 c nbDecision=95500 #constraints=17498 107.55/107.65 c nbDecision=96000 #constraints=17586 108.25/108.36 c nbDecision=96500 #constraints=17643 108.96/109.09 c nbDecision=97000 #constraints=17705 109.65/109.76 c nbDecision=97500 #constraints=17769 110.45/110.56 c nbDecision=98000 #constraints=17830 111.15/111.26 c nbDecision=98500 #constraints=17893 111.85/112.00 c nbDecision=99000 #constraints=17952 112.55/112.61 c nbDecision=99500 #constraints=17974 113.15/113.27 c nbDecision=100000 #constraints=18019 113.75/113.89 c nbDecision=100500 #constraints=18056 114.45/114.54 c nbDecision=101000 #constraints=18109 115.25/115.32 c nbDecision=101500 #constraints=18159 115.95/116.01 c nbDecision=102000 #constraints=18194 116.56/116.66 c restart after 102401 decisions 116.75/116.81 c nbDecision=102500 #constraints=18269 117.45/117.59 c nbDecision=103000 #constraints=18335 118.25/118.31 c nbDecision=103500 #constraints=18395 118.85/118.97 c nbDecision=104000 #constraints=18433 119.65/119.74 c nbDecision=104500 #constraints=18491 120.35/120.46 c nbDecision=105000 #constraints=18544 121.15/121.28 c nbDecision=105500 #constraints=18604 121.85/121.96 c nbDecision=106000 #constraints=18649 122.45/122.59 c nbDecision=106500 #constraints=18694 123.25/123.34 c nbDecision=107000 #constraints=18744 123.85/124.00 c nbDecision=107500 #constraints=18799 124.65/124.73 c nbDecision=108000 #constraints=18849 125.45/125.54 c nbDecision=108500 #constraints=18914 126.15/126.25 c nbDecision=109000 #constraints=18964 126.85/126.91 c nbDecision=109500 #constraints=18997 127.55/127.66 c nbDecision=110000 #constraints=19043 128.24/128.38 c nbDecision=110500 #constraints=19095 128.94/129.09 c nbDecision=111000 #constraints=19128 129.75/129.86 c nbDecision=111500 #constraints=19183 130.54/130.68 c nbDecision=112000 #constraints=19232 131.34/131.47 c nbDecision=112500 #constraints=19292 132.14/132.29 c nbDecision=113000 #constraints=19346 132.84/132.92 c nbDecision=113500 #constraints=19378 133.44/133.54 c nbDecision=114000 #constraints=19407 134.14/134.24 c nbDecision=114500 #constraints=19443 134.85/134.97 c nbDecision=115000 #constraints=19505 135.75/135.81 c nbDecision=115500 #constraints=19556 136.35/136.46 c nbDecision=116000 #constraints=19596 137.04/137.19 c nbDecision=116500 #constraints=19657 137.74/137.81 c nbDecision=117000 #constraints=19690 138.34/138.44 c nbDecision=117500 #constraints=19728 139.14/139.23 c nbDecision=118000 #constraints=19781 139.84/139.99 c nbDecision=118500 #constraints=19832 140.54/140.64 c nbDecision=119000 #constraints=19868 141.24/141.35 c nbDecision=119500 #constraints=19916 142.04/142.12 c nbDecision=120000 #constraints=19973 142.64/142.78 c nbDecision=120500 #constraints=20005 143.34/143.44 c nbDecision=121000 #constraints=20042 144.04/144.19 c nbDecision=121500 #constraints=20081 144.74/144.86 c nbDecision=122000 #constraints=20111 145.54/145.64 c nbDecision=122500 #constraints=20151 146.24/146.38 c nbDecision=123000 #constraints=20202 147.03/147.11 c nbDecision=123500 #constraints=20236 147.73/147.82 c nbDecision=124000 #constraints=20277 148.53/148.64 c nbDecision=124500 #constraints=20334 149.23/149.35 c nbDecision=125000 #constraints=20381 150.03/150.15 c nbDecision=125500 #constraints=20426 150.64/150.77 c nbDecision=126000 #constraints=20449 151.33/151.47 c nbDecision=126500 #constraints=20488 152.03/152.16 c nbDecision=127000 #constraints=20526 152.83/152.91 c nbDecision=127500 #constraints=20563 153.53/153.63 c nbDecision=128000 #constraints=20600 154.23/154.38 c nbDecision=128500 #constraints=20649 154.93/155.03 c nbDecision=129000 #constraints=20685 155.63/155.75 c nbDecision=129500 #constraints=20726 156.23/156.36 c nbDecision=130000 #constraints=20758 156.93/157.02 c nbDecision=130500 #constraints=20798 157.53/157.64 c nbDecision=131000 #constraints=20839 158.03/158.18 c nbDecision=131500 #constraints=20863 158.63/158.76 c nbDecision=132000 #constraints=20898 159.23/159.34 c nbDecision=132500 #constraints=20932 159.83/159.93 c nbDecision=133000 #constraints=20962 160.53/160.61 c nbDecision=133500 #constraints=20997 161.32/161.47 c nbDecision=134000 #constraints=21058 162.03/162.19 c nbDecision=134500 #constraints=21109 162.83/162.97 c nbDecision=135000 #constraints=21150 163.53/163.65 c nbDecision=135500 #constraints=21190 164.33/164.41 c nbDecision=136000 #constraints=21223 164.94/165.05 c nbDecision=136500 #constraints=21247 165.73/165.81 c nbDecision=137000 #constraints=21296 166.43/166.54 c nbDecision=137500 #constraints=21322 167.14/167.25 c nbDecision=138000 #constraints=21376 167.83/167.98 c nbDecision=138500 #constraints=21412 168.73/168.80 c nbDecision=139000 #constraints=21451 169.63/169.80 c nbDecision=139500 #constraints=21519 170.33/170.47 c nbDecision=140000 #constraints=21539 171.03/171.19 c nbDecision=140500 #constraints=21586 171.82/171.93 c nbDecision=141000 #constraints=21618 172.63/172.72 c nbDecision=141500 #constraints=21678 173.22/173.38 c nbDecision=142000 #constraints=21706 174.12/174.24 c nbDecision=142500 #constraints=21755 174.92/175.04 c nbDecision=143000 #constraints=21796 175.62/175.78 c nbDecision=143500 #constraints=21849 176.33/176.46 c nbDecision=144000 #constraints=21889 177.33/177.47 c nbDecision=144500 #constraints=21962 178.33/178.41 c nbDecision=145000 #constraints=22046 179.23/179.37 c nbDecision=145500 #constraints=22105 179.93/180.07 c nbDecision=146000 #constraints=22137 180.73/180.80 c nbDecision=146500 #constraints=22177 181.53/181.64 c nbDecision=147000 #constraints=22221 182.22/182.32 c nbDecision=147500 #constraints=22243 182.92/183.06 c nbDecision=148000 #constraints=22273 183.63/183.75 c nbDecision=148500 #constraints=22306 184.42/184.54 c nbDecision=149000 #constraints=22349 185.12/185.27 c nbDecision=149500 #constraints=22376 186.02/186.16 c nbDecision=150000 #constraints=22421 186.83/186.93 c nbDecision=150500 #constraints=22448 187.52/187.68 c nbDecision=151000 #constraints=22483 188.32/188.40 c nbDecision=151500 #constraints=22515 188.92/189.03 c nbDecision=152000 #constraints=22534 189.62/189.76 c nbDecision=152500 #constraints=22572 190.32/190.41 c nbDecision=153000 #constraints=22594 191.12/191.30 c nbDecision=153500 #constraints=22638 192.12/192.23 c nbDecision=154000 #constraints=22709 192.91/193.00 c nbDecision=154500 #constraints=22740 193.52/193.64 c nbDecision=155000 #constraints=22765 194.21/194.39 c nbDecision=155500 #constraints=22797 195.01/195.19 c nbDecision=156000 #constraints=22845 195.91/196.01 c nbDecision=156500 #constraints=22878 196.61/196.74 c nbDecision=157000 #constraints=22896 197.41/197.56 c nbDecision=157500 #constraints=22931 198.21/198.32 c nbDecision=158000 #constraints=22948 199.01/199.11 c nbDecision=158500 #constraints=22971 199.81/199.97 c nbDecision=159000 #constraints=23015 200.71/200.84 c nbDecision=159500 #constraints=23054 201.31/201.49 c nbDecision=160000 #constraints=23077 202.02/202.18 c nbDecision=160500 #constraints=23088 203.02/203.12 c nbDecision=161000 #constraints=23121 203.72/203.81 c nbDecision=161500 #constraints=23149 204.52/204.64 c nbDecision=162000 #constraints=23183 205.32/205.42 c nbDecision=162500 #constraints=23211 206.02/206.12 c nbDecision=163000 #constraints=23221 206.72/206.90 c nbDecision=163500 #constraints=23260 207.52/207.64 c nbDecision=164000 #constraints=23288 208.31/208.45 c nbDecision=164500 #constraints=23318 209.11/209.23 c nbDecision=165000 #constraints=23356 209.92/210.04 c nbDecision=165500 #constraints=23387 210.61/210.76 c nbDecision=166000 #constraints=23410 211.21/211.35 c nbDecision=166500 #constraints=23427 212.01/212.20 c nbDecision=167000 #constraints=23474 212.81/212.98 c nbDecision=167500 #constraints=23518 213.61/213.76 c nbDecision=168000 #constraints=23551 214.41/214.57 c nbDecision=168500 #constraints=23589 215.21/215.30 c nbDecision=169000 #constraints=23603 215.91/216.04 c nbDecision=169500 #constraints=23623 216.61/216.80 c nbDecision=170000 #constraints=23655 217.61/217.77 c nbDecision=170500 #constraints=23704 218.41/218.51 c nbDecision=171000 #constraints=23747 219.31/219.41 c nbDecision=171500 #constraints=23788 220.11/220.20 c nbDecision=172000 #constraints=23821 220.81/220.97 c nbDecision=172500 #constraints=23854 221.71/221.83 c nbDecision=173000 #constraints=23893 222.40/222.59 c nbDecision=173500 #constraints=23910 223.30/223.40 c nbDecision=174000 #constraints=23939 224.00/224.16 c nbDecision=174500 #constraints=23968 224.80/224.96 c nbDecision=175000 #constraints=23998 225.51/225.70 c nbDecision=175500 #constraints=24027 226.21/226.35 c nbDecision=176000 #constraints=24052 226.91/227.09 c nbDecision=176500 #constraints=24079 227.81/227.92 c nbDecision=177000 #constraints=24116 228.61/228.74 c nbDecision=177500 #constraints=24155 229.41/229.58 c nbDecision=178000 #constraints=24195 230.41/230.50 c nbDecision=178500 #constraints=24242 231.21/231.35 c nbDecision=179000 #constraints=24279 232.11/232.27 c nbDecision=179500 #constraints=24317 233.01/233.12 c nbDecision=180000 #constraints=24346 233.80/233.96 c nbDecision=180500 #constraints=24382 234.60/234.76 c nbDecision=181000 #constraints=24405 235.31/235.42 c nbDecision=181500 #constraints=24427 236.00/236.12 c nbDecision=182000 #constraints=24445 236.90/237.06 c nbDecision=182500 #constraints=24492 237.70/237.82 c nbDecision=183000 #constraints=24529 238.40/238.55 c nbDecision=183500 #constraints=24546 239.20/239.34 c nbDecision=184000 #constraints=24573 240.00/240.12 c nbDecision=184500 #constraints=24618 240.80/240.96 c nbDecision=185000 #constraints=24662 241.80/241.94 c nbDecision=185500 #constraints=24722 242.70/242.86 c nbDecision=186000 #constraints=24756 243.70/243.84 c nbDecision=186500 #constraints=24808 244.69/244.86 c nbDecision=187000 #constraints=24854 245.50/245.67 c nbDecision=187500 #constraints=24888 246.59/246.73 c nbDecision=188000 #constraints=24939 247.69/247.80 c nbDecision=188500 #constraints=24988 248.69/248.83 c nbDecision=189000 #constraints=25034 249.60/249.78 c nbDecision=189500 #constraints=25064 250.61/250.79 c nbDecision=190000 #constraints=25097 251.40/251.52 c nbDecision=190500 #constraints=25115 252.50/252.69 c nbDecision=191000 #constraints=25176 253.50/253.61 c nbDecision=191500 #constraints=25219 254.50/254.62 c nbDecision=192000 #constraints=25260 255.50/255.67 c nbDecision=192500 #constraints=25300 256.30/256.43 c nbDecision=193000 #constraints=25339 257.30/257.43 c nbDecision=193500 #constraints=25381 258.20/258.31 c nbDecision=194000 #constraints=25416 259.10/259.29 c nbDecision=194500 #constraints=25469 260.19/260.30 c nbDecision=195000 #constraints=25511 261.19/261.34 c nbDecision=195500 #constraints=25565 262.09/262.27 c nbDecision=196000 #constraints=25612 262.89/263.07 c nbDecision=196500 #constraints=25639 263.59/263.77 c nbDecision=197000 #constraints=25662 264.79/264.91 c nbDecision=197500 #constraints=25719 265.89/266.00 c nbDecision=198000 #constraints=25781 266.69/266.89 c nbDecision=198500 #constraints=25809 267.59/267.77 c nbDecision=199000 #constraints=25840 268.49/268.67 c nbDecision=199500 #constraints=25874 269.49/269.62 c nbDecision=200000 #constraints=25907 270.39/270.56 c nbDecision=200500 #constraints=25955 271.29/271.42 c nbDecision=201000 #constraints=25988 272.19/272.39 c nbDecision=201500 #constraints=26039 272.99/273.11 c nbDecision=202000 #constraints=26067 273.80/273.97 c nbDecision=202500 #constraints=26109 274.69/274.86 c nbDecision=203000 #constraints=26129 275.59/275.71 c nbDecision=203500 #constraints=26148 276.29/276.45 c nbDecision=204000 #constraints=26174 277.19/277.38 c nbDecision=204500 #constraints=26215 277.89/278.05 c restart after 204801 decisions 278.29/278.44 c nbDecision=205000 #constraints=26265 279.20/279.36 c nbDecision=205500 #constraints=26294 280.09/280.24 c nbDecision=206000 #constraints=26324 281.19/281.34 c nbDecision=206500 #constraints=26367 281.99/282.19 c nbDecision=207000 #constraints=26400 282.99/283.19 c nbDecision=207500 #constraints=26442 283.89/284.06 c nbDecision=208000 #constraints=26495 284.89/285.09 c nbDecision=208500 #constraints=26545 285.79/285.91 c nbDecision=209000 #constraints=26566 286.59/286.78 c nbDecision=209500 #constraints=26583 287.49/287.68 c nbDecision=210000 #constraints=26615 288.49/288.63 c nbDecision=210500 #constraints=26656 289.39/289.56 c nbDecision=211000 #constraints=26675 290.29/290.47 c nbDecision=211500 #constraints=26713 291.18/291.39 c nbDecision=212000 #constraints=26744 292.18/292.39 c nbDecision=212500 #constraints=26791 293.18/293.34 c nbDecision=213000 #constraints=26831 293.98/294.13 c nbDecision=213500 #constraints=26849 294.69/294.82 c nbDecision=214000 #constraints=26871 295.69/295.82 c nbDecision=214500 #constraints=26920 296.58/296.75 c nbDecision=215000 #constraints=26956 297.58/297.70 c nbDecision=215500 #constraints=26992 298.48/298.65 c nbDecision=216000 #constraints=27027 299.18/299.32 c nbDecision=216500 #constraints=27039 299.98/300.17 c nbDecision=217000 #constraints=27064 300.78/300.98 c nbDecision=217500 #constraints=27086 301.78/301.92 c nbDecision=218000 #constraints=27128 302.38/302.60 c nbDecision=218500 #constraints=27137 303.18/303.32 c nbDecision=219000 #constraints=27146 303.98/304.17 c nbDecision=219500 #constraints=27190 304.88/305.03 c nbDecision=220000 #constraints=27221 305.68/305.85 c nbDecision=220500 #constraints=27256 306.57/306.78 c nbDecision=221000 #constraints=27281 307.67/307.87 c nbDecision=221500 #constraints=27327 308.67/308.85 c nbDecision=222000 #constraints=27365 309.57/309.78 c nbDecision=222500 #constraints=27399 310.37/310.59 c nbDecision=223000 #constraints=27411 311.27/311.42 c nbDecision=223500 #constraints=27443 312.07/312.29 c nbDecision=224000 #constraints=27461 313.18/313.34 c nbDecision=224500 #constraints=27492 314.08/314.26 c nbDecision=225000 #constraints=27547 314.88/315.01 c nbDecision=225500 #constraints=27569 315.88/316.03 c nbDecision=226000 #constraints=27598 316.78/316.93 c nbDecision=226500 #constraints=27628 317.68/317.81 c nbDecision=227000 #constraints=27655 318.68/318.81 c nbDecision=227500 #constraints=27688 319.58/319.79 c nbDecision=228000 #constraints=27723 320.38/320.57 c nbDecision=228500 #constraints=27746 321.28/321.48 c nbDecision=229000 #constraints=27783 322.08/322.30 c nbDecision=229500 #constraints=27798 323.07/323.29 c nbDecision=230000 #constraints=27830 324.07/324.22 c nbDecision=230500 #constraints=27864 324.87/325.08 c nbDecision=231000 #constraints=27887 325.87/326.04 c nbDecision=231500 #constraints=27946 326.97/327.10 c nbDecision=232000 #constraints=27977 327.68/327.88 c nbDecision=232500 #constraints=28004 328.57/328.73 c nbDecision=233000 #constraints=28026 329.37/329.57 c nbDecision=233500 #constraints=28045 330.27/330.47 c nbDecision=234000 #constraints=28071 331.27/331.48 c nbDecision=234500 #constraints=28120 332.27/332.43 c nbDecision=235000 #constraints=28160 333.27/333.41 c nbDecision=235500 #constraints=28199 334.07/334.25 c nbDecision=236000 #constraints=28240 334.97/335.15 c nbDecision=236500 #constraints=28277 335.77/335.92 c nbDecision=237000 #constraints=28295 336.57/336.73 c nbDecision=237500 #constraints=28308 337.37/337.54 c nbDecision=238000 #constraints=28339 338.27/338.41 c nbDecision=238500 #constraints=28374 339.17/339.30 c nbDecision=239000 #constraints=28411 339.97/340.19 c nbDecision=239500 #constraints=28443 340.77/340.98 c nbDecision=240000 #constraints=28466 341.77/341.91 c nbDecision=240500 #constraints=28511 342.67/342.85 c nbDecision=241000 #constraints=28551 343.66/343.89 c nbDecision=241500 #constraints=28591 344.66/344.82 c nbDecision=242000 #constraints=28616 345.56/345.77 c nbDecision=242500 #constraints=28648 346.56/346.77 c nbDecision=243000 #constraints=28690 347.47/347.67 c nbDecision=243500 #constraints=28717 348.47/348.65 c nbDecision=244000 #constraints=28754 349.36/349.52 c nbDecision=244500 #constraints=28774 350.26/350.40 c nbDecision=245000 #constraints=28792 351.16/351.35 c nbDecision=245500 #constraints=28836 351.86/352.09 c nbDecision=246000 #constraints=28843 352.96/353.15 c nbDecision=246500 #constraints=28898 353.86/354.03 c nbDecision=247000 #constraints=28922 354.66/354.87 c nbDecision=247500 #constraints=28944 355.46/355.68 c nbDecision=248000 #constraints=28967 356.46/356.68 c nbDecision=248500 #constraints=29002 357.36/357.52 c nbDecision=249000 #constraints=29028 358.27/358.47 c nbDecision=249500 #constraints=29058 359.17/359.30 c nbDecision=250000 #constraints=29076 360.17/360.31 c nbDecision=250500 #constraints=29115 361.07/361.21 c nbDecision=251000 #constraints=29148 361.87/362.02 c nbDecision=251500 #constraints=29160 362.66/362.90 c nbDecision=252000 #constraints=29191 363.66/363.83 c nbDecision=252500 #constraints=29228 364.46/364.69 c nbDecision=253000 #constraints=29253 365.46/365.64 c nbDecision=253500 #constraints=29284 366.17/366.39 c nbDecision=254000 #constraints=29295 367.16/367.30 c nbDecision=254500 #constraints=29328 367.86/368.09 c nbDecision=255000 #constraints=29341 368.76/368.94 c nbDecision=255500 #constraints=29372 369.56/369.79 c nbDecision=256000 #constraints=29395 370.66/370.89 c nbDecision=256500 #constraints=29447 371.66/371.80 c nbDecision=257000 #constraints=29478 372.56/372.72 c nbDecision=257500 #constraints=29502 373.36/373.57 c nbDecision=258000 #constraints=29526 374.16/374.38 c nbDecision=258500 #constraints=29546 375.36/375.55 c nbDecision=259000 #constraints=29604 376.46/376.61 c nbDecision=259500 #constraints=29638 377.36/377.55 c nbDecision=260000 #constraints=29653 378.16/378.36 c nbDecision=260500 #constraints=29664 378.96/379.17 c nbDecision=261000 #constraints=29684 380.16/380.39 c nbDecision=261500 #constraints=29730 381.05/381.24 c nbDecision=262000 #constraints=29754 382.05/382.22 c nbDecision=262500 #constraints=29806 382.95/383.19 c nbDecision=263000 #constraints=29846 383.85/384.03 c nbDecision=263500 #constraints=29859 384.76/384.99 c nbDecision=264000 #constraints=29886 385.75/385.93 c nbDecision=264500 #constraints=29912 386.75/386.93 c nbDecision=265000 #constraints=29946 387.55/387.71 c nbDecision=265500 #constraints=29970 388.35/388.58 c nbDecision=266000 #constraints=29998 389.25/389.43 c nbDecision=266500 #constraints=30026 390.15/390.38 c nbDecision=267000 #constraints=30043 391.05/391.22 c nbDecision=267500 #constraints=30060 391.75/391.92 c nbDecision=268000 #constraints=30072 392.65/392.86 c nbDecision=268500 #constraints=30103 393.55/393.71 c nbDecision=269000 #constraints=30124 394.35/394.54 c nbDecision=269500 #constraints=30148 395.15/395.39 c nbDecision=270000 #constraints=30163 396.15/396.30 c nbDecision=270500 #constraints=30186 396.96/397.11 c nbDecision=271000 #constraints=30200 397.75/397.95 c nbDecision=271500 #constraints=30214 398.65/398.89 c nbDecision=272000 #constraints=30259 399.55/399.73 c nbDecision=272500 #constraints=30282 400.35/400.51 c nbDecision=273000 #constraints=30298 401.15/401.33 c nbDecision=273500 #constraints=30317 402.05/402.27 c nbDecision=274000 #constraints=30351 403.05/403.24 c nbDecision=274500 #constraints=30377 404.05/404.22 c nbDecision=275000 #constraints=30400 404.95/405.17 c nbDecision=275500 #constraints=30422 405.75/405.96 c nbDecision=276000 #constraints=30434 406.55/406.79 c nbDecision=276500 #constraints=30453 407.45/407.69 c nbDecision=277000 #constraints=30486 408.55/408.72 c nbDecision=277500 #constraints=30516 409.45/409.65 c nbDecision=278000 #constraints=30552 410.35/410.53 c nbDecision=278500 #constraints=30581 411.25/411.48 c nbDecision=279000 #constraints=30607 412.14/412.38 c nbDecision=279500 #constraints=30640 413.04/413.24 c nbDecision=280000 #constraints=30666 413.84/414.07 c nbDecision=280500 #constraints=30682 414.55/414.72 c nbDecision=281000 #constraints=30690 415.55/415.77 c nbDecision=281500 #constraints=30735 416.44/416.63 c nbDecision=282000 #constraints=30762 417.24/417.45 c nbDecision=282500 #constraints=30782 418.14/418.35 c nbDecision=283000 #constraints=30806 419.04/419.27 c nbDecision=283500 #constraints=30832 419.94/420.16 c nbDecision=284000 #constraints=30866 420.84/421.07 c nbDecision=284500 #constraints=30887 421.84/422.07 c nbDecision=285000 #constraints=30929 422.84/423.00 c nbDecision=285500 #constraints=30957 423.74/423.92 c nbDecision=286000 #constraints=30981 424.65/424.85 c nbDecision=286500 #constraints=31006 425.55/425.78 c nbDecision=287000 #constraints=31025 426.55/426.71 c nbDecision=287500 #constraints=31046 427.34/427.60 c nbDecision=288000 #constraints=31071 428.24/428.47 c nbDecision=288500 #constraints=31091 429.04/429.27 c nbDecision=289000 #constraints=31110 429.84/430.08 c nbDecision=289500 #constraints=31135 430.74/430.94 c nbDecision=290000 #constraints=31167 431.54/431.70 c nbDecision=290500 #constraints=31171 432.44/432.63 c nbDecision=291000 #constraints=31189 433.24/433.42 c nbDecision=291500 #constraints=31199 434.14/434.33 c nbDecision=292000 #constraints=31229 435.04/435.28 c nbDecision=292500 #constraints=31256 436.04/436.25 c nbDecision=293000 #constraints=31290 436.84/437.07 c nbDecision=293500 #constraints=31302 437.73/437.93 c nbDecision=294000 #constraints=31323 438.64/438.84 c nbDecision=294500 #constraints=31360 439.43/439.67 c nbDecision=295000 #constraints=31381 440.33/440.58 c nbDecision=295500 #constraints=31416 441.23/441.48 c nbDecision=296000 #constraints=31433 442.43/442.66 c nbDecision=296500 #constraints=31475 443.23/443.42 c nbDecision=297000 #constraints=31492 444.24/444.43 c nbDecision=297500 #constraints=31518 445.03/445.24 c nbDecision=298000 #constraints=31532 445.83/446.06 c nbDecision=298500 #constraints=31544 446.83/447.06 c nbDecision=299000 #constraints=31568 447.64/447.84 c nbDecision=299500 #constraints=31593 448.74/448.92 c nbDecision=300000 #constraints=31620 449.64/449.82 c nbDecision=300500 #constraints=31673 450.54/450.75 c nbDecision=301000 #constraints=31696 451.44/451.64 c nbDecision=301500 #constraints=31718 452.34/452.56 c nbDecision=302000 #constraints=31747 453.14/453.39 c nbDecision=302500 #constraints=31762 453.94/454.19 c nbDecision=303000 #constraints=31767 454.73/454.98 c nbDecision=303500 #constraints=31785 455.63/455.80 c nbDecision=304000 #constraints=31801 456.43/456.65 c nbDecision=304500 #constraints=31815 457.44/457.67 c nbDecision=305000 #constraints=31845 458.33/458.55 c nbDecision=305500 #constraints=31865 459.13/459.32 c nbDecision=306000 #constraints=31879 459.83/460.07 c nbDecision=306500 #constraints=31886 460.83/461.02 c nbDecision=307000 #constraints=31914 461.53/461.73 c nbDecision=307500 #constraints=31927 462.33/462.53 c nbDecision=308000 #constraints=31940 463.13/463.36 c nbDecision=308500 #constraints=31961 463.94/464.19 c nbDecision=309000 #constraints=31976 464.83/465.04 c nbDecision=309500 #constraints=31995 465.63/465.88 c nbDecision=310000 #constraints=32013 466.53/466.73 c nbDecision=310500 #constraints=32037 467.73/467.94 c nbDecision=311000 #constraints=32087 468.93/469.15 c nbDecision=311500 #constraints=32128 470.03/470.24 c nbDecision=312000 #constraints=32152 470.83/471.07 c nbDecision=312500 #constraints=32170 471.73/471.97 c nbDecision=313000 #constraints=32184 472.83/473.06 c nbDecision=313500 #constraints=32209 473.93/474.14 c nbDecision=314000 #constraints=32245 474.73/474.95 c nbDecision=314500 #constraints=32257 475.63/475.89 c nbDecision=315000 #constraints=32276 476.53/476.70 c nbDecision=315500 #constraints=32299 477.53/477.71 c nbDecision=316000 #constraints=32322 478.23/478.45 c nbDecision=316500 #constraints=32338 479.13/479.33 c nbDecision=317000 #constraints=32351 480.13/480.35 c nbDecision=317500 #constraints=32384 481.02/481.28 c nbDecision=318000 #constraints=32414 482.02/482.22 c nbDecision=318500 #constraints=32434 483.02/483.27 c nbDecision=319000 #constraints=32466 484.02/484.29 c nbDecision=319500 #constraints=32492 485.02/485.20 c nbDecision=320000 #constraints=32512 485.93/486.13 c nbDecision=320500 #constraints=32526 486.92/487.12 c nbDecision=321000 #constraints=32543 487.92/488.18 c nbDecision=321500 #constraints=32578 488.82/489.07 c nbDecision=322000 #constraints=32595 489.82/490.08 c nbDecision=322500 #constraints=32628 490.72/490.98 c nbDecision=323000 #constraints=32642 491.72/491.99 c nbDecision=323500 #constraints=32670 492.52/492.75 c nbDecision=324000 #constraints=32681 493.52/493.74 c nbDecision=324500 #constraints=32712 494.42/494.64 c nbDecision=325000 #constraints=32740 495.42/495.63 c nbDecision=325500 #constraints=32780 496.22/496.47 c nbDecision=326000 #constraints=32808 497.22/497.44 c nbDecision=326500 #constraints=32827 498.12/498.37 c nbDecision=327000 #constraints=32850 499.02/499.25 c nbDecision=327500 #constraints=32872 499.92/500.16 c nbDecision=328000 #constraints=32888 501.01/501.24 c nbDecision=328500 #constraints=32916 502.11/502.38 c nbDecision=329000 #constraints=32958 503.01/503.29 c nbDecision=329500 #constraints=32970 504.11/504.34 c nbDecision=330000 #constraints=32987 505.12/505.38 c nbDecision=330500 #constraints=33007 506.12/506.38 c nbDecision=331000 #constraints=33032 507.12/507.32 c nbDecision=331500 #constraints=33053 508.02/508.25 c nbDecision=332000 #constraints=33075 509.22/509.41 c nbDecision=332500 #constraints=33120 510.32/510.55 c nbDecision=333000 #constraints=33154 511.22/511.49 c nbDecision=333500 #constraints=33173 512.22/512.47 c nbDecision=334000 #constraints=33200 513.12/513.38 c nbDecision=334500 #constraints=33225 513.82/514.09 c nbDecision=335000 #constraints=33239 515.02/515.21 c nbDecision=335500 #constraints=33266 515.92/516.13 c nbDecision=336000 #constraints=33287 516.82/517.03 c nbDecision=336500 #constraints=33301 517.72/517.97 c nbDecision=337000 #constraints=33320 518.82/519.00 c nbDecision=337500 #constraints=33352 519.52/519.78 c nbDecision=338000 #constraints=33372 520.51/520.76 c nbDecision=338500 #constraints=33403 521.41/521.60 c nbDecision=339000 #constraints=33417 522.22/522.44 c nbDecision=339500 #constraints=33437 523.11/523.31 c nbDecision=340000 #constraints=33445 524.01/524.28 c nbDecision=340500 #constraints=33482 525.11/525.34 c nbDecision=341000 #constraints=33518 526.01/526.24 c nbDecision=341500 #constraints=33539 527.01/527.28 c nbDecision=342000 #constraints=33566 527.91/528.14 c nbDecision=342500 #constraints=33587 528.92/529.15 c nbDecision=343000 #constraints=33613 529.81/530.10 c nbDecision=343500 #constraints=33628 531.02/531.22 c nbDecision=344000 #constraints=33655 531.71/531.97 c nbDecision=344500 #constraints=33668 532.71/532.93 c nbDecision=345000 #constraints=33693 533.61/533.89 c nbDecision=345500 #constraints=33718 534.61/534.88 c nbDecision=346000 #constraints=33741 535.51/535.74 c nbDecision=346500 #constraints=33754 536.41/536.62 c nbDecision=347000 #constraints=33769 537.41/537.63 c nbDecision=347500 #constraints=33800 538.31/538.57 c nbDecision=348000 #constraints=33824 539.31/539.54 c nbDecision=348500 #constraints=33847 540.31/540.56 c nbDecision=349000 #constraints=33864 541.31/541.59 c nbDecision=349500 #constraints=33892 542.01/542.28 c nbDecision=350000 #constraints=33898 543.00/543.26 c nbDecision=350500 #constraints=33927 543.90/544.16 c nbDecision=351000 #constraints=33951 544.91/545.14 c nbDecision=351500 #constraints=33970 545.90/546.11 c nbDecision=352000 #constraints=33987 546.70/546.96 c nbDecision=352500 #constraints=34011 547.61/547.82 c nbDecision=353000 #constraints=34021 548.71/548.95 c nbDecision=353500 #constraints=34056 549.60/549.82 c nbDecision=354000 #constraints=34065 550.81/551.04 c nbDecision=354500 #constraints=34102 551.70/551.95 c nbDecision=355000 #constraints=34134 552.80/553.04 c nbDecision=355500 #constraints=34163 553.70/553.94 c nbDecision=356000 #constraints=34181 554.60/554.84 c nbDecision=356500 #constraints=34200 555.50/555.76 c nbDecision=357000 #constraints=34224 556.50/556.78 c nbDecision=357500 #constraints=34252 557.60/557.86 c nbDecision=358000 #constraints=34274 558.60/558.87 c nbDecision=358500 #constraints=34299 559.60/559.82 c nbDecision=359000 #constraints=34314 560.39/560.69 c nbDecision=359500 #constraints=34323 561.50/561.70 c nbDecision=360000 #constraints=34354 562.30/562.57 c nbDecision=360500 #constraints=34364 563.30/563.51 c nbDecision=361000 #constraints=34378 564.20/564.48 c nbDecision=361500 #constraints=34394 565.21/565.48 c nbDecision=362000 #constraints=34418 566.20/566.47 c nbDecision=362500 #constraints=34440 567.10/567.36 c nbDecision=363000 #constraints=34454 568.00/568.20 c nbDecision=363500 #constraints=34468 568.80/569.06 c nbDecision=364000 #constraints=34486 570.00/570.20 c nbDecision=364500 #constraints=34524 571.00/571.21 c nbDecision=365000 #constraints=34540 571.90/572.14 c nbDecision=365500 #constraints=34557 572.80/573.06 c nbDecision=366000 #constraints=34575 573.60/573.86 c nbDecision=366500 #constraints=34593 574.70/574.91 c nbDecision=367000 #constraints=34627 575.70/575.98 c nbDecision=367500 #constraints=34644 576.50/576.73 c nbDecision=368000 #constraints=34652 577.50/577.71 c nbDecision=368500 #constraints=34672 578.49/578.74 c nbDecision=369000 #constraints=34693 579.40/579.68 c nbDecision=369500 #constraints=34708 580.29/580.54 c nbDecision=370000 #constraints=34714 581.39/581.65 c nbDecision=370500 #constraints=34743 582.29/582.54 c nbDecision=371000 #constraints=34752 583.29/583.52 c nbDecision=371500 #constraints=34775 584.19/584.47 c nbDecision=372000 #constraints=34799 585.09/585.31 c nbDecision=372500 #constraints=34814 586.09/586.37 c nbDecision=373000 #constraints=34841 587.09/587.36 c nbDecision=373500 #constraints=34863 588.19/588.43 c nbDecision=374000 #constraints=34884 589.09/589.36 c nbDecision=374500 #constraints=34913 589.99/590.28 c nbDecision=375000 #constraints=34930 590.99/591.25 c nbDecision=375500 #constraints=34946 591.99/592.23 c nbDecision=376000 #constraints=34965 593.08/593.33 c nbDecision=376500 #constraints=34991 593.98/594.28 c nbDecision=377000 #constraints=35019 595.08/595.34 c nbDecision=377500 #constraints=35044 596.18/596.46 c nbDecision=378000 #constraints=35075 597.18/597.45 c nbDecision=378500 #constraints=35109 598.09/598.36 c nbDecision=379000 #constraints=35121 599.28/599.52 c nbDecision=379500 #constraints=35152 600.28/600.53 c nbDecision=380000 #constraints=35181 601.18/601.48 c nbDecision=380500 #constraints=35203 602.08/602.40 c nbDecision=381000 #constraints=35212 603.08/603.39 c nbDecision=381500 #constraints=35233 603.98/604.22 c nbDecision=382000 #constraints=35254 604.98/605.29 c nbDecision=382500 #constraints=35282 605.88/606.12 c nbDecision=383000 #constraints=35294 606.88/607.20 c nbDecision=383500 #constraints=35316 608.08/608.32 c nbDecision=384000 #constraints=35341 608.88/609.17 c nbDecision=384500 #constraints=35359 609.78/610.03 c nbDecision=385000 #constraints=35364 610.79/611.07 c nbDecision=385500 #constraints=35389 611.89/612.13 c nbDecision=386000 #constraints=35414 612.78/613.02 c nbDecision=386500 #constraints=35426 613.68/613.99 c nbDecision=387000 #constraints=35449 614.59/614.88 c nbDecision=387500 #constraints=35461 615.58/615.80 c nbDecision=388000 #constraints=35493 616.58/616.86 c nbDecision=388500 #constraints=35511 617.48/617.75 c nbDecision=389000 #constraints=35524 618.28/618.54 c nbDecision=389500 #constraints=35543 619.18/619.45 c nbDecision=390000 #constraints=35563 620.19/620.45 c nbDecision=390500 #constraints=35585 621.08/621.37 c nbDecision=391000 #constraints=35597 622.08/622.34 c nbDecision=391500 #constraints=35617 622.98/623.22 c nbDecision=392000 #constraints=35628 623.98/624.21 c nbDecision=392500 #constraints=35651 624.98/625.24 c nbDecision=393000 #constraints=35684 625.78/626.03 c nbDecision=393500 #constraints=35701 626.88/627.19 c nbDecision=394000 #constraints=35740 627.88/628.18 c nbDecision=394500 #constraints=35766 628.78/629.09 c nbDecision=395000 #constraints=35786 629.78/630.07 c nbDecision=395500 #constraints=35816 630.58/630.88 c nbDecision=396000 #constraints=35839 631.47/631.73 c nbDecision=396500 #constraints=35850 632.37/632.61 c nbDecision=397000 #constraints=35866 633.28/633.55 c nbDecision=397500 #constraints=35884 634.17/634.44 c nbDecision=398000 #constraints=35898 635.07/635.32 c nbDecision=398500 #constraints=35908 635.87/636.17 c nbDecision=399000 #constraints=35918 636.87/637.13 c nbDecision=399500 #constraints=35941 637.78/638.06 c nbDecision=400000 #constraints=35959 638.77/639.01 c nbDecision=400500 #constraints=35987 639.67/639.91 c nbDecision=401000 #constraints=36005 640.57/640.80 c nbDecision=401500 #constraints=36025 641.57/641.87 c nbDecision=402000 #constraints=36053 642.67/642.97 c nbDecision=402500 #constraints=36079 644.07/644.36 c nbDecision=403000 #constraints=36117 645.47/645.75 c nbDecision=403500 #constraints=36158 646.58/646.81 c nbDecision=404000 #constraints=36172 647.48/647.79 c nbDecision=404500 #constraints=36191 648.57/648.86 c nbDecision=405000 #constraints=36209 649.67/649.99 c nbDecision=405500 #constraints=36226 650.57/650.80 c nbDecision=406000 #constraints=36245 651.47/651.74 c nbDecision=406500 #constraints=36260 652.67/652.94 c nbDecision=407000 #constraints=36288 653.77/654.08 c nbDecision=407500 #constraints=36318 654.77/655.00 c nbDecision=408000 #constraints=36328 655.67/655.98 c nbDecision=408500 #constraints=36343 656.77/657.09 c nbDecision=409000 #constraints=36380 657.87/658.11 c nbDecision=409500 #constraints=36393 657.97/658.28 c restart after 409601 decisions 659.27/659.57 c nbDecision=410000 #constraints=36422 660.57/660.83 c nbDecision=410500 #constraints=36456 661.97/662.20 c nbDecision=411000 #constraints=36491 663.37/663.68 c nbDecision=411500 #constraints=36528 664.57/664.82 c nbDecision=412000 #constraints=36549 665.47/665.79 c nbDecision=412500 #constraints=36570 666.47/666.77 c nbDecision=413000 #constraints=36582 667.87/668.17 c nbDecision=413500 #constraints=36612 668.96/669.21 c nbDecision=414000 #constraints=36632 670.46/670.74 c nbDecision=414500 #constraints=36670 671.66/671.97 c nbDecision=415000 #constraints=36697 672.87/673.18 c nbDecision=415500 #constraints=36729 673.86/674.20 c nbDecision=416000 #constraints=36748 675.07/675.37 c nbDecision=416500 #constraints=36772 676.17/676.43 c nbDecision=417000 #constraints=36808 677.26/677.55 c nbDecision=417500 #constraints=36834 678.46/678.72 c nbDecision=418000 #constraints=36858 679.46/679.77 c nbDecision=418500 #constraints=36876 680.76/681.04 c nbDecision=419000 #constraints=36907 681.86/682.18 c nbDecision=419500 #constraints=36923 683.16/683.40 c nbDecision=420000 #constraints=36946 684.06/684.34 c nbDecision=420500 #constraints=36959 684.96/685.29 c nbDecision=421000 #constraints=36986 685.86/686.14 c nbDecision=421500 #constraints=37005 687.05/687.30 c nbDecision=422000 #constraints=37036 688.45/688.77 c nbDecision=422500 #constraints=37075 689.65/689.92 c nbDecision=423000 #constraints=37103 690.85/691.12 c nbDecision=423500 #constraints=37132 691.67/691.98 c nbDecision=424000 #constraints=37149 692.76/693.09 c nbDecision=424500 #constraints=37170 694.06/694.37 c nbDecision=425000 #constraints=37195 694.86/695.15 c nbDecision=425500 #constraints=37204 695.76/696.05 c nbDecision=426000 #constraints=37216 696.76/697.09 c nbDecision=426500 #constraints=37234 697.76/698.07 c nbDecision=427000 #constraints=37250 698.76/699.05 c nbDecision=427500 #constraints=37268 700.06/700.32 c nbDecision=428000 #constraints=37296 700.96/701.29 c nbDecision=428500 #constraints=37315 702.06/702.38 c nbDecision=429000 #constraints=37339 703.06/703.36 c nbDecision=429500 #constraints=37361 704.16/704.45 c nbDecision=430000 #constraints=37382 704.96/705.23 c nbDecision=430500 #constraints=37394 705.76/706.10 c nbDecision=431000 #constraints=37398 706.85/707.11 c nbDecision=431500 #constraints=37424 707.95/708.26 c nbDecision=432000 #constraints=37450 709.45/709.71 c nbDecision=432500 #constraints=37497 710.75/711.02 c nbDecision=433000 #constraints=37525 711.85/712.10 c nbDecision=433500 #constraints=37542 712.75/713.08 c nbDecision=434000 #constraints=37563 713.85/714.10 c nbDecision=434500 #constraints=37585 715.35/715.63 c nbDecision=435000 #constraints=37625 716.55/716.80 c nbDecision=435500 #constraints=37652 717.55/717.89 c nbDecision=436000 #constraints=37671 718.65/718.96 c nbDecision=436500 #constraints=37699 719.85/720.10 c nbDecision=437000 #constraints=37711 720.75/721.06 c nbDecision=437500 #constraints=37727 722.15/722.44 c nbDecision=438000 #constraints=37760 723.25/723.51 c nbDecision=438500 #constraints=37776 724.25/724.56 c nbDecision=439000 #constraints=37798 725.65/725.91 c nbDecision=439500 #constraints=37832 726.75/727.07 c nbDecision=440000 #constraints=37857 727.95/728.25 c nbDecision=440500 #constraints=37884 728.95/729.21 c nbDecision=441000 #constraints=37895 729.75/730.00 c nbDecision=441500 #constraints=37908 730.75/731.01 c nbDecision=442000 #constraints=37924 731.95/732.20 c nbDecision=442500 #constraints=37952 732.95/733.25 c nbDecision=443000 #constraints=37969 733.94/734.22 c nbDecision=443500 #constraints=37990 735.14/735.42 c nbDecision=444000 #constraints=38018 736.14/736.40 c nbDecision=444500 #constraints=38028 737.14/737.44 c nbDecision=445000 #constraints=38053 738.14/738.43 c nbDecision=445500 #constraints=38062 739.14/739.40 c nbDecision=446000 #constraints=38076 740.05/740.35 c nbDecision=446500 #constraints=38087 741.04/741.34 c nbDecision=447000 #constraints=38111 741.94/742.22 c nbDecision=447500 #constraints=38126 742.84/743.16 c nbDecision=448000 #constraints=38138 743.84/744.16 c nbDecision=448500 #constraints=38156 745.04/745.35 c nbDecision=449000 #constraints=38191 745.94/746.25 c nbDecision=449500 #constraints=38203 746.94/747.21 c nbDecision=450000 #constraints=38225 748.14/748.49 c nbDecision=450500 #constraints=38243 749.34/749.68 c nbDecision=451000 #constraints=38264 750.44/750.76 c nbDecision=451500 #constraints=38284 751.73/752.06 c nbDecision=452000 #constraints=38307 752.73/753.04 c nbDecision=452500 #constraints=38319 753.53/753.84 c nbDecision=453000 #constraints=38324 754.81/755.17 c nbDecision=453500 #constraints=38361 756.01/756.30 c nbDecision=454000 #constraints=38382 757.00/757.35 c nbDecision=454500 #constraints=38402 758.20/758.52 c nbDecision=455000 #constraints=38424 759.20/759.58 c nbDecision=455500 #constraints=38445 760.31/760.60 c nbDecision=456000 #constraints=38459 761.41/761.77 c nbDecision=456500 #constraints=38484 762.41/762.74 c nbDecision=457000 #constraints=38491 763.40/763.74 c nbDecision=457500 #constraints=38515 764.50/764.82 c nbDecision=458000 #constraints=38541 765.50/765.90 c nbDecision=458500 #constraints=38555 766.69/767.04 c nbDecision=459000 #constraints=38587 767.58/767.94 c nbDecision=459500 #constraints=38592 768.59/768.97 c nbDecision=460000 #constraints=38605 769.48/769.81 c nbDecision=460500 #constraints=38610 770.38/770.75 c nbDecision=461000 #constraints=38619 771.38/771.73 c nbDecision=461500 #constraints=38632 772.47/772.82 c nbDecision=462000 #constraints=38654 773.37/773.75 c nbDecision=462500 #constraints=38664 774.67/775.01 c nbDecision=463000 #constraints=38697 775.66/776.02 c nbDecision=463500 #constraints=38718 776.56/776.95 c nbDecision=464000 #constraints=38725 777.56/777.99 c nbDecision=464500 #constraints=38746 778.65/779.03 c nbDecision=465000 #constraints=38761 779.75/780.11 c nbDecision=465500 #constraints=38784 780.85/781.28 c nbDecision=466000 #constraints=38802 782.05/782.49 c nbDecision=466500 #constraints=38817 783.05/783.44 c nbDecision=467000 #constraints=38841 784.04/784.45 c nbDecision=467500 #constraints=38854 785.14/785.54 c nbDecision=468000 #constraints=38872 786.24/786.66 c nbDecision=468500 #constraints=38891 787.34/787.72 c nbDecision=469000 #constraints=38913 788.24/788.68 c nbDecision=469500 #constraints=38925 789.34/789.70 c nbDecision=470000 #constraints=38937 790.44/790.82 c nbDecision=470500 #constraints=38957 791.43/791.85 c nbDecision=471000 #constraints=38988 792.64/793.05 c nbDecision=471500 #constraints=39011 793.63/794.02 c nbDecision=472000 #constraints=39022 794.53/794.99 c nbDecision=472500 #constraints=39030 795.63/796.04 c nbDecision=473000 #constraints=39045 796.53/796.98 c nbDecision=473500 #constraints=39052 797.63/798.03 c nbDecision=474000 #constraints=39079 798.73/799.18 c nbDecision=474500 #constraints=39099 799.73/800.19 c nbDecision=475000 #constraints=39117 800.73/801.17 c nbDecision=475500 #constraints=39128 801.83/802.23 c nbDecision=476000 #constraints=39156 802.83/803.21 c nbDecision=476500 #constraints=39171 803.73/804.19 c nbDecision=477000 #constraints=39184 804.82/805.23 c nbDecision=477500 #constraints=39199 805.81/806.30 c nbDecision=478000 #constraints=39232 806.91/807.34 c nbDecision=478500 #constraints=39255 808.11/808.56 c nbDecision=479000 #constraints=39279 809.30/809.72 c nbDecision=479500 #constraints=39295 810.21/810.64 c nbDecision=480000 #constraints=39316 811.10/811.59 c nbDecision=480500 #constraints=39327 812.41/812.81 c nbDecision=481000 #constraints=39346 813.51/813.96 c nbDecision=481500 #constraints=39369 814.51/814.97 c nbDecision=482000 #constraints=39383 815.51/815.99 c nbDecision=482500 #constraints=39397 816.71/817.15 c nbDecision=483000 #constraints=39415 817.71/818.11 c nbDecision=483500 #constraints=39425 818.61/819.05 c nbDecision=484000 #constraints=39434 819.61/820.04 c nbDecision=484500 #constraints=39450 820.61/821.02 c nbDecision=485000 #constraints=39470 821.61/822.02 c nbDecision=485500 #constraints=39487 822.51/822.96 c nbDecision=486000 #constraints=39495 823.60/824.06 c nbDecision=486500 #constraints=39517 824.61/825.03 c nbDecision=487000 #constraints=39532 825.50/825.98 c nbDecision=487500 #constraints=39545 826.60/827.02 c nbDecision=488000 #constraints=39566 827.40/827.84 c nbDecision=488500 #constraints=39575 828.50/828.95 c nbDecision=489000 #constraints=39597 829.60/830.03 c nbDecision=489500 #constraints=39617 830.70/831.18 c nbDecision=490000 #constraints=39643 831.70/832.18 c nbDecision=490500 #constraints=39652 832.90/833.30 c nbDecision=491000 #constraints=39668 833.80/834.25 c nbDecision=491500 #constraints=39692 835.10/835.55 c nbDecision=492000 #constraints=39733 836.30/836.74 c nbDecision=492500 #constraints=39763 837.29/837.70 c nbDecision=493000 #constraints=39781 838.49/838.91 c nbDecision=493500 #constraints=39801 839.39/839.84 c nbDecision=494000 #constraints=39811 840.39/840.87 c nbDecision=494500 #constraints=39827 841.29/841.78 c nbDecision=495000 #constraints=39850 842.49/842.93 c nbDecision=495500 #constraints=39865 843.30/843.71 c nbDecision=496000 #constraints=39870 844.49/844.99 c nbDecision=496500 #constraints=39893 845.59/846.08 c nbDecision=497000 #constraints=39919 846.59/847.04 c nbDecision=497500 #constraints=39945 847.69/848.13 c nbDecision=498000 #constraints=39956 848.89/849.35 c nbDecision=498500 #constraints=39977 849.69/850.17 c nbDecision=499000 #constraints=39986 850.69/851.16 c nbDecision=499500 #constraints=39996 851.79/852.26 c nbDecision=500000 #constraints=40018 852.79/853.27 c nbDecision=500500 #constraints=40032 853.79/854.27 c nbDecision=501000 #constraints=40046 854.79/855.26 c nbDecision=501500 #constraints=40063 855.89/856.38 c nbDecision=502000 #constraints=40090 856.99/857.49 c nbDecision=502500 #constraints=40122 857.99/858.43 c nbDecision=503000 #constraints=40130 858.89/859.40 c nbDecision=503500 #constraints=40147 860.09/860.50 c nbDecision=504000 #constraints=40164 861.19/861.64 c nbDecision=504500 #constraints=40183 862.19/862.68 c nbDecision=505000 #constraints=40201 863.19/863.63 c nbDecision=505500 #constraints=40208 864.20/864.65 c nbDecision=506000 #constraints=40224 865.39/865.87 c nbDecision=506500 #constraints=40245 866.39/866.83 c nbDecision=507000 #constraints=40255 867.29/867.71 c nbDecision=507500 #constraints=40274 868.19/868.66 c nbDecision=508000 #constraints=40285 869.29/869.72 c nbDecision=508500 #constraints=40305 870.29/870.71 c nbDecision=509000 #constraints=40319 871.29/871.78 c nbDecision=509500 #constraints=40340 872.29/872.75 c nbDecision=510000 #constraints=40356 873.19/873.66 c nbDecision=510500 #constraints=40362 874.18/874.62 c nbDecision=511000 #constraints=40376 875.09/875.57 c nbDecision=511500 #constraints=40386 876.19/876.67 c nbDecision=512000 #constraints=40405 877.18/877.65 c nbDecision=512500 #constraints=40417 878.08/878.57 c nbDecision=513000 #constraints=40434 879.08/879.51 c nbDecision=513500 #constraints=40449 880.08/880.59 c nbDecision=514000 #constraints=40478 880.98/881.45 c nbDecision=514500 #constraints=40490 881.88/882.38 c nbDecision=515000 #constraints=40504 882.88/883.38 c nbDecision=515500 #constraints=40527 884.28/884.71 c nbDecision=516000 #constraints=40559 885.48/885.97 c nbDecision=516500 #constraints=40588 886.58/887.04 c nbDecision=517000 #constraints=40607 887.78/888.23 c nbDecision=517500 #constraints=40625 888.98/889.41 c nbDecision=518000 #constraints=40642 890.18/890.64 c nbDecision=518500 #constraints=40668 891.38/891.83 c nbDecision=519000 #constraints=40686 892.48/892.92 c nbDecision=519500 #constraints=40706 893.68/894.16 c nbDecision=520000 #constraints=40720 894.88/895.32 c nbDecision=520500 #constraints=40736 895.98/896.44 c nbDecision=521000 #constraints=40753 896.98/897.43 c nbDecision=521500 #constraints=40768 897.98/898.43 c nbDecision=522000 #constraints=40780 899.38/899.82 c nbDecision=522500 #constraints=40802 900.48/900.94 c nbDecision=523000 #constraints=40814 901.58/902.06 c nbDecision=523500 #constraints=40830 903.07/903.51 c nbDecision=524000 #constraints=40859 904.17/904.68 c nbDecision=524500 #constraints=40876 905.47/905.90 c nbDecision=525000 #constraints=40895 906.37/906.81 c nbDecision=525500 #constraints=40910 907.67/908.14 c nbDecision=526000 #constraints=40943 908.67/909.16 c nbDecision=526500 #constraints=40951 909.77/910.22 c nbDecision=527000 #constraints=40976 910.97/911.49 c nbDecision=527500 #constraints=41006 911.97/912.48 c nbDecision=528000 #constraints=41016 912.97/913.46 c nbDecision=528500 #constraints=41028 914.17/914.63 c nbDecision=529000 #constraints=41055 915.17/915.65 c nbDecision=529500 #constraints=41068 916.27/916.73 c nbDecision=530000 #constraints=41092 917.37/917.83 c nbDecision=530500 #constraints=41117 918.27/918.78 c nbDecision=531000 #constraints=41127 919.27/919.73 c nbDecision=531500 #constraints=41139 920.67/921.15 c nbDecision=532000 #constraints=41164 921.87/922.31 c nbDecision=532500 #constraints=41175 923.16/923.64 c nbDecision=533000 #constraints=41209 924.16/924.64 c nbDecision=533500 #constraints=41224 925.16/925.64 c nbDecision=534000 #constraints=41244 926.46/926.99 c nbDecision=534500 #constraints=41265 927.66/928.10 c nbDecision=535000 #constraints=41276 928.76/929.25 c nbDecision=535500 #constraints=41291 929.86/930.32 c nbDecision=536000 #constraints=41307 930.86/931.39 c nbDecision=536500 #constraints=41320 932.27/932.77 c nbDecision=537000 #constraints=41351 933.37/933.83 c nbDecision=537500 #constraints=41366 934.37/934.88 c nbDecision=538000 #constraints=41387 935.47/935.99 c nbDecision=538500 #constraints=41405 936.67/937.17 c nbDecision=539000 #constraints=41422 937.87/938.30 c nbDecision=539500 #constraints=41437 938.87/939.38 c nbDecision=540000 #constraints=41450 939.77/940.24 c nbDecision=540500 #constraints=41461 940.97/941.41 c nbDecision=541000 #constraints=41472 941.96/942.47 c nbDecision=541500 #constraints=41491 943.06/943.53 c nbDecision=542000 #constraints=41504 944.16/944.63 c nbDecision=542500 #constraints=41524 945.06/945.53 c nbDecision=543000 #constraints=41545 945.96/946.47 c nbDecision=543500 #constraints=41551 947.06/947.58 c nbDecision=544000 #constraints=41569 948.26/948.78 c nbDecision=544500 #constraints=41581 949.46/949.90 c nbDecision=545000 #constraints=41594 950.56/951.00 c nbDecision=545500 #constraints=41609 952.06/952.53 c nbDecision=546000 #constraints=41637 953.36/953.84 c nbDecision=546500 #constraints=41658 954.56/955.08 c nbDecision=547000 #constraints=41672 955.66/956.17 c nbDecision=547500 #constraints=41689 956.76/957.22 c nbDecision=548000 #constraints=41703 957.86/958.31 c nbDecision=548500 #constraints=41720 958.86/959.31 c nbDecision=549000 #constraints=41727 959.76/960.28 c nbDecision=549500 #constraints=41733 960.96/961.43 c nbDecision=550000 #constraints=41753 961.96/962.41 c nbDecision=550500 #constraints=41765 962.86/963.37 c nbDecision=551000 #constraints=41788 964.05/964.58 c nbDecision=551500 #constraints=41800 965.15/965.61 c nbDecision=552000 #constraints=41821 966.15/966.62 c nbDecision=552500 #constraints=41829 967.25/967.73 c nbDecision=553000 #constraints=41850 968.25/968.72 c nbDecision=553500 #constraints=41855 969.35/969.86 c nbDecision=554000 #constraints=41875 970.65/971.20 c nbDecision=554500 #constraints=41905 971.75/972.23 c nbDecision=555000 #constraints=41920 972.75/973.21 c nbDecision=555500 #constraints=41931 973.95/974.40 c nbDecision=556000 #constraints=41953 974.94/975.46 c nbDecision=556500 #constraints=41972 975.84/976.37 c nbDecision=557000 #constraints=41989 976.94/977.41 c nbDecision=557500 #constraints=42002 978.24/978.71 c nbDecision=558000 #constraints=42022 979.24/979.72 c nbDecision=558500 #constraints=42038 980.35/980.84 c nbDecision=559000 #constraints=42056 981.35/981.84 c nbDecision=559500 #constraints=42066 982.45/982.91 c nbDecision=560000 #constraints=42075 983.45/983.90 c nbDecision=560500 #constraints=42087 984.55/985.04 c nbDecision=561000 #constraints=42109 985.55/986.05 c nbDecision=561500 #constraints=42117 986.65/987.15 c nbDecision=562000 #constraints=42133 987.84/988.34 c nbDecision=562500 #constraints=42160 989.04/989.58 c nbDecision=563000 #constraints=42189 990.14/990.63 c nbDecision=563500 #constraints=42203 991.14/991.63 c nbDecision=564000 #constraints=42212 992.14/992.65 c nbDecision=564500 #constraints=42226 993.24/993.72 c nbDecision=565000 #constraints=42246 994.24/994.76 c nbDecision=565500 #constraints=42261 995.44/995.94 c nbDecision=566000 #constraints=42285 996.44/996.96 c nbDecision=566500 #constraints=42304 997.64/998.16 c nbDecision=567000 #constraints=42325 998.94/999.46 c nbDecision=567500 #constraints=42339 1000.24/1000.73 c nbDecision=568000 #constraints=42356 1001.43/1001.98 c nbDecision=568500 #constraints=42378 1002.53/1003.06 c nbDecision=569000 #constraints=42400 1003.93/1004.47 c nbDecision=569500 #constraints=42421 1005.23/1005.76 c nbDecision=570000 #constraints=42452 1006.33/1006.84 c nbDecision=570500 #constraints=42462 1007.33/1007.84 c nbDecision=571000 #constraints=42468 1008.63/1009.16 c nbDecision=571500 #constraints=42486 1010.13/1010.63 c nbDecision=572000 #constraints=42509 1011.33/1011.84 c nbDecision=572500 #constraints=42532 1012.43/1012.97 c nbDecision=573000 #constraints=42556 1013.53/1014.07 c nbDecision=573500 #constraints=42572 1014.43/1014.95 c nbDecision=574000 #constraints=42577 1015.33/1015.89 c nbDecision=574500 #constraints=42581 1016.53/1017.03 c nbDecision=575000 #constraints=42598 1017.53/1018.02 c nbDecision=575500 #constraints=42608 1018.53/1019.07 c nbDecision=576000 #constraints=42622 1019.53/1020.04 c nbDecision=576500 #constraints=42632 1020.43/1020.93 c nbDecision=577000 #constraints=42646 1021.52/1022.09 c nbDecision=577500 #constraints=42656 1022.43/1022.95 c nbDecision=578000 #constraints=42667 1023.63/1024.14 c nbDecision=578500 #constraints=42689 1024.92/1025.50 c nbDecision=579000 #constraints=42735 1026.03/1026.54 c nbDecision=579500 #constraints=42767 1027.33/1027.85 c nbDecision=580000 #constraints=42817 1028.13/1028.68 c nbDecision=580500 #constraints=42833 1029.33/1029.88 c nbDecision=581000 #constraints=42858 1030.53/1031.08 c nbDecision=581500 #constraints=42869 1031.63/1032.15 c nbDecision=582000 #constraints=42881 1032.73/1033.20 c nbDecision=582500 #constraints=42895 1033.73/1034.29 c nbDecision=583000 #constraints=42911 1034.83/1035.36 c nbDecision=583500 #constraints=42929 1035.93/1036.42 c nbDecision=584000 #constraints=42943 1037.13/1037.69 c nbDecision=584500 #constraints=42952 1038.23/1038.76 c nbDecision=585000 #constraints=42971 1039.53/1040.02 c nbDecision=585500 #constraints=42990 1040.72/1041.24 c nbDecision=586000 #constraints=43005 1041.92/1042.40 c nbDecision=586500 #constraints=43020 1042.92/1043.43 c nbDecision=587000 #constraints=43053 1043.92/1044.49 c nbDecision=587500 #constraints=43064 1045.02/1045.54 c nbDecision=588000 #constraints=43079 1046.12/1046.69 c nbDecision=588500 #constraints=43099 1047.22/1047.73 c nbDecision=589000 #constraints=43111 1048.22/1048.72 c nbDecision=589500 #constraints=43121 1049.32/1049.83 c nbDecision=590000 #constraints=43141 1050.32/1050.84 c nbDecision=590500 #constraints=43153 1051.32/1051.89 c nbDecision=591000 #constraints=43167 1052.62/1053.11 c nbDecision=591500 #constraints=43188 1053.62/1054.19 c nbDecision=592000 #constraints=43199 1054.82/1055.36 c nbDecision=592500 #constraints=43217 1055.92/1056.42 c nbDecision=593000 #constraints=43240 1056.92/1057.45 c nbDecision=593500 #constraints=43246 1058.32/1058.83 c nbDecision=594000 #constraints=43265 1059.52/1060.05 c nbDecision=594500 #constraints=43280 1060.52/1061.00 c nbDecision=595000 #constraints=43291 1061.72/1062.24 c nbDecision=595500 #constraints=43309 1062.81/1063.38 c nbDecision=596000 #constraints=43329 1064.11/1064.63 c nbDecision=596500 #constraints=43344 1065.11/1065.60 c nbDecision=597000 #constraints=43368 1066.21/1066.77 c nbDecision=597500 #constraints=43386 1067.31/1067.80 c nbDecision=598000 #constraints=43399 1068.31/1068.83 c nbDecision=598500 #constraints=43411 1069.31/1069.81 c nbDecision=599000 #constraints=43417 1070.41/1070.98 c nbDecision=599500 #constraints=43430 1071.31/1071.88 c nbDecision=600000 #constraints=43437 1072.51/1073.03 c nbDecision=600500 #constraints=43454 1073.61/1074.14 c nbDecision=601000 #constraints=43470 1074.81/1075.35 c nbDecision=601500 #constraints=43491 1075.91/1076.48 c nbDecision=602000 #constraints=43507 1077.01/1077.57 c nbDecision=602500 #constraints=43524 1078.01/1078.57 c nbDecision=603000 #constraints=43530 1079.01/1079.58 c nbDecision=603500 #constraints=43537 1080.11/1080.63 c nbDecision=604000 #constraints=43550 1081.21/1081.70 c nbDecision=604500 #constraints=43570 1082.11/1082.69 c nbDecision=605000 #constraints=43578 1083.21/1083.77 c nbDecision=605500 #constraints=43597 1084.30/1084.82 c nbDecision=606000 #constraints=43615 1085.21/1085.74 c nbDecision=606500 #constraints=43631 1086.60/1087.11 c nbDecision=607000 #constraints=43664 1087.60/1088.14 c nbDecision=607500 #constraints=43675 1089.00/1089.51 c nbDecision=608000 #constraints=43702 1089.90/1090.40 c nbDecision=608500 #constraints=43708 1090.90/1091.42 c nbDecision=609000 #constraints=43718 1091.90/1092.43 c nbDecision=609500 #constraints=43734 1093.00/1093.52 c nbDecision=610000 #constraints=43750 1094.10/1094.67 c nbDecision=610500 #constraints=43768 1095.10/1095.68 c nbDecision=611000 #constraints=43778 1096.30/1096.87 c nbDecision=611500 #constraints=43788 1097.60/1098.11 c nbDecision=612000 #constraints=43799 1098.50/1099.09 c nbDecision=612500 #constraints=43804 1099.50/1100.08 c nbDecision=613000 #constraints=43814 1100.50/1101.04 c nbDecision=613500 #constraints=43824 1101.40/1101.99 c nbDecision=614000 #constraints=43837 1102.60/1103.15 c nbDecision=614500 #constraints=43861 1103.70/1104.24 c nbDecision=615000 #constraints=43878 1104.80/1105.37 c nbDecision=615500 #constraints=43899 1105.90/1106.48 c nbDecision=616000 #constraints=43924 1107.00/1107.50 c nbDecision=616500 #constraints=43941 1108.10/1108.64 c nbDecision=617000 #constraints=43965 1109.20/1109.75 c nbDecision=617500 #constraints=43985 1110.00/1110.57 c nbDecision=618000 #constraints=43995 1111.30/1111.84 c nbDecision=618500 #constraints=44023 1112.60/1113.17 c nbDecision=619000 #constraints=44040 1113.90/1114.43 c nbDecision=619500 #constraints=44060 1114.90/1115.47 c nbDecision=620000 #constraints=44072 1116.00/1116.57 c nbDecision=620500 #constraints=44086 1116.90/1117.50 c nbDecision=621000 #constraints=44097 1118.30/1118.81 c nbDecision=621500 #constraints=44116 1119.50/1120.06 c nbDecision=622000 #constraints=44130 1120.60/1121.16 c nbDecision=622500 #constraints=44144 1121.80/1122.38 c nbDecision=623000 #constraints=44175 1123.20/1123.76 c nbDecision=623500 #constraints=44200 1124.30/1124.84 c nbDecision=624000 #constraints=44209 1125.50/1126.05 c nbDecision=624500 #constraints=44222 1126.80/1127.30 c nbDecision=625000 #constraints=44236 1127.90/1128.48 c nbDecision=625500 #constraints=44263 1129.40/1129.91 c nbDecision=626000 #constraints=44288 1130.59/1131.13 c nbDecision=626500 #constraints=44310 1131.69/1132.26 c nbDecision=627000 #constraints=44322 1132.79/1133.37 c nbDecision=627500 #constraints=44332 1133.89/1134.47 c nbDecision=628000 #constraints=44348 1134.99/1135.52 c nbDecision=628500 #constraints=44356 1135.99/1136.53 c nbDecision=629000 #constraints=44366 1136.99/1137.58 c nbDecision=629500 #constraints=44380 1137.99/1138.57 c nbDecision=630000 #constraints=44386 1139.09/1139.67 c nbDecision=630500 #constraints=44409 1140.39/1140.91 c nbDecision=631000 #constraints=44427 1141.69/1142.28 c nbDecision=631500 #constraints=44460 1142.89/1143.47 c nbDecision=632000 #constraints=44474 1144.09/1144.66 c nbDecision=632500 #constraints=44497 1145.19/1145.79 c nbDecision=633000 #constraints=44508 1146.49/1147.00 c nbDecision=633500 #constraints=44533 1147.79/1148.40 c nbDecision=634000 #constraints=44549 1148.78/1149.33 c nbDecision=634500 #constraints=44561 1149.99/1150.51 c nbDecision=635000 #constraints=44579 1151.19/1151.70 c nbDecision=635500 #constraints=44595 1152.29/1152.83 c nbDecision=636000 #constraints=44620 1153.39/1154.00 c nbDecision=636500 #constraints=44637 1154.58/1155.15 c nbDecision=637000 #constraints=44645 1155.58/1156.13 c nbDecision=637500 #constraints=44653 1156.58/1157.19 c nbDecision=638000 #constraints=44662 1157.68/1158.27 c nbDecision=638500 #constraints=44675 1158.58/1159.18 c nbDecision=639000 #constraints=44691 1159.78/1160.34 c nbDecision=639500 #constraints=44698 1160.78/1161.35 c nbDecision=640000 #constraints=44706 1161.78/1162.39 c nbDecision=640500 #constraints=44719 1162.87/1163.40 c nbDecision=641000 #constraints=44737 1164.07/1164.67 c nbDecision=641500 #constraints=44753 1165.17/1165.71 c nbDecision=642000 #constraints=44761 1166.37/1166.97 c nbDecision=642500 #constraints=44797 1167.68/1168.29 c nbDecision=643000 #constraints=44822 1168.68/1169.20 c nbDecision=643500 #constraints=44831 1169.78/1170.37 c nbDecision=644000 #constraints=44852 1171.07/1171.60 c nbDecision=644500 #constraints=44872 1172.28/1172.83 c nbDecision=645000 #constraints=44885 1173.38/1173.94 c nbDecision=645500 #constraints=44902 1174.38/1174.98 c nbDecision=646000 #constraints=44907 1175.48/1176.01 c nbDecision=646500 #constraints=44915 1176.38/1176.95 c nbDecision=647000 #constraints=44919 1177.38/1177.96 c nbDecision=647500 #constraints=44927 1178.48/1179.06 c nbDecision=648000 #constraints=44943 1179.48/1180.09 c nbDecision=648500 #constraints=44957 1180.78/1181.31 c nbDecision=649000 #constraints=44974 1181.88/1182.43 c nbDecision=649500 #constraints=44984 1182.78/1183.37 c nbDecision=650000 #constraints=45000 1183.88/1184.49 c nbDecision=650500 #constraints=45015 1185.07/1185.64 c nbDecision=651000 #constraints=45023 1186.28/1186.84 c nbDecision=651500 #constraints=45035 1187.37/1187.91 c nbDecision=652000 #constraints=45042 1188.47/1189.06 c nbDecision=652500 #constraints=45062 1189.47/1190.09 c nbDecision=653000 #constraints=45071 1190.57/1191.14 c nbDecision=653500 #constraints=45083 1191.57/1192.17 c nbDecision=654000 #constraints=45096 1192.57/1193.13 c nbDecision=654500 #constraints=45111 1193.57/1194.15 c nbDecision=655000 #constraints=45124 1194.67/1195.29 c nbDecision=655500 #constraints=45137 1195.67/1196.30 c nbDecision=656000 #constraints=45141 1196.77/1197.34 c nbDecision=656500 #constraints=45160 1197.86/1198.48 c nbDecision=657000 #constraints=45173 1198.86/1199.45 c nbDecision=657500 #constraints=45177 1199.96/1200.57 c nbDecision=658000 #constraints=45192 1201.16/1201.72 c nbDecision=658500 #constraints=45203 1202.16/1202.78 c nbDecision=659000 #constraints=45216 1203.26/1203.89 c nbDecision=659500 #constraints=45230 1204.46/1205.06 c nbDecision=660000 #constraints=45250 1205.56/1206.12 c nbDecision=660500 #constraints=45260 1206.66/1207.22 c nbDecision=661000 #constraints=45274 1207.76/1208.38 c nbDecision=661500 #constraints=45295 1208.86/1209.41 c nbDecision=662000 #constraints=45307 1210.06/1210.64 c nbDecision=662500 #constraints=45350 1211.16/1211.79 c nbDecision=663000 #constraints=45370 1212.26/1212.87 c nbDecision=663500 #constraints=45378 1213.66/1214.23 c nbDecision=664000 #constraints=45405 1214.75/1215.31 c nbDecision=664500 #constraints=45417 1215.75/1216.33 c nbDecision=665000 #constraints=45426 1216.66/1217.29 c nbDecision=665500 #constraints=45430 1217.66/1218.25 c nbDecision=666000 #constraints=45451 1218.86/1219.41 c nbDecision=666500 #constraints=45481 1220.16/1220.70 c nbDecision=667000 #constraints=45506 1221.46/1222.04 c nbDecision=667500 #constraints=45525 1222.56/1223.20 c nbDecision=668000 #constraints=45538 1223.76/1224.36 c nbDecision=668500 #constraints=45552 1224.96/1225.53 c nbDecision=669000 #constraints=45563 1226.26/1226.85 c nbDecision=669500 #constraints=45580 1227.76/1228.36 c nbDecision=670000 #constraints=45608 1228.86/1229.49 c nbDecision=670500 #constraints=45622 1230.06/1230.68 c nbDecision=671000 #constraints=45633 1231.25/1231.81 c nbDecision=671500 #constraints=45643 1232.56/1233.18 c nbDecision=672000 #constraints=45670 1233.95/1234.52 c nbDecision=672500 #constraints=45693 1235.15/1235.74 c nbDecision=673000 #constraints=45709 1236.25/1236.84 c nbDecision=673500 #constraints=45727 1237.15/1237.72 c nbDecision=674000 #constraints=45734 1238.15/1238.76 c nbDecision=674500 #constraints=45744 1239.16/1239.77 c nbDecision=675000 #constraints=45751 1240.26/1240.82 c nbDecision=675500 #constraints=45763 1241.25/1241.80 c nbDecision=676000 #constraints=45767 1242.35/1242.93 c nbDecision=676500 #constraints=45790 1243.55/1244.14 c nbDecision=677000 #constraints=45806 1244.75/1245.36 c nbDecision=677500 #constraints=45815 1245.95/1246.50 c nbDecision=678000 #constraints=45828 1246.95/1247.57 c nbDecision=678500 #constraints=45837 1248.45/1249.00 c nbDecision=679000 #constraints=45865 1249.55/1250.16 c nbDecision=679500 #constraints=45881 1250.64/1251.25 c nbDecision=680000 #constraints=45906 1251.84/1252.43 c nbDecision=680500 #constraints=45917 1253.14/1253.73 c nbDecision=681000 #constraints=45935 1254.24/1254.81 c nbDecision=681500 #constraints=45945 1255.44/1256.06 c nbDecision=682000 #constraints=45964 1256.54/1257.16 c nbDecision=682500 #constraints=45976 1257.74/1258.31 c nbDecision=683000 #constraints=45997 1258.54/1259.18 c nbDecision=683500 #constraints=46007 1259.64/1260.20 c nbDecision=684000 #constraints=46018 1260.64/1261.27 c nbDecision=684500 #constraints=46032 1261.84/1262.49 c nbDecision=685000 #constraints=46054 1263.04/1263.62 c nbDecision=685500 #constraints=46075 1264.14/1264.72 c nbDecision=686000 #constraints=46088 1265.44/1266.01 c nbDecision=686500 #constraints=46115 1266.54/1267.12 c nbDecision=687000 #constraints=46125 1267.44/1268.03 c nbDecision=687500 #constraints=46139 1268.84/1269.46 c nbDecision=688000 #constraints=46157 1270.03/1270.65 c nbDecision=688500 #constraints=46177 1271.04/1271.66 c nbDecision=689000 #constraints=46181 1272.14/1272.75 c nbDecision=689500 #constraints=46196 1273.33/1273.94 c nbDecision=690000 #constraints=46206 1274.34/1274.98 c nbDecision=690500 #constraints=46219 1275.53/1276.16 c nbDecision=691000 #constraints=46240 1276.73/1277.34 c nbDecision=691500 #constraints=46258 1277.83/1278.45 c nbDecision=692000 #constraints=46283 1278.93/1279.56 c nbDecision=692500 #constraints=46294 1280.23/1280.88 c nbDecision=693000 #constraints=46321 1281.43/1282.07 c nbDecision=693500 #constraints=46348 1282.43/1283.09 c nbDecision=694000 #constraints=46356 1283.63/1284.27 c nbDecision=694500 #constraints=46383 1284.73/1285.35 c nbDecision=695000 #constraints=46397 1285.93/1286.54 c nbDecision=695500 #constraints=46415 1286.83/1287.46 c nbDecision=696000 #constraints=46422 1287.93/1288.56 c nbDecision=696500 #constraints=46430 1289.13/1289.71 c nbDecision=697000 #constraints=46445 1290.23/1290.81 c nbDecision=697500 #constraints=46456 1291.23/1291.90 c nbDecision=698000 #constraints=46471 1292.13/1292.78 c nbDecision=698500 #constraints=46481 1293.33/1293.91 c nbDecision=699000 #constraints=46496 1294.53/1295.11 c nbDecision=699500 #constraints=46505 1295.53/1296.15 c nbDecision=700000 #constraints=46512 1296.62/1297.24 c nbDecision=700500 #constraints=46525 1297.62/1298.27 c nbDecision=701000 #constraints=46529 1298.63/1299.26 c nbDecision=701500 #constraints=46541 1299.83/1300.40 c nbDecision=702000 #constraints=46557 1300.74/1301.37 c nbDecision=702500 #constraints=46561 1301.84/1302.49 c nbDecision=703000 #constraints=46578 1303.03/1303.62 c nbDecision=703500 #constraints=46590 1304.23/1304.83 c nbDecision=704000 #constraints=46615 1305.43/1306.06 c nbDecision=704500 #constraints=46628 1306.63/1307.22 c nbDecision=705000 #constraints=46645 1308.03/1308.67 c nbDecision=705500 #constraints=46666 1309.33/1310.00 c nbDecision=706000 #constraints=46677 1310.63/1311.20 c nbDecision=706500 #constraints=46686 1311.73/1312.32 c nbDecision=707000 #constraints=46700 1312.93/1313.55 c nbDecision=707500 #constraints=46728 1314.03/1314.66 c nbDecision=708000 #constraints=46743 1315.23/1315.80 c nbDecision=708500 #constraints=46755 1316.22/1316.86 c nbDecision=709000 #constraints=46761 1317.13/1317.74 c nbDecision=709500 #constraints=46769 1318.23/1318.86 c nbDecision=710000 #constraints=46784 1319.22/1319.86 c nbDecision=710500 #constraints=46789 1320.32/1320.91 c nbDecision=711000 #constraints=46802 1321.42/1322.05 c nbDecision=711500 #constraints=46815 1322.63/1323.25 c nbDecision=712000 #constraints=46823 1323.73/1324.39 c nbDecision=712500 #constraints=46835 1325.02/1325.60 c nbDecision=713000 #constraints=46848 1326.12/1326.72 c nbDecision=713500 #constraints=46853 1327.32/1327.91 c nbDecision=714000 #constraints=46876 1328.52/1329.11 c nbDecision=714500 #constraints=46891 1329.92/1330.56 c nbDecision=715000 #constraints=46914 1331.02/1331.66 c nbDecision=715500 #constraints=46923 1332.22/1332.83 c nbDecision=716000 #constraints=46935 1333.32/1333.96 c nbDecision=716500 #constraints=46954 1334.42/1335.05 c nbDecision=717000 #constraints=46968 1335.62/1336.20 c nbDecision=717500 #constraints=46977 1336.42/1337.10 c nbDecision=718000 #constraints=46984 1337.62/1338.27 c nbDecision=718500 #constraints=46994 1338.72/1339.37 c nbDecision=719000 #constraints=47004 1339.72/1340.38 c nbDecision=719500 #constraints=47009 1340.81/1341.44 c nbDecision=720000 #constraints=47017 1341.91/1342.56 c nbDecision=720500 #constraints=47034 1343.11/1343.76 c nbDecision=721000 #constraints=47048 1344.31/1344.94 c nbDecision=721500 #constraints=47062 1345.41/1346.04 c nbDecision=722000 #constraints=47073 1346.51/1347.16 c nbDecision=722500 #constraints=47084 1347.61/1348.26 c nbDecision=723000 #constraints=47094 1348.61/1349.29 c nbDecision=723500 #constraints=47098 1349.81/1350.40 c nbDecision=724000 #constraints=47122 1350.81/1351.47 c nbDecision=724500 #constraints=47131 1351.81/1352.49 c nbDecision=725000 #constraints=47135 1352.91/1353.59 c nbDecision=725500 #constraints=47148 1354.01/1354.68 c nbDecision=726000 #constraints=47168 1355.11/1355.77 c nbDecision=726500 #constraints=47180 1356.21/1356.87 c nbDecision=727000 #constraints=47203 1357.31/1357.91 c nbDecision=727500 #constraints=47214 1358.30/1358.90 c nbDecision=728000 #constraints=47223 1359.40/1360.03 c nbDecision=728500 #constraints=47246 1360.40/1361.08 c nbDecision=729000 #constraints=47261 1361.60/1362.29 c nbDecision=729500 #constraints=47270 1362.90/1363.52 c nbDecision=730000 #constraints=47282 1364.00/1364.64 c nbDecision=730500 #constraints=47289 1365.20/1365.82 c nbDecision=731000 #constraints=47299 1366.40/1367.04 c nbDecision=731500 #constraints=47317 1367.50/1368.16 c nbDecision=732000 #constraints=47328 1368.60/1369.22 c nbDecision=732500 #constraints=47337 1369.70/1370.36 c nbDecision=733000 #constraints=47351 1370.80/1371.46 c nbDecision=733500 #constraints=47359 1371.90/1372.59 c nbDecision=734000 #constraints=47374 1373.10/1373.75 c nbDecision=734500 #constraints=47387 1374.31/1374.91 c nbDecision=735000 #constraints=47397 1375.30/1375.96 c nbDecision=735500 #constraints=47401 1376.71/1377.33 c nbDecision=736000 #constraints=47419 1377.81/1378.48 c nbDecision=736500 #constraints=47434 1379.01/1379.60 c nbDecision=737000 #constraints=47447 1380.01/1380.63 c nbDecision=737500 #constraints=47461 1381.11/1381.73 c nbDecision=738000 #constraints=47480 1382.41/1383.05 c nbDecision=738500 #constraints=47508 1383.51/1384.17 c nbDecision=739000 #constraints=47518 1384.71/1385.34 c nbDecision=739500 #constraints=47530 1385.81/1386.44 c nbDecision=740000 #constraints=47545 1386.90/1387.56 c nbDecision=740500 #constraints=47556 1388.10/1388.72 c nbDecision=741000 #constraints=47567 1389.20/1389.80 c nbDecision=741500 #constraints=47581 1390.00/1390.64 c nbDecision=742000 #constraints=47583 1391.40/1392.05 c nbDecision=742500 #constraints=47612 1392.40/1393.00 c nbDecision=743000 #constraints=47622 1393.50/1394.14 c nbDecision=743500 #constraints=47643 1394.80/1395.42 c nbDecision=744000 #constraints=47665 1395.90/1396.52 c nbDecision=744500 #constraints=47678 1397.00/1397.63 c nbDecision=745000 #constraints=47691 1398.10/1398.78 c nbDecision=745500 #constraints=47715 1399.20/1399.84 c nbDecision=746000 #constraints=47732 1400.60/1401.23 c nbDecision=746500 #constraints=47761 1401.90/1402.51 c nbDecision=747000 #constraints=47776 1403.00/1403.67 c nbDecision=747500 #constraints=47792 1404.19/1404.86 c nbDecision=748000 #constraints=47810 1405.29/1405.93 c nbDecision=748500 #constraints=47818 1406.49/1407.15 c nbDecision=749000 #constraints=47839 1407.59/1408.22 c nbDecision=749500 #constraints=47847 1408.50/1409.17 c nbDecision=750000 #constraints=47867 1410.09/1410.71 c nbDecision=750500 #constraints=47892 1411.29/1411.94 c nbDecision=751000 #constraints=47911 1412.39/1413.09 c nbDecision=751500 #constraints=47921 1413.49/1414.17 c nbDecision=752000 #constraints=47927 1414.69/1415.35 c nbDecision=752500 #constraints=47942 1415.79/1416.40 c nbDecision=753000 #constraints=47948 1416.79/1417.47 c nbDecision=753500 #constraints=47954 1417.88/1418.54 c nbDecision=754000 #constraints=47963 1418.98/1419.62 c nbDecision=754500 #constraints=47972 1420.08/1420.71 c nbDecision=755000 #constraints=47985 1421.18/1421.81 c nbDecision=755500 #constraints=47997 1422.18/1422.87 c nbDecision=756000 #constraints=48003 1423.28/1423.92 c nbDecision=756500 #constraints=48011 1424.28/1424.93 c nbDecision=757000 #constraints=48015 1425.38/1426.09 c nbDecision=757500 #constraints=48037 1426.68/1427.37 c nbDecision=758000 #constraints=48061 1427.78/1428.48 c nbDecision=758500 #constraints=48069 1428.98/1429.67 c nbDecision=759000 #constraints=48085 1430.08/1430.72 c nbDecision=759500 #constraints=48096 1431.18/1431.87 c nbDecision=760000 #constraints=48106 1432.48/1433.19 c nbDecision=760500 #constraints=48128 1433.68/1434.37 c nbDecision=761000 #constraints=48144 1434.88/1435.57 c nbDecision=761500 #constraints=48162 1435.98/1436.64 c nbDecision=762000 #constraints=48173 1436.99/1437.68 c nbDecision=762500 #constraints=48177 1438.09/1438.80 c nbDecision=763000 #constraints=48193 1439.19/1439.89 c nbDecision=763500 #constraints=48204 1440.18/1440.86 c nbDecision=764000 #constraints=48223 1441.18/1441.88 c nbDecision=764500 #constraints=48228 1442.58/1443.27 c nbDecision=765000 #constraints=48245 1443.58/1444.29 c nbDecision=765500 #constraints=48250 1444.58/1445.29 c nbDecision=766000 #constraints=48271 1445.58/1446.30 c nbDecision=766500 #constraints=48286 1446.68/1447.38 c nbDecision=767000 #constraints=48301 1447.88/1448.52 c nbDecision=767500 #constraints=48320 1448.88/1449.59 c nbDecision=768000 #constraints=48325 1449.98/1450.66 c nbDecision=768500 #constraints=48336 1450.98/1451.69 c nbDecision=769000 #constraints=48341 1452.18/1452.81 c nbDecision=769500 #constraints=48351 1453.18/1453.86 c nbDecision=770000 #constraints=48361 1454.28/1454.97 c nbDecision=770500 #constraints=48374 1455.38/1456.04 c nbDecision=771000 #constraints=48388 1456.78/1457.40 c nbDecision=771500 #constraints=48420 1457.68/1458.34 c nbDecision=772000 #constraints=48435 1458.77/1459.46 c nbDecision=772500 #constraints=48457 1459.97/1460.64 c nbDecision=773000 #constraints=48474 1461.28/1461.94 c nbDecision=773500 #constraints=48496 1462.37/1463.04 c nbDecision=774000 #constraints=48509 1463.17/1463.89 c nbDecision=774500 #constraints=48517 1464.37/1465.05 c nbDecision=775000 #constraints=48536 1465.47/1466.19 c nbDecision=775500 #constraints=48552 1466.67/1467.34 c nbDecision=776000 #constraints=48572 1467.77/1468.48 c nbDecision=776500 #constraints=48588 1468.97/1469.63 c nbDecision=777000 #constraints=48609 1470.07/1470.80 c nbDecision=777500 #constraints=48627 1471.46/1472.10 c nbDecision=778000 #constraints=48660 1472.67/1473.33 c nbDecision=778500 #constraints=48706 1473.57/1474.27 c nbDecision=779000 #constraints=48729 1474.57/1475.28 c nbDecision=779500 #constraints=48744 1475.57/1476.24 c nbDecision=780000 #constraints=48759 1476.77/1477.40 c nbDecision=780500 #constraints=48775 1477.87/1478.50 c nbDecision=781000 #constraints=48797 1478.97/1479.66 c nbDecision=781500 #constraints=48820 1480.47/1481.11 c nbDecision=782000 #constraints=48847 1481.67/1482.36 c nbDecision=782500 #constraints=48860 1482.87/1483.51 c nbDecision=783000 #constraints=48869 1484.27/1484.90 c nbDecision=783500 #constraints=48890 1485.37/1486.03 c nbDecision=784000 #constraints=48897 1486.76/1487.49 c nbDecision=784500 #constraints=48930 1488.06/1488.80 c nbDecision=785000 #constraints=48958 1489.56/1490.24 c nbDecision=785500 #constraints=48990 1490.66/1491.36 c nbDecision=786000 #constraints=48996 1492.07/1492.76 c nbDecision=786500 #constraints=49024 1493.36/1494.00 c nbDecision=787000 #constraints=49032 1494.26/1495.00 c nbDecision=787500 #constraints=49040 1495.76/1496.44 c nbDecision=788000 #constraints=49056 1496.96/1497.60 c nbDecision=788500 #constraints=49065 1498.06/1498.79 c nbDecision=789000 #constraints=49079 1499.26/1499.96 c nbDecision=789500 #constraints=49093 1500.36/1501.07 c nbDecision=790000 #constraints=49101 1501.56/1502.28 c nbDecision=790500 #constraints=49111 1502.76/1503.45 c nbDecision=791000 #constraints=49119 1504.06/1504.71 c nbDecision=791500 #constraints=49140 1505.05/1505.70 c nbDecision=792000 #constraints=49149 1506.26/1507.00 c nbDecision=792500 #constraints=49166 1507.65/1508.34 c nbDecision=793000 #constraints=49176 1508.75/1509.48 c nbDecision=793500 #constraints=49181 1509.95/1510.65 c nbDecision=794000 #constraints=49188 1511.35/1512.03 c nbDecision=794500 #constraints=49204 1512.55/1513.24 c nbDecision=795000 #constraints=49213 1513.76/1514.45 c nbDecision=795500 #constraints=49233 1515.06/1515.74 c nbDecision=796000 #constraints=49251 1516.36/1517.03 c nbDecision=796500 #constraints=49259 1517.46/1518.17 c nbDecision=797000 #constraints=49273 1518.66/1519.32 c nbDecision=797500 #constraints=49282 1519.56/1520.25 c nbDecision=798000 #constraints=49292 1520.75/1521.42 c nbDecision=798500 #constraints=49304 1522.25/1522.93 c nbDecision=799000 #constraints=49331 1523.45/1524.12 c nbDecision=799500 #constraints=49346 1524.55/1525.20 c nbDecision=800000 #constraints=49356 1525.75/1526.42 c nbDecision=800500 #constraints=49372 1526.85/1527.53 c nbDecision=801000 #constraints=49384 1528.26/1529.00 c nbDecision=801500 #constraints=49400 1529.46/1530.16 c nbDecision=802000 #constraints=49412 1530.75/1531.44 c nbDecision=802500 #constraints=49421 1531.95/1532.65 c nbDecision=803000 #constraints=49431 1533.25/1533.92 c nbDecision=803500 #constraints=49445 1534.55/1535.23 c nbDecision=804000 #constraints=49466 1535.65/1536.33 c nbDecision=804500 #constraints=49476 1536.75/1537.40 c nbDecision=805000 #constraints=49489 1537.64/1538.37 c nbDecision=805500 #constraints=49497 1538.84/1539.54 c nbDecision=806000 #constraints=49511 1540.14/1540.85 c nbDecision=806500 #constraints=49530 1541.24/1541.93 c nbDecision=807000 #constraints=49546 1542.44/1543.11 c nbDecision=807500 #constraints=49557 1543.54/1544.29 c nbDecision=808000 #constraints=49566 1544.75/1545.44 c nbDecision=808500 #constraints=49574 1545.74/1546.50 c nbDecision=809000 #constraints=49578 1547.04/1547.76 c nbDecision=809500 #constraints=49598 1548.14/1548.87 c nbDecision=810000 #constraints=49605 1549.74/1550.42 c nbDecision=810500 #constraints=49631 1551.04/1551.74 c nbDecision=811000 #constraints=49640 1552.14/1552.85 c nbDecision=811500 #constraints=49650 1553.24/1553.92 c nbDecision=812000 #constraints=49662 1554.54/1555.26 c nbDecision=812500 #constraints=49679 1555.64/1556.36 c nbDecision=813000 #constraints=49692 1556.64/1557.30 c nbDecision=813500 #constraints=49701 1557.74/1558.40 c nbDecision=814000 #constraints=49711 1558.84/1559.52 c nbDecision=814500 #constraints=49721 1559.93/1560.61 c nbDecision=815000 #constraints=49738 1560.93/1561.66 c nbDecision=815500 #constraints=49742 1562.13/1562.86 c nbDecision=816000 #constraints=49762 1563.44/1564.11 c nbDecision=816500 #constraints=49777 1564.54/1565.24 c nbDecision=817000 #constraints=49797 1565.74/1566.42 c nbDecision=817500 #constraints=49813 1566.93/1567.62 c nbDecision=818000 #constraints=49833 1567.94/1568.61 c nbDecision=818500 #constraints=49850 1568.94/1569.66 c nbDecision=819000 #constraints=49857 1569.53/1570.20 c restart after 819201 decisions 1570.14/1570.86 c nbDecision=819500 #constraints=49877 1571.63/1572.36 c nbDecision=820000 #constraints=49894 1572.73/1573.48 c nbDecision=820500 #constraints=49900 1574.04/1574.72 c nbDecision=821000 #constraints=49922 1575.44/1576.10 c nbDecision=821500 #constraints=49939 1576.24/1576.99 c nbDecision=822000 #constraints=49944 1577.74/1578.48 c nbDecision=822500 #constraints=49963 1579.14/1579.86 c nbDecision=823000 #constraints=49988 1580.24/1580.99 c nbDecision=823500 #constraints=49994 1581.54/1582.27 c nbDecision=824000 #constraints=50005 1582.44/1583.19 c nbDecision=824500 #constraints=50008 1583.63/1584.34 c nbDecision=825000 #constraints=50023 1584.93/1585.60 c nbDecision=825500 #constraints=50037 1586.23/1586.91 c nbDecision=826000 #constraints=50045 1587.43/1588.12 c nbDecision=826500 #constraints=50055 1588.73/1589.48 c nbDecision=827000 #constraints=50076 1589.93/1590.64 c nbDecision=827500 #constraints=50085 1591.03/1591.74 c nbDecision=828000 #constraints=50097 1592.13/1592.81 c nbDecision=828500 #constraints=50106 1593.53/1594.21 c nbDecision=829000 #constraints=50118 1594.63/1595.35 c nbDecision=829500 #constraints=50127 1596.03/1596.79 c nbDecision=830000 #constraints=50140 1597.33/1598.07 c nbDecision=830500 #constraints=50150 1598.63/1599.40 c nbDecision=831000 #constraints=50163 1599.73/1600.49 c nbDecision=831500 #constraints=50183 1601.03/1601.71 c nbDecision=832000 #constraints=50196 1602.13/1602.89 c nbDecision=832500 #constraints=50206 1603.23/1603.97 c nbDecision=833000 #constraints=50216 1604.33/1605.07 c nbDecision=833500 #constraints=50226 1605.63/1606.38 c nbDecision=834000 #constraints=50244 1606.82/1607.53 c nbDecision=834500 #constraints=50257 1608.02/1608.78 c nbDecision=835000 #constraints=50268 1609.22/1609.94 c nbDecision=835500 #constraints=50278 1610.32/1611.00 c nbDecision=836000 #constraints=50285 1611.42/1612.13 c nbDecision=836500 #constraints=50296 1612.62/1613.31 c nbDecision=837000 #constraints=50318 1613.52/1614.23 c nbDecision=837500 #constraints=50329 1615.23/1615.95 c nbDecision=838000 #constraints=50357 1616.62/1617.34 c nbDecision=838500 #constraints=50383 1618.02/1618.74 c nbDecision=839000 #constraints=50392 1619.22/1619.94 c nbDecision=839500 #constraints=50400 1620.42/1621.18 c nbDecision=840000 #constraints=50408 1621.92/1622.60 c nbDecision=840500 #constraints=50423 1623.02/1623.70 c nbDecision=841000 #constraints=50435 1624.32/1625.05 c nbDecision=841500 #constraints=50447 1625.52/1626.26 c nbDecision=842000 #constraints=50456 1627.01/1627.70 c nbDecision=842500 #constraints=50468 1627.91/1628.64 c nbDecision=843000 #constraints=50475 1629.21/1629.96 c nbDecision=843500 #constraints=50503 1630.62/1631.36 c nbDecision=844000 #constraints=50528 1632.21/1632.91 c nbDecision=844500 #constraints=50553 1633.51/1634.25 c nbDecision=845000 #constraints=50579 1634.81/1635.56 c nbDecision=845500 #constraints=50596 1636.02/1636.71 c nbDecision=846000 #constraints=50608 1637.22/1637.94 c nbDecision=846500 #constraints=50622 1638.31/1639.04 c nbDecision=847000 #constraints=50633 1639.51/1640.22 c nbDecision=847500 #constraints=50640 1640.51/1641.21 c nbDecision=848000 #constraints=50653 1641.71/1642.48 c nbDecision=848500 #constraints=50666 1643.11/1643.82 c nbDecision=849000 #constraints=50675 1644.41/1645.11 c nbDecision=849500 #constraints=50686 1645.61/1646.35 c nbDecision=850000 #constraints=50701 1646.91/1647.65 c nbDecision=850500 #constraints=50713 1648.41/1649.14 c nbDecision=851000 #constraints=50728 1649.71/1650.41 c nbDecision=851500 #constraints=50746 1650.91/1651.60 c nbDecision=852000 #constraints=50753 1652.01/1652.77 c nbDecision=852500 #constraints=50758 1653.21/1653.90 c nbDecision=853000 #constraints=50762 1654.41/1655.20 c nbDecision=853500 #constraints=50772 1655.61/1656.37 c nbDecision=854000 #constraints=50793 1656.81/1657.52 c nbDecision=854500 #constraints=50804 1657.91/1658.61 c nbDecision=855000 #constraints=50811 1658.81/1659.58 c nbDecision=855500 #constraints=50818 1660.31/1661.09 c nbDecision=856000 #constraints=50842 1661.41/1662.16 c nbDecision=856500 #constraints=50852 1662.61/1663.37 c nbDecision=857000 #constraints=50861 1663.81/1664.55 c nbDecision=857500 #constraints=50874 1665.21/1665.91 c nbDecision=858000 #constraints=50888 1666.40/1667.10 c nbDecision=858500 #constraints=50893 1667.50/1668.28 c nbDecision=859000 #constraints=50902 1668.50/1669.26 c nbDecision=859500 #constraints=50915 1670.00/1670.75 c nbDecision=860000 #constraints=50934 1671.21/1671.97 c nbDecision=860500 #constraints=50944 1672.60/1673.34 c nbDecision=861000 #constraints=50967 1673.70/1674.40 c nbDecision=861500 #constraints=50974 1674.80/1675.55 c nbDecision=862000 #constraints=50986 1675.90/1676.67 c nbDecision=862500 #constraints=50994 1677.10/1677.88 c nbDecision=863000 #constraints=51011 1678.20/1678.93 c nbDecision=863500 #constraints=51019 1679.80/1680.51 c nbDecision=864000 #constraints=51043 1680.90/1681.69 c nbDecision=864500 #constraints=51050 1682.10/1682.87 c nbDecision=865000 #constraints=51056 1683.10/1683.87 c nbDecision=865500 #constraints=51071 1684.30/1685.07 c nbDecision=866000 #constraints=51087 1685.70/1686.40 c nbDecision=866500 #constraints=51097 1687.00/1687.74 c nbDecision=867000 #constraints=51118 1688.10/1688.87 c nbDecision=867500 #constraints=51133 1689.30/1690.01 c nbDecision=868000 #constraints=51142 1690.50/1691.23 c nbDecision=868500 #constraints=51155 1691.59/1692.38 c nbDecision=869000 #constraints=51165 1692.79/1693.52 c nbDecision=869500 #constraints=51171 1693.99/1694.77 c nbDecision=870000 #constraints=51185 1695.29/1696.00 c nbDecision=870500 #constraints=51192 1696.50/1697.26 c nbDecision=871000 #constraints=51207 1697.89/1698.60 c nbDecision=871500 #constraints=51222 1698.99/1699.79 c nbDecision=872000 #constraints=51233 1700.09/1700.89 c nbDecision=872500 #constraints=51241 1701.19/1701.92 c nbDecision=873000 #constraints=51252 1702.19/1702.98 c nbDecision=873500 #constraints=51263 1703.39/1704.12 c nbDecision=874000 #constraints=51273 1704.69/1705.43 c nbDecision=874500 #constraints=51292 1706.09/1706.83 c nbDecision=875000 #constraints=51306 1707.49/1708.27 c nbDecision=875500 #constraints=51325 1708.49/1709.23 c nbDecision=876000 #constraints=51334 1710.19/1710.99 c nbDecision=876500 #constraints=51350 1711.38/1712.19 c nbDecision=877000 #constraints=51358 1712.89/1713.68 c nbDecision=877500 #constraints=51379 1714.09/1714.88 c nbDecision=878000 #constraints=51387 1715.19/1715.98 c nbDecision=878500 #constraints=51404 1716.79/1717.56 c nbDecision=879000 #constraints=51424 1717.99/1718.75 c nbDecision=879500 #constraints=51435 1719.19/1719.94 c nbDecision=880000 #constraints=51448 1720.49/1721.27 c nbDecision=880500 #constraints=51459 1721.69/1722.45 c nbDecision=881000 #constraints=51466 1722.89/1723.61 c nbDecision=881500 #constraints=51482 1724.19/1724.95 c nbDecision=882000 #constraints=51503 1725.59/1726.38 c nbDecision=882500 #constraints=51522 1726.89/1727.69 c nbDecision=883000 #constraints=51536 1728.19/1728.95 c nbDecision=883500 #constraints=51555 1729.59/1730.31 c nbDecision=884000 #constraints=51569 1730.78/1731.53 c nbDecision=884500 #constraints=51580 1731.98/1732.78 c nbDecision=885000 #constraints=51592 1733.18/1733.99 c nbDecision=885500 #constraints=51611 1734.38/1735.15 c nbDecision=886000 #constraints=51615 1735.58/1736.33 c nbDecision=886500 #constraints=51629 1736.68/1737.46 c nbDecision=887000 #constraints=51635 1737.78/1738.57 c nbDecision=887500 #constraints=51641 1739.18/1739.98 c nbDecision=888000 #constraints=51657 1740.38/1741.11 c nbDecision=888500 #constraints=51664 1741.58/1742.31 c nbDecision=889000 #constraints=51684 1742.98/1743.70 c nbDecision=889500 #constraints=51708 1743.98/1744.77 c nbDecision=890000 #constraints=51726 1745.28/1746.09 c nbDecision=890500 #constraints=51739 1746.38/1747.19 c nbDecision=891000 #constraints=51751 1747.68/1748.42 c nbDecision=891500 #constraints=51763 1749.08/1749.85 c nbDecision=892000 #constraints=51771 1750.08/1750.86 c nbDecision=892500 #constraints=51784 1751.48/1752.28 c nbDecision=893000 #constraints=51804 1752.78/1753.57 c nbDecision=893500 #constraints=51820 1753.78/1754.53 c nbDecision=894000 #constraints=51837 1754.97/1755.71 c nbDecision=894500 #constraints=51849 1756.17/1756.91 c nbDecision=895000 #constraints=51867 1757.37/1758.10 c nbDecision=895500 #constraints=51885 1758.37/1759.19 c nbDecision=896000 #constraints=51890 1759.67/1760.44 c nbDecision=896500 #constraints=51902 1760.67/1761.47 c nbDecision=897000 #constraints=51920 1761.97/1762.74 c nbDecision=897500 #constraints=51940 1763.17/1763.92 c nbDecision=898000 #constraints=51952 1764.57/1765.33 c nbDecision=898500 #constraints=51976 1765.77/1766.51 c nbDecision=899000 #constraints=51992 1766.97/1767.73 c nbDecision=899500 #constraints=52004 1768.07/1768.87 c nbDecision=900000 #constraints=52015 1769.27/1770.03 c nbDecision=900500 #constraints=52020 1770.47/1771.24 c nbDecision=901000 #constraints=52040 1771.37/1772.17 c nbDecision=901500 #constraints=52045 1772.67/1773.48 c nbDecision=902000 #constraints=52064 1773.67/1774.42 c nbDecision=902500 #constraints=52071 1774.87/1775.64 c nbDecision=903000 #constraints=52083 1775.97/1776.79 c nbDecision=903500 #constraints=52095 1777.16/1777.90 c nbDecision=904000 #constraints=52108 1778.36/1779.11 c nbDecision=904500 #constraints=52117 1779.56/1780.34 c nbDecision=905000 #constraints=52133 1780.96/1781.74 c nbDecision=905500 #constraints=52151 1782.16/1782.98 c nbDecision=906000 #constraints=52169 1783.56/1784.37 c nbDecision=906500 #constraints=52189 1784.76/1785.56 c nbDecision=907000 #constraints=52194 1786.06/1786.86 c nbDecision=907500 #constraints=52212 1787.06/1787.86 c nbDecision=908000 #constraints=52216 1788.36/1789.17 c nbDecision=908500 #constraints=52234 1789.56/1790.34 c nbDecision=909000 #constraints=52243 1790.86/1791.61 c nbDecision=909500 #constraints=52254 1791.96/1792.73 c nbDecision=910000 #constraints=52272 1792.86/1793.68 c nbDecision=910500 #constraints=52283 1794.16/1794.96 c nbDecision=911000 #constraints=52304 1795.56/1796.36 c nbDecision=911500 #constraints=52324 1796.76/1797.58 c nbDecision=912000 #constraints=52340 1798.06/1798.86 c nbDecision=912500 #constraints=52353 1799.26/1800.07 c nbDecision=913000 #constraints=52361 1800.07/1800.80 Received signal 15 1800.07/1800.81 1800.07/1800.81 s UNKNOWN 1800.07/1800.81 1800.07/1800.81 c user time= 1799.57 s 1800.07/1800.81 c system time= 0.510922 s 1800.07/1800.81 c wall clock time=1800.81
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node24/watcher-363000-1176850109 -o ROOT/results/node24/solver-363000-1176850109 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/363000-1176850109/instance-363000-1176850109.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.95 1.03 0.98 3/77 12470 /proc/meminfo: memFree=1644304/2055920 swapFree=4101964/4192956 [pid=12470] ppid=12468 vsize=1620 CPUtime=0 /proc/12470/stat : 12470 (oree) R 12468 12470 12283 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 132929002 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12470/statm: 405 175 126 317 0 84 0 [startup+0.0187619 s] /proc/loadavg: 0.95 1.03 0.98 3/77 12470 /proc/meminfo: memFree=1644304/2055920 swapFree=4101964/4192956 [pid=12470] ppid=12468 vsize=1880 CPUtime=0.01 /proc/12470/stat : 12470 (oree) R 12468 12470 12283 0 -1 4194304 298 0 0 0 1 0 0 0 18 0 1 0 132929002 1925120 247 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12470/statm: 470 247 126 317 0 149 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1880 [startup+0.101769 s] /proc/loadavg: 0.95 1.03 0.98 3/77 12470 /proc/meminfo: memFree=1644304/2055920 swapFree=4101964/4192956 [pid=12470] ppid=12468 vsize=3020 CPUtime=0.1 /proc/12470/stat : 12470 (oree) R 12468 12470 12283 0 -1 4194304 665 0 0 0 10 0 0 0 18 0 1 0 132929002 3092480 549 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12470/statm: 755 549 131 317 0 434 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 3020 [startup+0.301792 s] /proc/loadavg: 0.95 1.03 0.98 3/77 12470 /proc/meminfo: memFree=1644304/2055920 swapFree=4101964/4192956 [pid=12470] ppid=12468 vsize=7156 CPUtime=0.29 /proc/12470/stat : 12470 (oree) R 12468 12470 12283 0 -1 4194304 1672 0 0 0 29 0 0 0 19 0 1 0 132929002 7327744 1556 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12470/statm: 1789 1556 131 317 0 1468 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7156 [startup+0.701835 s] /proc/loadavg: 0.95 1.03 0.98 3/77 12470 /proc/meminfo: memFree=1644304/2055920 swapFree=4101964/4192956 [pid=12470] ppid=12468 vsize=16480 CPUtime=0.69 /proc/12470/stat : 12470 (oree) R 12468 12470 12283 0 -1 4194304 3893 0 0 0 67 2 0 0 23 0 1 0 132929002 16875520 3777 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12470/statm: 4120 3777 137 317 0 3799 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16480 [startup+1.50192 s] /proc/loadavg: 0.95 1.03 0.98 2/78 12471 /proc/meminfo: memFree=1628488/2055920 swapFree=4101964/4192956 [pid=12470] ppid=12468 vsize=18328 CPUtime=1.49 /proc/12470/stat : 12470 (oree) R 12468 12470 12283 0 -1 4194304 4338 0 0 0 147 2 0 0 25 0 1 0 132929002 18767872 4222 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284160 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12470/statm: 4582 4222 139 317 0 4261 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 18328 [startup+3.10109 s] /proc/loadavg: 0.95 1.03 0.98 2/78 12471 /proc/meminfo: memFree=1626824/2055920 swapFree=4101964/4192956 [pid=12470] ppid=12468 vsize=20772 CPUtime=3.09 /proc/12470/stat : 12470 (oree) R 12468 12470 12283 0 -1 4194304 4960 0 0 0 306 3 0 0 25 0 1 0 132929002 21270528 4844 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12470/statm: 5193 4844 139 317 0 4872 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 20772 [startup+6.30244 s] /proc/loadavg: 0.95 1.03 0.98 3/78 12471 /proc/meminfo: memFree=1622152/2055920 swapFree=4101964/4192956 [pid=12470] ppid=12468 vsize=25012 CPUtime=6.29 /proc/12470/stat : 12470 (oree) R 12468 12470 12283 0 -1 4194304 5995 0 0 0 624 5 0 0 25 0 1 0 132929002 25612288 5879 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12470/statm: 6253 5879 139 317 0 5932 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25012 [startup+12.7011 s] /proc/loadavg: 0.95 1.03 0.98 2/78 12471 /proc/meminfo: memFree=1616072/2055920 swapFree=4101964/4192956 [pid=12470] ppid=12468 vsize=30496 CPUtime=12.68 /proc/12470/stat : 12470 (oree) R 12468 12470 12283 0 -1 4194304 7428 0 0 0 1262 6 0 0 25 0 1 0 132929002 31227904 7312 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606843 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12470/statm: 7624 7312 170 317 0 7303 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 30496 [startup+25.5015 s] /proc/loadavg: 0.96 1.03 0.98 2/78 12471 /proc/meminfo: memFree=1608008/2055920 swapFree=4101964/4192956 [pid=12470] ppid=12468 vsize=38256 CPUtime=25.48 /proc/12470/stat : 12470 (oree) R 12468 12470 12283 0 -1 4194304 9366 0 0 0 2540 8 0 0 25 0 1 0 132929002 39174144 9207 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12470/statm: 9564 9207 170 317 0 9243 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 38256 [startup+51.1013 s] /proc/loadavg: 0.97 1.03 0.98 2/78 12471 /proc/meminfo: memFree=1598472/2055920 swapFree=4101964/4192956 [pid=12470] ppid=12468 vsize=47648 CPUtime=51.08 /proc/12470/stat : 12470 (oree) R 12468 12470 12283 0 -1 4194304 11747 0 0 0 5097 11 0 0 25 0 1 0 132929002 48791552 11503 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12470/statm: 11912 11503 170 317 0 11591 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 47648 [startup+102.306 s] /proc/loadavg: 0.99 1.02 0.98 2/78 12471 /proc/meminfo: memFree=1586632/2055920 swapFree=4101964/4192956 [pid=12470] ppid=12468 vsize=59888 CPUtime=102.26 /proc/12470/stat : 12470 (oree) R 12468 12470 12283 0 -1 4194304 14760 0 0 0 10212 14 0 0 25 0 1 0 132929002 61325312 14516 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12470/statm: 14972 14516 170 317 0 14651 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 59888 [startup+162.301 s] /proc/loadavg: 0.99 1.02 0.98 2/78 12471 /proc/meminfo: memFree=1577416/2055920 swapFree=4101964/4192956 [pid=12470] ppid=12468 vsize=68836 CPUtime=162.23 /proc/12470/stat : 12470 (oree) R 12468 12470 12283 0 -1 4194304 17065 0 0 0 16205 18 0 0 25 0 1 0 132929002 70488064 16821 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12470/statm: 17209 16821 170 317 0 16888 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 68836 [startup+222.302 s] /proc/loadavg: 0.99 1.01 0.98 2/78 12471 /proc/meminfo: memFree=1570440/2055920 swapFree=4101964/4192956 [pid=12470] ppid=12468 vsize=75812 CPUtime=222.2 /proc/12470/stat : 12470 (oree) R 12468 12470 12283 0 -1 4194304 18773 0 0 0 22200 20 0 0 25 0 1 0 132929002 77631488 18529 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12470/statm: 18953 18529 170 317 0 18632 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 75812 [startup+282.301 s] /proc/loadavg: 0.99 1.00 0.98 2/78 12471 /proc/meminfo: memFree=1563784/2055920 swapFree=4101964/4192956 [pid=12470] ppid=12468 vsize=83228 CPUtime=282.19 /proc/12470/stat : 12470 (oree) R 12468 12470 12283 0 -1 4194304 20591 0 0 0 28196 23 0 0 25 0 1 0 132929002 85225472 20177 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12470/statm: 20807 20177 170 317 0 20486 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 83228 [startup+342.302 s] /proc/loadavg: 0.99 1.00 0.98 2/78 12471 /proc/meminfo: memFree=1558024/2055920 swapFree=4101964/4192956 [pid=12470] ppid=12468 vsize=89156 CPUtime=342.17 /proc/12470/stat : 12470 (oree) R 12468 12470 12283 0 -1 4194304 22048 0 0 0 34193 24 0 0 25 0 1 0 132929002 91295744 21634 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12470/statm: 22289 21634 170 317 0 21968 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 89156 [startup+402.301 s] /proc/loadavg: 0.99 1.00 0.98 2/78 12471 /proc/meminfo: memFree=1552712/2055920 swapFree=4101964/4192956 [pid=12470] ppid=12468 vsize=95072 CPUtime=402.15 /proc/12470/stat : 12470 (oree) R 12468 12470 12283 0 -1 4194304 23396 0 0 0 40189 26 0 0 25 0 1 0 132929002 97353728 22982 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12470/statm: 23768 22982 170 317 0 23447 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 95072 [startup+462.302 s] /proc/loadavg: 0.99 1.00 0.98 2/78 12471 /proc/meminfo: memFree=1548168/2055920 swapFree=4101964/4192956 [pid=12470] ppid=12468 vsize=99684 CPUtime=462.13 /proc/12470/stat : 12470 (oree) R 12468 12470 12283 0 -1 4194304 24501 0 0 0 46185 28 0 0 25 0 1 0 132929002 102076416 24087 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606845 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12470/statm: 24921 24087 170 317 0 24600 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 99684 [startup+522.301 s] /proc/loadavg: 0.99 1.00 0.98 2/78 12471 /proc/meminfo: memFree=1544776/2055920 swapFree=4101964/4192956 [pid=12470] ppid=12468 vsize=102996 CPUtime=522.11 /proc/12470/stat : 12470 (oree) R 12468 12470 12283 0 -1 4194304 25377 0 0 0 52182 29 0 0 25 0 1 0 132929002 105467904 24930 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12470/statm: 25749 24930 170 317 0 25428 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 102996 [startup+582.302 s] /proc/loadavg: 0.99 1.00 0.98 2/78 12471 /proc/meminfo: memFree=1541320/2055920 swapFree=4101964/4192956 [pid=12470] ppid=12468 vsize=106800 CPUtime=582.09 /proc/12470/stat : 12470 (oree) R 12468 12470 12283 0 -1 4194304 26241 0 0 0 58179 30 0 0 25 0 1 0 132929002 109363200 25794 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12470/statm: 26700 25794 170 317 0 26379 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 106800 [startup+642.301 s] /proc/loadavg: 0.99 1.00 0.98 2/78 12471 /proc/meminfo: memFree=1537736/2055920 swapFree=4101964/4192956 [pid=12470] ppid=12468 vsize=110888 CPUtime=642.07 /proc/12470/stat : 12470 (oree) R 12468 12470 12283 0 -1 4194304 27129 0 0 0 64176 31 0 0 25 0 1 0 132929002 113549312 26682 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12470/statm: 27722 26682 170 317 0 27401 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 110888 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 0.99 1.00 0.98 2/78 12669 /proc/meminfo: memFree=1529728/2055920 swapFree=4101964/4192956 [pid=12470] ppid=12468 vsize=117952 CPUtime=821.91 /proc/12470/stat : 12470 (oree) R 12468 12470 12283 0 -1 4194304 29094 0 0 0 82156 35 0 0 25 0 1 0 132929002 120782848 28647 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12470/statm: 29488 28647 170 317 0 29167 0 Current children cumulated CPU time (s) 821.91 Current children cumulated vsize (KiB) 117952 [startup+882.301 s] /proc/loadavg: 0.99 1.00 0.98 2/78 12669 /proc/meminfo: memFree=1527360/2055920 swapFree=4101964/4192956 [pid=12470] ppid=12468 vsize=120176 CPUtime=881.88 /proc/12470/stat : 12470 (oree) R 12468 12470 12283 0 -1 4194304 29673 0 0 0 88152 36 0 0 25 0 1 0 132929002 123060224 29226 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12470/statm: 30044 29226 170 317 0 29723 0 Current children cumulated CPU time (s) 881.88 Current children cumulated vsize (KiB) 120176 [startup+942.302 s] /proc/loadavg: 0.99 1.00 0.98 2/78 12669 /proc/meminfo: memFree=1525120/2055920 swapFree=4101964/4192956 [pid=12470] ppid=12468 vsize=122268 CPUtime=941.86 /proc/12470/stat : 12470 (oree) R 12468 12470 12283 0 -1 4194304 30242 0 0 0 94149 37 0 0 25 0 1 0 132929002 125202432 29795 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12470/statm: 30567 29795 170 317 0 30246 0 Current children cumulated CPU time (s) 941.86 Current children cumulated vsize (KiB) 122268 [startup+1002.3 s] /proc/loadavg: 0.99 1.00 0.98 2/78 12669 /proc/meminfo: memFree=1523008/2055920 swapFree=4101964/4192956 [pid=12470] ppid=12468 vsize=124136 CPUtime=1001.83 /proc/12470/stat : 12470 (oree) R 12468 12470 12283 0 -1 4194304 30763 0 0 0 100145 38 0 0 25 0 1 0 132929002 127115264 30316 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12470/statm: 31034 30316 170 317 0 30713 0 Current children cumulated CPU time (s) 1001.83 Current children cumulated vsize (KiB) 124136 [startup+1062.3 s] /proc/loadavg: 0.99 1.00 0.98 2/78 12669 /proc/meminfo: memFree=1520960/2055920 swapFree=4101964/4192956 [pid=12470] ppid=12468 vsize=126088 CPUtime=1061.81 /proc/12470/stat : 12470 (oree) R 12468 12470 12283 0 -1 4194304 31279 0 0 0 106142 39 0 0 25 0 1 0 132929002 129114112 30832 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12470/statm: 31522 30832 170 317 0 31201 0 Current children cumulated CPU time (s) 1061.81 Current children cumulated vsize (KiB) 126088 [startup+1122.3 s] /proc/loadavg: 0.99 1.00 0.98 2/78 12669 /proc/meminfo: memFree=1519048/2055920 swapFree=4101964/4192956 [pid=12470] ppid=12468 vsize=127780 CPUtime=1121.8 /proc/12470/stat : 12470 (oree) R 12468 12470 12283 0 -1 4194304 31740 0 0 0 112140 40 0 0 25 0 1 0 132929002 130846720 31293 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12470/statm: 31945 31293 170 317 0 31624 0 Current children cumulated CPU time (s) 1121.8 Current children cumulated vsize (KiB) 127780 [startup+1182.3 s] /proc/loadavg: 0.99 1.00 0.98 2/78 12669 /proc/meminfo: memFree=1517320/2055920 swapFree=4101964/4192956 [pid=12470] ppid=12468 vsize=129472 CPUtime=1181.78 /proc/12470/stat : 12470 (oree) R 12468 12470 12283 0 -1 4194304 32175 0 0 0 118137 41 0 0 25 0 1 0 132929002 132579328 31728 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12470/statm: 32368 31728 170 317 0 32047 0 Current children cumulated CPU time (s) 1181.78 Current children cumulated vsize (KiB) 129472 [startup+1242.3 s] /proc/loadavg: 0.99 1.00 0.98 2/78 12669 /proc/meminfo: memFree=1515528/2055920 swapFree=4101964/4192956 [pid=12470] ppid=12468 vsize=131164 CPUtime=1241.75 /proc/12470/stat : 12470 (oree) R 12468 12470 12283 0 -1 4194304 32632 0 0 0 124133 42 0 0 25 0 1 0 132929002 134311936 32185 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12470/statm: 32791 32185 170 317 0 32470 0 Current children cumulated CPU time (s) 1241.75 Current children cumulated vsize (KiB) 131164 [startup+1302.3 s] /proc/loadavg: 0.99 1.00 0.98 2/78 12669 /proc/meminfo: memFree=1513672/2055920 swapFree=4101964/4192956 [pid=12470] ppid=12468 vsize=132748 CPUtime=1301.74 /proc/12470/stat : 12470 (oree) R 12468 12470 12283 0 -1 4194304 33079 0 0 0 130131 43 0 0 25 0 1 0 132929002 135933952 32632 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12470/statm: 33187 32632 170 317 0 32866 0 Current children cumulated CPU time (s) 1301.74 Current children cumulated vsize (KiB) 132748 [startup+1362.3 s] /proc/loadavg: 0.99 1.00 0.98 2/78 12669 /proc/meminfo: memFree=1512136/2055920 swapFree=4101964/4192956 [pid=12470] ppid=12468 vsize=134224 CPUtime=1361.7 /proc/12470/stat : 12470 (oree) R 12468 12470 12283 0 -1 4194304 33451 0 0 0 136127 43 0 0 25 0 1 0 132929002 137445376 33004 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12470/statm: 33556 33004 170 317 0 33235 0 Current children cumulated CPU time (s) 1361.7 Current children cumulated vsize (KiB) 134224 [startup+1422.31 s] /proc/loadavg: 0.99 1.00 0.98 2/78 12669 /proc/meminfo: memFree=1510472/2055920 swapFree=4101964/4192956 [pid=12470] ppid=12468 vsize=135664 CPUtime=1421.69 /proc/12470/stat : 12470 (oree) R 12468 12470 12283 0 -1 4194304 33859 0 0 0 142125 44 0 0 25 0 1 0 132929002 138919936 33412 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606848 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12470/statm: 33916 33412 170 317 0 33595 0 Current children cumulated CPU time (s) 1421.69 Current children cumulated vsize (KiB) 135664 [startup+1482.3 s] /proc/loadavg: 0.99 1.00 0.98 2/78 12669 /proc/meminfo: memFree=1508680/2055920 swapFree=4101964/4192956 [pid=12470] ppid=12468 vsize=137484 CPUtime=1481.67 /proc/12470/stat : 12470 (oree) R 12468 12470 12283 0 -1 4194304 34322 0 0 0 148121 46 0 0 25 0 1 0 132929002 140783616 33875 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12470/statm: 34371 33875 170 317 0 34050 0 Current children cumulated CPU time (s) 1481.67 Current children cumulated vsize (KiB) 137484 [startup+1542.3 s] /proc/loadavg: 0.99 1.00 0.98 2/78 12669 /proc/meminfo: memFree=1505800/2055920 swapFree=4101964/4192956 [pid=12470] ppid=12468 vsize=141592 CPUtime=1541.64 /proc/12470/stat : 12470 (oree) R 12468 12470 12283 0 -1 4194304 35367 0 0 0 154117 47 0 0 25 0 1 0 132929002 144990208 34582 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12470/statm: 35398 34582 170 317 0 35077 0 Current children cumulated CPU time (s) 1541.64 Current children cumulated vsize (KiB) 141592 [startup+1602.3 s] /proc/loadavg: 0.99 1.00 0.98 2/78 12669 /proc/meminfo: memFree=1505736/2055920 swapFree=4101964/4192956 [pid=12470] ppid=12468 vsize=141724 CPUtime=1601.63 /proc/12470/stat : 12470 (oree) R 12468 12470 12283 0 -1 4194304 35427 0 0 0 160115 48 0 0 25 0 1 0 132929002 145125376 34642 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12470/statm: 35431 34642 170 317 0 35110 0 Current children cumulated CPU time (s) 1601.63 Current children cumulated vsize (KiB) 141724 [startup+1662.3 s] /proc/loadavg: 0.99 1.00 0.98 2/78 12669 /proc/meminfo: memFree=1504328/2055920 swapFree=4101964/4192956 [pid=12470] ppid=12468 vsize=143148 CPUtime=1661.61 /proc/12470/stat : 12470 (oree) R 12468 12470 12283 0 -1 4194304 35770 0 0 0 166112 49 0 0 25 0 1 0 132929002 146583552 34985 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12470/statm: 35787 34985 170 317 0 35466 0 Current children cumulated CPU time (s) 1661.61 Current children cumulated vsize (KiB) 143148 [startup+1722.3 s] /proc/loadavg: 0.99 1.00 0.98 2/78 12669 /proc/meminfo: memFree=1502536/2055920 swapFree=4101964/4192956 [pid=12470] ppid=12468 vsize=146392 CPUtime=1721.59 /proc/12470/stat : 12470 (oree) R 12468 12470 12283 0 -1 4194304 36469 0 0 0 172109 50 0 0 25 0 1 0 132929002 149905408 35420 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12470/statm: 36598 35420 170 317 0 36277 0 Current children cumulated CPU time (s) 1721.59 Current children cumulated vsize (KiB) 146392 [startup+1782.3 s] /proc/loadavg: 0.99 1.00 0.98 2/78 12669 /proc/meminfo: memFree=1501000/2055920 swapFree=4101964/4192956 [pid=12470] ppid=12468 vsize=147836 CPUtime=1781.56 /proc/12470/stat : 12470 (oree) R 12468 12470 12283 0 -1 4194304 36858 0 0 0 178106 50 0 0 25 0 1 0 132929002 151384064 35809 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12470/statm: 36959 35809 170 317 0 36638 0 Current children cumulated CPU time (s) 1781.56 Current children cumulated vsize (KiB) 147836 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 0.99 1.00 0.98 2/78 12669 /proc/meminfo: memFree=1500552/2055920 swapFree=4101964/4192956 [pid=12470] ppid=12468 vsize=148224 CPUtime=1800.07 /proc/12470/stat : 12470 (oree) R 12468 12470 12283 0 -1 4194304 36970 0 0 0 179956 51 0 0 25 0 1 0 132929002 151781376 35921 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12470/statm: 37056 35921 170 317 0 36735 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 148224 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.85 CPU time (s): 1800.12 CPU user time (s): 1799.59 CPU system time (s): 0.535918 CPU usage (%): 99.9593 Max. virtual memory (cumulated for all children) (KiB): 148224 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.59 system time used= 0.535918 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 36986 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= 8 involuntary context switches= 5167 runsolver used 2.10268 second user time and 4.55731 second system time The end
Begin job on node24 on Tue Apr 17 22:48:30 UTC 2007 IDJOB= 363000 IDBENCH= 1704 IDSOLVER= 172 FILE ID= node24/363000-1176850109 PBS_JOBID= 4590215 Free space on /tmp= 66493 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-bnl1.opb COMMAND LINE= oree /tmp/evaluation/363000-1176850109/instance-363000-1176850109.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node24/watcher-363000-1176850109 -o ROOT/results/node24/solver-363000-1176850109 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/363000-1176850109/instance-363000-1176850109.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 86d589e9c21b90dfd700c7c422b09b8c RANDOM SEED= 242918829 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node24.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.238 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.238 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: 1644776 kB Buffers: 40152 kB Cached: 237860 kB SwapCached: 60220 kB Active: 68756 kB Inactive: 277420 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1644776 kB SwapTotal: 4192956 kB SwapFree: 4101964 kB Dirty: 3312 kB Writeback: 0 kB Mapped: 49104 kB Slab: 50436 kB Committed_AS: 1811580 kB PageTables: 1808 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66493 MiB End job on node24 on Tue Apr 17 23:18:33 UTC 2007