Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.25 | 1800.86 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib3/normalized-mps-v2-20-10-gesa3.opb |
MD5SUM | d3086c0e0af196eedd939c84273a060e |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 6587681631937 |
Best CPU time to get the best result obtained on this benchmark | 1800.22 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 4230134768458 |
Optimality of the best value was proved | NO |
Number of variables | 18384 |
Total number of constraints | 1752 |
Number of constraints which are clauses | 48 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1704 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 311 |
Number of terms in the objective function | 11424 |
Biggest coefficient in the objective function | 418848431931392 |
Number of bits for the biggest coefficient in the objective function | 49 |
Sum of the numbers in the objective function | 144211309205274864 |
Number of bits of the sum of numbers in the objective function | 58 |
Biggest number in a constraint | 536870912000000 |
Number of bits of the biggest number in a constraint | 49 |
Biggest sum of numbers in a constraint | 144211309205274864 |
Number of bits of the biggest sum of numbers | 58 |
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.19/0.24 c ...done 0.19/0.24 c #vars=18384 #constraints=1801 hasObjective=yes 0.29/0.35 c res. mode=mod 0.29/0.35 c VSIDS like heuristics 0.29/0.35 c complete search running 0.39/0.47 c restart after 401 decisions 0.49/0.50 c nbDecision=500 #constraints=1801 0.49/0.57 c restart after 801 decisions 0.59/0.63 c nbDecision=1000 #constraints=1801 0.69/0.73 c nbDecision=1500 #constraints=1801 0.69/0.75 c restart after 1601 decisions 0.79/0.86 c nbDecision=2000 #constraints=1801 0.89/0.95 c nbDecision=2500 #constraints=1801 1.00/1.03 c nbDecision=3000 #constraints=1801 1.00/1.05 c restart after 3201 decisions 1.10/1.14 c nbDecision=3500 #constraints=1801 1.19/1.23 c nbDecision=4000 #constraints=1801 1.29/1.31 c nbDecision=4500 #constraints=1801 1.29/1.36 c nbDecision=5000 #constraints=1801 1.39/1.42 c nbDecision=5500 #constraints=1801 1.39/1.49 c nbDecision=6000 #constraints=1809 1.49/1.54 c restart after 6401 decisions 1.49/1.57 c nbDecision=6500 #constraints=1818 1.59/1.67 c nbDecision=7000 #constraints=1818 1.69/1.76 c nbDecision=7500 #constraints=1818 1.79/1.83 c nbDecision=8000 #constraints=1818 1.79/1.89 c nbDecision=8500 #constraints=1818 1.89/1.95 c nbDecision=9000 #constraints=1818 1.99/2.01 c nbDecision=9500 #constraints=1826 2.10/2.19 c nbDecision=10000 #constraints=1915 2.20/2.24 c nbDecision=10500 #constraints=1916 2.29/2.31 c nbDecision=11000 #constraints=1925 2.29/2.37 c nbDecision=11500 #constraints=1929 2.59/2.69 c nbDecision=12000 #constraints=2090 2.89/2.92 c nbDecision=12500 #constraints=2167 2.89/2.99 c restart after 12801 decisions 2.99/3.06 c nbDecision=13000 #constraints=2179 3.09/3.16 c nbDecision=13500 #constraints=2179 3.19/3.24 c nbDecision=14000 #constraints=2179 3.29/3.31 c nbDecision=14500 #constraints=2179 3.29/3.37 c nbDecision=15000 #constraints=2180 3.39/3.43 c nbDecision=15500 #constraints=2180 3.39/3.49 c nbDecision=16000 #constraints=2184 3.79/3.83 c nbDecision=16500 #constraints=2342 3.89/3.94 c nbDecision=17000 #constraints=2362 3.99/4.04 c nbDecision=17500 #constraints=2383 4.09/4.10 c nbDecision=18000 #constraints=2386 4.09/4.17 c nbDecision=18500 #constraints=2388 4.19/4.23 c nbDecision=19000 #constraints=2390 4.48/4.53 c nbDecision=19500 #constraints=2530 4.58/4.60 c nbDecision=20000 #constraints=2535 4.58/4.67 c nbDecision=20500 #constraints=2540 5.09/5.14 c nbDecision=21000 #constraints=2723 5.40/5.48 c nbDecision=21500 #constraints=2799 5.59/5.61 c nbDecision=22000 #constraints=2820 5.69/5.74 c nbDecision=22500 #constraints=2839 5.79/5.81 c nbDecision=23000 #constraints=2842 6.09/6.14 c nbDecision=23500 #constraints=2924 6.19/6.23 c nbDecision=24000 #constraints=2931 6.29/6.31 c nbDecision=24500 #constraints=2937 6.29/6.37 c nbDecision=25000 #constraints=2939 6.39/6.44 c nbDecision=25500 #constraints=2942 6.39/6.45 c restart after 25601 decisions 6.49/6.57 c nbDecision=26000 #constraints=2942 6.59/6.67 c nbDecision=26500 #constraints=2942 6.69/6.75 c nbDecision=27000 #constraints=2942 6.79/6.81 c nbDecision=27500 #constraints=2942 6.79/6.87 c nbDecision=28000 #constraints=2942 6.89/6.95 c nbDecision=28500 #constraints=2944 6.99/7.01 c nbDecision=29000 #constraints=2946 7.09/7.12 c nbDecision=29500 #constraints=2964 7.09/7.19 c nbDecision=30000 #constraints=2967 7.19/7.27 c nbDecision=30500 #constraints=2973 7.79/7.84 c nbDecision=31000 #constraints=3136 7.99/8.02 c nbDecision=31500 #constraints=3161 8.09/8.19 c nbDecision=32000 #constraints=3187 8.19/8.27 c nbDecision=32500 #constraints=3194 8.29/8.35 c nbDecision=33000 #constraints=3200 9.19/9.24 c nbDecision=33500 #constraints=3402 9.39/9.49 c nbDecision=34000 #constraints=3434 9.69/9.73 c nbDecision=34500 #constraints=3465 9.80/9.82 c nbDecision=35000 #constraints=3473 9.90/9.92 c nbDecision=35500 #constraints=3482 9.90/10.00 c nbDecision=36000 #constraints=3486 10.69/10.71 c nbDecision=36500 #constraints=3656 10.89/10.96 c nbDecision=37000 #constraints=3689 10.99/11.05 c nbDecision=37500 #constraints=3695 11.09/11.14 c nbDecision=38000 #constraints=3702 11.09/11.20 c nbDecision=38500 #constraints=3703 11.29/11.36 c nbDecision=39000 #constraints=3732 12.19/12.26 c nbDecision=39500 #constraints=3909 12.69/12.72 c nbDecision=40000 #constraints=3965 12.79/12.87 c nbDecision=40500 #constraints=3978 12.89/12.99 c nbDecision=41000 #constraints=3988 12.99/13.06 c nbDecision=41500 #constraints=3991 13.68/13.73 c nbDecision=42000 #constraints=4117 14.08/14.19 c nbDecision=42500 #constraints=4167 14.29/14.32 c nbDecision=43000 #constraints=4174 14.38/14.44 c nbDecision=43500 #constraints=4181 14.48/14.52 c nbDecision=44000 #constraints=4184 15.29/15.35 c nbDecision=44500 #constraints=4320 15.39/15.46 c nbDecision=45000 #constraints=4325 15.49/15.57 c nbDecision=45500 #constraints=4331 15.59/15.63 c nbDecision=46000 #constraints=4332 15.79/15.85 c nbDecision=46500 #constraints=4362 16.89/16.94 c nbDecision=47000 #constraints=4492 17.09/17.10 c nbDecision=47500 #constraints=4503 17.19/17.24 c nbDecision=48000 #constraints=4511 17.29/17.31 c nbDecision=48500 #constraints=4512 17.69/17.71 c nbDecision=49000 #constraints=4577 17.99/18.08 c nbDecision=49500 #constraints=4615 18.09/18.17 c nbDecision=50000 #constraints=4619 18.18/18.26 c nbDecision=50500 #constraints=4623 18.28/18.33 c nbDecision=51000 #constraints=4624 18.28/18.36 c restart after 51201 decisions 18.48/18.51 c nbDecision=51500 #constraints=4625 18.59/18.61 c nbDecision=52000 #constraints=4625 18.59/18.69 c nbDecision=52500 #constraints=4625 18.69/18.77 c nbDecision=53000 #constraints=4625 18.78/18.83 c nbDecision=53500 #constraints=4625 18.78/18.89 c nbDecision=54000 #constraints=4625 18.88/18.97 c nbDecision=54500 #constraints=4628 19.69/19.78 c nbDecision=55000 #constraints=4866 19.99/20.01 c nbDecision=55500 #constraints=4898 20.19/20.28 c nbDecision=56000 #constraints=4924 20.39/20.44 c nbDecision=56500 #constraints=4932 20.49/20.56 c nbDecision=57000 #constraints=4934 20.69/20.71 c nbDecision=57500 #constraints=4939 22.09/22.10 c nbDecision=58000 #constraints=5116 22.39/22.50 c nbDecision=58500 #constraints=5145 22.69/22.78 c nbDecision=59000 #constraints=5166 22.99/23.01 c nbDecision=59500 #constraints=5181 23.09/23.10 c nbDecision=60000 #constraints=5184 23.09/23.18 c nbDecision=60500 #constraints=5186 24.88/24.94 c nbDecision=61000 #constraints=5412 25.38/25.40 c nbDecision=61500 #constraints=5446 25.78/25.84 c nbDecision=62000 #constraints=5478 25.88/25.96 c nbDecision=62500 #constraints=5483 26.08/26.11 c nbDecision=63000 #constraints=5490 26.58/26.69 c nbDecision=63500 #constraints=5558 26.78/26.88 c nbDecision=64000 #constraints=5569 26.88/26.95 c nbDecision=64500 #constraints=5570 27.08/27.10 c nbDecision=65000 #constraints=5578 28.98/29.00 c nbDecision=65500 #constraints=5784 29.49/29.57 c nbDecision=66000 #constraints=5819 30.09/30.12 c nbDecision=66500 #constraints=5856 30.19/30.27 c nbDecision=67000 #constraints=5864 30.39/30.40 c nbDecision=67500 #constraints=5870 30.39/30.49 c nbDecision=68000 #constraints=5872 30.98/31.06 c nbDecision=68500 #constraints=5927 31.18/31.23 c nbDecision=69000 #constraints=5934 31.28/31.36 c nbDecision=69500 #constraints=5939 31.38/31.46 c nbDecision=70000 #constraints=5941 31.98/32.03 c nbDecision=70500 #constraints=5995 32.28/32.40 c nbDecision=71000 #constraints=6021 32.38/32.47 c nbDecision=71500 #constraints=6022 32.58/32.65 c nbDecision=72000 #constraints=6034 32.68/32.73 c nbDecision=72500 #constraints=6036 33.08/33.15 c nbDecision=73000 #constraints=6074 33.18/33.22 c nbDecision=73500 #constraints=6075 33.28/33.34 c nbDecision=74000 #constraints=6078 34.98/35.01 c nbDecision=74500 #constraints=6211 35.58/35.62 c nbDecision=75000 #constraints=6241 35.78/35.81 c nbDecision=75500 #constraints=6249 35.88/35.96 c nbDecision=76000 #constraints=6255 35.98/36.07 c nbDecision=76500 #constraints=6258 37.18/37.26 c nbDecision=77000 #constraints=6334 37.68/37.79 c nbDecision=77500 #constraints=6358 37.88/37.95 c nbDecision=78000 #constraints=6365 37.98/38.09 c nbDecision=78500 #constraints=6369 38.08/38.18 c nbDecision=79000 #constraints=6371 39.08/39.19 c nbDecision=79500 #constraints=6431 39.38/39.42 c nbDecision=80000 #constraints=6440 39.48/39.60 c nbDecision=80500 #constraints=6447 39.58/39.68 c nbDecision=81000 #constraints=6449 41.07/41.16 c nbDecision=81500 #constraints=6593 42.78/42.86 c nbDecision=82000 #constraints=6696 43.28/43.33 c nbDecision=82500 #constraints=6721 43.68/43.77 c nbDecision=83000 #constraints=6747 43.78/43.89 c nbDecision=83500 #constraints=6752 43.99/44.05 c nbDecision=84000 #constraints=6759 44.48/44.51 c nbDecision=84500 #constraints=6787 47.57/47.60 c nbDecision=85000 #constraints=7058 48.38/48.47 c nbDecision=85500 #constraints=7099 49.17/49.24 c nbDecision=86000 #constraints=7137 49.38/49.41 c nbDecision=86500 #constraints=7143 49.57/49.60 c nbDecision=87000 #constraints=7149 50.07/50.16 c nbDecision=87500 #constraints=7181 51.77/51.82 c nbDecision=88000 #constraints=7261 52.07/52.15 c nbDecision=88500 #constraints=7274 52.37/52.46 c nbDecision=89000 #constraints=7287 52.47/52.58 c nbDecision=89500 #constraints=7291 52.87/52.97 c nbDecision=90000 #constraints=7317 53.17/53.28 c nbDecision=90500 #constraints=7329 53.38/53.43 c nbDecision=91000 #constraints=7333 53.48/53.52 c nbDecision=91500 #constraints=7335 53.88/53.94 c nbDecision=92000 #constraints=7368 54.28/54.39 c nbDecision=92500 #constraints=7394 54.38/54.48 c nbDecision=93000 #constraints=7396 54.48/54.55 c nbDecision=93500 #constraints=7397 55.08/55.16 c nbDecision=94000 #constraints=7428 56.57/56.60 c nbDecision=94500 #constraints=7511 56.77/56.85 c nbDecision=95000 #constraints=7520 57.08/57.12 c nbDecision=95500 #constraints=7531 57.18/57.26 c nbDecision=96000 #constraints=7538 58.87/58.98 c nbDecision=96500 #constraints=7657 60.88/60.93 c nbDecision=97000 #constraints=7748 61.38/61.49 c nbDecision=97500 #constraints=7773 61.88/61.94 c nbDecision=98000 #constraints=7793 61.98/62.07 c nbDecision=98500 #constraints=7797 62.08/62.19 c nbDecision=99000 #constraints=7800 64.37/64.49 c nbDecision=99500 #constraints=7968 64.97/65.01 c nbDecision=100000 #constraints=7985 65.37/65.42 c nbDecision=100500 #constraints=8001 65.47/65.54 c nbDecision=101000 #constraints=8004 65.57/65.67 c nbDecision=101500 #constraints=8008 65.67/65.78 c nbDecision=102000 #constraints=8010 68.67/68.72 c restart after 102401 decisions 68.77/68.89 c nbDecision=102500 #constraints=8178 68.97/69.06 c nbDecision=103000 #constraints=8178 69.07/69.15 c nbDecision=103500 #constraints=8178 69.18/69.26 c nbDecision=104000 #constraints=8178 69.28/69.33 c nbDecision=104500 #constraints=8178 69.28/69.39 c nbDecision=105000 #constraints=8179 69.37/69.46 c nbDecision=105500 #constraints=8184 70.37/70.49 c nbDecision=106000 #constraints=8255 70.67/70.71 c nbDecision=106500 #constraints=8261 70.97/71.05 c nbDecision=107000 #constraints=8275 74.47/74.57 c nbDecision=107500 #constraints=8524 75.47/75.51 c nbDecision=108000 #constraints=8554 76.07/76.12 c nbDecision=108500 #constraints=8575 76.47/76.51 c nbDecision=109000 #constraints=8587 76.57/76.62 c nbDecision=109500 #constraints=8589 77.46/77.57 c nbDecision=110000 #constraints=8644 77.56/77.68 c nbDecision=110500 #constraints=8645 77.86/77.90 c nbDecision=111000 #constraints=8650 79.66/79.76 c nbDecision=111500 #constraints=8735 80.36/80.49 c nbDecision=112000 #constraints=8756 80.66/80.72 c nbDecision=112500 #constraints=8762 80.86/80.92 c nbDecision=113000 #constraints=8767 80.96/81.08 c nbDecision=113500 #constraints=8771 82.57/82.63 c nbDecision=114000 #constraints=8851 82.77/82.86 c nbDecision=114500 #constraints=8856 82.87/82.93 c nbDecision=115000 #constraints=8857 82.97/83.05 c nbDecision=115500 #constraints=8859 83.07/83.17 c nbDecision=116000 #constraints=8861 86.17/86.22 c nbDecision=116500 #constraints=9027 87.27/87.34 c nbDecision=117000 #constraints=9057 87.57/87.65 c nbDecision=117500 #constraints=9066 87.77/87.88 c nbDecision=118000 #constraints=9072 87.97/88.05 c nbDecision=118500 #constraints=9075 91.37/91.49 c nbDecision=119000 #constraints=9230 92.56/92.61 c nbDecision=119500 #constraints=9266 92.86/92.93 c nbDecision=120000 #constraints=9275 93.06/93.16 c nbDecision=120500 #constraints=9281 93.16/93.27 c nbDecision=121000 #constraints=9283 95.86/95.91 c nbDecision=121500 #constraints=9408 96.16/96.20 c nbDecision=122000 #constraints=9412 96.46/96.58 c nbDecision=122500 #constraints=9421 96.67/96.77 c nbDecision=123000 #constraints=9424 100.46/100.57 c nbDecision=123500 #constraints=9603 102.16/102.27 c nbDecision=124000 #constraints=9653 102.56/102.61 c nbDecision=124500 #constraints=9662 102.76/102.88 c nbDecision=125000 #constraints=9669 102.86/102.97 c nbDecision=125500 #constraints=9670 103.16/103.26 c nbDecision=126000 #constraints=9681 106.77/106.88 c nbDecision=126500 #constraints=9885 107.96/108.07 c nbDecision=127000 #constraints=9915 108.36/108.42 c nbDecision=127500 #constraints=9928 108.56/108.69 c nbDecision=128000 #constraints=9935 112.66/112.70 c nbDecision=128500 #constraints=10119 113.56/113.61 c nbDecision=129000 #constraints=10144 114.26/114.38 c nbDecision=129500 #constraints=10163 114.46/114.58 c nbDecision=130000 #constraints=10168 114.86/114.92 c nbDecision=130500 #constraints=10180 118.66/118.75 c nbDecision=131000 #constraints=10359 119.35/119.49 c nbDecision=131500 #constraints=10380 119.95/120.00 c nbDecision=132000 #constraints=10394 120.05/120.12 c nbDecision=132500 #constraints=10396 120.25/120.40 c nbDecision=133000 #constraints=10404 123.86/123.92 c nbDecision=133500 #constraints=10540 124.75/124.83 c nbDecision=134000 #constraints=10558 125.56/125.63 c nbDecision=134500 #constraints=10576 125.66/125.78 c nbDecision=135000 #constraints=10578 127.76/127.83 c nbDecision=135500 #constraints=10679 131.56/131.62 c nbDecision=136000 #constraints=10786 132.26/132.33 c nbDecision=136500 #constraints=10802 132.76/132.84 c nbDecision=137000 #constraints=10813 132.86/132.97 c nbDecision=137500 #constraints=10815 133.06/133.15 c nbDecision=138000 #constraints=10818 136.85/136.98 c nbDecision=138500 #constraints=10986 137.85/137.90 c nbDecision=139000 #constraints=11010 138.85/138.93 c nbDecision=139500 #constraints=11043 139.05/139.17 c nbDecision=140000 #constraints=11050 139.35/139.48 c nbDecision=140500 #constraints=11058 144.25/144.36 c nbDecision=141000 #constraints=11275 146.85/146.94 c nbDecision=141500 #constraints=11349 147.65/147.75 c nbDecision=142000 #constraints=11367 148.36/148.42 c nbDecision=142500 #constraints=11383 148.46/148.58 c nbDecision=143000 #constraints=11386 148.65/148.78 c nbDecision=143500 #constraints=11390 153.55/153.63 c nbDecision=144000 #constraints=11577 155.25/155.36 c nbDecision=144500 #constraints=11621 156.95/157.00 c nbDecision=145000 #constraints=11668 157.15/157.28 c nbDecision=145500 #constraints=11675 157.55/157.61 c nbDecision=146000 #constraints=11686 157.65/157.70 c nbDecision=146500 #constraints=11687 158.05/158.14 c nbDecision=147000 #constraints=11708 162.84/162.98 c nbDecision=147500 #constraints=11884 165.04/165.12 c nbDecision=148000 #constraints=11932 165.44/165.52 c nbDecision=148500 #constraints=11941 165.84/165.93 c nbDecision=149000 #constraints=11952 166.05/166.12 c nbDecision=149500 #constraints=11955 171.64/171.79 c nbDecision=150000 #constraints=12186 174.34/174.50 c nbDecision=150500 #constraints=12254 175.04/175.12 c nbDecision=151000 #constraints=12271 175.44/175.59 c nbDecision=151500 #constraints=12283 175.64/175.76 c nbDecision=152000 #constraints=12288 176.14/176.26 c nbDecision=152500 #constraints=12301 181.55/181.63 c nbDecision=153000 #constraints=12480 183.85/183.95 c nbDecision=153500 #constraints=12527 184.44/184.55 c nbDecision=154000 #constraints=12540 184.84/184.98 c nbDecision=154500 #constraints=12551 185.04/185.16 c nbDecision=155000 #constraints=12555 190.34/190.49 c nbDecision=155500 #constraints=12732 192.74/192.88 c nbDecision=156000 #constraints=12778 193.34/193.45 c nbDecision=156500 #constraints=12791 193.84/193.97 c nbDecision=157000 #constraints=12800 198.74/198.84 c nbDecision=157500 #constraints=12939 200.23/200.31 c nbDecision=158000 #constraints=12969 201.24/201.37 c nbDecision=158500 #constraints=12992 201.53/201.65 c nbDecision=159000 #constraints=12998 201.73/201.88 c nbDecision=159500 #constraints=13001 207.53/207.60 c nbDecision=160000 #constraints=13166 209.53/209.64 c nbDecision=160500 #constraints=13212 210.94/211.00 c nbDecision=161000 #constraints=13238 211.14/211.25 c nbDecision=161500 #constraints=13242 211.44/211.52 c nbDecision=162000 #constraints=13248 211.54/211.68 c nbDecision=162500 #constraints=13250 216.54/216.62 c nbDecision=163000 #constraints=13407 218.53/218.66 c nbDecision=163500 #constraints=13444 219.03/219.17 c nbDecision=164000 #constraints=13454 219.53/219.62 c nbDecision=164500 #constraints=13462 225.63/225.79 c nbDecision=165000 #constraints=13646 227.32/227.46 c nbDecision=165500 #constraints=13674 228.52/228.65 c nbDecision=166000 #constraints=13694 228.82/228.97 c nbDecision=166500 #constraints=13700 229.02/229.19 c nbDecision=167000 #constraints=13703 229.32/229.40 c nbDecision=167500 #constraints=13707 235.13/235.24 c nbDecision=168000 #constraints=13878 237.03/237.11 c nbDecision=168500 #constraints=13913 238.53/238.62 c nbDecision=169000 #constraints=13943 238.83/238.96 c nbDecision=169500 #constraints=13949 239.13/239.25 c nbDecision=170000 #constraints=13953 246.12/246.30 c nbDecision=170500 #constraints=14176 248.12/248.20 c nbDecision=171000 #constraints=14209 249.92/250.06 c nbDecision=171500 #constraints=14247 250.32/250.46 c nbDecision=172000 #constraints=14257 250.72/250.81 c nbDecision=172500 #constraints=14266 250.82/250.98 c nbDecision=173000 #constraints=14269 257.02/257.11 c nbDecision=173500 #constraints=14487 258.42/258.59 c nbDecision=174000 #constraints=14513 259.82/259.95 c nbDecision=174500 #constraints=14541 260.12/260.22 c nbDecision=175000 #constraints=14545 260.32/260.42 c nbDecision=175500 #constraints=14548 260.52/260.64 c nbDecision=176000 #constraints=14553 267.32/267.44 c nbDecision=176500 #constraints=14748 270.11/270.26 c nbDecision=177000 #constraints=14798 270.61/270.74 c nbDecision=177500 #constraints=14805 271.21/271.35 c nbDecision=178000 #constraints=14817 277.51/277.68 c nbDecision=178500 #constraints=14977 279.61/279.76 c nbDecision=179000 #constraints=15011 281.11/281.22 c nbDecision=179500 #constraints=15035 281.51/281.62 c nbDecision=180000 #constraints=15043 281.81/281.99 c nbDecision=180500 #constraints=15048 288.41/288.57 c nbDecision=181000 #constraints=15201 290.21/290.38 c nbDecision=181500 #constraints=15228 291.91/292.06 c nbDecision=182000 #constraints=15257 292.21/292.35 c nbDecision=182500 #constraints=15261 292.61/292.72 c nbDecision=183000 #constraints=15266 300.01/300.13 c nbDecision=183500 #constraints=15470 302.21/302.37 c nbDecision=184000 #constraints=15505 303.61/303.80 c nbDecision=184500 #constraints=15532 304.61/304.77 c nbDecision=185000 #constraints=15550 304.81/304.91 c nbDecision=185500 #constraints=15551 305.01/305.17 c nbDecision=186000 #constraints=15556 313.50/313.63 c nbDecision=186500 #constraints=15810 316.11/316.27 c nbDecision=187000 #constraints=15857 318.61/318.76 c nbDecision=187500 #constraints=15909 319.11/319.24 c nbDecision=188000 #constraints=15919 319.61/319.70 c nbDecision=188500 #constraints=15930 319.71/319.88 c nbDecision=189000 #constraints=15934 327.00/327.13 c nbDecision=189500 #constraints=16116 328.91/329.05 c nbDecision=190000 #constraints=16142 330.70/330.87 c nbDecision=190500 #constraints=16170 331.10/331.21 c nbDecision=191000 #constraints=16175 331.40/331.53 c nbDecision=191500 #constraints=16180 331.60/331.71 c nbDecision=192000 #constraints=16182 339.10/339.22 c nbDecision=192500 #constraints=16384 342.40/342.52 c nbDecision=193000 #constraints=16438 343.20/343.34 c nbDecision=193500 #constraints=16454 343.80/343.91 c nbDecision=194000 #constraints=16465 344.00/344.16 c nbDecision=194500 #constraints=16469 353.50/353.61 c nbDecision=195000 #constraints=16737 356.59/356.76 c nbDecision=195500 #constraints=16796 359.50/359.65 c nbDecision=196000 #constraints=16858 359.89/360.07 c nbDecision=196500 #constraints=16865 360.29/360.45 c nbDecision=197000 #constraints=16872 360.49/360.68 c nbDecision=197500 #constraints=16875 368.89/369.10 c nbDecision=198000 #constraints=17141 371.59/371.80 c nbDecision=198500 #constraints=17189 373.99/374.10 c nbDecision=199000 #constraints=17240 374.29/374.49 c nbDecision=199500 #constraints=17246 374.79/374.96 c nbDecision=200000 #constraints=17261 374.89/375.08 c nbDecision=200500 #constraints=17263 376.58/376.79 c nbDecision=201000 #constraints=17302 383.88/384.04 c nbDecision=201500 #constraints=17416 385.09/385.20 c nbDecision=202000 #constraints=17431 385.99/386.17 c nbDecision=202500 #constraints=17445 386.19/386.36 c nbDecision=203000 #constraints=17447 386.49/386.68 c nbDecision=203500 #constraints=17451 394.49/394.69 c nbDecision=204000 #constraints=17608 396.78/396.94 c nbDecision=204500 #constraints=17636 398.18/398.35 c restart after 204801 decisions 398.58/398.79 c nbDecision=205000 #constraints=17658 398.88/399.03 c nbDecision=205500 #constraints=17658 398.98/399.12 c nbDecision=206000 #constraints=17659 399.19/399.30 c nbDecision=206500 #constraints=17659 399.19/399.36 c nbDecision=207000 #constraints=17659 399.28/399.42 c nbDecision=207500 #constraints=17659 399.48/399.60 c nbDecision=208000 #constraints=17662 406.89/407.05 c nbDecision=208500 #constraints=17821 408.58/408.72 c nbDecision=209000 #constraints=17840 410.68/410.85 c nbDecision=209500 #constraints=17872 411.18/411.32 c nbDecision=210000 #constraints=17879 411.48/411.68 c nbDecision=210500 #constraints=17885 411.78/411.92 c nbDecision=211000 #constraints=17888 420.97/421.13 c nbDecision=211500 #constraints=18121 424.67/424.82 c nbDecision=212000 #constraints=18171 425.77/425.90 c nbDecision=212500 #constraints=18187 426.37/426.56 c nbDecision=213000 #constraints=18197 426.67/426.89 c nbDecision=213500 #constraints=18201 433.48/433.60 c nbDecision=214000 #constraints=18348 436.28/436.46 c nbDecision=214500 #constraints=18380 436.78/436.96 c nbDecision=215000 #constraints=18385 437.28/437.46 c nbDecision=215500 #constraints=18392 437.58/437.77 c nbDecision=216000 #constraints=18395 448.17/448.37 c nbDecision=216500 #constraints=18676 451.17/451.39 c nbDecision=217000 #constraints=18719 454.37/454.56 c nbDecision=217500 #constraints=18778 454.97/455.16 c nbDecision=218000 #constraints=18788 455.47/455.63 c nbDecision=218500 #constraints=18796 455.57/455.74 c nbDecision=219000 #constraints=18797 456.77/456.90 c nbDecision=219500 #constraints=18842 462.16/462.38 c nbDecision=220000 #constraints=18926 462.87/463.04 c nbDecision=220500 #constraints=18932 463.36/463.59 c nbDecision=221000 #constraints=18938 463.76/463.93 c nbDecision=221500 #constraints=18941 475.27/475.49 c nbDecision=222000 #constraints=19237 478.86/479.00 c nbDecision=222500 #constraints=19288 482.16/482.38 c nbDecision=223000 #constraints=19347 482.86/483.02 c nbDecision=223500 #constraints=19358 483.36/483.55 c nbDecision=224000 #constraints=19367 483.66/483.81 c nbDecision=224500 #constraints=19370 495.06/495.27 c nbDecision=225000 #constraints=19662 498.36/498.57 c nbDecision=225500 #constraints=19707 500.85/501.07 c nbDecision=226000 #constraints=19742 501.36/501.52 c nbDecision=226500 #constraints=19748 501.75/501.94 c nbDecision=227000 #constraints=19755 502.05/502.24 c nbDecision=227500 #constraints=19757 512.05/512.26 c nbDecision=228000 #constraints=19962 517.15/517.39 c nbDecision=228500 #constraints=20029 518.25/518.48 c nbDecision=229000 #constraints=20045 519.05/519.29 c nbDecision=229500 #constraints=20057 519.45/519.62 c nbDecision=230000 #constraints=20060 529.15/529.33 c nbDecision=230500 #constraints=20241 531.65/531.90 c nbDecision=231000 #constraints=20268 534.14/534.32 c nbDecision=231500 #constraints=20299 534.54/534.77 c nbDecision=232000 #constraints=20304 535.14/535.37 c nbDecision=232500 #constraints=20311 548.05/548.23 c nbDecision=233000 #constraints=20593 551.95/552.13 c nbDecision=233500 #constraints=20648 554.04/554.20 c nbDecision=234000 #constraints=20678 555.94/556.15 c nbDecision=234500 #constraints=20710 556.34/556.51 c nbDecision=235000 #constraints=20715 556.74/556.97 c nbDecision=235500 #constraints=20722 568.73/568.95 c nbDecision=236000 #constraints=20976 572.43/572.63 c nbDecision=236500 #constraints=21021 575.63/575.81 c nbDecision=237000 #constraints=21069 576.53/576.75 c nbDecision=237500 #constraints=21083 577.13/577.35 c nbDecision=238000 #constraints=21093 577.24/577.48 c nbDecision=238500 #constraints=21095 578.03/578.28 c nbDecision=239000 #constraints=21114 588.23/588.48 c nbDecision=239500 #constraints=21294 589.73/589.91 c nbDecision=240000 #constraints=21309 590.43/590.64 c nbDecision=240500 #constraints=21316 591.03/591.21 c nbDecision=241000 #constraints=21323 591.63/591.81 c nbDecision=241500 #constraints=21332 602.43/602.69 c nbDecision=242000 #constraints=21516 605.63/605.89 c nbDecision=242500 #constraints=21552 606.63/606.83 c nbDecision=243000 #constraints=21562 607.43/607.64 c nbDecision=243500 #constraints=21573 607.53/607.79 c nbDecision=244000 #constraints=21574 614.63/614.89 c nbDecision=244500 #constraints=21740 623.32/623.59 c nbDecision=245000 #constraints=21858 625.42/625.63 c nbDecision=245500 #constraints=21882 627.12/627.33 c nbDecision=246000 #constraints=21904 627.32/627.50 c nbDecision=246500 #constraints=21905 629.92/630.10 c nbDecision=247000 #constraints=21964 640.51/640.76 c nbDecision=247500 #constraints=22121 642.12/642.36 c nbDecision=248000 #constraints=22139 643.71/643.92 c nbDecision=248500 #constraints=22160 644.11/644.38 c nbDecision=249000 #constraints=22168 644.42/644.63 c nbDecision=249500 #constraints=22171 644.61/644.83 c nbDecision=250000 #constraints=22173 655.42/655.67 c nbDecision=250500 #constraints=22393 658.62/658.89 c nbDecision=251000 #constraints=22430 661.11/661.31 c nbDecision=251500 #constraints=22459 661.51/661.76 c nbDecision=252000 #constraints=22466 661.92/662.15 c nbDecision=252500 #constraints=22471 662.21/662.46 c nbDecision=253000 #constraints=22473 671.61/671.86 c nbDecision=253500 #constraints=22607 675.50/675.73 c nbDecision=254000 #constraints=22644 676.31/676.53 c nbDecision=254500 #constraints=22652 676.90/677.17 c nbDecision=255000 #constraints=22658 677.31/677.51 c nbDecision=255500 #constraints=22660 689.20/689.50 c nbDecision=256000 #constraints=22836 690.90/691.14 c nbDecision=256500 #constraints=22851 691.70/691.99 c nbDecision=257000 #constraints=22858 692.00/692.23 c nbDecision=257500 #constraints=22860 693.20/693.43 c nbDecision=258000 #constraints=22879 705.40/705.64 c nbDecision=258500 #constraints=23059 707.70/707.97 c nbDecision=259000 #constraints=23082 708.70/708.96 c nbDecision=259500 #constraints=23092 709.50/709.76 c nbDecision=260000 #constraints=23101 709.90/710.13 c nbDecision=260500 #constraints=23103 721.19/721.46 c nbDecision=261000 #constraints=23294 726.79/727.02 c nbDecision=261500 #constraints=23352 727.89/728.20 c nbDecision=262000 #constraints=23366 728.69/728.97 c nbDecision=262500 #constraints=23374 728.89/729.19 c nbDecision=263000 #constraints=23377 729.29/729.52 c nbDecision=263500 #constraints=23380 738.29/738.51 c nbDecision=264000 #constraints=23545 740.00/740.20 c nbDecision=264500 #constraints=23565 741.39/741.67 c nbDecision=265000 #constraints=23584 741.69/741.95 c nbDecision=265500 #constraints=23587 747.69/747.91 c nbDecision=266000 #constraints=23686 748.29/748.52 c nbDecision=266500 #constraints=23692 749.09/749.31 c nbDecision=267000 #constraints=23699 749.29/749.56 c nbDecision=267500 #constraints=23701 752.09/752.37 c nbDecision=268000 #constraints=23777 763.88/764.12 c nbDecision=268500 #constraints=23948 765.78/766.02 c nbDecision=269000 #constraints=23969 766.78/767.08 c nbDecision=269500 #constraints=23982 767.68/767.96 c nbDecision=270000 #constraints=23993 768.18/768.49 c nbDecision=270500 #constraints=23997 773.18/773.48 c nbDecision=271000 #constraints=24065 773.88/774.15 c nbDecision=271500 #constraints=24071 774.48/774.77 c nbDecision=272000 #constraints=24076 774.68/774.96 c nbDecision=272500 #constraints=24077 775.08/775.31 c nbDecision=273000 #constraints=24081 787.78/788.02 c nbDecision=273500 #constraints=24331 791.18/791.41 c nbDecision=274000 #constraints=24367 793.98/794.24 c nbDecision=274500 #constraints=24402 794.78/795.02 c nbDecision=275000 #constraints=24415 795.48/795.73 c nbDecision=275500 #constraints=24428 795.58/795.86 c nbDecision=276000 #constraints=24429 798.18/798.42 c nbDecision=276500 #constraints=24472 807.37/807.67 c nbDecision=277000 #constraints=24585 808.77/809.05 c nbDecision=277500 #constraints=24599 809.87/810.14 c nbDecision=278000 #constraints=24611 810.27/810.51 c nbDecision=278500 #constraints=24616 813.67/813.92 c nbDecision=279000 #constraints=24696 825.57/825.88 c nbDecision=279500 #constraints=24865 827.27/827.59 c nbDecision=280000 #constraints=24882 828.57/828.88 c nbDecision=280500 #constraints=24895 828.87/829.13 c nbDecision=281000 #constraints=24897 830.56/830.82 c nbDecision=281500 #constraints=24919 843.67/843.91 c nbDecision=282000 #constraints=25093 845.57/845.84 c nbDecision=282500 #constraints=25112 846.47/846.77 c nbDecision=283000 #constraints=25121 847.27/847.58 c nbDecision=283500 #constraints=25130 847.57/847.84 c nbDecision=284000 #constraints=25133 847.87/848.13 c nbDecision=284500 #constraints=25137 860.76/861.02 c nbDecision=285000 #constraints=25325 864.76/865.06 c nbDecision=285500 #constraints=25364 868.16/868.47 c nbDecision=286000 #constraints=25400 869.05/869.37 c nbDecision=286500 #constraints=25412 869.76/870.01 c nbDecision=287000 #constraints=25420 869.86/870.15 c nbDecision=287500 #constraints=25421 877.65/877.99 c nbDecision=288000 #constraints=25570 888.35/888.64 c nbDecision=288500 #constraints=25690 890.66/890.95 c nbDecision=289000 #constraints=25714 892.65/892.97 c nbDecision=289500 #constraints=25736 893.05/893.35 c nbDecision=290000 #constraints=25740 893.55/893.82 c nbDecision=290500 #constraints=25744 901.55/901.90 c nbDecision=291000 #constraints=25849 904.54/904.86 c nbDecision=291500 #constraints=25874 906.94/907.27 c nbDecision=292000 #constraints=25897 907.34/907.69 c nbDecision=292500 #constraints=25901 908.04/908.39 c nbDecision=293000 #constraints=25908 923.24/923.53 c nbDecision=293500 #constraints=26192 929.34/929.69 c nbDecision=294000 #constraints=26263 932.44/932.79 c nbDecision=294500 #constraints=26302 934.94/935.21 c nbDecision=295000 #constraints=26338 935.24/935.56 c nbDecision=295500 #constraints=26341 935.74/936.06 c nbDecision=296000 #constraints=26345 944.44/944.76 c nbDecision=296500 #constraints=26457 946.74/947.08 c nbDecision=297000 #constraints=26475 949.04/949.31 c nbDecision=297500 #constraints=26495 949.43/949.73 c nbDecision=298000 #constraints=26498 950.14/950.41 c nbDecision=298500 #constraints=26504 966.13/966.49 c nbDecision=299000 #constraints=26818 974.13/974.40 c nbDecision=299500 #constraints=26918 977.13/977.47 c nbDecision=300000 #constraints=26961 980.03/980.36 c nbDecision=300500 #constraints=27007 980.52/980.83 c nbDecision=301000 #constraints=27013 982.52/982.82 c nbDecision=301500 #constraints=27036 993.92/994.27 c nbDecision=302000 #constraints=27166 995.52/995.84 c nbDecision=302500 #constraints=27180 996.72/997.09 c nbDecision=303000 #constraints=27192 997.02/997.35 c nbDecision=303500 #constraints=27194 997.62/997.90 c nbDecision=304000 #constraints=27200 1008.52/1008.85 c nbDecision=304500 #constraints=27308 1011.72/1012.03 c nbDecision=305000 #constraints=27331 1014.81/1015.18 c nbDecision=305500 #constraints=27359 1015.61/1015.97 c nbDecision=306000 #constraints=27367 1016.02/1016.38 c nbDecision=306500 #constraints=27370 1016.41/1016.77 c nbDecision=307000 #constraints=27373 1029.72/1030.05 c nbDecision=307500 #constraints=27534 1036.01/1036.33 c nbDecision=308000 #constraints=27587 1037.31/1037.66 c nbDecision=308500 #constraints=27601 1038.41/1038.76 c nbDecision=309000 #constraints=27614 1038.71/1039.06 c nbDecision=309500 #constraints=27618 1048.90/1049.24 c nbDecision=310000 #constraints=27740 1056.20/1056.51 c nbDecision=310500 #constraints=27808 1058.00/1058.37 c nbDecision=311000 #constraints=27822 1059.70/1060.03 c nbDecision=311500 #constraints=27837 1060.00/1060.40 c nbDecision=312000 #constraints=27840 1069.60/1069.92 c nbDecision=312500 #constraints=27965 1076.20/1076.51 c nbDecision=313000 #constraints=28021 1078.20/1078.53 c nbDecision=313500 #constraints=28038 1079.90/1080.28 c nbDecision=314000 #constraints=28057 1080.30/1080.61 c nbDecision=314500 #constraints=28060 1080.70/1081.08 c nbDecision=315000 #constraints=28063 1083.70/1084.05 c nbDecision=315500 #constraints=28112 1096.09/1096.40 c nbDecision=316000 #constraints=28264 1101.49/1101.80 c nbDecision=316500 #constraints=28312 1102.29/1102.67 c nbDecision=317000 #constraints=28319 1103.09/1103.44 c nbDecision=317500 #constraints=28325 1103.49/1103.85 c nbDecision=318000 #constraints=28327 1116.78/1117.13 c nbDecision=318500 #constraints=28504 1122.58/1122.99 c nbDecision=319000 #constraints=28553 1123.58/1123.99 c nbDecision=319500 #constraints=28561 1124.48/1124.89 c nbDecision=320000 #constraints=28569 1124.78/1125.18 c nbDecision=320500 #constraints=28571 1142.17/1142.59 c nbDecision=321000 #constraints=28857 1147.97/1148.31 c nbDecision=321500 #constraints=28910 1152.78/1153.10 c nbDecision=322000 #constraints=28960 1153.78/1154.16 c nbDecision=322500 #constraints=28972 1154.48/1154.83 c nbDecision=323000 #constraints=28979 1154.88/1155.22 c nbDecision=323500 #constraints=28981 1160.57/1160.93 c nbDecision=324000 #constraints=29059 1174.27/1174.63 c nbDecision=324500 #constraints=29204 1176.77/1177.11 c nbDecision=325000 #constraints=29226 1178.96/1179.37 c nbDecision=325500 #constraints=29251 1179.46/1179.85 c nbDecision=326000 #constraints=29257 1181.96/1182.32 c nbDecision=326500 #constraints=29282 1189.37/1189.71 c nbDecision=327000 #constraints=29368 1190.57/1190.99 c nbDecision=327500 #constraints=29380 1191.67/1192.08 c nbDecision=328000 #constraints=29393 1191.97/1192.34 c nbDecision=328500 #constraints=29396 1199.66/1200.09 c nbDecision=329000 #constraints=29513 1215.06/1215.46 c nbDecision=329500 #constraints=29679 1217.75/1218.20 c nbDecision=330000 #constraints=29704 1219.75/1220.11 c nbDecision=330500 #constraints=29725 1221.05/1221.46 c nbDecision=331000 #constraints=29741 1221.35/1221.72 c nbDecision=331500 #constraints=29743 1235.06/1235.48 c nbDecision=332000 #constraints=29914 1241.15/1241.53 c nbDecision=332500 #constraints=29972 1243.85/1244.21 c nbDecision=333000 #constraints=30001 1245.65/1246.01 c nbDecision=333500 #constraints=30015 1246.05/1246.40 c nbDecision=334000 #constraints=30018 1247.55/1248.00 c nbDecision=334500 #constraints=30031 1264.00/1264.47 c nbDecision=335000 #constraints=30255 1271.08/1271.57 c nbDecision=335500 #constraints=30335 1274.38/1274.84 c nbDecision=336000 #constraints=30371 1277.26/1277.79 c nbDecision=336500 #constraints=30411 1277.86/1278.40 c nbDecision=337000 #constraints=30419 1278.46/1278.96 c nbDecision=337500 #constraints=30423 1289.95/1290.40 c nbDecision=338000 #constraints=30547 1293.34/1293.83 c nbDecision=338500 #constraints=30574 1295.94/1296.43 c nbDecision=339000 #constraints=30593 1296.34/1296.82 c nbDecision=339500 #constraints=30595 1306.82/1307.39 c nbDecision=340000 #constraints=30759 1320.03/1320.50 c nbDecision=340500 #constraints=30937 1327.92/1328.48 c nbDecision=341000 #constraints=31033 1330.02/1330.58 c nbDecision=341500 #constraints=31056 1331.72/1332.29 c nbDecision=342000 #constraints=31078 1332.02/1332.57 c nbDecision=342500 #constraints=31081 1332.62/1333.11 c nbDecision=343000 #constraints=31085 1342.71/1343.29 c nbDecision=343500 #constraints=31192 1346.11/1346.63 c nbDecision=344000 #constraints=31217 1349.22/1349.78 c nbDecision=344500 #constraints=31245 1350.22/1350.78 c nbDecision=345000 #constraints=31253 1366.60/1367.11 c nbDecision=345500 #constraints=31432 1375.51/1376.05 c nbDecision=346000 #constraints=31509 1377.31/1377.87 c nbDecision=346500 #constraints=31526 1378.71/1379.25 c nbDecision=347000 #constraints=31540 1379.01/1379.52 c nbDecision=347500 #constraints=31542 1379.41/1379.96 c nbDecision=348000 #constraints=31545 1391.40/1391.99 c nbDecision=348500 #constraints=31664 1395.60/1396.17 c nbDecision=349000 #constraints=31696 1399.60/1400.18 c nbDecision=349500 #constraints=31731 1400.30/1400.87 c nbDecision=350000 #constraints=31736 1401.20/1401.70 c nbDecision=350500 #constraints=31742 1417.89/1418.40 c nbDecision=351000 #constraints=31933 1423.89/1424.48 c nbDecision=351500 #constraints=31986 1428.99/1429.53 c nbDecision=352000 #constraints=32030 1429.79/1430.35 c nbDecision=352500 #constraints=32037 1431.49/1432.08 c nbDecision=353000 #constraints=32055 1450.48/1451.00 c nbDecision=353500 #constraints=32326 1459.78/1460.36 c nbDecision=354000 #constraints=32408 1462.48/1463.09 c nbDecision=354500 #constraints=32433 1463.58/1464.15 c nbDecision=355000 #constraints=32443 1464.38/1464.94 c nbDecision=355500 #constraints=32451 1464.88/1465.46 c nbDecision=356000 #constraints=32454 1479.27/1479.87 c nbDecision=356500 #constraints=32607 1481.37/1481.94 c nbDecision=357000 #constraints=32623 1482.67/1483.25 c nbDecision=357500 #constraints=32633 1482.97/1483.52 c nbDecision=358000 #constraints=32635 1485.67/1486.28 c nbDecision=358500 #constraints=32674 1501.67/1502.21 c nbDecision=359000 #constraints=32861 1510.87/1511.43 c nbDecision=359500 #constraints=32937 1512.57/1513.12 c nbDecision=360000 #constraints=32952 1514.07/1514.65 c nbDecision=360500 #constraints=32969 1514.37/1514.92 c nbDecision=361000 #constraints=32971 1514.77/1515.40 c nbDecision=361500 #constraints=32975 1530.96/1531.57 c nbDecision=362000 #constraints=33150 1536.46/1537.07 c nbDecision=362500 #constraints=33194 1542.05/1542.62 c nbDecision=363000 #constraints=33250 1542.95/1543.52 c nbDecision=363500 #constraints=33258 1543.65/1544.29 c nbDecision=364000 #constraints=33264 1555.96/1556.54 c nbDecision=364500 #constraints=33474 1568.55/1569.20 c nbDecision=365000 #constraints=33609 1571.85/1572.45 c nbDecision=365500 #constraints=33643 1574.05/1574.62 c nbDecision=366000 #constraints=33667 1574.65/1575.26 c nbDecision=366500 #constraints=33670 1590.85/1591.42 c nbDecision=367000 #constraints=33840 1596.25/1596.81 c nbDecision=367500 #constraints=33879 1600.64/1601.25 c nbDecision=368000 #constraints=33918 1601.44/1602.07 c nbDecision=368500 #constraints=33924 1602.05/1602.70 c nbDecision=369000 #constraints=33927 1619.43/1620.02 c nbDecision=369500 #constraints=34130 1625.33/1625.91 c nbDecision=370000 #constraints=34178 1630.34/1630.97 c nbDecision=370500 #constraints=34221 1631.44/1632.03 c nbDecision=371000 #constraints=34231 1632.44/1633.04 c nbDecision=371500 #constraints=34239 1648.34/1648.92 c nbDecision=372000 #constraints=34393 1654.33/1654.91 c nbDecision=372500 #constraints=34441 1658.43/1659.05 c nbDecision=373000 #constraints=34474 1659.13/1659.80 c nbDecision=373500 #constraints=34480 1660.13/1660.74 c nbDecision=374000 #constraints=34489 1675.32/1675.99 c nbDecision=374500 #constraints=34701 1690.02/1690.69 c nbDecision=375000 #constraints=34866 1695.11/1695.77 c nbDecision=375500 #constraints=34927 1697.52/1698.17 c nbDecision=376000 #constraints=34951 1699.22/1699.88 c nbDecision=376500 #constraints=34969 1699.52/1700.14 c nbDecision=377000 #constraints=34971 1700.12/1700.76 c nbDecision=377500 #constraints=34977 1706.72/1707.34 c nbDecision=378000 #constraints=35041 1709.52/1710.12 c nbDecision=378500 #constraints=35056 1710.12/1710.79 c nbDecision=379000 #constraints=35061 1710.72/1711.31 c nbDecision=379500 #constraints=35064 1711.02/1711.66 c nbDecision=380000 #constraints=35069 1719.61/1720.27 c nbDecision=380500 #constraints=35168 1736.01/1736.67 c nbDecision=381000 #constraints=35331 1739.11/1739.76 c nbDecision=381500 #constraints=35357 1741.10/1741.79 c nbDecision=382000 #constraints=35373 1741.50/1742.17 c nbDecision=382500 #constraints=35375 1742.20/1742.84 c nbDecision=383000 #constraints=35380 1755.30/1755.93 c nbDecision=383500 #constraints=35490 1760.19/1760.83 c nbDecision=384000 #constraints=35522 1764.29/1764.91 c nbDecision=384500 #constraints=35550 1764.99/1765.63 c nbDecision=385000 #constraints=35556 1768.10/1768.74 c nbDecision=385500 #constraints=35614 1784.19/1784.89 c nbDecision=386000 #constraints=35792 1788.69/1789.34 c nbDecision=386500 #constraints=35836 1789.59/1790.24 c nbDecision=387000 #constraints=35844 1790.79/1791.41 c nbDecision=387500 #constraints=35856 1791.39/1792.00 c nbDecision=388000 #constraints=35860 1800.10/1800.71 Received signal 15 1800.19/1800.81 1800.19/1800.81 s UNKNOWN 1800.19/1800.81 1800.19/1800.81 c user time= 1799.66 s 1800.19/1800.81 c system time= 0.553915 s 1800.19/1800.81 c wall clock time=1800.82
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node35/watcher-357412-1176997209 -o ROOT/results/node35/solver-357412-1176997209 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357412-1176997209/instance-357412-1176997209.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.96 3/77 21647 /proc/meminfo: memFree=1742712/2055920 swapFree=4150956/4192956 [pid=21647] ppid=21645 vsize=1468 CPUtime=0 /proc/21647/stat : 21647 (oree) R 21645 21647 20973 0 -1 4194304 178 0 0 0 0 0 0 0 18 0 1 0 147636352 1503232 160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134709422 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21647/statm: 367 160 127 317 0 46 0 [startup+0.0785171 s] /proc/loadavg: 0.92 0.98 0.96 3/77 21647 /proc/meminfo: memFree=1742712/2055920 swapFree=4150956/4192956 [pid=21647] ppid=21645 vsize=2304 CPUtime=0.07 /proc/21647/stat : 21647 (oree) R 21645 21647 20973 0 -1 4194304 407 0 0 0 7 0 0 0 18 0 1 0 147636352 2359296 356 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21647/statm: 576 356 131 317 0 255 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 2304 [startup+0.101519 s] /proc/loadavg: 0.92 0.98 0.96 3/77 21647 /proc/meminfo: memFree=1742712/2055920 swapFree=4150956/4192956 [pid=21647] ppid=21645 vsize=2572 CPUtime=0.09 /proc/21647/stat : 21647 (oree) R 21645 21647 20973 0 -1 4194304 469 0 0 0 9 0 0 0 18 0 1 0 147636352 2633728 418 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21647/statm: 643 418 131 317 0 322 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2572 [startup+0.301542 s] /proc/loadavg: 0.92 0.98 0.96 3/77 21647 /proc/meminfo: memFree=1742712/2055920 swapFree=4150956/4192956 [pid=21647] ppid=21645 vsize=6416 CPUtime=0.29 /proc/21647/stat : 21647 (oree) R 21645 21647 20973 0 -1 4194304 1440 0 0 0 29 0 0 0 19 0 1 0 147636352 6569984 1389 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21647/statm: 1604 1389 137 317 0 1283 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6416 [startup+0.701589 s] /proc/loadavg: 0.92 0.98 0.96 3/77 21647 /proc/meminfo: memFree=1742712/2055920 swapFree=4150956/4192956 [pid=21647] ppid=21645 vsize=6812 CPUtime=0.69 /proc/21647/stat : 21647 (oree) R 21645 21647 20973 0 -1 4194304 1521 0 0 0 69 0 0 0 23 0 1 0 147636352 6975488 1470 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21647/statm: 1703 1470 138 317 0 1382 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6812 [startup+1.50168 s] /proc/loadavg: 0.92 0.98 0.96 2/78 21648 /proc/meminfo: memFree=1737328/2055920 swapFree=4150956/4192956 [pid=21647] ppid=21645 vsize=6948 CPUtime=1.49 /proc/21647/stat : 21647 (oree) R 21645 21647 20973 0 -1 4194304 1543 0 0 0 149 0 0 0 25 0 1 0 147636352 7114752 1492 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21647/statm: 1737 1492 139 317 0 1416 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6948 [startup+3.10187 s] /proc/loadavg: 0.93 0.98 0.96 2/78 21648 /proc/meminfo: memFree=1736624/2055920 swapFree=4150956/4192956 [pid=21647] ppid=21645 vsize=8936 CPUtime=3.09 /proc/21647/stat : 21647 (oree) R 21645 21647 20973 0 -1 4194304 2098 0 0 0 309 0 0 0 25 0 1 0 147636352 9150464 2047 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385188 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21647/statm: 2234 2047 170 317 0 1913 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8936 [startup+6.30124 s] /proc/loadavg: 0.93 0.98 0.96 2/78 21648 /proc/meminfo: memFree=1731760/2055920 swapFree=4150956/4192956 [pid=21647] ppid=21645 vsize=12740 CPUtime=6.29 /proc/21647/stat : 21647 (oree) R 21645 21647 20973 0 -1 4194304 3045 0 0 0 628 1 0 0 25 0 1 0 147636352 13045760 2994 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134546727 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21647/statm: 3185 2994 170 317 0 2864 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 12740 [startup+12.703 s] /proc/loadavg: 0.94 0.98 0.96 2/78 21648 /proc/meminfo: memFree=1726192/2055920 swapFree=4150956/4192956 [pid=21647] ppid=21645 vsize=18160 CPUtime=12.69 /proc/21647/stat : 21647 (oree) R 21645 21647 20973 0 -1 4194304 4392 0 0 0 1267 2 0 0 25 0 1 0 147636352 18595840 4341 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713767 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21647/statm: 4540 4341 170 317 0 4219 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 18160 [startup+25.5015 s] /proc/loadavg: 0.95 0.98 0.96 2/78 21648 /proc/meminfo: memFree=1717744/2055920 swapFree=4150956/4192956 [pid=21647] ppid=21645 vsize=26640 CPUtime=25.48 /proc/21647/stat : 21647 (oree) R 21645 21647 20973 0 -1 4194304 6419 0 0 0 2544 4 0 0 25 0 1 0 147636352 27279360 6368 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21647/statm: 6660 6368 170 317 0 6339 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 26640 [startup+51.1015 s] /proc/loadavg: 0.96 0.98 0.96 2/78 21648 /proc/meminfo: memFree=1707568/2055920 swapFree=4150956/4192956 [pid=21647] ppid=21645 vsize=37664 CPUtime=51.07 /proc/21647/stat : 21647 (oree) R 21645 21647 20973 0 -1 4194304 8942 0 0 0 5101 6 0 0 25 0 1 0 147636352 38567936 8841 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21647/statm: 9416 8841 170 317 0 9095 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 37664 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.96 2/78 21648 /proc/meminfo: memFree=1696112/2055920 swapFree=4150956/4192956 [pid=21647] ppid=21645 vsize=48376 CPUtime=102.26 /proc/21647/stat : 21647 (oree) R 21645 21647 20973 0 -1 4194304 11851 0 0 0 10217 9 0 0 25 0 1 0 147636352 49537024 11750 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21647/statm: 12094 11750 170 317 0 11773 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 48376 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.96 2/78 21648 /proc/meminfo: memFree=1682864/2055920 swapFree=4150956/4192956 [pid=21647] ppid=21645 vsize=64428 CPUtime=162.24 /proc/21647/stat : 21647 (oree) R 21645 21647 20973 0 -1 4194304 15157 0 0 0 16212 12 0 0 25 0 1 0 147636352 65974272 15056 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21647/statm: 16107 15056 170 317 0 15786 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 64428 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.96 2/78 21648 /proc/meminfo: memFree=1674736/2055920 swapFree=4150956/4192956 [pid=21647] ppid=21645 vsize=71744 CPUtime=222.23 /proc/21647/stat : 21647 (oree) R 21645 21647 20973 0 -1 4194304 17162 0 0 0 22208 15 0 0 25 0 1 0 147636352 73465856 17061 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21647/statm: 17936 17061 170 317 0 17615 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 71744 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.96 2/78 21648 /proc/meminfo: memFree=1667568/2055920 swapFree=4150956/4192956 [pid=21647] ppid=21645 vsize=78600 CPUtime=282.21 /proc/21647/stat : 21647 (oree) R 21645 21647 20973 0 -1 4194304 19050 0 0 0 28204 17 0 0 25 0 1 0 147636352 80486400 18850 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604372 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21647/statm: 19650 18850 170 317 0 19329 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 78600 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.96 2/78 21648 /proc/meminfo: memFree=1660912/2055920 swapFree=4150956/4192956 [pid=21647] ppid=21645 vsize=84816 CPUtime=342.2 /proc/21647/stat : 21647 (oree) R 21645 21647 20973 0 -1 4194304 20701 0 0 0 34201 19 0 0 25 0 1 0 147636352 86851584 20501 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21647/statm: 21204 20501 170 317 0 20883 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 84816 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.96 2/78 21648 /proc/meminfo: memFree=1654896/2055920 swapFree=4150956/4192956 [pid=21647] ppid=21645 vsize=90620 CPUtime=402.18 /proc/21647/stat : 21647 (oree) R 21645 21647 20973 0 -1 4194304 22279 0 0 0 40197 21 0 0 25 0 1 0 147636352 92794880 22079 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21647/statm: 22655 22079 170 317 0 22334 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 90620 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.96 2/78 21648 /proc/meminfo: memFree=1646960/2055920 swapFree=4150956/4192956 [pid=21647] ppid=21645 vsize=106468 CPUtime=462.16 /proc/21647/stat : 21647 (oree) R 21645 21647 20973 0 -1 4194304 25699 0 0 0 46192 24 0 0 25 0 1 0 147636352 109023232 23981 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21647/statm: 26617 23981 170 317 0 26296 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 106468 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.96 2/78 21648 /proc/meminfo: memFree=1641648/2055920 swapFree=4150956/4192956 [pid=21647] ppid=21645 vsize=111844 CPUtime=522.15 /proc/21647/stat : 21647 (oree) R 21645 21647 20973 0 -1 4194304 27119 0 0 0 52188 27 0 0 25 0 1 0 147636352 114528256 25335 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602404 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21647/statm: 27961 25335 170 317 0 27640 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 111844 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.96 2/78 21648 /proc/meminfo: memFree=1636464/2055920 swapFree=4150956/4192956 [pid=21647] ppid=21645 vsize=116184 CPUtime=582.13 /proc/21647/stat : 21647 (oree) R 21645 21647 20973 0 -1 4194304 28395 0 0 0 58185 28 0 0 25 0 1 0 147636352 118972416 26611 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21647/statm: 29046 26611 170 317 0 28725 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 116184 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.96 2/78 21648 /proc/meminfo: memFree=1631920/2055920 swapFree=4150956/4192956 [pid=21647] ppid=21645 vsize=120104 CPUtime=642.12 /proc/21647/stat : 21647 (oree) R 21645 21647 20973 0 -1 4194304 29510 0 0 0 64183 29 0 0 25 0 1 0 147636352 122986496 27726 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21647/statm: 30026 27726 170 317 0 29705 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 120104 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.96 2/78 21648 /proc/meminfo: memFree=1615344/2055920 swapFree=4150956/4192956 [pid=21647] ppid=21645 vsize=134776 CPUtime=882.05 /proc/21647/stat : 21647 (oree) R 21645 21647 20973 0 -1 4194304 33709 0 0 0 88171 34 0 0 25 0 1 0 147636352 138010624 31859 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21647/statm: 33694 31859 170 317 0 33373 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 134776 [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.96 2/78 21648 /proc/meminfo: memFree=1611760/2055920 swapFree=4150956/4192956 [pid=21647] ppid=21645 vsize=138176 CPUtime=942.04 /proc/21647/stat : 21647 (oree) R 21645 21647 20973 0 -1 4194304 34626 0 0 0 94168 36 0 0 25 0 1 0 147636352 141492224 32776 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21647/statm: 34544 32776 170 317 0 34223 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 138176 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.96 2/78 21648 /proc/meminfo: memFree=1607728/2055920 swapFree=4150956/4192956 [pid=21647] ppid=21645 vsize=141460 CPUtime=1002.02 /proc/21647/stat : 21647 (oree) R 21645 21647 20973 0 -1 4194304 35619 0 0 0 100165 37 0 0 25 0 1 0 147636352 144855040 33769 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21647/statm: 35365 33769 170 317 0 35044 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 141460 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.96 2/78 21648 /proc/meminfo: memFree=1604912/2055920 swapFree=4150956/4192956 [pid=21647] ppid=21645 vsize=143956 CPUtime=1062 /proc/21647/stat : 21647 (oree) R 21645 21647 20973 0 -1 4194304 36340 0 0 0 106162 38 0 0 25 0 1 0 147636352 147410944 34490 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21647/statm: 35989 34490 170 317 0 35668 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 143956 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.96 2/78 21648 /proc/meminfo: memFree=1601392/2055920 swapFree=4150956/4192956 [pid=21647] ppid=21645 vsize=147080 CPUtime=1121.98 /proc/21647/stat : 21647 (oree) R 21645 21647 20973 0 -1 4194304 37283 0 0 0 112159 39 0 0 25 0 1 0 147636352 150609920 35334 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21647/statm: 36770 35334 170 317 0 36449 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 147080 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.96 2/78 21648 /proc/meminfo: memFree=1598128/2055920 swapFree=4150956/4192956 [pid=21647] ppid=21645 vsize=150900 CPUtime=1181.96 /proc/21647/stat : 21647 (oree) R 21645 21647 20973 0 -1 4194304 38317 0 0 0 118155 41 0 0 25 0 1 0 147636352 154521600 36171 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21647/statm: 37725 36171 170 317 0 37404 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 150900 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.96 2/78 21648 /proc/meminfo: memFree=1594864/2055920 swapFree=4150956/4192956 [pid=21647] ppid=21645 vsize=153656 CPUtime=1241.95 /proc/21647/stat : 21647 (oree) R 21645 21647 20973 0 -1 4194304 39116 0 0 0 124152 43 0 0 25 0 1 0 147636352 157343744 36970 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21647/statm: 38414 36970 170 317 0 38093 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 153656 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.96 2/84 21824 /proc/meminfo: memFree=1590072/2055920 swapFree=4150956/4192956 [pid=21647] ppid=21645 vsize=156660 CPUtime=1301.84 /proc/21647/stat : 21647 (oree) R 21645 21647 20973 0 -1 4194304 40024 0 0 0 130140 44 0 0 25 0 1 0 147636352 160419840 37845 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564027 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21647/statm: 39165 37845 170 317 0 38844 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 156660 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.96 2/78 21846 /proc/meminfo: memFree=1588080/2055920 swapFree=4150956/4192956 [pid=21647] ppid=21645 vsize=159668 CPUtime=1361.81 /proc/21647/stat : 21647 (oree) R 21645 21647 20973 0 -1 4194304 40848 0 0 0 136136 45 0 0 25 0 1 0 147636352 163500032 38636 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21647/statm: 39917 38636 170 317 0 39596 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 159668 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.96 2/78 21846 /proc/meminfo: memFree=1585328/2055920 swapFree=4150956/4192956 [pid=21647] ppid=21645 vsize=162272 CPUtime=1421.79 /proc/21647/stat : 21647 (oree) R 21645 21647 20973 0 -1 4194304 41600 0 0 0 142133 46 0 0 25 0 1 0 147636352 166166528 39322 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718437 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21647/statm: 40568 39322 170 317 0 40247 0 Current children cumulated CPU time (s) 1421.79 Current children cumulated vsize (KiB) 162272 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.96 2/78 21846 /proc/meminfo: memFree=1582000/2055920 swapFree=4150956/4192956 [pid=21647] ppid=21645 vsize=164904 CPUtime=1481.77 /proc/21647/stat : 21647 (oree) R 21645 21647 20973 0 -1 4194304 42413 0 0 0 148130 47 0 0 25 0 1 0 147636352 168861696 40135 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21647/statm: 41226 40135 170 317 0 40905 0 Current children cumulated CPU time (s) 1481.77 Current children cumulated vsize (KiB) 164904 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.96 2/78 21846 /proc/meminfo: memFree=1579312/2055920 swapFree=4150956/4192956 [pid=21647] ppid=21645 vsize=167656 CPUtime=1541.75 /proc/21647/stat : 21647 (oree) R 21645 21647 20973 0 -1 4194304 43172 0 0 0 154127 48 0 0 25 0 1 0 147636352 171679744 40861 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21647/statm: 41914 40861 170 317 0 41593 0 Current children cumulated CPU time (s) 1541.75 Current children cumulated vsize (KiB) 167656 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.96 2/78 21846 /proc/meminfo: memFree=1576240/2055920 swapFree=4150956/4192956 [pid=21647] ppid=21645 vsize=170672 CPUtime=1601.74 /proc/21647/stat : 21647 (oree) R 21645 21647 20973 0 -1 4194304 44004 0 0 0 160124 50 0 0 25 0 1 0 147636352 174768128 41627 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606848 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21647/statm: 42668 41627 170 317 0 42347 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 170672 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.96 2/78 21846 /proc/meminfo: memFree=1573488/2055920 swapFree=4150956/4192956 [pid=21647] ppid=21645 vsize=173036 CPUtime=1661.73 /proc/21647/stat : 21647 (oree) R 21645 21647 20973 0 -1 4194304 44697 0 0 0 166122 51 0 0 25 0 1 0 147636352 177188864 42320 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562657 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21647/statm: 43259 42320 170 317 0 42938 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 173036 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.96 2/78 21846 /proc/meminfo: memFree=1567664/2055920 swapFree=4150956/4192956 [pid=21647] ppid=21645 vsize=197708 CPUtime=1721.71 /proc/21647/stat : 21647 (oree) R 21645 21647 20973 0 -1 4194304 50523 0 0 0 172117 54 0 0 25 0 1 0 147636352 202452992 43693 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21647/statm: 49427 43693 170 317 0 49106 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 197708 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.96 2/78 21846 /proc/meminfo: memFree=1565680/2055920 swapFree=4150956/4192956 [pid=21647] ppid=21645 vsize=199796 CPUtime=1781.69 /proc/21647/stat : 21647 (oree) R 21645 21647 20973 0 -1 4194304 51134 0 0 0 178115 54 0 0 25 0 1 0 147636352 204591104 44239 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21647/statm: 49949 44239 170 317 0 49628 0 Current children cumulated CPU time (s) 1781.69 Current children cumulated vsize (KiB) 199796 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 0.99 0.98 0.96 2/78 21846 /proc/meminfo: memFree=1565040/2055920 swapFree=4150956/4192956 [pid=21647] ppid=21645 vsize=200448 CPUtime=1800.1 /proc/21647/stat : 21647 (oree) R 21645 21647 20973 0 -1 4194304 51304 0 0 0 179955 55 0 0 25 0 1 0 147636352 205258752 44409 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21647/statm: 50112 44409 170 317 0 49791 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 200448 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 0.99 0.98 0.96 2/78 21846 /proc/meminfo: memFree=1565040/2055920 swapFree=4150956/4192956 [pid=21647] ppid=21645 vsize=200448 CPUtime=1800.19 /proc/21647/stat : 21647 (oree) R 21645 21647 20973 0 -1 4194304 51305 0 0 0 179964 55 0 0 25 0 1 0 147636352 205258752 44410 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21647/statm: 50112 44410 170 317 0 49791 0 Current children cumulated CPU time (s) 1800.19 Current children cumulated vsize (KiB) 200448 Child status: 0 Real time (s): 1800.86 CPU time (s): 1800.25 CPU user time (s): 1799.67 CPU system time (s): 0.583911 CPU usage (%): 99.9664 Max. virtual memory (cumulated for all children) (KiB): 200448 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.67 system time used= 0.583911 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 51321 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= 36518 runsolver used 2.09968 second user time and 4.47032 second system time The end
Begin job on node35 on Thu Apr 19 15:40:09 UTC 2007 IDJOB= 357412 IDBENCH= 2554 IDSOLVER= 172 FILE ID= node35/357412-1176997209 PBS_JOBID= 4630464 Free space on /tmp= 66304 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-gesa3.opb COMMAND LINE= oree /tmp/evaluation/357412-1176997209/instance-357412-1176997209.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node35/watcher-357412-1176997209 -o ROOT/results/node35/solver-357412-1176997209 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357412-1176997209/instance-357412-1176997209.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= d3086c0e0af196eedd939c84273a060e RANDOM SEED= 747205306 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node35.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: 1743056 kB Buffers: 35080 kB Cached: 187996 kB SwapCached: 9280 kB Active: 179716 kB Inactive: 90732 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1743056 kB SwapTotal: 4192956 kB SwapFree: 4150956 kB Dirty: 2420 kB Writeback: 0 kB Mapped: 54112 kB Slab: 27604 kB Committed_AS: 2410836 kB PageTables: 2060 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= 66304 MiB End job on node35 on Thu Apr 19 16:10:12 UTC 2007