Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.16 | 1800.7 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_7.opb |
MD5SUM | 4bc9c47dc743f36fab4669cf3c8ccd21 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 25 |
Best CPU time to get the best result obtained on this benchmark | 0.795878 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 25 |
Optimality of the best value was proved | YES |
Number of variables | 238 |
Total number of constraints | 399 |
Number of constraints which are clauses | 1 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 398 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 25 |
Number of terms in the objective function | 6 |
Biggest coefficient in the objective function | 21 |
Number of bits for the biggest coefficient in the objective function | 5 |
Sum of the numbers in the objective function | 52 |
Number of bits of the sum of numbers in the objective function | 6 |
Biggest number in a constraint | 69 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 362 |
Number of bits of the biggest sum of numbers | 9 |
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.00/0.02 c ...done 0.00/0.02 c #vars=238 #constraints=400 hasObjective=yes 0.00/0.02 c res. mode=mod 0.00/0.02 c VSIDS like heuristics 0.00/0.02 c complete search running 0.00/0.03 c restart after 401 decisions 0.00/0.03 c nbDecision=500 #constraints=404 0.00/0.03 c restart after 801 decisions 0.00/0.05 c nbDecision=1000 #constraints=435 0.00/0.06 c nbDecision=1500 #constraints=446 0.00/0.06 c restart after 1601 decisions 0.06/0.08 c nbDecision=2000 #constraints=471 0.06/0.09 c nbDecision=2500 #constraints=487 0.09/0.12 c nbDecision=3000 #constraints=528 0.09/0.13 c restart after 3201 decisions 0.09/0.15 c nbDecision=3500 #constraints=578 0.09/0.17 c nbDecision=4000 #constraints=598 0.19/0.22 c nbDecision=4500 #constraints=669 0.29/0.31 c nbDecision=5000 #constraints=811 0.39/0.46 c nbDecision=5500 #constraints=977 0.49/0.52 c nbDecision=6000 #constraints=1058 0.49/0.55 c restart after 6401 decisions 0.49/0.55 c nbDecision=6500 #constraints=1092 0.59/0.61 c nbDecision=7000 #constraints=1157 0.59/0.67 c nbDecision=7500 #constraints=1200 0.59/0.69 c nbDecision=8000 #constraints=1224 0.69/0.71 c nbDecision=8500 #constraints=1243 0.69/0.75 c nbDecision=9000 #constraints=1278 0.69/0.79 c nbDecision=9500 #constraints=1307 0.79/0.81 c nbDecision=10000 #constraints=1322 0.79/0.82 c nbDecision=10500 #constraints=1340 0.79/0.84 c nbDecision=11000 #constraints=1355 0.79/0.86 c nbDecision=11500 #constraints=1371 0.79/0.89 c nbDecision=12000 #constraints=1389 0.89/0.92 c nbDecision=12500 #constraints=1407 0.89/0.93 c restart after 12801 decisions 0.89/0.94 c nbDecision=13000 #constraints=1417 0.89/0.97 c nbDecision=13500 #constraints=1442 0.89/1.00 c nbDecision=14000 #constraints=1485 0.99/1.02 c nbDecision=14500 #constraints=1507 0.99/1.05 c nbDecision=15000 #constraints=1538 0.99/1.08 c nbDecision=15500 #constraints=1562 0.99/1.09 c nbDecision=16000 #constraints=1571 1.09/1.13 c nbDecision=16500 #constraints=1609 1.09/1.15 c nbDecision=17000 #constraints=1618 1.09/1.16 c nbDecision=17500 #constraints=1630 1.09/1.17 c nbDecision=18000 #constraints=1644 1.19/1.20 c nbDecision=18500 #constraints=1665 1.19/1.25 c nbDecision=19000 #constraints=1697 1.19/1.27 c nbDecision=19500 #constraints=1711 1.29/1.31 c nbDecision=20000 #constraints=1742 1.29/1.33 c nbDecision=20500 #constraints=1753 1.29/1.36 c nbDecision=21000 #constraints=1769 1.29/1.37 c nbDecision=21500 #constraints=1780 1.29/1.39 c nbDecision=22000 #constraints=1793 1.39/1.41 c nbDecision=22500 #constraints=1808 1.39/1.45 c nbDecision=23000 #constraints=1831 1.39/1.47 c nbDecision=23500 #constraints=1844 1.39/1.50 c nbDecision=24000 #constraints=1865 1.49/1.51 c nbDecision=24500 #constraints=1884 1.49/1.55 c nbDecision=25000 #constraints=1916 1.49/1.58 c nbDecision=25500 #constraints=1939 1.49/1.59 c restart after 25601 decisions 1.59/1.68 c nbDecision=26000 #constraints=1990 1.79/1.83 c nbDecision=26500 #constraints=2076 1.79/1.88 c nbDecision=27000 #constraints=2100 1.90/1.97 c nbDecision=27500 #constraints=2145 2.00/2.04 c nbDecision=28000 #constraints=2177 2.00/2.07 c nbDecision=28500 #constraints=2197 2.00/2.09 c nbDecision=29000 #constraints=2223 2.10/2.12 c nbDecision=29500 #constraints=2242 2.10/2.15 c nbDecision=30000 #constraints=2260 2.10/2.17 c nbDecision=30500 #constraints=2272 2.20/2.20 c nbDecision=31000 #constraints=2299 2.20/2.24 c nbDecision=31500 #constraints=2323 2.20/2.26 c nbDecision=32000 #constraints=2337 2.20/2.29 c nbDecision=32500 #constraints=2349 2.30/2.32 c nbDecision=33000 #constraints=2368 2.30/2.33 c nbDecision=33500 #constraints=2380 2.30/2.37 c nbDecision=34000 #constraints=2403 2.39/2.41 c nbDecision=34500 #constraints=2424 2.39/2.46 c nbDecision=35000 #constraints=2443 2.49/2.50 c nbDecision=35500 #constraints=2463 2.49/2.53 c nbDecision=36000 #constraints=2483 2.49/2.56 c nbDecision=36500 #constraints=2501 2.59/2.61 c nbDecision=37000 #constraints=2524 2.59/2.66 c nbDecision=37500 #constraints=2548 2.69/2.71 c nbDecision=38000 #constraints=2573 2.69/2.76 c nbDecision=38500 #constraints=2593 2.79/2.80 c nbDecision=39000 #constraints=2619 2.79/2.85 c nbDecision=39500 #constraints=2637 2.89/2.90 c nbDecision=40000 #constraints=2656 2.89/2.94 c nbDecision=40500 #constraints=2670 2.99/3.01 c nbDecision=41000 #constraints=2696 2.99/3.06 c nbDecision=41500 #constraints=2718 3.09/3.12 c nbDecision=42000 #constraints=2743 3.20/3.21 c nbDecision=42500 #constraints=2781 3.20/3.28 c nbDecision=43000 #constraints=2811 3.30/3.36 c nbDecision=43500 #constraints=2841 3.39/3.44 c nbDecision=44000 #constraints=2874 3.49/3.53 c nbDecision=44500 #constraints=2911 3.59/3.63 c nbDecision=45000 #constraints=2948 3.69/3.70 c nbDecision=45500 #constraints=2972 3.69/3.77 c nbDecision=46000 #constraints=3001 3.79/3.85 c nbDecision=46500 #constraints=3033 3.89/3.95 c nbDecision=47000 #constraints=3070 3.99/4.02 c nbDecision=47500 #constraints=3092 4.09/4.11 c nbDecision=48000 #constraints=3118 4.19/4.21 c nbDecision=48500 #constraints=3150 4.30/4.31 c nbDecision=49000 #constraints=3183 4.40/4.48 c nbDecision=49500 #constraints=3234 4.59/4.61 c nbDecision=50000 #constraints=3273 4.69/4.73 c nbDecision=50500 #constraints=3311 4.79/4.86 c nbDecision=51000 #constraints=3353 4.89/4.90 c restart after 51201 decisions 4.89/4.98 c nbDecision=51500 #constraints=3371 4.99/5.05 c nbDecision=52000 #constraints=3388 5.09/5.11 c nbDecision=52500 #constraints=3400 5.09/5.17 c nbDecision=53000 #constraints=3414 5.19/5.23 c nbDecision=53500 #constraints=3427 5.19/5.29 c nbDecision=54000 #constraints=3441 5.29/5.36 c nbDecision=54500 #constraints=3456 5.39/5.43 c nbDecision=55000 #constraints=3470 5.39/5.49 c nbDecision=55500 #constraints=3483 5.49/5.57 c nbDecision=56000 #constraints=3505 5.59/5.64 c nbDecision=56500 #constraints=3522 5.69/5.73 c nbDecision=57000 #constraints=3544 5.69/5.80 c nbDecision=57500 #constraints=3562 5.89/5.91 c nbDecision=58000 #constraints=3593 5.89/5.98 c nbDecision=58500 #constraints=3608 5.99/6.07 c nbDecision=59000 #constraints=3631 6.09/6.18 c nbDecision=59500 #constraints=3657 6.19/6.28 c nbDecision=60000 #constraints=3683 6.29/6.35 c nbDecision=60500 #constraints=3699 6.39/6.45 c nbDecision=61000 #constraints=3719 6.49/6.52 c nbDecision=61500 #constraints=3734 6.49/6.59 c nbDecision=62000 #constraints=3748 6.59/6.67 c nbDecision=62500 #constraints=3764 6.69/6.75 c nbDecision=63000 #constraints=3782 6.79/6.83 c nbDecision=63500 #constraints=3800 6.89/6.90 c nbDecision=64000 #constraints=3817 6.99/7.00 c nbDecision=64500 #constraints=3837 6.99/7.08 c nbDecision=65000 #constraints=3852 7.19/7.21 c nbDecision=65500 #constraints=3876 7.29/7.30 c nbDecision=66000 #constraints=3900 7.39/7.40 c nbDecision=66500 #constraints=3930 7.39/7.49 c nbDecision=67000 #constraints=3955 7.59/7.62 c nbDecision=67500 #constraints=3980 7.69/7.73 c nbDecision=68000 #constraints=4007 7.79/7.83 c nbDecision=68500 #constraints=4028 7.89/7.96 c nbDecision=69000 #constraints=4056 8.08/8.14 c nbDecision=69500 #constraints=4091 8.18/8.28 c nbDecision=70000 #constraints=4118 8.38/8.43 c nbDecision=70500 #constraints=4146 8.48/8.53 c nbDecision=71000 #constraints=4163 8.69/8.71 c nbDecision=71500 #constraints=4191 8.79/8.85 c nbDecision=72000 #constraints=4210 8.98/9.03 c nbDecision=72500 #constraints=4230 9.09/9.14 c nbDecision=73000 #constraints=4252 9.19/9.28 c nbDecision=73500 #constraints=4274 9.29/9.39 c nbDecision=74000 #constraints=4291 9.49/9.51 c nbDecision=74500 #constraints=4313 9.59/9.65 c nbDecision=75000 #constraints=4339 9.80/9.84 c nbDecision=75500 #constraints=4365 9.90/9.99 c nbDecision=76000 #constraints=4392 10.19/10.20 c nbDecision=76500 #constraints=4427 10.29/10.39 c nbDecision=77000 #constraints=4449 10.49/10.57 c nbDecision=77500 #constraints=4473 10.69/10.78 c nbDecision=78000 #constraints=4507 10.89/10.94 c nbDecision=78500 #constraints=4532 11.09/11.17 c nbDecision=79000 #constraints=4566 11.49/11.51 c nbDecision=79500 #constraints=4616 11.69/11.70 c nbDecision=80000 #constraints=4648 11.79/11.90 c nbDecision=80500 #constraints=4676 12.09/12.18 c nbDecision=81000 #constraints=4710 12.39/12.42 c nbDecision=81500 #constraints=4745 12.69/12.72 c nbDecision=82000 #constraints=4782 12.89/12.90 c nbDecision=82500 #constraints=4806 13.09/13.16 c nbDecision=83000 #constraints=4836 13.29/13.33 c nbDecision=83500 #constraints=4859 13.59/13.62 c nbDecision=84000 #constraints=4895 13.79/13.82 c nbDecision=84500 #constraints=4921 13.99/14.02 c nbDecision=85000 #constraints=4945 14.29/14.30 c nbDecision=85500 #constraints=4981 14.49/14.59 c nbDecision=86000 #constraints=5016 14.89/14.93 c nbDecision=86500 #constraints=5066 15.09/15.16 c nbDecision=87000 #constraints=5095 15.29/15.37 c nbDecision=87500 #constraints=5122 15.49/15.59 c nbDecision=88000 #constraints=5148 16.09/16.14 c nbDecision=88500 #constraints=5209 16.69/16.78 c nbDecision=89000 #constraints=5282 17.29/17.35 c nbDecision=89500 #constraints=5350 17.49/17.60 c nbDecision=90000 #constraints=5387 17.79/17.88 c nbDecision=90500 #constraints=5434 17.99/18.09 c nbDecision=91000 #constraints=5470 18.39/18.41 c nbDecision=91500 #constraints=5508 18.79/18.83 c nbDecision=92000 #constraints=5557 19.08/19.14 c nbDecision=92500 #constraints=5596 19.38/19.42 c nbDecision=93000 #constraints=5644 19.58/19.64 c nbDecision=93500 #constraints=5677 19.78/19.86 c nbDecision=94000 #constraints=5706 20.08/20.15 c nbDecision=94500 #constraints=5741 20.28/20.36 c nbDecision=95000 #constraints=5771 20.58/20.63 c nbDecision=95500 #constraints=5808 20.89/20.92 c nbDecision=96000 #constraints=5847 21.08/21.17 c nbDecision=96500 #constraints=5880 21.28/21.34 c nbDecision=97000 #constraints=5907 21.48/21.56 c nbDecision=97500 #constraints=5940 21.78/21.81 c nbDecision=98000 #constraints=5974 21.99/22.06 c nbDecision=98500 #constraints=6008 22.19/22.29 c nbDecision=99000 #constraints=6042 22.49/22.59 c nbDecision=99500 #constraints=6084 22.69/22.75 c nbDecision=100000 #constraints=6110 22.89/22.98 c nbDecision=100500 #constraints=6147 23.29/23.32 c nbDecision=101000 #constraints=6201 23.89/23.90 c nbDecision=101500 #constraints=6269 24.29/24.35 c nbDecision=102000 #constraints=6318 24.59/24.69 c restart after 102401 decisions 24.79/24.89 c nbDecision=102500 #constraints=6361 25.09/25.13 c nbDecision=103000 #constraints=6386 25.29/25.38 c nbDecision=103500 #constraints=6418 25.59/25.64 c nbDecision=104000 #constraints=6451 25.79/25.88 c nbDecision=104500 #constraints=6483 26.09/26.13 c nbDecision=105000 #constraints=6516 26.49/26.52 c nbDecision=105500 #constraints=6569 26.79/26.86 c nbDecision=106000 #constraints=6610 27.29/27.33 c nbDecision=106500 #constraints=6665 27.59/27.61 c nbDecision=107000 #constraints=6705 27.79/27.83 c nbDecision=107500 #constraints=6738 28.29/28.33 c nbDecision=108000 #constraints=6807 28.59/28.60 c nbDecision=108500 #constraints=6842 28.79/28.86 c nbDecision=109000 #constraints=6876 29.09/29.12 c nbDecision=109500 #constraints=6910 29.29/29.39 c nbDecision=110000 #constraints=6943 29.69/29.75 c nbDecision=110500 #constraints=6991 30.09/30.14 c nbDecision=111000 #constraints=7041 30.38/30.49 c nbDecision=111500 #constraints=7089 30.88/30.98 c nbDecision=112000 #constraints=7164 31.28/31.30 c nbDecision=112500 #constraints=7182 31.48/31.52 c nbDecision=113000 #constraints=7201 31.68/31.79 c nbDecision=113500 #constraints=7211 31.98/32.09 c nbDecision=114000 #constraints=7225 32.28/32.30 c nbDecision=114500 #constraints=7244 32.38/32.45 c nbDecision=115000 #constraints=7265 32.58/32.64 c nbDecision=115500 #constraints=7284 32.68/32.76 c nbDecision=116000 #constraints=7325 32.99/33.03 c nbDecision=116500 #constraints=7347 33.28/33.39 c nbDecision=117000 #constraints=7378 33.58/33.65 c nbDecision=117500 #constraints=7391 33.88/33.97 c nbDecision=118000 #constraints=7412 34.18/34.25 c nbDecision=118500 #constraints=7433 34.48/34.55 c nbDecision=119000 #constraints=7463 34.98/35.01 c nbDecision=119500 #constraints=7488 35.28/35.39 c nbDecision=120000 #constraints=7517 35.78/35.88 c nbDecision=120500 #constraints=7546 36.28/36.32 c nbDecision=121000 #constraints=7573 36.78/36.80 c nbDecision=121500 #constraints=7603 37.08/37.15 c nbDecision=122000 #constraints=7648 37.58/37.68 c nbDecision=122500 #constraints=7681 38.18/38.30 c nbDecision=123000 #constraints=7713 38.68/38.75 c nbDecision=123500 #constraints=7739 39.18/39.26 c nbDecision=124000 #constraints=7765 39.88/39.98 c nbDecision=124500 #constraints=7808 40.28/40.30 c nbDecision=125000 #constraints=7821 40.68/40.71 c nbDecision=125500 #constraints=7843 41.18/41.29 c nbDecision=126000 #constraints=7874 41.68/41.77 c nbDecision=126500 #constraints=7902 42.08/42.11 c nbDecision=127000 #constraints=7917 42.48/42.57 c nbDecision=127500 #constraints=7941 43.08/43.12 c nbDecision=128000 #constraints=7972 43.88/43.98 c nbDecision=128500 #constraints=8023 44.68/44.75 c nbDecision=129000 #constraints=8065 45.18/45.22 c nbDecision=129500 #constraints=8089 45.58/45.64 c nbDecision=130000 #constraints=8109 46.08/46.16 c nbDecision=130500 #constraints=8136 46.67/46.77 c nbDecision=131000 #constraints=8169 47.28/47.31 c nbDecision=131500 #constraints=8199 47.87/47.93 c nbDecision=132000 #constraints=8233 48.47/48.60 c nbDecision=132500 #constraints=8267 49.07/49.16 c nbDecision=133000 #constraints=8302 49.57/49.69 c nbDecision=133500 #constraints=8327 50.17/50.29 c nbDecision=134000 #constraints=8358 50.77/50.80 c nbDecision=134500 #constraints=8384 51.27/51.31 c nbDecision=135000 #constraints=8408 51.77/51.88 c nbDecision=135500 #constraints=8434 52.37/52.43 c nbDecision=136000 #constraints=8462 52.97/53.00 c nbDecision=136500 #constraints=8489 53.47/53.57 c nbDecision=137000 #constraints=8525 54.07/54.14 c nbDecision=137500 #constraints=8566 54.67/54.78 c nbDecision=138000 #constraints=8605 55.27/55.33 c nbDecision=138500 #constraints=8637 55.87/55.94 c nbDecision=139000 #constraints=8675 56.37/56.41 c nbDecision=139500 #constraints=8715 56.87/56.91 c nbDecision=140000 #constraints=8751 57.47/57.57 c nbDecision=140500 #constraints=8808 58.07/58.13 c nbDecision=141000 #constraints=8848 58.97/59.08 c nbDecision=141500 #constraints=8906 59.87/59.91 c nbDecision=142000 #constraints=8952 60.27/60.36 c nbDecision=142500 #constraints=8988 60.78/60.81 c nbDecision=143000 #constraints=9030 61.28/61.33 c nbDecision=143500 #constraints=9063 62.08/62.15 c nbDecision=144000 #constraints=9114 62.98/63.00 c nbDecision=144500 #constraints=9163 63.78/63.87 c nbDecision=145000 #constraints=9214 64.58/64.69 c nbDecision=145500 #constraints=9261 65.48/65.59 c nbDecision=146000 #constraints=9304 66.18/66.20 c nbDecision=146500 #constraints=9333 66.48/66.52 c nbDecision=147000 #constraints=9356 66.88/66.98 c nbDecision=147500 #constraints=9369 67.38/67.44 c nbDecision=148000 #constraints=9405 67.68/67.74 c nbDecision=148500 #constraints=9434 68.18/68.21 c nbDecision=149000 #constraints=9460 68.48/68.59 c nbDecision=149500 #constraints=9476 68.98/69.02 c nbDecision=150000 #constraints=9500 69.38/69.46 c nbDecision=150500 #constraints=9526 69.78/69.89 c nbDecision=151000 #constraints=9543 70.48/70.55 c nbDecision=151500 #constraints=9576 71.28/71.33 c nbDecision=152000 #constraints=9613 71.98/72.01 c nbDecision=152500 #constraints=9645 72.38/72.42 c nbDecision=153000 #constraints=9664 72.87/72.96 c nbDecision=153500 #constraints=9688 73.68/73.74 c nbDecision=154000 #constraints=9729 74.27/74.35 c nbDecision=154500 #constraints=9758 74.68/74.73 c nbDecision=155000 #constraints=9771 75.07/75.19 c nbDecision=155500 #constraints=9798 75.57/75.67 c nbDecision=156000 #constraints=9819 76.07/76.19 c nbDecision=156500 #constraints=9846 76.57/76.67 c nbDecision=157000 #constraints=9866 77.07/77.17 c nbDecision=157500 #constraints=9892 77.47/77.55 c nbDecision=158000 #constraints=9909 78.27/78.36 c nbDecision=158500 #constraints=9943 78.77/78.88 c nbDecision=159000 #constraints=9967 79.47/79.50 c nbDecision=159500 #constraints=9995 79.87/79.93 c nbDecision=160000 #constraints=10016 80.67/80.74 c nbDecision=160500 #constraints=10055 81.07/81.19 c nbDecision=161000 #constraints=10081 81.57/81.64 c nbDecision=161500 #constraints=10109 82.27/82.33 c nbDecision=162000 #constraints=10141 83.07/83.10 c nbDecision=162500 #constraints=10175 83.67/83.77 c nbDecision=163000 #constraints=10207 84.17/84.28 c nbDecision=163500 #constraints=10236 84.67/84.78 c nbDecision=164000 #constraints=10259 85.27/85.37 c nbDecision=164500 #constraints=10292 85.87/85.92 c nbDecision=165000 #constraints=10319 86.27/86.37 c nbDecision=165500 #constraints=10338 86.77/86.89 c nbDecision=166000 #constraints=10366 87.47/87.57 c nbDecision=166500 #constraints=10408 88.17/88.20 c nbDecision=167000 #constraints=10439 88.77/88.83 c nbDecision=167500 #constraints=10467 89.17/89.26 c nbDecision=168000 #constraints=10484 89.67/89.74 c nbDecision=168500 #constraints=10499 90.07/90.18 c nbDecision=169000 #constraints=10521 90.46/90.55 c nbDecision=169500 #constraints=10542 91.17/91.25 c nbDecision=170000 #constraints=10574 91.56/91.62 c nbDecision=170500 #constraints=10589 91.86/91.97 c nbDecision=171000 #constraints=10609 92.46/92.50 c nbDecision=171500 #constraints=10628 92.86/92.94 c nbDecision=172000 #constraints=10646 93.47/93.52 c nbDecision=172500 #constraints=10665 93.96/94.00 c nbDecision=173000 #constraints=10680 94.47/94.50 c nbDecision=173500 #constraints=10698 94.96/95.03 c nbDecision=174000 #constraints=10716 95.46/95.53 c nbDecision=174500 #constraints=10735 96.06/96.12 c nbDecision=175000 #constraints=10754 96.67/96.71 c nbDecision=175500 #constraints=10773 97.06/97.17 c nbDecision=176000 #constraints=10796 98.06/98.15 c nbDecision=176500 #constraints=10834 98.56/98.67 c nbDecision=177000 #constraints=10853 99.37/99.44 c nbDecision=177500 #constraints=10882 99.97/100.07 c nbDecision=178000 #constraints=10911 100.67/100.77 c nbDecision=178500 #constraints=10942 101.27/101.37 c nbDecision=179000 #constraints=10966 102.07/102.13 c nbDecision=179500 #constraints=10999 102.77/102.86 c nbDecision=180000 #constraints=11028 103.27/103.39 c nbDecision=180500 #constraints=11047 104.07/104.11 c nbDecision=181000 #constraints=11079 104.47/104.59 c nbDecision=181500 #constraints=11099 105.17/105.22 c nbDecision=182000 #constraints=11128 105.77/105.84 c nbDecision=182500 #constraints=11153 106.27/106.30 c nbDecision=183000 #constraints=11176 106.57/106.69 c nbDecision=183500 #constraints=11198 106.97/107.09 c nbDecision=184000 #constraints=11226 107.37/107.46 c nbDecision=184500 #constraints=11253 107.77/107.87 c nbDecision=185000 #constraints=11276 108.27/108.33 c nbDecision=185500 #constraints=11298 108.77/108.81 c nbDecision=186000 #constraints=11316 109.17/109.26 c nbDecision=186500 #constraints=11344 109.77/109.81 c nbDecision=187000 #constraints=11365 110.17/110.23 c nbDecision=187500 #constraints=11409 110.57/110.67 c nbDecision=188000 #constraints=11439 111.37/111.45 c nbDecision=188500 #constraints=11476 112.17/112.22 c nbDecision=189000 #constraints=11523 113.07/113.17 c nbDecision=189500 #constraints=11577 113.86/113.94 c nbDecision=190000 #constraints=11614 114.86/114.91 c nbDecision=190500 #constraints=11666 115.86/115.98 c nbDecision=191000 #constraints=11707 117.16/117.22 c nbDecision=191500 #constraints=11743 117.67/117.70 c nbDecision=192000 #constraints=11763 118.06/118.17 c nbDecision=192500 #constraints=11776 118.77/118.81 c nbDecision=193000 #constraints=11799 119.16/119.25 c nbDecision=193500 #constraints=11817 119.56/119.68 c nbDecision=194000 #constraints=11836 120.26/120.31 c nbDecision=194500 #constraints=11854 120.76/120.87 c nbDecision=195000 #constraints=11873 121.76/121.81 c nbDecision=195500 #constraints=11916 122.66/122.70 c nbDecision=196000 #constraints=11954 123.46/123.58 c nbDecision=196500 #constraints=11995 124.46/124.58 c nbDecision=197000 #constraints=12039 125.75/125.85 c nbDecision=197500 #constraints=12091 126.36/126.47 c nbDecision=198000 #constraints=12113 126.95/127.00 c nbDecision=198500 #constraints=12133 127.57/127.68 c nbDecision=199000 #constraints=12160 128.86/129.00 c nbDecision=199500 #constraints=12202 129.86/129.90 c nbDecision=200000 #constraints=12234 130.56/130.66 c nbDecision=200500 #constraints=12263 131.26/131.37 c nbDecision=201000 #constraints=12290 132.36/132.43 c nbDecision=201500 #constraints=12335 133.26/133.39 c nbDecision=202000 #constraints=12373 133.76/133.86 c nbDecision=202500 #constraints=12395 134.46/134.52 c nbDecision=203000 #constraints=12421 135.16/135.23 c nbDecision=203500 #constraints=12444 136.26/136.33 c nbDecision=204000 #constraints=12480 137.36/137.42 c nbDecision=204500 #constraints=12516 137.66/137.74 c restart after 204801 decisions 138.06/138.18 c nbDecision=205000 #constraints=12529 139.26/139.34 c nbDecision=205500 #constraints=12558 140.26/140.30 c nbDecision=206000 #constraints=12580 140.86/140.99 c nbDecision=206500 #constraints=12600 141.56/141.61 c nbDecision=207000 #constraints=12631 142.06/142.16 c nbDecision=207500 #constraints=12663 142.36/142.46 c nbDecision=208000 #constraints=12690 142.66/142.77 c nbDecision=208500 #constraints=12709 142.96/143.07 c nbDecision=209000 #constraints=12726 143.26/143.31 c nbDecision=209500 #constraints=12742 143.56/143.63 c nbDecision=210000 #constraints=12769 144.06/144.13 c nbDecision=210500 #constraints=12804 144.45/144.50 c nbDecision=211000 #constraints=12828 144.75/144.83 c nbDecision=211500 #constraints=12854 145.06/145.18 c nbDecision=212000 #constraints=12893 145.45/145.55 c nbDecision=212500 #constraints=12927 145.75/145.86 c nbDecision=213000 #constraints=12958 146.16/146.22 c nbDecision=213500 #constraints=12981 146.45/146.59 c nbDecision=214000 #constraints=13017 146.75/146.89 c nbDecision=214500 #constraints=13056 147.05/147.16 c nbDecision=215000 #constraints=13092 147.36/147.49 c nbDecision=215500 #constraints=13117 147.75/147.82 c nbDecision=216000 #constraints=13165 148.05/148.13 c nbDecision=216500 #constraints=13200 148.45/148.51 c nbDecision=217000 #constraints=13255 148.85/148.94 c nbDecision=217500 #constraints=13319 149.46/149.57 c nbDecision=218000 #constraints=13415 149.85/149.95 c nbDecision=218500 #constraints=13469 150.05/150.17 c nbDecision=219000 #constraints=13494 150.25/150.37 c nbDecision=219500 #constraints=13522 150.45/150.58 c nbDecision=220000 #constraints=13549 150.66/150.78 c nbDecision=220500 #constraints=13580 150.85/150.99 c nbDecision=221000 #constraints=13617 151.35/151.40 c nbDecision=221500 #constraints=13658 151.65/151.77 c nbDecision=222000 #constraints=13701 151.95/152.05 c nbDecision=222500 #constraints=13738 152.25/152.30 c nbDecision=223000 #constraints=13774 152.55/152.62 c nbDecision=223500 #constraints=13826 153.05/153.11 c nbDecision=224000 #constraints=13887 153.75/153.85 c nbDecision=224500 #constraints=13968 154.35/154.49 c nbDecision=225000 #constraints=14036 154.65/154.77 c nbDecision=225500 #constraints=14084 154.95/155.07 c nbDecision=226000 #constraints=14131 155.45/155.53 c nbDecision=226500 #constraints=14185 155.95/156.05 c nbDecision=227000 #constraints=14240 156.35/156.47 c nbDecision=227500 #constraints=14274 156.65/156.76 c nbDecision=228000 #constraints=14329 157.05/157.20 c nbDecision=228500 #constraints=14377 157.95/158.01 c nbDecision=229000 #constraints=14421 158.75/158.80 c nbDecision=229500 #constraints=14446 159.65/159.71 c nbDecision=230000 #constraints=14476 160.65/160.72 c nbDecision=230500 #constraints=14505 161.55/161.70 c nbDecision=231000 #constraints=14532 162.95/163.08 c nbDecision=231500 #constraints=14575 164.65/164.71 c nbDecision=232000 #constraints=14630 165.96/166.02 c nbDecision=232500 #constraints=14670 167.95/168.01 c nbDecision=233000 #constraints=14735 170.05/170.19 c nbDecision=233500 #constraints=14807 171.85/171.92 c nbDecision=234000 #constraints=14861 173.45/173.58 c nbDecision=234500 #constraints=14906 175.05/175.14 c nbDecision=235000 #constraints=14957 176.55/176.60 c nbDecision=235500 #constraints=15005 177.35/177.43 c nbDecision=236000 #constraints=15038 178.05/178.11 c nbDecision=236500 #constraints=15085 178.75/178.89 c nbDecision=237000 #constraints=15148 179.25/179.35 c nbDecision=237500 #constraints=15173 179.85/179.98 c nbDecision=238000 #constraints=15184 180.85/180.95 c nbDecision=238500 #constraints=15214 182.15/182.28 c nbDecision=239000 #constraints=15253 183.85/183.98 c nbDecision=239500 #constraints=15306 185.35/185.42 c nbDecision=240000 #constraints=15349 186.25/186.31 c nbDecision=240500 #constraints=15371 187.35/187.49 c nbDecision=241000 #constraints=15401 188.94/189.05 c nbDecision=241500 #constraints=15450 190.84/190.92 c nbDecision=242000 #constraints=15506 191.84/191.92 c nbDecision=242500 #constraints=15533 193.04/193.17 c nbDecision=243000 #constraints=15575 193.94/194.09 c nbDecision=243500 #constraints=15608 195.04/195.11 c nbDecision=244000 #constraints=15650 196.14/196.27 c nbDecision=244500 #constraints=15685 197.94/198.05 c nbDecision=245000 #constraints=15735 199.44/199.56 c nbDecision=245500 #constraints=15781 200.34/200.47 c nbDecision=246000 #constraints=15815 201.54/201.61 c nbDecision=246500 #constraints=15854 202.74/202.83 c nbDecision=247000 #constraints=15898 203.54/203.65 c nbDecision=247500 #constraints=15927 204.84/204.96 c nbDecision=248000 #constraints=15970 206.74/206.83 c nbDecision=248500 #constraints=16023 207.94/208.04 c nbDecision=249000 #constraints=16055 209.24/209.32 c nbDecision=249500 #constraints=16086 210.24/210.35 c nbDecision=250000 #constraints=16116 211.44/211.59 c nbDecision=250500 #constraints=16149 213.04/213.20 c nbDecision=251000 #constraints=16196 214.24/214.36 c nbDecision=251500 #constraints=16225 215.44/215.52 c nbDecision=252000 #constraints=16258 217.24/217.32 c nbDecision=252500 #constraints=16312 219.13/219.29 c nbDecision=253000 #constraints=16367 220.33/220.46 c nbDecision=253500 #constraints=16401 221.53/221.65 c nbDecision=254000 #constraints=16431 223.03/223.14 c nbDecision=254500 #constraints=16469 224.13/224.25 c nbDecision=255000 #constraints=16496 225.34/225.44 c nbDecision=255500 #constraints=16533 226.33/226.40 c nbDecision=256000 #constraints=16564 227.13/227.20 c nbDecision=256500 #constraints=16593 228.63/228.74 c nbDecision=257000 #constraints=16641 229.53/229.60 c nbDecision=257500 #constraints=16676 231.03/231.17 c nbDecision=258000 #constraints=16726 232.23/232.37 c nbDecision=258500 #constraints=16764 233.53/233.68 c nbDecision=259000 #constraints=16806 234.73/234.80 c nbDecision=259500 #constraints=16845 235.73/235.87 c nbDecision=260000 #constraints=16881 236.83/236.94 c nbDecision=260500 #constraints=16919 238.03/238.16 c nbDecision=261000 #constraints=16961 239.04/239.17 c nbDecision=261500 #constraints=16992 240.04/240.11 c nbDecision=262000 #constraints=17026 241.24/241.34 c nbDecision=262500 #constraints=17068 244.04/244.19 c nbDecision=263000 #constraints=17144 245.93/246.04 c nbDecision=263500 #constraints=17194 249.23/249.37 c nbDecision=264000 #constraints=17281 251.33/251.49 c nbDecision=264500 #constraints=17331 253.63/253.79 c nbDecision=265000 #constraints=17388 255.53/255.60 c nbDecision=265500 #constraints=17430 256.63/256.72 c nbDecision=266000 #constraints=17486 257.53/257.64 c nbDecision=266500 #constraints=17513 258.93/259.07 c nbDecision=267000 #constraints=17546 260.03/260.11 c nbDecision=267500 #constraints=17579 260.93/261.00 c nbDecision=268000 #constraints=17604 262.23/262.37 c nbDecision=268500 #constraints=17637 264.53/264.64 c nbDecision=269000 #constraints=17693 267.43/267.53 c nbDecision=269500 #constraints=17763 269.43/269.54 c nbDecision=270000 #constraints=17821 273.93/274.10 c nbDecision=270500 #constraints=17920 275.83/275.92 c nbDecision=271000 #constraints=17967 277.13/277.24 c nbDecision=271500 #constraints=18005 278.32/278.43 c nbDecision=272000 #constraints=18043 279.82/279.92 c nbDecision=272500 #constraints=18087 281.12/281.27 c nbDecision=273000 #constraints=18127 282.63/282.76 c nbDecision=273500 #constraints=18173 284.02/284.11 c nbDecision=274000 #constraints=18215 285.02/285.19 c nbDecision=274500 #constraints=18252 286.42/286.50 c nbDecision=275000 #constraints=18292 287.52/287.62 c nbDecision=275500 #constraints=18328 288.52/288.69 c nbDecision=276000 #constraints=18371 289.82/289.90 c nbDecision=276500 #constraints=18415 290.92/291.01 c nbDecision=277000 #constraints=18457 292.11/292.29 c nbDecision=277500 #constraints=18509 293.21/293.31 c nbDecision=278000 #constraints=18543 294.42/294.51 c nbDecision=278500 #constraints=18588 295.42/295.57 c nbDecision=279000 #constraints=18624 296.72/296.88 c nbDecision=279500 #constraints=18673 297.82/297.95 c nbDecision=280000 #constraints=18709 298.92/299.04 c nbDecision=280500 #constraints=18744 300.12/300.25 c nbDecision=281000 #constraints=18782 301.12/301.23 c nbDecision=281500 #constraints=18813 302.42/302.54 c nbDecision=282000 #constraints=18858 303.62/303.71 c nbDecision=282500 #constraints=18893 304.62/304.71 c nbDecision=283000 #constraints=18924 305.62/305.70 c nbDecision=283500 #constraints=18953 306.62/306.72 c nbDecision=284000 #constraints=18984 307.92/308.04 c nbDecision=284500 #constraints=19026 309.41/309.54 c nbDecision=285000 #constraints=19076 311.01/311.17 c nbDecision=285500 #constraints=19114 314.11/314.22 c nbDecision=286000 #constraints=19190 317.41/317.57 c nbDecision=286500 #constraints=19275 320.11/320.20 c nbDecision=287000 #constraints=19336 321.61/321.79 c nbDecision=287500 #constraints=19381 323.91/324.03 c nbDecision=288000 #constraints=19445 325.91/326.08 c nbDecision=288500 #constraints=19505 327.62/327.77 c nbDecision=289000 #constraints=19561 328.82/328.97 c nbDecision=289500 #constraints=19587 331.21/331.36 c nbDecision=290000 #constraints=19642 333.01/333.11 c nbDecision=290500 #constraints=19679 334.61/334.77 c nbDecision=291000 #constraints=19718 336.31/336.45 c nbDecision=291500 #constraints=19756 338.01/338.16 c nbDecision=292000 #constraints=19798 339.61/339.71 c nbDecision=292500 #constraints=19832 341.11/341.28 c nbDecision=293000 #constraints=19878 343.01/343.12 c nbDecision=293500 #constraints=19933 344.91/345.07 c nbDecision=294000 #constraints=19992 346.81/346.97 c nbDecision=294500 #constraints=20048 348.51/348.63 c nbDecision=295000 #constraints=20086 350.41/350.50 c nbDecision=295500 #constraints=20127 352.51/352.69 c nbDecision=296000 #constraints=20180 354.91/355.04 c nbDecision=296500 #constraints=20235 357.61/357.72 c nbDecision=297000 #constraints=20297 358.81/358.92 c nbDecision=297500 #constraints=20323 361.20/361.33 c nbDecision=298000 #constraints=20374 363.80/363.99 c nbDecision=298500 #constraints=20433 366.11/366.22 c nbDecision=299000 #constraints=20480 368.60/368.80 c nbDecision=299500 #constraints=20540 370.90/371.02 c nbDecision=300000 #constraints=20598 374.00/374.19 c nbDecision=300500 #constraints=20675 375.70/375.83 c nbDecision=301000 #constraints=20716 378.40/378.54 c nbDecision=301500 #constraints=20788 380.10/380.21 c nbDecision=302000 #constraints=20835 382.00/382.18 c nbDecision=302500 #constraints=20887 384.60/384.78 c nbDecision=303000 #constraints=20956 386.30/386.41 c nbDecision=303500 #constraints=20990 388.49/388.66 c nbDecision=304000 #constraints=21047 390.09/390.28 c nbDecision=304500 #constraints=21094 391.59/391.73 c nbDecision=305000 #constraints=21135 392.89/393.09 c nbDecision=305500 #constraints=21180 395.30/395.41 c nbDecision=306000 #constraints=21260 397.10/397.29 c nbDecision=306500 #constraints=21322 399.10/399.23 c nbDecision=307000 #constraints=21386 400.60/400.74 c nbDecision=307500 #constraints=21436 402.20/402.30 c nbDecision=308000 #constraints=21492 403.70/403.87 c nbDecision=308500 #constraints=21532 405.50/405.61 c nbDecision=309000 #constraints=21574 407.30/407.42 c nbDecision=309500 #constraints=21618 409.40/409.52 c nbDecision=310000 #constraints=21669 411.39/411.50 c nbDecision=310500 #constraints=21731 413.69/413.88 c nbDecision=311000 #constraints=21806 416.19/416.36 c nbDecision=311500 #constraints=21861 417.79/417.95 c nbDecision=312000 #constraints=21905 419.19/419.34 c nbDecision=312500 #constraints=21950 421.19/421.34 c nbDecision=313000 #constraints=22007 422.69/422.82 c nbDecision=313500 #constraints=22043 425.28/425.45 c nbDecision=314000 #constraints=22101 426.59/426.78 c nbDecision=314500 #constraints=22154 427.98/428.17 c nbDecision=315000 #constraints=22197 429.78/429.97 c nbDecision=315500 #constraints=22251 431.28/431.40 c nbDecision=316000 #constraints=22287 432.48/432.65 c nbDecision=316500 #constraints=22318 433.98/434.13 c nbDecision=317000 #constraints=22370 435.49/435.66 c nbDecision=317500 #constraints=22417 437.08/437.23 c nbDecision=318000 #constraints=22481 438.78/438.97 c nbDecision=318500 #constraints=22532 440.38/440.50 c nbDecision=319000 #constraints=22575 441.98/442.14 c nbDecision=319500 #constraints=22627 443.28/443.40 c nbDecision=320000 #constraints=22661 444.88/445.04 c nbDecision=320500 #constraints=22701 446.08/446.29 c nbDecision=321000 #constraints=22744 447.78/447.93 c nbDecision=321500 #constraints=22791 449.48/449.69 c nbDecision=322000 #constraints=22827 451.08/451.21 c nbDecision=322500 #constraints=22865 453.68/453.87 c nbDecision=323000 #constraints=22911 455.68/455.87 c nbDecision=323500 #constraints=22952 457.68/457.83 c nbDecision=324000 #constraints=22981 459.08/459.25 c nbDecision=324500 #constraints=23004 460.69/460.87 c nbDecision=325000 #constraints=23033 462.78/462.95 c nbDecision=325500 #constraints=23072 463.88/464.03 c nbDecision=326000 #constraints=23102 465.68/465.80 c nbDecision=326500 #constraints=23137 467.08/467.22 c nbDecision=327000 #constraints=23163 468.68/468.88 c nbDecision=327500 #constraints=23187 469.88/470.00 c nbDecision=328000 #constraints=23205 471.38/471.57 c nbDecision=328500 #constraints=23233 472.78/472.94 c nbDecision=329000 #constraints=23261 474.48/474.62 c nbDecision=329500 #constraints=23291 476.38/476.54 c nbDecision=330000 #constraints=23326 478.58/478.76 c nbDecision=330500 #constraints=23361 481.48/481.66 c nbDecision=331000 #constraints=23410 483.47/483.61 c nbDecision=331500 #constraints=23446 485.77/485.97 c nbDecision=332000 #constraints=23487 487.57/487.71 c nbDecision=332500 #constraints=23517 489.57/489.72 c nbDecision=333000 #constraints=23554 491.27/491.41 c nbDecision=333500 #constraints=23590 492.87/493.10 c nbDecision=334000 #constraints=23625 494.97/495.12 c nbDecision=334500 #constraints=23667 496.87/497.07 c nbDecision=335000 #constraints=23708 498.27/498.48 c nbDecision=335500 #constraints=23731 499.87/500.00 c nbDecision=336000 #constraints=23761 501.77/502.00 c nbDecision=336500 #constraints=23790 503.57/503.77 c nbDecision=337000 #constraints=23825 505.67/505.86 c nbDecision=337500 #constraints=23863 507.67/507.80 c nbDecision=338000 #constraints=23901 509.56/509.79 c nbDecision=338500 #constraints=23936 512.26/512.43 c nbDecision=339000 #constraints=23980 514.26/514.41 c nbDecision=339500 #constraints=24015 516.26/516.45 c nbDecision=340000 #constraints=24051 517.97/518.18 c nbDecision=340500 #constraints=24083 520.16/520.37 c nbDecision=341000 #constraints=24125 521.26/521.48 c nbDecision=341500 #constraints=24145 522.86/523.05 c nbDecision=342000 #constraints=24169 524.46/524.65 c nbDecision=342500 #constraints=24198 526.17/526.36 c nbDecision=343000 #constraints=24237 527.77/527.95 c nbDecision=343500 #constraints=24280 530.57/530.79 c nbDecision=344000 #constraints=24329 532.37/532.59 c nbDecision=344500 #constraints=24371 535.07/535.28 c nbDecision=345000 #constraints=24411 537.17/537.32 c nbDecision=345500 #constraints=24466 539.26/539.41 c nbDecision=346000 #constraints=24517 541.86/542.00 c nbDecision=346500 #constraints=24556 544.06/544.21 c nbDecision=347000 #constraints=24588 546.76/546.94 c nbDecision=347500 #constraints=24634 549.05/549.21 c nbDecision=348000 #constraints=24675 551.32/551.54 c nbDecision=348500 #constraints=24719 553.62/553.83 c nbDecision=349000 #constraints=24762 556.92/557.17 c nbDecision=349500 #constraints=24813 558.82/559.09 c nbDecision=350000 #constraints=24848 560.51/560.72 c nbDecision=350500 #constraints=24876 562.70/562.95 c nbDecision=351000 #constraints=24913 564.70/564.93 c nbDecision=351500 #constraints=24953 567.59/567.84 c nbDecision=352000 #constraints=25010 570.09/570.37 c nbDecision=352500 #constraints=25057 572.58/572.83 c nbDecision=353000 #constraints=25103 574.67/574.96 c nbDecision=353500 #constraints=25136 576.47/576.72 c nbDecision=354000 #constraints=25174 578.16/578.48 c nbDecision=354500 #constraints=25212 580.46/580.72 c nbDecision=355000 #constraints=25252 582.76/583.10 c nbDecision=355500 #constraints=25293 584.66/585.00 c nbDecision=356000 #constraints=25323 586.65/586.92 c nbDecision=356500 #constraints=25357 588.45/588.74 c nbDecision=357000 #constraints=25390 590.25/590.57 c nbDecision=357500 #constraints=25427 591.85/592.12 c nbDecision=358000 #constraints=25461 593.35/593.67 c nbDecision=358500 #constraints=25499 595.45/595.78 c nbDecision=359000 #constraints=25539 598.25/598.51 c nbDecision=359500 #constraints=25573 601.04/601.37 c nbDecision=360000 #constraints=25614 603.64/603.95 c nbDecision=360500 #constraints=25646 605.43/605.76 c nbDecision=361000 #constraints=25675 607.63/607.95 c nbDecision=361500 #constraints=25707 608.93/609.26 c nbDecision=362000 #constraints=25726 610.63/610.93 c nbDecision=362500 #constraints=25750 612.63/612.94 c nbDecision=363000 #constraints=25783 616.63/616.96 c nbDecision=363500 #constraints=25840 618.53/618.82 c nbDecision=364000 #constraints=25868 620.13/620.48 c nbDecision=364500 #constraints=25893 622.73/623.01 c nbDecision=365000 #constraints=25935 624.23/624.59 c nbDecision=365500 #constraints=25961 625.53/625.85 c nbDecision=366000 #constraints=25979 627.54/627.86 c nbDecision=366500 #constraints=26014 629.54/629.89 c nbDecision=367000 #constraints=26050 631.93/632.29 c nbDecision=367500 #constraints=26095 633.63/633.96 c nbDecision=368000 #constraints=26120 635.53/635.82 c nbDecision=368500 #constraints=26154 637.23/637.52 c nbDecision=369000 #constraints=26189 638.93/639.27 c nbDecision=369500 #constraints=26219 640.83/641.10 c nbDecision=370000 #constraints=26255 642.73/643.02 c nbDecision=370500 #constraints=26295 644.43/644.75 c nbDecision=371000 #constraints=26325 646.73/647.06 c nbDecision=371500 #constraints=26367 648.63/648.93 c nbDecision=372000 #constraints=26392 650.93/651.26 c nbDecision=372500 #constraints=26428 653.72/654.01 c nbDecision=373000 #constraints=26473 655.92/656.24 c nbDecision=373500 #constraints=26516 658.12/658.41 c nbDecision=374000 #constraints=26567 660.32/660.63 c nbDecision=374500 #constraints=26615 662.52/662.86 c nbDecision=375000 #constraints=26662 666.43/666.74 c nbDecision=375500 #constraints=26709 670.53/670.84 c nbDecision=376000 #constraints=26761 672.73/673.02 c nbDecision=376500 #constraints=26787 675.73/676.03 c nbDecision=377000 #constraints=26828 678.92/679.20 c nbDecision=377500 #constraints=26865 681.42/681.72 c nbDecision=378000 #constraints=26896 683.32/683.60 c nbDecision=378500 #constraints=26926 685.82/686.12 c nbDecision=379000 #constraints=26968 687.52/687.84 c nbDecision=379500 #constraints=27004 689.52/689.90 c nbDecision=380000 #constraints=27045 692.82/693.15 c nbDecision=380500 #constraints=27084 695.52/695.89 c nbDecision=381000 #constraints=27119 698.22/698.52 c nbDecision=381500 #constraints=27154 701.21/701.56 c nbDecision=382000 #constraints=27198 703.81/704.12 c nbDecision=382500 #constraints=27238 706.11/706.42 c nbDecision=383000 #constraints=27274 708.21/708.57 c nbDecision=383500 #constraints=27311 710.51/710.90 c nbDecision=384000 #constraints=27342 713.81/714.14 c nbDecision=384500 #constraints=27387 715.91/716.24 c nbDecision=385000 #constraints=27426 718.41/718.79 c nbDecision=385500 #constraints=27466 721.21/721.50 c nbDecision=386000 #constraints=27505 723.61/723.96 c nbDecision=386500 #constraints=27549 726.71/727.03 c nbDecision=387000 #constraints=27593 729.51/729.85 c nbDecision=387500 #constraints=27629 732.10/732.49 c nbDecision=388000 #constraints=27669 734.51/734.86 c nbDecision=388500 #constraints=27706 736.50/736.83 c nbDecision=389000 #constraints=27740 738.60/738.97 c nbDecision=389500 #constraints=27776 741.01/741.33 c nbDecision=390000 #constraints=27812 743.60/743.98 c nbDecision=390500 #constraints=27857 745.80/746.10 c nbDecision=391000 #constraints=27896 748.20/748.58 c nbDecision=391500 #constraints=27946 749.70/750.07 c nbDecision=392000 #constraints=27984 752.40/752.73 c nbDecision=392500 #constraints=28026 755.30/755.64 c nbDecision=393000 #constraints=28068 758.20/758.51 c nbDecision=393500 #constraints=28114 761.60/761.97 c nbDecision=394000 #constraints=28167 763.60/763.95 c nbDecision=394500 #constraints=28202 765.70/766.03 c nbDecision=395000 #constraints=28240 767.69/768.06 c nbDecision=395500 #constraints=28281 770.30/770.67 c nbDecision=396000 #constraints=28321 773.50/773.89 c nbDecision=396500 #constraints=28367 775.30/775.61 c nbDecision=397000 #constraints=28404 777.30/777.61 c nbDecision=397500 #constraints=28446 779.70/780.09 c nbDecision=398000 #constraints=28480 782.40/782.79 c nbDecision=398500 #constraints=28524 785.30/785.61 c nbDecision=399000 #constraints=28565 787.80/788.17 c nbDecision=399500 #constraints=28609 790.70/791.05 c nbDecision=400000 #constraints=28649 793.49/793.88 c nbDecision=400500 #constraints=28684 796.79/797.11 c nbDecision=401000 #constraints=28730 799.79/800.13 c nbDecision=401500 #constraints=28771 802.60/802.92 c nbDecision=402000 #constraints=28808 804.89/805.29 c nbDecision=402500 #constraints=28843 807.89/808.21 c nbDecision=403000 #constraints=28884 811.29/811.68 c nbDecision=403500 #constraints=28932 814.29/814.61 c nbDecision=404000 #constraints=28973 817.19/817.51 c nbDecision=404500 #constraints=29016 819.99/820.36 c nbDecision=405000 #constraints=29060 822.69/823.03 c nbDecision=405500 #constraints=29100 825.79/826.15 c nbDecision=406000 #constraints=29153 829.38/829.72 c nbDecision=406500 #constraints=29207 832.78/833.16 c nbDecision=407000 #constraints=29260 836.08/836.43 c nbDecision=407500 #constraints=29309 840.68/841.02 c nbDecision=408000 #constraints=29375 844.08/844.44 c nbDecision=408500 #constraints=29418 846.28/846.67 c nbDecision=409000 #constraints=29459 849.48/849.82 c nbDecision=409500 #constraints=29510 849.88/850.28 c restart after 409601 decisions 853.08/853.47 c nbDecision=410000 #constraints=29547 854.58/854.98 c nbDecision=410500 #constraints=29576 856.07/856.45 c nbDecision=411000 #constraints=29602 858.37/858.72 c nbDecision=411500 #constraints=29637 860.77/861.12 c nbDecision=412000 #constraints=29667 863.18/863.52 c nbDecision=412500 #constraints=29700 866.87/867.26 c nbDecision=413000 #constraints=29755 870.27/870.68 c nbDecision=413500 #constraints=29807 873.87/874.25 c nbDecision=414000 #constraints=29853 875.97/876.30 c nbDecision=414500 #constraints=29887 877.77/878.15 c nbDecision=415000 #constraints=29912 879.37/879.71 c nbDecision=415500 #constraints=29938 881.37/881.79 c nbDecision=416000 #constraints=29972 883.17/883.55 c nbDecision=416500 #constraints=30006 885.08/885.43 c nbDecision=417000 #constraints=30046 887.47/887.85 c nbDecision=417500 #constraints=30080 889.58/889.92 c nbDecision=418000 #constraints=30112 891.17/891.59 c nbDecision=418500 #constraints=30137 892.87/893.29 c nbDecision=419000 #constraints=30166 894.67/895.01 c nbDecision=419500 #constraints=30197 896.47/896.85 c nbDecision=420000 #constraints=30231 897.97/898.38 c nbDecision=420500 #constraints=30255 899.87/900.25 c nbDecision=421000 #constraints=30285 901.46/901.85 c nbDecision=421500 #constraints=30312 903.46/903.83 c nbDecision=422000 #constraints=30350 905.97/906.35 c nbDecision=422500 #constraints=30388 909.07/909.48 c nbDecision=423000 #constraints=30425 911.27/911.60 c nbDecision=423500 #constraints=30459 914.77/915.15 c nbDecision=424000 #constraints=30505 917.07/917.43 c nbDecision=424500 #constraints=30545 919.97/920.38 c nbDecision=425000 #constraints=30590 922.86/923.23 c nbDecision=425500 #constraints=30629 925.57/925.96 c nbDecision=426000 #constraints=30668 928.66/929.06 c nbDecision=426500 #constraints=30710 930.86/931.28 c nbDecision=427000 #constraints=30746 935.56/935.95 c nbDecision=427500 #constraints=30799 937.46/937.84 c nbDecision=428000 #constraints=30826 939.66/940.07 c nbDecision=428500 #constraints=30859 942.26/942.62 c nbDecision=429000 #constraints=30896 944.46/944.85 c nbDecision=429500 #constraints=30934 946.55/946.98 c nbDecision=430000 #constraints=30979 949.05/949.40 c nbDecision=430500 #constraints=31021 951.35/951.74 c nbDecision=431000 #constraints=31061 953.75/954.18 c nbDecision=431500 #constraints=31097 956.45/956.84 c nbDecision=432000 #constraints=31136 959.35/959.74 c nbDecision=432500 #constraints=31174 961.85/962.23 c nbDecision=433000 #constraints=31225 964.55/964.93 c nbDecision=433500 #constraints=31274 967.35/967.73 c nbDecision=434000 #constraints=31316 969.55/969.94 c nbDecision=434500 #constraints=31344 971.95/972.31 c nbDecision=435000 #constraints=31399 974.64/975.01 c nbDecision=435500 #constraints=31453 976.64/977.08 c nbDecision=436000 #constraints=31488 978.04/978.42 c nbDecision=436500 #constraints=31515 980.55/980.98 c nbDecision=437000 #constraints=31555 982.45/982.87 c nbDecision=437500 #constraints=31586 984.25/984.67 c nbDecision=438000 #constraints=31619 986.05/986.46 c nbDecision=438500 #constraints=31658 988.15/988.51 c nbDecision=439000 #constraints=31695 990.75/991.16 c nbDecision=439500 #constraints=31737 993.35/993.70 c nbDecision=440000 #constraints=31782 996.05/996.43 c nbDecision=440500 #constraints=31824 999.24/999.61 c nbDecision=441000 #constraints=31873 1002.54/1002.99 c nbDecision=441500 #constraints=31921 1005.34/1005.77 c nbDecision=442000 #constraints=31961 1007.84/1008.26 c nbDecision=442500 #constraints=32004 1009.34/1009.78 c nbDecision=443000 #constraints=32036 1011.24/1011.65 c nbDecision=443500 #constraints=32077 1013.84/1014.22 c nbDecision=444000 #constraints=32116 1017.14/1017.57 c nbDecision=444500 #constraints=32164 1019.34/1019.76 c nbDecision=445000 #constraints=32201 1021.93/1022.31 c nbDecision=445500 #constraints=32242 1025.04/1025.41 c nbDecision=446000 #constraints=32291 1027.84/1028.29 c nbDecision=446500 #constraints=32331 1030.84/1031.21 c nbDecision=447000 #constraints=32377 1034.04/1034.47 c nbDecision=447500 #constraints=32427 1037.04/1037.46 c nbDecision=448000 #constraints=32466 1041.83/1042.29 c nbDecision=448500 #constraints=32515 1044.93/1045.32 c nbDecision=449000 #constraints=32560 1049.03/1049.47 c nbDecision=449500 #constraints=32611 1052.43/1052.89 c nbDecision=450000 #constraints=32653 1056.83/1057.20 c nbDecision=450500 #constraints=32701 1060.33/1060.77 c nbDecision=451000 #constraints=32742 1063.43/1063.89 c nbDecision=451500 #constraints=32785 1066.33/1066.74 c nbDecision=452000 #constraints=32823 1069.83/1070.23 c nbDecision=452500 #constraints=32871 1072.72/1073.10 c nbDecision=453000 #constraints=32918 1075.82/1076.25 c nbDecision=453500 #constraints=32959 1079.32/1079.76 c nbDecision=454000 #constraints=33000 1082.62/1083.01 c nbDecision=454500 #constraints=33037 1085.42/1085.86 c nbDecision=455000 #constraints=33072 1088.72/1089.10 c nbDecision=455500 #constraints=33109 1092.32/1092.79 c nbDecision=456000 #constraints=33153 1096.82/1097.21 c nbDecision=456500 #constraints=33213 1102.11/1102.57 c nbDecision=457000 #constraints=33269 1108.11/1108.55 c nbDecision=457500 #constraints=33328 1113.11/1113.59 c nbDecision=458000 #constraints=33383 1116.51/1116.99 c nbDecision=458500 #constraints=33422 1119.72/1120.10 c nbDecision=459000 #constraints=33461 1122.42/1122.85 c nbDecision=459500 #constraints=33503 1124.32/1124.75 c nbDecision=460000 #constraints=33538 1126.52/1126.92 c nbDecision=460500 #constraints=33578 1129.02/1129.43 c nbDecision=461000 #constraints=33619 1132.21/1132.65 c nbDecision=461500 #constraints=33667 1135.51/1135.99 c nbDecision=462000 #constraints=33711 1138.51/1138.99 c nbDecision=462500 #constraints=33748 1141.51/1141.99 c nbDecision=463000 #constraints=33789 1144.51/1144.94 c nbDecision=463500 #constraints=33826 1147.51/1147.96 c nbDecision=464000 #constraints=33867 1151.31/1151.78 c nbDecision=464500 #constraints=33916 1154.51/1154.93 c nbDecision=465000 #constraints=33955 1158.10/1158.56 c nbDecision=465500 #constraints=33998 1161.50/1161.94 c nbDecision=466000 #constraints=34045 1165.10/1165.60 c nbDecision=466500 #constraints=34089 1167.70/1168.17 c nbDecision=467000 #constraints=34123 1170.60/1171.04 c nbDecision=467500 #constraints=34168 1173.70/1174.17 c nbDecision=468000 #constraints=34213 1176.60/1177.03 c nbDecision=468500 #constraints=34251 1179.50/1179.99 c nbDecision=469000 #constraints=34294 1182.40/1182.80 c nbDecision=469500 #constraints=34336 1185.10/1185.58 c nbDecision=470000 #constraints=34376 1188.10/1188.54 c nbDecision=470500 #constraints=34416 1191.19/1191.64 c nbDecision=471000 #constraints=34457 1193.69/1194.11 c nbDecision=471500 #constraints=34491 1195.99/1196.46 c nbDecision=472000 #constraints=34527 1198.09/1198.51 c nbDecision=472500 #constraints=34565 1200.89/1201.38 c nbDecision=473000 #constraints=34610 1203.79/1204.22 c nbDecision=473500 #constraints=34655 1206.09/1206.59 c nbDecision=474000 #constraints=34689 1208.39/1208.87 c nbDecision=474500 #constraints=34720 1211.19/1211.62 c nbDecision=475000 #constraints=34758 1213.99/1214.48 c nbDecision=475500 #constraints=34799 1216.29/1216.74 c nbDecision=476000 #constraints=34842 1219.59/1220.02 c nbDecision=476500 #constraints=34899 1222.09/1222.52 c nbDecision=477000 #constraints=34943 1225.00/1225.40 c nbDecision=477500 #constraints=34989 1228.09/1228.50 c nbDecision=478000 #constraints=35032 1231.79/1232.28 c nbDecision=478500 #constraints=35081 1234.59/1235.07 c nbDecision=479000 #constraints=35130 1237.39/1237.87 c nbDecision=479500 #constraints=35169 1241.29/1241.77 c nbDecision=480000 #constraints=35221 1244.49/1244.93 c nbDecision=480500 #constraints=35261 1247.69/1248.12 c nbDecision=481000 #constraints=35303 1250.29/1250.76 c nbDecision=481500 #constraints=35344 1253.29/1253.74 c nbDecision=482000 #constraints=35395 1256.18/1256.68 c nbDecision=482500 #constraints=35441 1259.68/1260.14 c nbDecision=483000 #constraints=35482 1262.68/1263.11 c nbDecision=483500 #constraints=35517 1265.88/1266.39 c nbDecision=484000 #constraints=35561 1269.18/1269.69 c nbDecision=484500 #constraints=35604 1271.48/1271.97 c nbDecision=485000 #constraints=35639 1274.88/1275.34 c nbDecision=485500 #constraints=35693 1277.07/1277.59 c nbDecision=486000 #constraints=35729 1280.27/1280.75 c nbDecision=486500 #constraints=35771 1283.97/1284.40 c nbDecision=487000 #constraints=35818 1287.17/1287.67 c nbDecision=487500 #constraints=35862 1290.77/1291.23 c nbDecision=488000 #constraints=35906 1293.87/1294.33 c nbDecision=488500 #constraints=35949 1297.37/1297.80 c nbDecision=489000 #constraints=35992 1300.77/1301.24 c nbDecision=489500 #constraints=36034 1303.97/1304.49 c nbDecision=490000 #constraints=36076 1307.47/1307.97 c nbDecision=490500 #constraints=36123 1311.57/1312.01 c nbDecision=491000 #constraints=36172 1314.86/1315.32 c nbDecision=491500 #constraints=36214 1319.36/1319.81 c nbDecision=492000 #constraints=36269 1322.46/1322.92 c nbDecision=492500 #constraints=36309 1324.46/1324.91 c nbDecision=493000 #constraints=36341 1327.26/1327.74 c nbDecision=493500 #constraints=36388 1329.96/1330.45 c nbDecision=494000 #constraints=36427 1332.37/1332.89 c nbDecision=494500 #constraints=36467 1334.87/1335.39 c nbDecision=495000 #constraints=36506 1339.47/1339.96 c nbDecision=495500 #constraints=36557 1342.96/1343.46 c nbDecision=496000 #constraints=36599 1346.46/1346.99 c nbDecision=496500 #constraints=36644 1350.76/1351.27 c nbDecision=497000 #constraints=36694 1353.96/1354.43 c nbDecision=497500 #constraints=36740 1356.56/1357.02 c nbDecision=498000 #constraints=36779 1360.26/1360.70 c nbDecision=498500 #constraints=36828 1363.56/1364.02 c nbDecision=499000 #constraints=36870 1366.46/1366.95 c nbDecision=499500 #constraints=36909 1370.46/1370.93 c nbDecision=500000 #constraints=36954 1373.46/1373.99 c nbDecision=500500 #constraints=36991 1376.15/1376.70 c nbDecision=501000 #constraints=37028 1378.75/1379.23 c nbDecision=501500 #constraints=37071 1380.15/1380.60 c nbDecision=502000 #constraints=37094 1382.05/1382.56 c nbDecision=502500 #constraints=37131 1383.25/1383.77 c nbDecision=503000 #constraints=37162 1384.95/1385.48 c nbDecision=503500 #constraints=37194 1386.75/1387.27 c nbDecision=504000 #constraints=37220 1388.55/1389.08 c nbDecision=504500 #constraints=37257 1390.35/1390.89 c nbDecision=505000 #constraints=37287 1392.35/1392.88 c nbDecision=505500 #constraints=37314 1393.85/1394.32 c nbDecision=506000 #constraints=37346 1395.24/1395.72 c nbDecision=506500 #constraints=37391 1397.14/1397.66 c nbDecision=507000 #constraints=37436 1398.94/1399.40 c nbDecision=507500 #constraints=37469 1400.54/1401.04 c nbDecision=508000 #constraints=37496 1402.14/1402.62 c nbDecision=508500 #constraints=37541 1403.94/1404.44 c nbDecision=509000 #constraints=37579 1405.74/1406.28 c nbDecision=509500 #constraints=37613 1407.54/1408.06 c nbDecision=510000 #constraints=37645 1409.04/1409.60 c nbDecision=510500 #constraints=37696 1410.84/1411.31 c nbDecision=511000 #constraints=37739 1412.04/1412.57 c nbDecision=511500 #constraints=37778 1413.65/1414.12 c nbDecision=512000 #constraints=37802 1415.35/1415.81 c nbDecision=512500 #constraints=37835 1417.45/1417.96 c nbDecision=513000 #constraints=37872 1419.05/1419.57 c nbDecision=513500 #constraints=37908 1421.85/1422.38 c nbDecision=514000 #constraints=37955 1424.24/1424.75 c nbDecision=514500 #constraints=38007 1425.74/1426.25 c nbDecision=515000 #constraints=38059 1427.04/1427.58 c nbDecision=515500 #constraints=38101 1427.94/1428.45 c nbDecision=516000 #constraints=38145 1430.14/1430.69 c nbDecision=516500 #constraints=38180 1432.44/1432.94 c nbDecision=517000 #constraints=38218 1433.95/1434.48 c nbDecision=517500 #constraints=38261 1435.64/1436.15 c nbDecision=518000 #constraints=38301 1437.64/1438.16 c nbDecision=518500 #constraints=38337 1440.24/1440.70 c nbDecision=519000 #constraints=38383 1442.44/1442.99 c nbDecision=519500 #constraints=38430 1444.84/1445.33 c nbDecision=520000 #constraints=38480 1447.54/1448.09 c nbDecision=520500 #constraints=38532 1450.34/1450.82 c nbDecision=521000 #constraints=38588 1453.13/1453.66 c nbDecision=521500 #constraints=38644 1455.13/1455.62 c nbDecision=522000 #constraints=38700 1458.04/1458.56 c nbDecision=522500 #constraints=38752 1461.43/1461.96 c nbDecision=523000 #constraints=38813 1463.93/1464.45 c nbDecision=523500 #constraints=38858 1467.43/1467.91 c nbDecision=524000 #constraints=38919 1470.63/1471.10 c nbDecision=524500 #constraints=38969 1473.53/1474.08 c nbDecision=525000 #constraints=39017 1476.52/1477.03 c nbDecision=525500 #constraints=39075 1480.03/1480.53 c nbDecision=526000 #constraints=39149 1484.22/1484.72 c nbDecision=526500 #constraints=39235 1487.73/1488.29 c nbDecision=527000 #constraints=39279 1490.62/1491.19 c nbDecision=527500 #constraints=39308 1494.92/1495.48 c nbDecision=528000 #constraints=39356 1499.32/1499.80 c nbDecision=528500 #constraints=39423 1502.62/1503.13 c nbDecision=529000 #constraints=39473 1506.62/1507.19 c nbDecision=529500 #constraints=39521 1510.52/1511.01 c nbDecision=530000 #constraints=39570 1513.13/1513.68 c nbDecision=530500 #constraints=39603 1515.72/1516.28 c nbDecision=531000 #constraints=39639 1517.82/1518.37 c nbDecision=531500 #constraints=39671 1520.32/1520.81 c nbDecision=532000 #constraints=39701 1523.12/1523.63 c nbDecision=532500 #constraints=39735 1526.62/1527.15 c nbDecision=533000 #constraints=39778 1529.62/1530.19 c nbDecision=533500 #constraints=39817 1533.62/1534.17 c nbDecision=534000 #constraints=39854 1537.52/1538.01 c nbDecision=534500 #constraints=39900 1543.61/1544.12 c nbDecision=535000 #constraints=39972 1548.51/1549.01 c nbDecision=535500 #constraints=40014 1552.51/1553.07 c nbDecision=536000 #constraints=40054 1556.21/1556.79 c nbDecision=536500 #constraints=40096 1561.91/1562.47 c nbDecision=537000 #constraints=40153 1569.91/1570.48 c nbDecision=537500 #constraints=40240 1573.11/1573.64 c nbDecision=538000 #constraints=40279 1576.31/1576.80 c nbDecision=538500 #constraints=40319 1584.51/1585.05 c nbDecision=539000 #constraints=40409 1591.00/1591.57 c nbDecision=539500 #constraints=40478 1595.90/1596.48 c nbDecision=540000 #constraints=40535 1601.60/1602.13 c nbDecision=540500 #constraints=40599 1605.50/1606.02 c nbDecision=541000 #constraints=40640 1618.39/1619.00 c nbDecision=541500 #constraints=40744 1623.59/1624.15 c nbDecision=542000 #constraints=40801 1629.69/1630.22 c nbDecision=542500 #constraints=40854 1633.29/1633.87 c nbDecision=543000 #constraints=40894 1638.88/1639.47 c nbDecision=543500 #constraints=40959 1643.68/1644.28 c nbDecision=544000 #constraints=41006 1647.58/1648.14 c nbDecision=544500 #constraints=41040 1650.39/1650.91 c nbDecision=545000 #constraints=41072 1653.59/1654.18 c nbDecision=545500 #constraints=41105 1656.79/1657.36 c nbDecision=546000 #constraints=41135 1660.39/1660.92 c nbDecision=546500 #constraints=41166 1663.39/1663.94 c nbDecision=547000 #constraints=41194 1666.89/1667.47 c nbDecision=547500 #constraints=41224 1670.59/1671.11 c nbDecision=548000 #constraints=41259 1675.18/1675.78 c nbDecision=548500 #constraints=41311 1680.68/1681.26 c nbDecision=549000 #constraints=41366 1684.48/1685.00 c nbDecision=549500 #constraints=41406 1688.18/1688.79 c nbDecision=550000 #constraints=41447 1692.78/1693.33 c nbDecision=550500 #constraints=41493 1697.78/1698.38 c nbDecision=551000 #constraints=41545 1701.87/1702.43 c nbDecision=551500 #constraints=41594 1705.07/1705.63 c nbDecision=552000 #constraints=41626 1709.67/1710.20 c nbDecision=552500 #constraints=41667 1712.97/1713.50 c nbDecision=553000 #constraints=41696 1715.37/1715.90 c nbDecision=553500 #constraints=41741 1721.17/1721.79 c nbDecision=554000 #constraints=41791 1724.47/1725.05 c nbDecision=554500 #constraints=41830 1728.87/1729.45 c nbDecision=555000 #constraints=41882 1732.56/1733.13 c nbDecision=555500 #constraints=41921 1736.66/1737.28 c nbDecision=556000 #constraints=41966 1740.96/1741.53 c nbDecision=556500 #constraints=42012 1744.86/1745.43 c nbDecision=557000 #constraints=42046 1748.86/1749.41 c nbDecision=557500 #constraints=42087 1752.96/1753.57 c nbDecision=558000 #constraints=42130 1758.06/1758.68 c nbDecision=558500 #constraints=42182 1764.26/1764.82 c nbDecision=559000 #constraints=42245 1767.16/1767.79 c nbDecision=559500 #constraints=42287 1770.36/1770.92 c nbDecision=560000 #constraints=42337 1773.45/1774.09 c nbDecision=560500 #constraints=42387 1777.15/1777.73 c nbDecision=561000 #constraints=42445 1780.36/1780.96 c nbDecision=561500 #constraints=42516 1786.26/1786.81 c nbDecision=562000 #constraints=42580 1790.26/1790.81 c nbDecision=562500 #constraints=42630 1794.66/1795.22 c nbDecision=563000 #constraints=42673 1800.06/1800.60 Received signal 15 1800.06/1800.67 1800.06/1800.67 s UNKNOWN 1800.06/1800.67 1800.06/1800.67 c user time= 1799.87 s 1800.06/1800.67 c system time= 0.270958 s 1800.06/1800.67 c wall clock time=1800.68
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node50/watcher-366880-1177001514 -o ROOT/results/node50/solver-366880-1177001514 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/366880-1177001514/instance-366880-1177001514.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.78 0.95 0.98 3/64 19224 /proc/meminfo: memFree=1762624/2055920 swapFree=4183800/4192956 [pid=19224] ppid=19222 vsize=1468 CPUtime=0 /proc/19224/stat : 19224 (oree) R 19222 19224 19167 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 54996616 1503232 163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19224/statm: 367 163 131 317 0 46 0 [startup+0.070383 s] /proc/loadavg: 0.78 0.95 0.98 3/64 19224 /proc/meminfo: memFree=1762624/2055920 swapFree=4183800/4192956 [pid=19224] ppid=19222 vsize=2012 CPUtime=0.06 /proc/19224/stat : 19224 (oree) R 19222 19224 19167 0 -1 4194304 315 0 0 0 6 0 0 0 18 0 1 0 54996616 2060288 297 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384521 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19224/statm: 503 297 139 317 0 182 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 2012 [startup+0.101386 s] /proc/loadavg: 0.78 0.95 0.98 3/64 19224 /proc/meminfo: memFree=1762624/2055920 swapFree=4183800/4192956 [pid=19224] ppid=19222 vsize=2012 CPUtime=0.09 /proc/19224/stat : 19224 (oree) R 19222 19224 19167 0 -1 4194304 328 0 0 0 9 0 0 0 18 0 1 0 54996616 2060288 310 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19224/statm: 503 310 139 317 0 182 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2012 [startup+0.301403 s] /proc/loadavg: 0.78 0.95 0.98 3/64 19224 /proc/meminfo: memFree=1762624/2055920 swapFree=4183800/4192956 [pid=19224] ppid=19222 vsize=2396 CPUtime=0.29 /proc/19224/stat : 19224 (oree) R 19222 19224 19167 0 -1 4194304 446 0 0 0 29 0 0 0 19 0 1 0 54996616 2453504 428 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135273477 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19224/statm: 599 428 170 317 0 278 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2396 [startup+0.701439 s] /proc/loadavg: 0.78 0.95 0.98 3/64 19224 /proc/meminfo: memFree=1762624/2055920 swapFree=4183800/4192956 [pid=19224] ppid=19222 vsize=3052 CPUtime=0.69 /proc/19224/stat : 19224 (oree) R 19222 19224 19167 0 -1 4194304 596 0 0 0 69 0 0 0 22 0 1 0 54996616 3125248 578 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19224/statm: 763 578 170 317 0 442 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3052 [startup+1.50251 s] /proc/loadavg: 0.78 0.95 0.98 2/65 19225 /proc/meminfo: memFree=1760568/2055920 swapFree=4183800/4192956 [pid=19224] ppid=19222 vsize=3984 CPUtime=1.49 /proc/19224/stat : 19224 (oree) R 19222 19224 19167 0 -1 4194304 826 0 0 0 149 0 0 0 25 0 1 0 54996616 4079616 808 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19224/statm: 996 808 170 317 0 675 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 3984 [startup+3.10165 s] /proc/loadavg: 0.78 0.95 0.98 2/65 19225 /proc/meminfo: memFree=1759288/2055920 swapFree=4183800/4192956 [pid=19224] ppid=19222 vsize=5328 CPUtime=3.09 /proc/19224/stat : 19224 (oree) R 19222 19224 19167 0 -1 4194304 1147 0 0 0 308 1 0 0 25 0 1 0 54996616 5455872 1129 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604251 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19224/statm: 1332 1129 170 317 0 1011 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 5328 [startup+6.30193 s] /proc/loadavg: 0.80 0.95 0.98 2/65 19225 /proc/meminfo: memFree=1757304/2055920 swapFree=4183800/4192956 [pid=19224] ppid=19222 vsize=6952 CPUtime=6.29 /proc/19224/stat : 19224 (oree) R 19222 19224 19167 0 -1 4194304 1561 0 0 0 628 1 0 0 25 0 1 0 54996616 7118848 1543 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19224/statm: 1738 1543 170 317 0 1417 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 6952 [startup+12.7015 s] /proc/loadavg: 0.81 0.95 0.98 2/65 19225 /proc/meminfo: memFree=1755064/2055920 swapFree=4183800/4192956 [pid=19224] ppid=19222 vsize=9064 CPUtime=12.69 /proc/19224/stat : 19224 (oree) R 19222 19224 19167 0 -1 4194304 2042 0 0 0 1267 2 0 0 25 0 1 0 54996616 9281536 2024 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718662 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19224/statm: 2266 2024 170 317 0 1945 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 9064 [startup+25.5016 s] /proc/loadavg: 0.85 0.95 0.98 2/65 19225 /proc/meminfo: memFree=1752248/2055920 swapFree=4183800/4192956 [pid=19224] ppid=19222 vsize=11904 CPUtime=25.49 /proc/19224/stat : 19224 (oree) R 19222 19224 19167 0 -1 4194304 2709 0 0 0 2546 3 0 0 25 0 1 0 54996616 12189696 2691 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19224/statm: 2976 2691 170 317 0 2655 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 11904 [startup+51.1019 s] /proc/loadavg: 0.90 0.96 0.98 2/65 19225 /proc/meminfo: memFree=1748472/2055920 swapFree=4183800/4192956 [pid=19224] ppid=19222 vsize=15404 CPUtime=51.07 /proc/19224/stat : 19224 (oree) R 19222 19224 19167 0 -1 4194304 3628 0 0 0 5104 3 0 0 25 0 1 0 54996616 15773696 3552 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19224/statm: 3851 3552 170 317 0 3530 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 15404 [startup+102.305 s] /proc/loadavg: 0.96 0.96 0.98 2/65 19225 /proc/meminfo: memFree=1743736/2055920 swapFree=4183800/4192956 [pid=19224] ppid=19222 vsize=21072 CPUtime=102.27 /proc/19224/stat : 19224 (oree) R 19222 19224 19167 0 -1 4194304 4871 0 0 0 10222 5 0 0 25 0 1 0 54996616 21577728 4795 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19224/statm: 5268 4795 170 317 0 4947 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 21072 [startup+162.302 s] /proc/loadavg: 0.98 0.97 0.98 2/65 19225 /proc/meminfo: memFree=1737912/2055920 swapFree=4183800/4192956 [pid=19224] ppid=19222 vsize=26640 CPUtime=162.25 /proc/19224/stat : 19224 (oree) R 19222 19224 19167 0 -1 4194304 6335 0 0 0 16219 6 0 0 25 0 1 0 54996616 27279360 6259 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710982 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19224/statm: 6660 6259 170 317 0 6339 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 26640 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 19225 /proc/meminfo: memFree=1734328/2055920 swapFree=4183800/4192956 [pid=19224] ppid=19222 vsize=29784 CPUtime=222.23 /proc/19224/stat : 19224 (oree) R 19222 19224 19167 0 -1 4194304 7197 0 0 0 22216 7 0 0 25 0 1 0 54996616 30498816 7121 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19224/statm: 7446 7121 170 317 0 7125 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 29784 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 19225 /proc/meminfo: memFree=1731384/2055920 swapFree=4183800/4192956 [pid=19224] ppid=19222 vsize=34292 CPUtime=282.22 /proc/19224/stat : 19224 (oree) R 19222 19224 19167 0 -1 4194304 8316 0 0 0 28214 8 0 0 25 0 1 0 54996616 35115008 7862 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19224/statm: 8573 7862 170 317 0 8252 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 34292 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 19225 /proc/meminfo: memFree=1728120/2055920 swapFree=4183800/4192956 [pid=19224] ppid=19222 vsize=38020 CPUtime=342.21 /proc/19224/stat : 19224 (oree) R 19222 19224 19167 0 -1 4194304 9328 0 0 0 34211 10 0 0 25 0 1 0 54996616 38932480 8643 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19224/statm: 9505 8643 170 317 0 9184 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 38020 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 19225 /proc/meminfo: memFree=1725240/2055920 swapFree=4183800/4192956 [pid=19224] ppid=19222 vsize=41292 CPUtime=402.2 /proc/19224/stat : 19224 (oree) R 19222 19224 19167 0 -1 4194304 10187 0 0 0 40209 11 0 0 25 0 1 0 54996616 42283008 9403 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19224/statm: 10323 9403 170 317 0 10002 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 41292 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 19225 /proc/meminfo: memFree=1722360/2055920 swapFree=4183800/4192956 [pid=19224] ppid=19222 vsize=43952 CPUtime=462.18 /proc/19224/stat : 19224 (oree) R 19222 19224 19167 0 -1 4194304 10929 0 0 0 46206 12 0 0 25 0 1 0 54996616 45006848 10112 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19224/statm: 10988 10112 170 317 0 10667 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 43952 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 19225 /proc/meminfo: memFree=1720056/2055920 swapFree=4183800/4192956 [pid=19224] ppid=19222 vsize=46080 CPUtime=522.16 /proc/19224/stat : 19224 (oree) R 19222 19224 19167 0 -1 4194304 11497 0 0 0 52204 12 0 0 25 0 1 0 54996616 47185920 10680 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19224/statm: 11520 10680 170 317 0 11199 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 46080 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.98 2/71 19391 /proc/meminfo: memFree=1716272/2055920 swapFree=4183800/4192956 [pid=19224] ppid=19222 vsize=48260 CPUtime=582.06 /proc/19224/stat : 19224 (oree) R 19222 19224 19167 0 -1 4194304 12084 0 0 0 58193 13 0 0 25 0 1 0 54996616 49418240 11267 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19224/statm: 12065 11267 170 317 0 11744 0 Current children cumulated CPU time (s) 582.06 Current children cumulated vsize (KiB) 48260 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 19423 /proc/meminfo: memFree=1715320/2055920 swapFree=4183800/4192956 [pid=19224] ppid=19222 vsize=50092 CPUtime=642.03 /proc/19224/stat : 19224 (oree) R 19222 19224 19167 0 -1 4194304 12612 0 0 0 64189 14 0 0 25 0 1 0 54996616 51294208 11795 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712584 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19224/statm: 12523 11795 170 317 0 12202 0 Current children cumulated CPU time (s) 642.03 Current children cumulated vsize (KiB) 50092 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.08 1.00 0.99 2/65 19423 /proc/meminfo: memFree=1709304/2055920 swapFree=4183800/4192956 [pid=19224] ppid=19222 vsize=55756 CPUtime=821.99 /proc/19224/stat : 19224 (oree) R 19222 19224 19167 0 -1 4194304 14122 0 0 0 82183 16 0 0 25 0 1 0 54996616 57094144 13305 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19224/statm: 13939 13305 170 317 0 13618 0 Current children cumulated CPU time (s) 821.99 Current children cumulated vsize (KiB) 55756 [startup+882.302 s] /proc/loadavg: 1.06 1.01 1.00 2/65 19423 /proc/meminfo: memFree=1707256/2055920 swapFree=4183800/4192956 [pid=19224] ppid=19222 vsize=57624 CPUtime=881.97 /proc/19224/stat : 19224 (oree) R 19222 19224 19167 0 -1 4194304 14617 0 0 0 88181 16 0 0 25 0 1 0 54996616 59006976 13800 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19224/statm: 14406 13800 170 317 0 14085 0 Current children cumulated CPU time (s) 881.97 Current children cumulated vsize (KiB) 57624 [startup+942.301 s] /proc/loadavg: 1.02 1.01 1.00 2/65 19423 /proc/meminfo: memFree=1705336/2055920 swapFree=4183800/4192956 [pid=19224] ppid=19222 vsize=59392 CPUtime=941.96 /proc/19224/stat : 19224 (oree) R 19222 19224 19167 0 -1 4194304 15082 0 0 0 94178 18 0 0 25 0 1 0 54996616 60817408 14265 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19224/statm: 14848 14265 170 317 0 14527 0 Current children cumulated CPU time (s) 941.96 Current children cumulated vsize (KiB) 59392 [startup+1002.3 s] /proc/loadavg: 1.01 1.00 1.00 2/65 19425 /proc/meminfo: memFree=1703224/2055920 swapFree=4183800/4192956 [pid=19224] ppid=19222 vsize=61520 CPUtime=1001.94 /proc/19224/stat : 19224 (oree) R 19222 19224 19167 0 -1 4194304 15665 0 0 0 100175 19 0 0 25 0 1 0 54996616 62996480 14815 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19224/statm: 15380 14815 170 317 0 15059 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 61520 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 19425 /proc/meminfo: memFree=1701496/2055920 swapFree=4183800/4192956 [pid=19224] ppid=19222 vsize=63228 CPUtime=1061.93 /proc/19224/stat : 19224 (oree) R 19222 19224 19167 0 -1 4194304 16155 0 0 0 106173 20 0 0 25 0 1 0 54996616 64745472 15272 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19224/statm: 15807 15272 170 317 0 15486 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 63228 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 19425 /proc/meminfo: memFree=1699512/2055920 swapFree=4183800/4192956 [pid=19224] ppid=19222 vsize=67372 CPUtime=1121.92 /proc/19224/stat : 19224 (oree) R 19222 19224 19167 0 -1 4194304 17238 0 0 0 112171 21 0 0 25 0 1 0 54996616 68988928 15738 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564035 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19224/statm: 16843 15738 170 317 0 16522 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 67372 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 19425 /proc/meminfo: memFree=1697912/2055920 swapFree=4183800/4192956 [pid=19224] ppid=19222 vsize=69664 CPUtime=1181.9 /proc/19224/stat : 19224 (oree) R 19222 19224 19167 0 -1 4194304 17842 0 0 0 118169 21 0 0 25 0 1 0 54996616 71335936 16147 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19224/statm: 17416 16147 170 317 0 17095 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 69664 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 19425 /proc/meminfo: memFree=1695800/2055920 swapFree=4183800/4192956 [pid=19224] ppid=19222 vsize=72768 CPUtime=1241.89 /proc/19224/stat : 19224 (oree) R 19222 19224 19167 0 -1 4194304 18685 0 0 0 124167 22 0 0 25 0 1 0 54996616 74514432 16632 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19224/statm: 18192 16632 170 317 0 17871 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 72768 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 19425 /proc/meminfo: memFree=1694072/2055920 swapFree=4183800/4192956 [pid=19224] ppid=19222 vsize=74860 CPUtime=1301.87 /proc/19224/stat : 19224 (oree) R 19222 19224 19167 0 -1 4194304 19265 0 0 0 130165 22 0 0 25 0 1 0 54996616 76656640 17082 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19224/statm: 18715 17082 170 317 0 18394 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 74860 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 19425 /proc/meminfo: memFree=1692344/2055920 swapFree=4183800/4192956 [pid=19224] ppid=19222 vsize=76716 CPUtime=1361.86 /proc/19224/stat : 19224 (oree) R 19222 19224 19167 0 -1 4194304 19748 0 0 0 136163 23 0 0 25 0 1 0 54996616 78557184 17500 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19224/statm: 19179 17500 170 317 0 18858 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 76716 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 19425 /proc/meminfo: memFree=1690488/2055920 swapFree=4183800/4192956 [pid=19224] ppid=19222 vsize=79056 CPUtime=1421.85 /proc/19224/stat : 19224 (oree) R 19222 19224 19167 0 -1 4194304 20381 0 0 0 142161 24 0 0 25 0 1 0 54996616 80953344 17970 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19224/statm: 19764 17970 170 317 0 19443 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 79056 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 19425 /proc/meminfo: memFree=1688056/2055920 swapFree=4183800/4192956 [pid=19224] ppid=19222 vsize=81708 CPUtime=1481.82 /proc/19224/stat : 19224 (oree) R 19222 19224 19167 0 -1 4194304 21113 0 0 0 148158 24 0 0 25 0 1 0 54996616 83668992 18572 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19224/statm: 20427 18572 170 317 0 20106 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 81708 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 19425 /proc/meminfo: memFree=1686328/2055920 swapFree=4183800/4192956 [pid=19224] ppid=19222 vsize=83400 CPUtime=1541.82 /proc/19224/stat : 19224 (oree) R 19222 19224 19167 0 -1 4194304 21583 0 0 0 154157 25 0 0 25 0 1 0 54996616 85401600 18977 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19224/statm: 20850 18977 170 317 0 20529 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 83400 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 19425 /proc/meminfo: memFree=1684984/2055920 swapFree=4183800/4192956 [pid=19224] ppid=19222 vsize=84872 CPUtime=1601.8 /proc/19224/stat : 19224 (oree) R 19222 19224 19167 0 -1 4194304 21944 0 0 0 160155 25 0 0 25 0 1 0 54996616 86908928 19338 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19224/statm: 21218 19338 170 317 0 20897 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 84872 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 19425 /proc/meminfo: memFree=1683640/2055920 swapFree=4183800/4192956 [pid=19224] ppid=19222 vsize=85920 CPUtime=1661.79 /proc/19224/stat : 19224 (oree) R 19222 19224 19167 0 -1 4194304 22252 0 0 0 166153 26 0 0 25 0 1 0 54996616 87982080 19646 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19224/statm: 21480 19646 170 317 0 21159 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 85920 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 19425 /proc/meminfo: memFree=1682360/2055920 swapFree=4183800/4192956 [pid=19224] ppid=19222 vsize=87240 CPUtime=1721.77 /proc/19224/stat : 19224 (oree) R 19222 19224 19167 0 -1 4194304 22584 0 0 0 172151 26 0 0 25 0 1 0 54996616 89333760 19978 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19224/statm: 21810 19978 170 317 0 21489 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 87240 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 19425 /proc/meminfo: memFree=1680760/2055920 swapFree=4183800/4192956 [pid=19224] ppid=19222 vsize=88672 CPUtime=1781.76 /proc/19224/stat : 19224 (oree) R 19222 19224 19167 0 -1 4194304 23002 0 0 0 178149 27 0 0 25 0 1 0 54996616 90800128 20363 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604327 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19224/statm: 22168 20363 170 317 0 21847 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 88672 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/65 19425 /proc/meminfo: memFree=1680312/2055920 swapFree=4183800/4192956 [pid=19224] ppid=19222 vsize=89064 CPUtime=1800.06 /proc/19224/stat : 19224 (oree) R 19222 19224 19167 0 -1 4194304 23109 0 0 0 179979 27 0 0 25 0 1 0 54996616 91201536 20470 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19224/statm: 22266 20470 170 317 0 21945 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 89064 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.7 CPU time (s): 1800.16 CPU user time (s): 1799.87 CPU system time (s): 0.285956 CPU usage (%): 99.97 Max. virtual memory (cumulated for all children) (KiB): 89064 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.87 system time used= 0.285956 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 23125 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= 3848 runsolver used 1.2818 second user time and 3.72843 second system time The end
Begin job on node50 on Thu Apr 19 16:51:54 UTC 2007 IDJOB= 366880 IDBENCH= 2936 IDSOLVER= 172 FILE ID= node50/366880-1177001514 PBS_JOBID= 4630512 Free space on /tmp= 66507 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_7.opb COMMAND LINE= oree /tmp/evaluation/366880-1177001514/instance-366880-1177001514.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node50/watcher-366880-1177001514 -o ROOT/results/node50/solver-366880-1177001514 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/366880-1177001514/instance-366880-1177001514.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 4bc9c47dc743f36fab4669cf3c8ccd21 RANDOM SEED= 704241897 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node50.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.232 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.232 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1763032 kB Buffers: 15868 kB Cached: 212944 kB SwapCached: 2932 kB Active: 94344 kB Inactive: 143720 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1763032 kB SwapTotal: 4192956 kB SwapFree: 4183800 kB Dirty: 1560 kB Writeback: 0 kB Mapped: 15148 kB Slab: 40832 kB Committed_AS: 1067368 kB PageTables: 1460 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= 66507 MiB End job on node50 on Thu Apr 19 17:21:57 UTC 2007