Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.17 | 1800.73 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib/normalized-reduced-mps-v2-20-10-set1cl.opb |
MD5SUM | 1e246214338ba705536e85585a980117 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 14400 |
Total number of constraints | 492 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 492 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 630 |
Number of terms in the objective function | 7200 |
Biggest coefficient in the objective function | 3484 |
Number of bits for the biggest coefficient in the objective function | 12 |
Sum of the numbers in the objective function | 530256 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262141 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 530256 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 0.09/0.12 c ...done 0.09/0.12 c #vars=14400 #constraints=733 hasObjective=yes 0.09/0.17 c res. mode=mod 0.09/0.17 c VSIDS like heuristics 0.09/0.17 c complete search running 0.19/0.24 c restart after 401 decisions 0.19/0.26 c nbDecision=500 #constraints=733 0.29/0.30 c restart after 801 decisions 0.29/0.33 c nbDecision=1000 #constraints=733 0.39/0.40 c nbDecision=1500 #constraints=733 0.39/0.42 c restart after 1601 decisions 0.39/0.48 c nbDecision=2000 #constraints=733 0.49/0.55 c nbDecision=2500 #constraints=733 0.59/0.62 c nbDecision=3000 #constraints=733 0.59/0.65 c restart after 3201 decisions 0.59/0.69 c nbDecision=3500 #constraints=733 0.69/0.77 c nbDecision=4000 #constraints=733 0.79/0.84 c nbDecision=4500 #constraints=733 0.89/0.90 c nbDecision=5000 #constraints=733 0.89/0.97 c nbDecision=5500 #constraints=733 0.99/1.03 c nbDecision=6000 #constraints=733 0.99/1.08 c restart after 6401 decisions 0.99/1.09 c nbDecision=6500 #constraints=733 1.10/1.16 c nbDecision=7000 #constraints=733 1.20/1.23 c nbDecision=7500 #constraints=733 1.20/1.30 c nbDecision=8000 #constraints=733 1.29/1.36 c nbDecision=8500 #constraints=733 1.39/1.42 c nbDecision=9000 #constraints=733 1.39/1.48 c nbDecision=9500 #constraints=733 1.49/1.53 c nbDecision=10000 #constraints=733 1.49/1.59 c nbDecision=10500 #constraints=733 1.59/1.64 c nbDecision=11000 #constraints=733 1.89/1.92 c nbDecision=11500 #constraints=927 2.59/2.67 c nbDecision=12000 #constraints=1341 3.69/3.74 c nbDecision=12500 #constraints=1768 3.99/4.06 c restart after 12801 decisions 4.09/4.13 c nbDecision=13000 #constraints=2029 4.19/4.21 c nbDecision=13500 #constraints=2029 4.19/4.28 c nbDecision=14000 #constraints=2029 4.29/4.36 c nbDecision=14500 #constraints=2029 4.39/4.42 c nbDecision=15000 #constraints=2029 4.39/4.48 c nbDecision=15500 #constraints=2029 4.49/4.54 c nbDecision=16000 #constraints=2029 4.59/4.60 c nbDecision=16500 #constraints=2029 4.59/4.65 c nbDecision=17000 #constraints=2029 4.69/4.71 c nbDecision=17500 #constraints=2029 5.19/5.22 c nbDecision=18000 #constraints=2292 5.39/5.45 c nbDecision=18500 #constraints=2370 5.59/5.69 c nbDecision=19000 #constraints=2447 5.88/5.96 c nbDecision=19500 #constraints=2539 6.18/6.23 c nbDecision=20000 #constraints=2623 6.49/6.50 c nbDecision=20500 #constraints=2710 7.09/7.13 c nbDecision=21000 #constraints=2954 7.59/7.67 c nbDecision=21500 #constraints=3139 7.89/7.96 c nbDecision=22000 #constraints=3224 8.19/8.26 c nbDecision=22500 #constraints=3307 8.49/8.56 c nbDecision=23000 #constraints=3392 8.79/8.88 c nbDecision=23500 #constraints=3478 9.19/9.23 c nbDecision=24000 #constraints=3573 9.79/9.84 c nbDecision=24500 #constraints=3743 10.08/10.18 c nbDecision=25000 #constraints=3825 10.48/10.53 c nbDecision=25500 #constraints=3914 10.59/10.60 c restart after 25601 decisions 10.69/10.78 c nbDecision=26000 #constraints=3930 10.79/10.84 c nbDecision=26500 #constraints=3930 10.89/10.90 c nbDecision=27000 #constraints=3930 10.89/10.99 c nbDecision=27500 #constraints=3930 11.00/11.05 c nbDecision=28000 #constraints=3930 11.10/11.13 c nbDecision=28500 #constraints=3930 11.10/11.19 c nbDecision=29000 #constraints=3930 11.19/11.24 c nbDecision=29500 #constraints=3930 11.19/11.29 c nbDecision=30000 #constraints=3930 11.39/11.46 c nbDecision=30500 #constraints=3935 12.89/12.94 c nbDecision=31000 #constraints=4076 13.49/13.57 c nbDecision=31500 #constraints=4113 14.29/14.40 c nbDecision=32000 #constraints=4159 14.69/14.77 c nbDecision=32500 #constraints=4185 15.68/15.79 c nbDecision=33000 #constraints=4432 16.09/16.11 c nbDecision=33500 #constraints=4456 16.79/16.84 c nbDecision=34000 #constraints=4497 17.39/17.43 c nbDecision=34500 #constraints=4532 18.49/18.54 c nbDecision=35000 #constraints=4743 19.48/19.52 c nbDecision=35500 #constraints=4807 19.98/20.06 c nbDecision=36000 #constraints=4840 20.38/20.42 c nbDecision=36500 #constraints=4865 20.58/20.64 c nbDecision=37000 #constraints=4884 21.48/21.52 c nbDecision=37500 #constraints=4930 21.98/22.03 c nbDecision=38000 #constraints=4961 22.28/22.32 c nbDecision=38500 #constraints=4983 22.58/22.62 c nbDecision=39000 #constraints=5006 23.48/23.58 c nbDecision=39500 #constraints=5055 23.79/23.83 c nbDecision=40000 #constraints=5076 23.99/24.03 c nbDecision=40500 #constraints=5094 24.39/24.48 c nbDecision=41000 #constraints=5122 24.99/25.08 c nbDecision=41500 #constraints=5156 25.59/25.63 c nbDecision=42000 #constraints=5189 26.29/26.38 c nbDecision=42500 #constraints=5229 26.79/26.82 c nbDecision=43000 #constraints=5258 27.49/27.59 c nbDecision=43500 #constraints=5300 29.38/29.42 c nbDecision=44000 #constraints=5606 29.98/30.00 c nbDecision=44500 #constraints=5639 30.58/30.62 c nbDecision=45000 #constraints=5673 31.58/31.62 c nbDecision=45500 #constraints=5723 31.88/31.95 c nbDecision=46000 #constraints=5746 32.48/32.58 c nbDecision=46500 #constraints=5781 32.98/33.02 c nbDecision=47000 #constraints=5807 34.28/34.31 c nbDecision=47500 #constraints=5869 34.48/34.56 c nbDecision=48000 #constraints=5887 35.08/35.14 c nbDecision=48500 #constraints=5920 35.29/35.38 c nbDecision=49000 #constraints=5939 35.68/35.79 c nbDecision=49500 #constraints=5963 36.68/36.72 c nbDecision=50000 #constraints=6010 37.78/37.80 c nbDecision=50500 #constraints=6062 38.68/38.71 c nbDecision=51000 #constraints=6107 38.88/38.90 c restart after 51201 decisions 39.08/39.15 c nbDecision=51500 #constraints=6118 39.18/39.29 c nbDecision=52000 #constraints=6118 39.28/39.37 c nbDecision=52500 #constraints=6118 39.38/39.48 c nbDecision=53000 #constraints=6118 39.48/39.55 c nbDecision=53500 #constraints=6118 39.58/39.64 c nbDecision=54000 #constraints=6118 39.68/39.70 c nbDecision=54500 #constraints=6118 39.68/39.77 c nbDecision=55000 #constraints=6118 39.78/39.82 c nbDecision=55500 #constraints=6118 39.88/39.95 c nbDecision=56000 #constraints=6118 40.68/40.79 c nbDecision=56500 #constraints=6478 41.37/41.48 c nbDecision=57000 #constraints=6798 42.38/42.44 c nbDecision=57500 #constraints=7252 43.58/43.66 c nbDecision=58000 #constraints=7663 44.08/44.13 c nbDecision=58500 #constraints=7811 44.38/44.48 c nbDecision=59000 #constraints=7922 44.78/44.86 c nbDecision=59500 #constraints=8019 45.19/45.24 c nbDecision=60000 #constraints=8121 45.58/45.62 c nbDecision=60500 #constraints=8223 45.88/45.99 c nbDecision=61000 #constraints=8318 46.28/46.36 c nbDecision=61500 #constraints=8394 47.18/47.21 c nbDecision=62000 #constraints=8582 48.58/48.60 c nbDecision=62500 #constraints=8849 49.87/49.98 c nbDecision=63000 #constraints=9244 50.98/51.03 c nbDecision=63500 #constraints=9500 52.17/52.21 c nbDecision=64000 #constraints=9709 52.67/52.75 c nbDecision=64500 #constraints=9843 53.28/53.36 c nbDecision=65000 #constraints=10016 53.88/53.91 c nbDecision=65500 #constraints=10111 54.38/54.44 c nbDecision=66000 #constraints=10197 54.98/55.02 c nbDecision=66500 #constraints=10302 55.57/55.62 c nbDecision=67000 #constraints=10429 56.57/56.67 c nbDecision=67500 #constraints=10578 58.57/58.62 c nbDecision=68000 #constraints=10789 60.27/60.36 c nbDecision=68500 #constraints=10997 62.07/62.17 c nbDecision=69000 #constraints=11206 62.97/63.07 c nbDecision=69500 #constraints=11286 63.57/63.63 c nbDecision=70000 #constraints=11315 64.07/64.11 c nbDecision=70500 #constraints=11334 64.57/64.61 c nbDecision=71000 #constraints=11354 65.08/65.20 c nbDecision=71500 #constraints=11386 65.68/65.72 c nbDecision=72000 #constraints=11408 66.18/66.20 c nbDecision=72500 #constraints=11427 66.68/66.72 c nbDecision=73000 #constraints=11447 67.18/67.21 c nbDecision=73500 #constraints=11466 67.67/67.73 c nbDecision=74000 #constraints=11487 68.18/68.29 c nbDecision=74500 #constraints=11515 68.67/68.80 c nbDecision=75000 #constraints=11535 69.38/69.42 c nbDecision=75500 #constraints=11571 69.87/69.98 c nbDecision=76000 #constraints=11597 70.48/70.50 c nbDecision=76500 #constraints=11617 70.97/71.01 c nbDecision=77000 #constraints=11637 71.48/71.55 c nbDecision=77500 #constraints=11658 71.97/72.06 c nbDecision=78000 #constraints=11678 72.47/72.57 c nbDecision=78500 #constraints=11697 72.97/73.07 c nbDecision=79000 #constraints=11717 73.47/73.58 c nbDecision=79500 #constraints=11736 73.97/74.09 c nbDecision=80000 #constraints=11755 74.57/74.63 c nbDecision=80500 #constraints=11775 75.07/75.14 c nbDecision=81000 #constraints=11795 75.57/75.68 c nbDecision=81500 #constraints=11817 76.17/76.20 c nbDecision=82000 #constraints=11836 76.67/76.72 c nbDecision=82500 #constraints=11856 77.17/77.24 c nbDecision=83000 #constraints=11876 77.67/77.73 c nbDecision=83500 #constraints=11894 78.17/78.28 c nbDecision=84000 #constraints=11915 78.76/78.81 c nbDecision=84500 #constraints=11935 79.27/79.35 c nbDecision=85000 #constraints=11955 79.76/79.85 c nbDecision=85500 #constraints=11974 80.27/80.40 c nbDecision=86000 #constraints=11995 80.86/80.90 c nbDecision=86500 #constraints=12014 81.37/81.44 c nbDecision=87000 #constraints=12034 81.87/81.97 c nbDecision=87500 #constraints=12054 82.47/82.58 c nbDecision=88000 #constraints=12078 83.07/83.10 c nbDecision=88500 #constraints=12098 83.57/83.64 c nbDecision=89000 #constraints=12118 84.07/84.16 c nbDecision=89500 #constraints=12138 84.67/84.71 c nbDecision=90000 #constraints=12159 85.17/85.24 c nbDecision=90500 #constraints=12179 85.67/85.77 c nbDecision=91000 #constraints=12199 86.26/86.30 c nbDecision=91500 #constraints=12219 86.76/86.84 c nbDecision=92000 #constraints=12239 87.26/87.34 c nbDecision=92500 #constraints=12258 87.76/87.88 c nbDecision=93000 #constraints=12279 88.26/88.40 c nbDecision=93500 #constraints=12298 88.86/88.90 c nbDecision=94000 #constraints=12316 89.36/89.41 c nbDecision=94500 #constraints=12336 89.86/89.93 c nbDecision=95000 #constraints=12355 90.36/90.48 c nbDecision=95500 #constraints=12376 90.96/91.02 c nbDecision=96000 #constraints=12396 91.46/91.53 c nbDecision=96500 #constraints=12415 91.96/92.06 c nbDecision=97000 #constraints=12435 92.46/92.56 c nbDecision=97500 #constraints=12453 92.96/93.09 c nbDecision=98000 #constraints=12473 93.56/93.61 c nbDecision=98500 #constraints=12492 94.06/94.18 c nbDecision=99000 #constraints=12513 94.57/94.70 c nbDecision=99500 #constraints=12532 95.16/95.21 c nbDecision=100000 #constraints=12551 95.67/95.77 c nbDecision=100500 #constraints=12571 96.26/96.33 c nbDecision=101000 #constraints=12592 96.77/96.85 c nbDecision=101500 #constraints=12611 97.26/97.39 c nbDecision=102000 #constraints=12631 97.76/97.83 c restart after 102401 decisions 98.36/98.43 c nbDecision=102500 #constraints=12647 98.56/98.61 c nbDecision=103000 #constraints=12647 98.56/98.69 c nbDecision=103500 #constraints=12647 98.76/98.82 c nbDecision=104000 #constraints=12647 98.86/98.92 c nbDecision=104500 #constraints=12647 98.96/99.05 c nbDecision=105000 #constraints=12647 99.06/99.11 c nbDecision=105500 #constraints=12647 99.16/99.23 c nbDecision=106000 #constraints=12647 99.16/99.28 c nbDecision=106500 #constraints=12647 99.26/99.34 c nbDecision=107000 #constraints=12647 99.96/100.00 c nbDecision=107500 #constraints=12691 100.96/101.00 c nbDecision=108000 #constraints=12805 101.46/101.59 c nbDecision=108500 #constraints=12825 102.06/102.16 c nbDecision=109000 #constraints=12844 102.66/102.73 c nbDecision=109500 #constraints=12864 103.16/103.27 c nbDecision=110000 #constraints=12882 103.96/104.03 c nbDecision=110500 #constraints=12943 104.86/104.95 c nbDecision=111000 #constraints=13039 105.46/105.51 c nbDecision=111500 #constraints=13057 106.55/106.68 c nbDecision=112000 #constraints=13201 107.35/107.42 c nbDecision=112500 #constraints=13234 107.95/108.03 c nbDecision=113000 #constraints=13254 109.35/109.43 c nbDecision=113500 #constraints=13362 110.15/110.30 c nbDecision=114000 #constraints=13409 110.95/111.06 c nbDecision=114500 #constraints=13462 112.36/112.44 c nbDecision=115000 #constraints=13554 113.06/113.12 c nbDecision=115500 #constraints=13583 114.26/114.38 c nbDecision=116000 #constraints=13667 115.05/115.12 c nbDecision=116500 #constraints=13699 115.85/115.97 c nbDecision=117000 #constraints=13743 117.25/117.39 c nbDecision=117500 #constraints=13872 117.95/118.05 c nbDecision=118000 #constraints=13898 118.65/118.77 c nbDecision=118500 #constraints=13927 119.65/119.76 c nbDecision=119000 #constraints=13978 120.35/120.46 c nbDecision=119500 #constraints=13999 120.95/121.10 c nbDecision=120000 #constraints=14017 121.75/121.84 c nbDecision=120500 #constraints=14051 122.45/122.51 c nbDecision=121000 #constraints=14074 123.05/123.19 c nbDecision=121500 #constraints=14093 123.75/123.86 c nbDecision=122000 #constraints=14117 124.45/124.56 c nbDecision=122500 #constraints=14141 125.15/125.25 c nbDecision=123000 #constraints=14160 126.05/126.14 c nbDecision=123500 #constraints=14205 126.75/126.88 c nbDecision=124000 #constraints=14229 127.75/127.89 c nbDecision=124500 #constraints=14305 128.45/128.57 c nbDecision=125000 #constraints=14327 130.55/130.68 c nbDecision=125500 #constraints=14596 131.25/131.35 c nbDecision=126000 #constraints=14614 131.95/132.05 c nbDecision=126500 #constraints=14640 132.65/132.70 c nbDecision=127000 #constraints=14658 133.34/133.40 c nbDecision=127500 #constraints=14678 133.94/134.06 c nbDecision=128000 #constraints=14696 134.84/134.93 c nbDecision=128500 #constraints=14749 135.44/135.59 c nbDecision=129000 #constraints=14766 136.14/136.30 c nbDecision=129500 #constraints=14786 136.84/136.99 c nbDecision=130000 #constraints=14805 137.55/137.69 c nbDecision=130500 #constraints=14825 138.34/138.42 c nbDecision=131000 #constraints=14845 138.94/139.09 c nbDecision=131500 #constraints=14863 139.74/139.80 c nbDecision=132000 #constraints=14884 140.34/140.47 c nbDecision=132500 #constraints=14902 141.04/141.18 c nbDecision=133000 #constraints=14921 141.74/141.90 c nbDecision=133500 #constraints=14941 142.44/142.59 c nbDecision=134000 #constraints=14960 143.14/143.30 c nbDecision=134500 #constraints=14980 143.85/143.97 c nbDecision=135000 #constraints=14998 144.55/144.64 c nbDecision=135500 #constraints=15016 145.25/145.38 c nbDecision=136000 #constraints=15037 146.04/146.12 c nbDecision=136500 #constraints=15057 146.74/146.82 c nbDecision=137000 #constraints=15086 147.54/147.63 c nbDecision=137500 #constraints=15123 148.24/148.33 c nbDecision=138000 #constraints=15142 148.94/149.01 c nbDecision=138500 #constraints=15161 149.55/149.69 c nbDecision=139000 #constraints=15179 150.24/150.37 c nbDecision=139500 #constraints=15198 150.94/151.01 c nbDecision=140000 #constraints=15216 151.64/151.72 c nbDecision=140500 #constraints=15235 152.44/152.52 c nbDecision=141000 #constraints=15274 153.14/153.20 c nbDecision=141500 #constraints=15293 153.74/153.88 c nbDecision=142000 #constraints=15311 155.14/155.28 c nbDecision=142500 #constraints=15446 156.94/157.06 c nbDecision=143000 #constraints=15635 158.34/158.45 c nbDecision=143500 #constraints=15808 160.54/160.61 c nbDecision=144000 #constraints=16057 161.74/161.87 c nbDecision=144500 #constraints=16131 162.84/162.98 c nbDecision=145000 #constraints=16212 164.13/164.26 c nbDecision=145500 #constraints=16278 165.73/165.85 c nbDecision=146000 #constraints=16361 168.13/168.21 c nbDecision=146500 #constraints=16542 169.13/169.24 c nbDecision=147000 #constraints=16593 170.34/170.44 c nbDecision=147500 #constraints=16669 171.54/171.67 c nbDecision=148000 #constraints=16722 172.84/172.93 c nbDecision=148500 #constraints=16795 174.54/174.67 c nbDecision=149000 #constraints=16879 175.74/175.86 c nbDecision=149500 #constraints=16928 176.74/176.81 c nbDecision=150000 #constraints=16959 177.73/177.88 c nbDecision=150500 #constraints=17002 178.63/178.78 c nbDecision=151000 #constraints=17024 179.63/179.75 c nbDecision=151500 #constraints=17070 182.53/182.63 c nbDecision=152000 #constraints=17269 183.93/184.04 c nbDecision=152500 #constraints=17354 185.03/185.12 c nbDecision=153000 #constraints=17385 186.33/186.42 c nbDecision=153500 #constraints=17453 187.93/188.02 c nbDecision=154000 #constraints=17578 188.82/188.96 c nbDecision=154500 #constraints=17612 189.92/190.05 c nbDecision=155000 #constraints=17648 190.82/190.99 c nbDecision=155500 #constraints=17674 191.92/192.00 c nbDecision=156000 #constraints=17708 193.02/193.14 c nbDecision=156500 #constraints=17737 194.02/194.15 c nbDecision=157000 #constraints=17774 195.12/195.20 c nbDecision=157500 #constraints=17800 196.22/196.38 c nbDecision=158000 #constraints=17837 197.92/198.09 c nbDecision=158500 #constraints=17912 198.92/199.07 c nbDecision=159000 #constraints=17948 199.92/200.07 c nbDecision=159500 #constraints=17972 200.92/201.09 c nbDecision=160000 #constraints=18000 202.03/202.10 c nbDecision=160500 #constraints=18022 203.13/203.21 c nbDecision=161000 #constraints=18063 205.82/205.94 c nbDecision=161500 #constraints=18324 207.42/207.54 c nbDecision=162000 #constraints=18419 208.82/208.96 c nbDecision=162500 #constraints=18496 209.91/210.06 c nbDecision=163000 #constraints=18544 210.91/211.07 c nbDecision=163500 #constraints=18572 212.41/212.54 c nbDecision=164000 #constraints=18653 213.72/213.89 c nbDecision=164500 #constraints=18729 214.72/214.88 c nbDecision=165000 #constraints=18748 215.72/215.86 c nbDecision=165500 #constraints=18773 216.72/216.83 c nbDecision=166000 #constraints=18792 217.72/217.85 c nbDecision=166500 #constraints=18823 218.72/218.89 c nbDecision=167000 #constraints=18844 219.82/219.97 c nbDecision=167500 #constraints=18887 220.82/220.94 c nbDecision=168000 #constraints=18910 221.82/221.91 c nbDecision=168500 #constraints=18929 222.82/222.95 c nbDecision=169000 #constraints=18950 223.81/223.93 c nbDecision=169500 #constraints=18971 224.71/224.88 c nbDecision=170000 #constraints=18990 225.61/225.76 c nbDecision=170500 #constraints=19008 226.61/226.77 c nbDecision=171000 #constraints=19036 227.51/227.68 c nbDecision=171500 #constraints=19054 228.51/228.65 c nbDecision=172000 #constraints=19074 229.51/229.61 c nbDecision=172500 #constraints=19093 230.41/230.52 c nbDecision=173000 #constraints=19111 231.31/231.45 c nbDecision=173500 #constraints=19130 232.31/232.44 c nbDecision=174000 #constraints=19149 233.31/233.44 c nbDecision=174500 #constraints=19170 234.31/234.42 c nbDecision=175000 #constraints=19198 235.31/235.46 c nbDecision=175500 #constraints=19231 236.31/236.46 c nbDecision=176000 #constraints=19251 237.41/237.53 c nbDecision=176500 #constraints=19284 238.41/238.55 c nbDecision=177000 #constraints=19313 239.41/239.53 c nbDecision=177500 #constraints=19332 240.31/240.45 c nbDecision=178000 #constraints=19350 242.51/242.70 c nbDecision=178500 #constraints=19515 245.31/245.43 c nbDecision=179000 #constraints=19731 246.91/247.08 c nbDecision=179500 #constraints=19833 248.31/248.43 c nbDecision=180000 #constraints=19907 249.51/249.69 c nbDecision=180500 #constraints=19958 250.50/250.67 c nbDecision=181000 #constraints=19977 251.70/251.81 c nbDecision=181500 #constraints=20018 253.01/253.11 c nbDecision=182000 #constraints=20063 254.01/254.13 c nbDecision=182500 #constraints=20082 255.30/255.48 c nbDecision=183000 #constraints=20150 256.61/256.73 c nbDecision=183500 #constraints=20197 258.01/258.11 c nbDecision=184000 #constraints=20266 259.00/259.12 c nbDecision=184500 #constraints=20285 260.30/260.40 c nbDecision=185000 #constraints=20337 261.40/261.52 c nbDecision=185500 #constraints=20377 262.50/262.61 c nbDecision=186000 #constraints=20404 263.50/263.68 c nbDecision=186500 #constraints=20427 264.50/264.70 c nbDecision=187000 #constraints=20447 265.80/265.92 c nbDecision=187500 #constraints=20496 267.00/267.17 c nbDecision=188000 #constraints=20550 268.10/268.28 c nbDecision=188500 #constraints=20574 269.20/269.32 c nbDecision=189000 #constraints=20594 270.30/270.46 c nbDecision=189500 #constraints=20627 271.30/271.47 c nbDecision=190000 #constraints=20645 272.60/272.76 c nbDecision=190500 #constraints=20700 273.60/273.73 c nbDecision=191000 #constraints=20717 274.69/274.87 c nbDecision=191500 #constraints=20752 275.79/275.93 c nbDecision=192000 #constraints=20771 276.89/277.02 c nbDecision=192500 #constraints=20794 277.99/278.16 c nbDecision=193000 #constraints=20817 279.09/279.26 c nbDecision=193500 #constraints=20843 280.19/280.31 c nbDecision=194000 #constraints=20863 281.19/281.38 c nbDecision=194500 #constraints=20882 282.29/282.45 c nbDecision=195000 #constraints=20901 283.59/283.77 c nbDecision=195500 #constraints=20956 284.69/284.90 c nbDecision=196000 #constraints=20981 287.29/287.48 c nbDecision=196500 #constraints=21180 289.69/289.84 c nbDecision=197000 #constraints=21392 291.29/291.46 c nbDecision=197500 #constraints=21453 292.89/293.04 c nbDecision=198000 #constraints=21526 294.10/294.25 c nbDecision=198500 #constraints=21554 295.29/295.45 c nbDecision=199000 #constraints=21586 297.89/298.07 c nbDecision=199500 #constraints=21741 300.69/300.84 c nbDecision=200000 #constraints=22012 302.79/302.99 c nbDecision=200500 #constraints=22155 305.38/305.50 c nbDecision=201000 #constraints=22311 307.78/307.94 c nbDecision=201500 #constraints=22481 309.68/309.86 c nbDecision=202000 #constraints=22590 311.58/311.74 c nbDecision=202500 #constraints=22685 314.59/314.76 c nbDecision=203000 #constraints=22895 316.58/316.74 c nbDecision=203500 #constraints=22994 318.68/318.84 c nbDecision=204000 #constraints=23122 320.18/320.36 c nbDecision=204500 #constraints=23176 321.18/321.35 c restart after 204801 decisions 322.38/322.54 c nbDecision=205000 #constraints=23209 322.68/322.84 c nbDecision=205500 #constraints=23209 322.78/322.91 c nbDecision=206000 #constraints=23209 322.98/323.15 c nbDecision=206500 #constraints=23209 323.08/323.21 c nbDecision=207000 #constraints=23209 323.18/323.39 c nbDecision=207500 #constraints=23209 323.38/323.55 c nbDecision=208000 #constraints=23209 323.48/323.66 c nbDecision=208500 #constraints=23209 323.58/323.71 c nbDecision=209000 #constraints=23209 323.78/323.92 c nbDecision=209500 #constraints=23209 325.18/325.36 c nbDecision=210000 #constraints=23282 327.08/327.21 c nbDecision=210500 #constraints=23416 328.58/328.77 c nbDecision=211000 #constraints=23491 330.17/330.39 c nbDecision=211500 #constraints=23576 331.88/332.09 c nbDecision=212000 #constraints=23664 333.58/333.77 c nbDecision=212500 #constraints=23752 335.78/335.95 c nbDecision=213000 #constraints=23901 337.18/337.32 c nbDecision=213500 #constraints=24167 339.57/339.76 c nbDecision=214000 #constraints=24387 340.97/341.18 c nbDecision=214500 #constraints=24413 342.37/342.58 c nbDecision=215000 #constraints=24435 343.78/343.99 c nbDecision=215500 #constraints=24461 345.18/345.32 c nbDecision=216000 #constraints=24481 346.58/346.75 c nbDecision=216500 #constraints=24499 347.88/348.07 c nbDecision=217000 #constraints=24521 349.78/349.98 c nbDecision=217500 #constraints=24595 352.17/352.39 c nbDecision=218000 #constraints=24714 354.08/354.28 c nbDecision=218500 #constraints=25070 356.57/356.76 c nbDecision=219000 #constraints=25326 358.77/358.98 c nbDecision=219500 #constraints=25540 361.27/361.45 c nbDecision=220000 #constraints=25772 364.17/364.37 c nbDecision=220500 #constraints=25893 366.87/367.03 c nbDecision=221000 #constraints=26008 369.67/369.84 c nbDecision=221500 #constraints=26190 372.87/373.06 c nbDecision=222000 #constraints=26343 375.16/375.36 c nbDecision=222500 #constraints=26756 377.66/377.83 c nbDecision=223000 #constraints=27146 379.86/380.02 c nbDecision=223500 #constraints=27347 383.26/383.46 c nbDecision=224000 #constraints=27765 386.76/386.98 c nbDecision=224500 #constraints=28138 389.36/389.56 c nbDecision=225000 #constraints=28339 392.85/393.05 c nbDecision=225500 #constraints=28571 395.36/395.56 c nbDecision=226000 #constraints=28667 397.56/397.71 c nbDecision=226500 #constraints=28769 400.05/400.24 c nbDecision=227000 #constraints=28927 402.35/402.60 c nbDecision=227500 #constraints=29049 404.45/404.63 c nbDecision=228000 #constraints=29130 406.96/407.11 c nbDecision=228500 #constraints=29278 408.86/409.07 c nbDecision=229000 #constraints=29362 411.15/411.40 c nbDecision=229500 #constraints=29473 413.35/413.58 c nbDecision=230000 #constraints=29564 415.55/415.76 c nbDecision=230500 #constraints=29650 417.45/417.65 c nbDecision=231000 #constraints=29711 419.65/419.81 c nbDecision=231500 #constraints=29796 421.75/421.96 c nbDecision=232000 #constraints=29884 424.25/424.43 c nbDecision=232500 #constraints=30004 426.34/426.53 c nbDecision=233000 #constraints=30088 428.34/428.56 c nbDecision=233500 #constraints=30159 430.44/430.68 c nbDecision=234000 #constraints=30237 432.74/432.96 c nbDecision=234500 #constraints=30325 435.04/435.21 c nbDecision=235000 #constraints=30413 437.25/437.48 c nbDecision=235500 #constraints=30501 439.74/439.94 c nbDecision=236000 #constraints=30601 441.94/442.17 c nbDecision=236500 #constraints=30705 444.24/444.44 c nbDecision=237000 #constraints=30790 446.54/446.78 c nbDecision=237500 #constraints=30884 448.84/449.08 c nbDecision=238000 #constraints=30973 451.74/451.97 c nbDecision=238500 #constraints=31138 454.24/454.42 c nbDecision=239000 #constraints=31246 456.64/456.88 c nbDecision=239500 #constraints=31343 459.43/459.60 c nbDecision=240000 #constraints=31477 461.73/461.95 c nbDecision=240500 #constraints=31565 464.14/464.39 c nbDecision=241000 #constraints=31656 466.54/466.78 c nbDecision=241500 #constraints=31747 469.03/469.22 c nbDecision=242000 #constraints=31846 471.33/471.57 c nbDecision=242500 #constraints=31930 473.83/474.09 c nbDecision=243000 #constraints=32020 476.63/476.86 c nbDecision=243500 #constraints=32132 482.03/482.24 c nbDecision=244000 #constraints=32435 489.62/489.89 c nbDecision=244500 #constraints=32858 492.73/492.98 c nbDecision=245000 #constraints=32969 495.13/495.37 c nbDecision=245500 #constraints=33052 497.72/497.91 c nbDecision=246000 #constraints=33139 500.33/500.56 c nbDecision=246500 #constraints=33233 502.72/502.93 c nbDecision=247000 #constraints=33316 505.33/505.53 c nbDecision=247500 #constraints=33409 508.62/508.84 c nbDecision=248000 #constraints=33649 511.42/511.70 c nbDecision=248500 #constraints=33988 514.32/514.57 c nbDecision=249000 #constraints=34070 518.12/518.38 c nbDecision=249500 #constraints=34212 520.22/520.44 c nbDecision=250000 #constraints=34239 522.82/523.03 c nbDecision=250500 #constraints=34299 524.92/525.15 c nbDecision=251000 #constraints=34329 527.82/528.02 c nbDecision=251500 #constraints=34411 529.71/529.91 c nbDecision=252000 #constraints=34428 531.71/531.93 c nbDecision=252500 #constraints=34451 533.81/534.04 c nbDecision=253000 #constraints=34483 536.71/536.95 c nbDecision=253500 #constraints=34562 539.21/539.41 c nbDecision=254000 #constraints=34608 541.41/541.61 c nbDecision=254500 #constraints=34648 544.21/544.40 c nbDecision=255000 #constraints=34727 546.21/546.43 c nbDecision=255500 #constraints=34752 548.21/548.45 c nbDecision=256000 #constraints=34771 550.71/550.96 c nbDecision=256500 #constraints=34818 552.80/553.01 c nbDecision=257000 #constraints=34836 554.70/554.96 c nbDecision=257500 #constraints=34854 556.81/557.04 c nbDecision=258000 #constraints=34873 558.91/559.11 c nbDecision=258500 #constraints=34891 561.01/561.25 c nbDecision=259000 #constraints=34914 563.01/563.28 c nbDecision=259500 #constraints=34935 565.11/565.38 c nbDecision=260000 #constraints=34954 567.21/567.43 c nbDecision=260500 #constraints=34974 569.11/569.37 c nbDecision=261000 #constraints=34992 571.11/571.32 c nbDecision=261500 #constraints=35009 573.01/573.29 c nbDecision=262000 #constraints=35027 575.11/575.35 c nbDecision=262500 #constraints=35046 577.20/577.44 c nbDecision=263000 #constraints=35069 579.30/579.50 c nbDecision=263500 #constraints=35088 581.60/581.84 c nbDecision=264000 #constraints=35128 583.70/583.97 c nbDecision=264500 #constraints=35147 586.10/586.40 c nbDecision=265000 #constraints=35197 588.30/588.52 c nbDecision=265500 #constraints=35217 590.60/590.86 c nbDecision=266000 #constraints=35256 592.60/592.86 c nbDecision=266500 #constraints=35274 595.20/595.42 c nbDecision=267000 #constraints=35322 597.20/597.49 c nbDecision=267500 #constraints=35341 599.40/599.62 c nbDecision=268000 #constraints=35361 601.50/601.70 c nbDecision=268500 #constraints=35379 603.59/603.88 c nbDecision=269000 #constraints=35398 605.79/606.08 c nbDecision=269500 #constraints=35429 607.99/608.28 c nbDecision=270000 #constraints=35448 610.19/610.43 c nbDecision=270500 #constraints=35468 612.19/612.46 c nbDecision=271000 #constraints=35486 614.49/614.71 c nbDecision=271500 #constraints=35515 616.69/616.90 c nbDecision=272000 #constraints=35534 619.09/619.32 c nbDecision=272500 #constraints=35564 621.19/621.44 c nbDecision=273000 #constraints=35583 623.18/623.49 c nbDecision=273500 #constraints=35600 625.28/625.52 c nbDecision=274000 #constraints=35619 627.28/627.56 c nbDecision=274500 #constraints=35637 629.38/629.65 c nbDecision=275000 #constraints=35655 631.58/631.80 c nbDecision=275500 #constraints=35675 633.48/633.80 c nbDecision=276000 #constraints=35693 635.68/635.98 c nbDecision=276500 #constraints=35712 637.88/638.16 c nbDecision=277000 #constraints=35731 639.98/640.27 c nbDecision=277500 #constraints=35750 642.08/642.35 c nbDecision=278000 #constraints=35769 644.18/644.41 c nbDecision=278500 #constraints=35787 646.48/646.78 c nbDecision=279000 #constraints=35908 648.88/649.17 c nbDecision=279500 #constraints=36213 650.88/651.17 c nbDecision=280000 #constraints=36370 653.97/654.25 c nbDecision=280500 #constraints=36584 656.38/656.63 c nbDecision=281000 #constraints=36745 659.48/659.75 c nbDecision=281500 #constraints=36848 661.58/661.82 c nbDecision=282000 #constraints=36935 663.68/663.94 c nbDecision=282500 #constraints=36973 665.78/666.01 c nbDecision=283000 #constraints=37006 667.78/668.08 c nbDecision=283500 #constraints=37117 669.87/670.15 c nbDecision=284000 #constraints=37137 671.88/672.17 c nbDecision=284500 #constraints=37261 674.18/674.43 c nbDecision=285000 #constraints=37284 676.47/676.74 c nbDecision=285500 #constraints=37312 678.57/678.89 c nbDecision=286000 #constraints=37335 680.47/680.73 c nbDecision=286500 #constraints=37416 682.57/682.87 c nbDecision=287000 #constraints=37461 684.77/685.01 c nbDecision=287500 #constraints=37491 686.87/687.12 c nbDecision=288000 #constraints=37559 688.97/689.22 c nbDecision=288500 #constraints=37590 691.16/691.42 c nbDecision=289000 #constraints=37611 693.26/693.52 c nbDecision=289500 #constraints=37658 695.46/695.76 c nbDecision=290000 #constraints=37680 697.46/697.73 c nbDecision=290500 #constraints=37729 699.66/699.96 c nbDecision=291000 #constraints=37750 701.96/702.27 c nbDecision=291500 #constraints=37792 704.16/704.46 c nbDecision=292000 #constraints=37840 706.36/706.61 c nbDecision=292500 #constraints=37883 708.56/708.86 c nbDecision=293000 #constraints=37925 710.86/711.10 c nbDecision=293500 #constraints=37970 713.06/713.31 c nbDecision=294000 #constraints=37993 715.16/715.43 c nbDecision=294500 #constraints=38024 717.46/717.75 c nbDecision=295000 #constraints=38084 719.66/719.91 c nbDecision=295500 #constraints=38113 721.96/722.26 c nbDecision=296000 #constraints=38135 724.06/724.40 c nbDecision=296500 #constraints=38155 727.56/727.83 c nbDecision=297000 #constraints=38233 729.66/729.98 c nbDecision=297500 #constraints=38262 731.86/732.18 c nbDecision=298000 #constraints=38283 734.06/734.30 c nbDecision=298500 #constraints=38303 736.26/736.54 c nbDecision=299000 #constraints=38326 738.36/738.69 c nbDecision=299500 #constraints=38346 740.65/740.91 c nbDecision=300000 #constraints=38367 742.85/743.19 c nbDecision=300500 #constraints=38388 745.05/745.39 c nbDecision=301000 #constraints=38408 747.35/747.63 c nbDecision=301500 #constraints=38430 749.55/749.88 c nbDecision=302000 #constraints=38451 751.74/752.09 c nbDecision=302500 #constraints=38504 753.94/754.28 c nbDecision=303000 #constraints=38532 756.14/756.49 c nbDecision=303500 #constraints=38555 758.44/758.76 c nbDecision=304000 #constraints=38576 760.74/761.07 c nbDecision=304500 #constraints=38598 762.95/763.29 c nbDecision=305000 #constraints=38619 764.85/765.16 c nbDecision=305500 #constraints=38640 767.05/767.37 c nbDecision=306000 #constraints=38661 769.24/769.51 c nbDecision=306500 #constraints=38681 771.44/771.74 c nbDecision=307000 #constraints=38702 773.64/773.93 c nbDecision=307500 #constraints=38735 775.84/776.11 c nbDecision=308000 #constraints=38756 778.04/778.35 c nbDecision=308500 #constraints=38777 780.34/780.66 c nbDecision=309000 #constraints=38798 782.64/782.93 c nbDecision=309500 #constraints=38819 784.94/785.26 c nbDecision=310000 #constraints=38841 787.14/787.47 c nbDecision=310500 #constraints=38861 789.44/789.74 c nbDecision=311000 #constraints=38882 791.93/792.27 c nbDecision=311500 #constraints=38919 794.23/794.50 c nbDecision=312000 #constraints=38939 797.93/798.22 c nbDecision=312500 #constraints=39120 801.53/801.88 c nbDecision=313000 #constraints=39213 805.53/805.80 c nbDecision=313500 #constraints=39317 809.13/809.40 c nbDecision=314000 #constraints=39506 812.74/813.03 c nbDecision=314500 #constraints=39634 816.53/816.88 c nbDecision=315000 #constraints=39728 819.63/820.00 c nbDecision=315500 #constraints=39841 821.73/822.00 c nbDecision=316000 #constraints=39887 823.43/823.78 c nbDecision=316500 #constraints=39939 826.53/826.84 c nbDecision=317000 #constraints=40029 830.92/831.29 c nbDecision=317500 #constraints=40195 834.12/834.43 c nbDecision=318000 #constraints=40283 837.32/837.60 c nbDecision=318500 #constraints=40375 840.22/840.59 c nbDecision=319000 #constraints=40457 843.31/843.69 c nbDecision=319500 #constraints=40545 846.41/846.74 c nbDecision=320000 #constraints=40629 849.52/849.81 c nbDecision=320500 #constraints=40707 852.62/852.99 c nbDecision=321000 #constraints=40799 855.82/856.13 c nbDecision=321500 #constraints=40887 859.12/859.40 c nbDecision=322000 #constraints=40977 862.12/862.49 c nbDecision=322500 #constraints=41057 864.91/865.23 c nbDecision=323000 #constraints=41114 868.11/868.45 c nbDecision=323500 #constraints=41202 871.10/871.47 c nbDecision=324000 #constraints=41283 874.41/874.79 c nbDecision=324500 #constraints=41374 877.71/878.06 c nbDecision=325000 #constraints=41462 880.81/881.12 c nbDecision=325500 #constraints=41547 884.31/884.63 c nbDecision=326000 #constraints=41642 887.51/887.85 c nbDecision=326500 #constraints=41727 890.60/890.98 c nbDecision=327000 #constraints=41809 893.80/894.12 c nbDecision=327500 #constraints=41891 896.70/897.00 c nbDecision=328000 #constraints=41947 900.90/901.29 c nbDecision=328500 #constraints=42084 904.30/904.65 c nbDecision=329000 #constraints=42172 907.59/907.90 c nbDecision=329500 #constraints=42259 910.79/911.14 c nbDecision=330000 #constraints=42343 914.30/914.60 c nbDecision=330500 #constraints=42436 917.40/917.77 c nbDecision=331000 #constraints=42516 921.00/921.33 c nbDecision=331500 #constraints=42605 923.80/924.15 c nbDecision=332000 #constraints=42660 927.10/927.46 c nbDecision=332500 #constraints=42745 930.69/931.04 c nbDecision=333000 #constraints=42837 934.19/934.58 c nbDecision=333500 #constraints=42928 937.69/938.05 c nbDecision=334000 #constraints=43016 943.79/944.15 c nbDecision=334500 #constraints=43246 954.68/955.08 c nbDecision=335000 #constraints=43705 962.98/963.30 c nbDecision=335500 #constraints=43989 967.08/967.47 c nbDecision=336000 #constraints=44106 971.48/971.80 c nbDecision=336500 #constraints=44243 977.27/977.64 c nbDecision=337000 #constraints=44456 982.28/982.67 c nbDecision=337500 #constraints=44619 986.28/986.62 c nbDecision=338000 #constraints=44731 990.88/991.21 c nbDecision=338500 #constraints=44885 995.47/995.82 c nbDecision=339000 #constraints=45028 999.87/1000.28 c nbDecision=339500 #constraints=45181 1002.97/1003.30 c nbDecision=340000 #constraints=45289 1005.66/1006.03 c nbDecision=340500 #constraints=45317 1008.47/1008.88 c nbDecision=341000 #constraints=45356 1011.06/1011.49 c nbDecision=341500 #constraints=45381 1013.77/1014.19 c nbDecision=342000 #constraints=45423 1016.37/1016.72 c nbDecision=342500 #constraints=45442 1019.17/1019.54 c nbDecision=343000 #constraints=45462 1021.87/1022.23 c nbDecision=343500 #constraints=45495 1024.67/1025.03 c nbDecision=344000 #constraints=45541 1027.46/1027.89 c nbDecision=344500 #constraints=45626 1030.16/1030.57 c nbDecision=345000 #constraints=45650 1033.16/1033.57 c nbDecision=345500 #constraints=45678 1036.06/1036.40 c nbDecision=346000 #constraints=45722 1038.86/1039.23 c nbDecision=346500 #constraints=45742 1041.76/1042.11 c nbDecision=347000 #constraints=45764 1044.66/1045.07 c nbDecision=347500 #constraints=45813 1047.45/1047.80 c nbDecision=348000 #constraints=45836 1050.16/1050.59 c nbDecision=348500 #constraints=45855 1053.45/1053.90 c nbDecision=349000 #constraints=46181 1056.65/1057.06 c nbDecision=349500 #constraints=46405 1058.96/1059.37 c nbDecision=350000 #constraints=46492 1061.75/1062.20 c nbDecision=350500 #constraints=46518 1064.45/1064.81 c nbDecision=351000 #constraints=46538 1067.05/1067.40 c nbDecision=351500 #constraints=46602 1069.65/1070.03 c nbDecision=352000 #constraints=46622 1072.35/1072.75 c nbDecision=352500 #constraints=46725 1074.94/1075.38 c nbDecision=353000 #constraints=46770 1077.75/1078.19 c nbDecision=353500 #constraints=46792 1080.64/1081.05 c nbDecision=354000 #constraints=46814 1083.44/1083.82 c nbDecision=354500 #constraints=46836 1086.15/1086.51 c nbDecision=355000 #constraints=46857 1088.75/1089.13 c nbDecision=355500 #constraints=46877 1091.35/1091.71 c nbDecision=356000 #constraints=46897 1094.15/1094.56 c nbDecision=356500 #constraints=46945 1096.84/1097.28 c nbDecision=357000 #constraints=46966 1099.74/1100.14 c nbDecision=357500 #constraints=46990 1102.54/1102.96 c nbDecision=358000 #constraints=47023 1105.44/1105.80 c nbDecision=358500 #constraints=47045 1107.94/1108.35 c nbDecision=359000 #constraints=47100 1110.74/1111.15 c nbDecision=359500 #constraints=47149 1113.44/1113.84 c nbDecision=360000 #constraints=47169 1116.33/1116.71 c nbDecision=360500 #constraints=47191 1119.03/1119.42 c nbDecision=361000 #constraints=47212 1121.63/1122.08 c nbDecision=361500 #constraints=47232 1124.53/1124.96 c nbDecision=362000 #constraints=47315 1127.33/1127.75 c nbDecision=362500 #constraints=47346 1130.03/1130.49 c nbDecision=363000 #constraints=47380 1132.82/1133.26 c nbDecision=363500 #constraints=47403 1135.63/1136.06 c nbDecision=364000 #constraints=47425 1138.43/1138.83 c nbDecision=364500 #constraints=47544 1141.03/1141.43 c nbDecision=365000 #constraints=47563 1143.83/1144.24 c nbDecision=365500 #constraints=47585 1146.53/1146.94 c nbDecision=366000 #constraints=47632 1149.53/1149.98 c nbDecision=366500 #constraints=47692 1152.33/1152.79 c nbDecision=367000 #constraints=47724 1155.23/1155.67 c nbDecision=367500 #constraints=47772 1157.93/1158.39 c nbDecision=368000 #constraints=47812 1160.82/1161.25 c nbDecision=368500 #constraints=47837 1163.53/1163.94 c nbDecision=369000 #constraints=47858 1166.42/1166.81 c nbDecision=369500 #constraints=47880 1169.22/1169.64 c nbDecision=370000 #constraints=47901 1172.02/1172.46 c nbDecision=370500 #constraints=47923 1174.82/1175.21 c nbDecision=371000 #constraints=47945 1177.62/1178.09 c nbDecision=371500 #constraints=47966 1180.62/1181.00 c nbDecision=372000 #constraints=47987 1183.72/1184.11 c nbDecision=372500 #constraints=48062 1186.52/1186.92 c nbDecision=373000 #constraints=48083 1189.21/1189.64 c nbDecision=373500 #constraints=48103 1192.02/1192.49 c nbDecision=374000 #constraints=48124 1194.91/1195.39 c nbDecision=374500 #constraints=48146 1197.61/1198.00 c nbDecision=375000 #constraints=48165 1200.51/1200.96 c nbDecision=375500 #constraints=48187 1203.51/1203.90 c nbDecision=376000 #constraints=48209 1206.21/1206.64 c nbDecision=376500 #constraints=48229 1209.01/1209.45 c nbDecision=377000 #constraints=48250 1211.81/1212.28 c nbDecision=377500 #constraints=48291 1214.60/1215.07 c nbDecision=378000 #constraints=48311 1217.50/1217.97 c nbDecision=378500 #constraints=48333 1220.40/1220.86 c nbDecision=379000 #constraints=48354 1223.30/1223.78 c nbDecision=379500 #constraints=48375 1226.41/1226.83 c nbDecision=380000 #constraints=48417 1229.41/1229.82 c nbDecision=380500 #constraints=48466 1232.10/1232.50 c nbDecision=381000 #constraints=48495 1234.91/1235.38 c nbDecision=381500 #constraints=48516 1237.90/1238.33 c nbDecision=382000 #constraints=48545 1240.80/1241.26 c nbDecision=382500 #constraints=48566 1243.60/1244.07 c nbDecision=383000 #constraints=48601 1246.40/1246.87 c nbDecision=383500 #constraints=48621 1249.30/1249.79 c nbDecision=384000 #constraints=48643 1252.30/1252.75 c nbDecision=384500 #constraints=48664 1255.10/1255.52 c nbDecision=385000 #constraints=48685 1257.90/1258.35 c nbDecision=385500 #constraints=48706 1260.69/1261.16 c nbDecision=386000 #constraints=48726 1263.50/1263.97 c nbDecision=386500 #constraints=48769 1266.39/1266.81 c nbDecision=387000 #constraints=48790 1269.19/1269.62 c nbDecision=387500 #constraints=48810 1272.09/1272.55 c nbDecision=388000 #constraints=48832 1275.19/1275.66 c nbDecision=388500 #constraints=48884 1278.08/1278.54 c nbDecision=389000 #constraints=48905 1280.78/1281.21 c nbDecision=389500 #constraints=48924 1283.48/1283.97 c nbDecision=390000 #constraints=48944 1286.48/1286.97 c nbDecision=390500 #constraints=48965 1289.28/1289.79 c nbDecision=391000 #constraints=48986 1292.38/1292.84 c nbDecision=391500 #constraints=49054 1295.48/1295.95 c nbDecision=392000 #constraints=49096 1298.38/1298.84 c nbDecision=392500 #constraints=49117 1301.28/1301.73 c nbDecision=393000 #constraints=49137 1304.28/1304.75 c nbDecision=393500 #constraints=49159 1306.97/1307.48 c nbDecision=394000 #constraints=49178 1309.87/1310.32 c nbDecision=394500 #constraints=49199 1312.67/1313.12 c nbDecision=395000 #constraints=49219 1315.67/1316.11 c nbDecision=395500 #constraints=49240 1318.57/1319.06 c nbDecision=396000 #constraints=49261 1321.48/1321.90 c nbDecision=396500 #constraints=49283 1324.38/1324.80 c nbDecision=397000 #constraints=49304 1327.28/1327.75 c nbDecision=397500 #constraints=49328 1330.47/1330.90 c nbDecision=398000 #constraints=49351 1333.37/1333.85 c nbDecision=398500 #constraints=49372 1336.27/1336.77 c nbDecision=399000 #constraints=49393 1339.17/1339.67 c nbDecision=399500 #constraints=49413 1342.07/1342.58 c nbDecision=400000 #constraints=49434 1345.97/1346.44 c nbDecision=400500 #constraints=49533 1349.37/1349.83 c nbDecision=401000 #constraints=49624 1353.06/1353.59 c nbDecision=401500 #constraints=49739 1356.86/1357.39 c nbDecision=402000 #constraints=49846 1360.77/1361.26 c nbDecision=402500 #constraints=49964 1363.86/1364.34 c nbDecision=403000 #constraints=50014 1366.76/1367.22 c nbDecision=403500 #constraints=50034 1369.76/1370.24 c nbDecision=404000 #constraints=50066 1372.86/1373.38 c nbDecision=404500 #constraints=50092 1375.86/1376.31 c nbDecision=405000 #constraints=50113 1378.76/1379.29 c nbDecision=405500 #constraints=50133 1381.76/1382.29 c nbDecision=406000 #constraints=50154 1384.75/1385.28 c nbDecision=406500 #constraints=50174 1387.86/1388.39 c nbDecision=407000 #constraints=50196 1390.85/1391.36 c nbDecision=407500 #constraints=50217 1393.95/1394.40 c nbDecision=408000 #constraints=50238 1396.85/1397.30 c nbDecision=408500 #constraints=50261 1399.85/1400.33 c nbDecision=409000 #constraints=50282 1402.85/1403.38 c nbDecision=409500 #constraints=50304 1403.55/1404.04 c restart after 409601 decisions 1406.75/1407.29 c nbDecision=410000 #constraints=50308 1406.85/1407.37 c nbDecision=410500 #constraints=50308 1407.05/1407.55 c nbDecision=411000 #constraints=50308 1407.35/1407.88 c nbDecision=411500 #constraints=50308 1407.45/1407.95 c nbDecision=412000 #constraints=50308 1407.75/1408.22 c nbDecision=412500 #constraints=50308 1408.15/1408.63 c nbDecision=413000 #constraints=50308 1408.25/1408.71 c nbDecision=413500 #constraints=50308 1408.25/1408.76 c nbDecision=414000 #constraints=50308 1411.74/1412.24 c nbDecision=414500 #constraints=50426 1422.65/1423.16 c nbDecision=415000 #constraints=50897 1430.24/1430.78 c nbDecision=415500 #constraints=51262 1437.63/1438.10 c nbDecision=416000 #constraints=51502 1450.23/1450.71 c nbDecision=416500 #constraints=51887 1464.53/1465.01 c nbDecision=417000 #constraints=52268 1471.83/1472.31 c nbDecision=417500 #constraints=52535 1477.62/1478.17 c nbDecision=418000 #constraints=52708 1488.83/1489.32 c nbDecision=418500 #constraints=52954 1495.92/1496.49 c nbDecision=419000 #constraints=53123 1503.72/1504.21 c nbDecision=419500 #constraints=53330 1512.62/1513.15 c nbDecision=420000 #constraints=53508 1521.52/1522.02 c nbDecision=420500 #constraints=53682 1526.51/1527.04 c nbDecision=421000 #constraints=53753 1531.41/1531.97 c nbDecision=421500 #constraints=53871 1542.21/1542.79 c nbDecision=422000 #constraints=54136 1551.51/1552.01 c nbDecision=422500 #constraints=54353 1557.80/1558.36 c nbDecision=423000 #constraints=54514 1564.21/1564.80 c nbDecision=423500 #constraints=54674 1571.30/1571.84 c nbDecision=424000 #constraints=54821 1575.50/1576.08 c nbDecision=424500 #constraints=54870 1580.60/1581.17 c nbDecision=425000 #constraints=54981 1588.19/1588.71 c nbDecision=425500 #constraints=55176 1596.80/1597.37 c nbDecision=426000 #constraints=55389 1600.99/1601.54 c nbDecision=426500 #constraints=55438 1608.49/1609.09 c nbDecision=427000 #constraints=55627 1615.29/1615.87 c nbDecision=427500 #constraints=55777 1622.29/1622.82 c nbDecision=428000 #constraints=55944 1630.58/1631.16 c nbDecision=428500 #constraints=56159 1637.38/1638.00 c nbDecision=429000 #constraints=56318 1643.58/1644.14 c nbDecision=429500 #constraints=56455 1650.28/1650.80 c nbDecision=430000 #constraints=56611 1656.77/1657.30 c nbDecision=430500 #constraints=56800 1663.28/1663.88 c nbDecision=431000 #constraints=56950 1670.48/1671.01 c nbDecision=431500 #constraints=57141 1677.77/1678.30 c nbDecision=432000 #constraints=57343 1683.58/1684.14 c nbDecision=432500 #constraints=57471 1689.77/1690.40 c nbDecision=433000 #constraints=57632 1698.06/1698.66 c nbDecision=433500 #constraints=57845 1704.26/1704.85 c nbDecision=434000 #constraints=57979 1710.86/1711.43 c nbDecision=434500 #constraints=58143 1717.96/1718.53 c nbDecision=435000 #constraints=58318 1724.45/1725.01 c nbDecision=435500 #constraints=58461 1735.15/1735.73 c nbDecision=436000 #constraints=58782 1749.15/1749.75 c nbDecision=436500 #constraints=59250 1762.55/1763.13 c nbDecision=437000 #constraints=59625 1773.44/1774.04 c nbDecision=437500 #constraints=59920 1780.54/1781.14 c nbDecision=438000 #constraints=60124 1789.73/1790.31 c nbDecision=438500 #constraints=60323 1797.54/1798.16 c nbDecision=439000 #constraints=60558 1800.04/1800.60 Received signal 15 1800.04/1800.64 1800.04/1800.64 s UNKNOWN 1800.04/1800.64 1800.04/1800.64 c user time= 1799.34 s 1800.04/1800.64 c system time= 0.743886 s 1800.04/1800.64 c wall clock time=1800.64
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node70/watcher-357002-1176851117 -o ROOT/results/node70/solver-357002-1176851117 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357002-1176851117/instance-357002-1176851117.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.91 0.95 0.98 3/64 14241 /proc/meminfo: memFree=1668032/2055920 swapFree=4183760/4192956 [pid=14241] ppid=14239 vsize=1620 CPUtime=0 /proc/14241/stat : 14241 (oree) R 14239 14241 13898 0 -1 4194304 184 0 0 0 0 0 0 0 18 0 1 0 124649067 1658880 166 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14241/statm: 405 168 126 317 0 84 0 [startup+0.101142 s] /proc/loadavg: 0.91 0.95 0.98 3/64 14241 /proc/meminfo: memFree=1668032/2055920 swapFree=4183760/4192956 [pid=14241] ppid=14239 vsize=3600 CPUtime=0.09 /proc/14241/stat : 14241 (oree) R 14239 14241 13898 0 -1 4194304 712 0 0 0 9 0 0 0 18 0 1 0 124649067 3686400 694 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14241/statm: 900 694 131 317 0 579 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3600 [startup+0.201152 s] /proc/loadavg: 0.91 0.95 0.98 3/64 14241 /proc/meminfo: memFree=1668032/2055920 swapFree=4183760/4192956 [pid=14241] ppid=14239 vsize=5992 CPUtime=0.19 /proc/14241/stat : 14241 (oree) R 14239 14241 13898 0 -1 4194304 1297 0 0 0 19 0 0 0 18 0 1 0 124649067 6135808 1279 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14241/statm: 1498 1279 138 317 0 1177 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 5992 [startup+0.301161 s] /proc/loadavg: 0.91 0.95 0.98 3/64 14241 /proc/meminfo: memFree=1668032/2055920 swapFree=4183760/4192956 [pid=14241] ppid=14239 vsize=5992 CPUtime=0.29 /proc/14241/stat : 14241 (oree) R 14239 14241 13898 0 -1 4194304 1297 0 0 0 29 0 0 0 19 0 1 0 124649067 6135808 1279 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14241/statm: 1498 1279 138 317 0 1177 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5992 [startup+0.701201 s] /proc/loadavg: 0.91 0.95 0.98 3/64 14241 /proc/meminfo: memFree=1668032/2055920 swapFree=4183760/4192956 [pid=14241] ppid=14239 vsize=5992 CPUtime=0.69 /proc/14241/stat : 14241 (oree) R 14239 14241 13898 0 -1 4194304 1298 0 0 0 69 0 0 0 22 0 1 0 124649067 6135808 1280 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14241/statm: 1498 1280 138 317 0 1177 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5992 [startup+1.50128 s] /proc/loadavg: 0.91 0.95 0.98 2/65 14242 /proc/meminfo: memFree=1663352/2055920 swapFree=4183760/4192956 [pid=14241] ppid=14239 vsize=5992 CPUtime=1.49 /proc/14241/stat : 14241 (oree) R 14239 14241 13898 0 -1 4194304 1300 0 0 0 149 0 0 0 25 0 1 0 124649067 6135808 1282 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606691 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14241/statm: 1498 1282 138 317 0 1177 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5992 [startup+3.10244 s] /proc/loadavg: 0.91 0.95 0.98 2/65 14242 /proc/meminfo: memFree=1661112/2055920 swapFree=4183760/4192956 [pid=14241] ppid=14239 vsize=12596 CPUtime=3.09 /proc/14241/stat : 14241 (oree) R 14239 14241 13898 0 -1 4194304 2944 0 0 0 309 0 0 0 25 0 1 0 124649067 12898304 2926 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14241/statm: 3149 2926 139 317 0 2828 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12596 [startup+6.30176 s] /proc/loadavg: 0.92 0.95 0.98 2/65 14242 /proc/meminfo: memFree=1650048/2055920 swapFree=4183760/4192956 [pid=14241] ppid=14239 vsize=21512 CPUtime=6.28 /proc/14241/stat : 14241 (oree) R 14239 14241 13898 0 -1 4194304 5188 0 0 0 627 1 0 0 25 0 1 0 124649067 22028288 5170 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14241/statm: 5378 5170 139 317 0 5057 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 21512 [startup+12.7014 s] /proc/loadavg: 0.93 0.95 0.98 2/65 14242 /proc/meminfo: memFree=1636104/2055920 swapFree=4183760/4192956 [pid=14241] ppid=14239 vsize=33944 CPUtime=12.69 /proc/14241/stat : 14241 (oree) R 14239 14241 13898 0 -1 4194304 8259 0 0 0 1265 4 0 0 25 0 1 0 124649067 34758656 8241 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14241/statm: 8486 8241 139 317 0 8165 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 33944 [startup+25.5017 s] /proc/loadavg: 0.94 0.96 0.98 2/65 14242 /proc/meminfo: memFree=1626120/2055920 swapFree=4183760/4192956 [pid=14241] ppid=14239 vsize=43232 CPUtime=25.49 /proc/14241/stat : 14241 (oree) R 14239 14241 13898 0 -1 4194304 10557 0 0 0 2543 6 0 0 25 0 1 0 124649067 44269568 10539 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14241/statm: 10808 10539 139 317 0 10487 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 43232 [startup+51.1012 s] /proc/loadavg: 0.96 0.96 0.98 2/65 14242 /proc/meminfo: memFree=1594440/2055920 swapFree=4183760/4192956 [pid=14241] ppid=14239 vsize=76688 CPUtime=51.08 /proc/14241/stat : 14241 (oree) R 14239 14241 13898 0 -1 4194304 18711 0 0 0 5098 10 0 0 25 0 1 0 124649067 78528512 18635 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14241/statm: 19172 18635 139 317 0 18851 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 76688 [startup+102.301 s] /proc/loadavg: 0.98 0.96 0.98 2/65 14242 /proc/meminfo: memFree=1569672/2055920 swapFree=4183760/4192956 [pid=14241] ppid=14239 vsize=100604 CPUtime=102.26 /proc/14241/stat : 14241 (oree) R 14239 14241 13898 0 -1 4194304 24693 0 0 0 10212 14 0 0 25 0 1 0 124649067 103018496 24617 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14241/statm: 25151 24617 139 317 0 24830 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 100604 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 14242 /proc/meminfo: memFree=1543176/2055920 swapFree=4183760/4192956 [pid=14241] ppid=14239 vsize=129708 CPUtime=162.23 /proc/14241/stat : 14241 (oree) R 14239 14241 13898 0 -1 4194304 31289 0 0 0 16205 18 0 0 25 0 1 0 124649067 132820992 31213 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384569 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14241/statm: 32427 31213 139 317 0 32106 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 129708 [startup+222.305 s] /proc/loadavg: 0.99 0.97 0.98 2/65 14242 /proc/meminfo: memFree=1523464/2055920 swapFree=4183760/4192956 [pid=14241] ppid=14239 vsize=149688 CPUtime=222.22 /proc/14241/stat : 14241 (oree) R 14239 14241 13898 0 -1 4194304 36311 0 0 0 22201 21 0 0 25 0 1 0 124649067 153280512 36121 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14241/statm: 37422 36121 139 317 0 37101 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 149688 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 14242 /proc/meminfo: memFree=1508104/2055920 swapFree=4183760/4192956 [pid=14241] ppid=14239 vsize=165016 CPUtime=282.19 /proc/14241/stat : 14241 (oree) R 14239 14241 13898 0 -1 4194304 40161 0 0 0 28196 23 0 0 25 0 1 0 124649067 168976384 39971 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14241/statm: 41254 39971 139 317 0 40933 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 165016 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 14242 /proc/meminfo: memFree=1483848/2055920 swapFree=4183760/4192956 [pid=14241] ppid=14239 vsize=189168 CPUtime=342.17 /proc/14241/stat : 14241 (oree) R 14239 14241 13898 0 -1 4194304 46202 0 0 0 34191 26 0 0 25 0 1 0 124649067 193708032 46012 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14241/statm: 47292 46012 139 317 0 46971 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 189168 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 14242 /proc/meminfo: memFree=1454984/2055920 swapFree=4183760/4192956 [pid=14241] ppid=14239 vsize=219444 CPUtime=402.15 /proc/14241/stat : 14241 (oree) R 14239 14241 13898 0 -1 4194304 53398 0 0 0 40184 31 0 0 25 0 1 0 124649067 224710656 53208 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14241/statm: 54861 53208 139 317 0 54540 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 219444 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 14242 /proc/meminfo: memFree=1435080/2055920 swapFree=4183760/4192956 [pid=14241] ppid=14239 vsize=238512 CPUtime=462.13 /proc/14241/stat : 14241 (oree) R 14239 14241 13898 0 -1 4194304 58371 0 0 0 46178 35 0 0 25 0 1 0 124649067 244236288 58181 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14241/statm: 59628 58181 139 317 0 59307 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 238512 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 14242 /proc/meminfo: memFree=1410632/2055920 swapFree=4183760/4192956 [pid=14241] ppid=14239 vsize=272244 CPUtime=522.12 /proc/14241/stat : 14241 (oree) R 14239 14241 13898 0 -1 4194304 66058 0 0 0 52172 40 0 0 25 0 1 0 124649067 278777856 64288 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14241/statm: 68061 64288 139 317 0 67740 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 272244 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 14242 /proc/meminfo: memFree=1404424/2055920 swapFree=4183760/4192956 [pid=14241] ppid=14239 vsize=278732 CPUtime=582.1 /proc/14241/stat : 14241 (oree) R 14239 14241 13898 0 -1 4194304 67582 0 0 0 58169 41 0 0 25 0 1 0 124649067 285421568 65812 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14241/statm: 69683 65812 139 317 0 69362 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 278732 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 14242 /proc/meminfo: memFree=1399240/2055920 swapFree=4183760/4192956 [pid=14241] ppid=14239 vsize=284624 CPUtime=642.08 /proc/14241/stat : 14241 (oree) R 14239 14241 13898 0 -1 4194304 68876 0 0 0 64167 41 0 0 25 0 1 0 124649067 291454976 67106 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14241/statm: 71156 67106 139 317 0 70835 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 284624 ################ # More data... # ################ [startup+882.305 s] /proc/loadavg: 0.99 0.97 0.98 2/65 14242 /proc/meminfo: memFree=1362440/2055920 swapFree=4183760/4192956 [pid=14241] ppid=14239 vsize=320884 CPUtime=882.01 /proc/14241/stat : 14241 (oree) R 14239 14241 13898 0 -1 4194304 78055 0 0 0 88152 49 0 0 25 0 1 0 124649067 328585216 76285 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14241/statm: 80221 76285 139 317 0 79900 0 Current children cumulated CPU time (s) 882.01 Current children cumulated vsize (KiB) 320884 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 14242 /proc/meminfo: memFree=1349640/2055920 swapFree=4183760/4192956 [pid=14241] ppid=14239 vsize=333492 CPUtime=941.99 /proc/14241/stat : 14241 (oree) R 14239 14241 13898 0 -1 4194304 81431 0 0 0 94148 51 0 0 25 0 1 0 124649067 341495808 79529 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14241/statm: 83373 79530 139 317 0 83052 0 Current children cumulated CPU time (s) 941.99 Current children cumulated vsize (KiB) 333492 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 14242 /proc/meminfo: memFree=1333256/2055920 swapFree=4183760/4192956 [pid=14241] ppid=14239 vsize=348156 CPUtime=1001.97 /proc/14241/stat : 14241 (oree) R 14239 14241 13898 0 -1 4194304 85471 0 0 0 100144 53 0 0 25 0 1 0 124649067 356511744 83569 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14241/statm: 87039 83569 139 317 0 86718 0 Current children cumulated CPU time (s) 1001.97 Current children cumulated vsize (KiB) 348156 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 14242 /proc/meminfo: memFree=1325448/2055920 swapFree=4183760/4192956 [pid=14241] ppid=14239 vsize=355244 CPUtime=1061.95 /proc/14241/stat : 14241 (oree) R 14239 14241 13898 0 -1 4194304 87412 0 0 0 106140 55 0 0 25 0 1 0 124649067 363769856 85510 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712576 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14241/statm: 88811 85510 139 317 0 88490 0 Current children cumulated CPU time (s) 1061.95 Current children cumulated vsize (KiB) 355244 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 14242 /proc/meminfo: memFree=1321352/2055920 swapFree=4183760/4192956 [pid=14241] ppid=14239 vsize=359128 CPUtime=1121.93 /proc/14241/stat : 14241 (oree) R 14239 14241 13898 0 -1 4194304 88436 0 0 0 112137 56 0 0 25 0 1 0 124649067 367747072 86534 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14241/statm: 89782 86534 139 317 0 89461 0 Current children cumulated CPU time (s) 1121.93 Current children cumulated vsize (KiB) 359128 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 14242 /proc/meminfo: memFree=1316936/2055920 swapFree=4183760/4192956 [pid=14241] ppid=14239 vsize=363584 CPUtime=1181.92 /proc/14241/stat : 14241 (oree) R 14239 14241 13898 0 -1 4194304 89570 0 0 0 118135 57 0 0 25 0 1 0 124649067 372310016 87668 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562700 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14241/statm: 90896 87668 139 317 0 90575 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 363584 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 14242 /proc/meminfo: memFree=1313864/2055920 swapFree=4183760/4192956 [pid=14241] ppid=14239 vsize=366380 CPUtime=1241.9 /proc/14241/stat : 14241 (oree) R 14239 14241 13898 0 -1 4194304 90292 0 0 0 124132 58 0 0 25 0 1 0 124649067 375173120 88390 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14241/statm: 91595 88390 139 317 0 91274 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 366380 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 14242 /proc/meminfo: memFree=1310664/2055920 swapFree=4183760/4192956 [pid=14241] ppid=14239 vsize=369276 CPUtime=1301.88 /proc/14241/stat : 14241 (oree) R 14239 14241 13898 0 -1 4194304 91092 0 0 0 130130 58 0 0 25 0 1 0 124649067 378138624 89190 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14241/statm: 92319 89190 139 317 0 91998 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 369276 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 14242 /proc/meminfo: memFree=1305416/2055920 swapFree=4183760/4192956 [pid=14241] ppid=14239 vsize=376328 CPUtime=1361.87 /proc/14241/stat : 14241 (oree) R 14239 14241 13898 0 -1 4194304 92417 0 0 0 136127 60 0 0 25 0 1 0 124649067 385359872 90515 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14241/statm: 94082 90515 139 317 0 93761 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 376328 [startup+1422.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 14242 /proc/meminfo: memFree=1297608/2055920 swapFree=4183760/4192956 [pid=14241] ppid=14239 vsize=385516 CPUtime=1421.85 /proc/14241/stat : 14241 (oree) R 14239 14241 13898 0 -1 4194304 94435 0 0 0 142124 61 0 0 25 0 1 0 124649067 394768384 92434 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14241/statm: 96379 92434 139 317 0 96058 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 385516 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 14242 /proc/meminfo: memFree=1283080/2055920 swapFree=4183760/4192956 [pid=14241] ppid=14239 vsize=400252 CPUtime=1481.83 /proc/14241/stat : 14241 (oree) R 14239 14241 13898 0 -1 4194304 98078 0 0 0 148120 63 0 0 25 0 1 0 124649067 409858048 96077 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14241/statm: 100063 96077 139 317 0 99742 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 400252 [startup+1542.31 s] /proc/loadavg: 0.99 0.97 0.98 2/65 14242 /proc/meminfo: memFree=1275080/2055920 swapFree=4183760/4192956 [pid=14241] ppid=14239 vsize=407732 CPUtime=1541.82 /proc/14241/stat : 14241 (oree) R 14239 14241 13898 0 -1 4194304 100075 0 0 0 154117 65 0 0 25 0 1 0 124649067 417517568 98074 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14241/statm: 101933 98074 139 317 0 101612 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 407732 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 14242 /proc/meminfo: memFree=1265288/2055920 swapFree=4183760/4192956 [pid=14241] ppid=14239 vsize=416968 CPUtime=1601.79 /proc/14241/stat : 14241 (oree) R 14239 14241 13898 0 -1 4194304 102616 0 0 0 160112 67 0 0 25 0 1 0 124649067 426975232 100615 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14241/statm: 104242 100615 139 317 0 103921 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 416968 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 14242 /proc/meminfo: memFree=1251912/2055920 swapFree=4183760/4192956 [pid=14241] ppid=14239 vsize=434032 CPUtime=1661.78 /proc/14241/stat : 14241 (oree) R 14239 14241 13898 0 -1 4194304 106652 0 0 0 166109 69 0 0 25 0 1 0 124649067 444448768 103859 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14241/statm: 108508 103859 139 317 0 108187 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 434032 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 14242 /proc/meminfo: memFree=1240392/2055920 swapFree=4183760/4192956 [pid=14241] ppid=14239 vsize=444864 CPUtime=1721.76 /proc/14241/stat : 14241 (oree) R 14239 14241 13898 0 -1 4194304 109583 0 0 0 172105 71 0 0 25 0 1 0 124649067 455540736 106757 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14241/statm: 111216 106757 139 317 0 110895 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 444864 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 14242 /proc/meminfo: memFree=1224968/2055920 swapFree=4183760/4192956 [pid=14241] ppid=14239 vsize=458468 CPUtime=1781.74 /proc/14241/stat : 14241 (oree) R 14239 14241 13898 0 -1 4194304 113416 0 0 0 178101 73 0 0 25 0 1 0 124649067 469471232 110590 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14241/statm: 114617 110590 139 317 0 114296 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 458468 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.98 2/65 14242 /proc/meminfo: memFree=1221256/2055920 swapFree=4183760/4192956 [pid=14241] ppid=14239 vsize=461864 CPUtime=1800.04 /proc/14241/stat : 14241 (oree) R 14239 14241 13898 0 -1 4194304 114362 0 0 0 179930 74 0 0 25 0 1 0 124649067 472948736 111503 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14241/statm: 115466 111503 139 317 0 115145 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 461864 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.98 2/66 14243 /proc/meminfo: memFree=1529600/2055920 swapFree=4183760/4192956 [pid=14241] ppid=14239 vsize=0 CPUtime=1800.14 /proc/14241/stat : 14241 (oree) R 14239 14241 13898 0 -1 4194308 114378 0 0 0 179935 79 0 0 25 0 1 0 124649067 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14241/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.73 CPU time (s): 1800.17 CPU user time (s): 1799.36 CPU system time (s): 0.814876 CPU usage (%): 99.969 Max. virtual memory (cumulated for all children) (KiB): 461864 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.36 system time used= 0.814876 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 114378 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= 5293 runsolver used 1.26081 second user time and 3.72643 second system time The end
Begin job on node70 on Tue Apr 17 23:05:17 UTC 2007 IDJOB= 357002 IDBENCH= 1763 IDSOLVER= 172 FILE ID= node70/357002-1176851117 PBS_JOBID= 4590213 Free space on /tmp= 66545 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-set1cl.opb COMMAND LINE= oree /tmp/evaluation/357002-1176851117/instance-357002-1176851117.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node70/watcher-357002-1176851117 -o ROOT/results/node70/solver-357002-1176851117 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357002-1176851117/instance-357002-1176851117.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 1e246214338ba705536e85585a980117 RANDOM SEED= 50154819 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node70.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.218 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.218 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: 1668376 kB Buffers: 41632 kB Cached: 273972 kB SwapCached: 3656 kB Active: 161544 kB Inactive: 164588 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1668376 kB SwapTotal: 4192956 kB SwapFree: 4183760 kB Dirty: 1724 kB Writeback: 0 kB Mapped: 15984 kB Slab: 47440 kB Committed_AS: 2437724 kB PageTables: 1396 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= 66545 MiB End job on node70 on Tue Apr 17 23:35:20 UTC 2007