Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | UNSAT | 631.265 | 631.506 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-atlanta-ip.opb |
MD5SUM | 235de11a8c28ae4c0ee0cc0c0810952d |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 10.1445 |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 77286 |
Total number of constraints | 23680 |
Number of constraints which are clauses | 2311 |
Number of constraints which are cardinality constraints (but not clauses) | 862 |
Number of constraints which are nor clauses,nor cardinality constraints | 20507 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 2790 |
Number of terms in the objective function | 31296 |
Biggest coefficient in the objective function | 10947 |
Number of bits for the biggest coefficient in the objective function | 14 |
Sum of the numbers in the objective function | 555358 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 555358 |
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... 1.59/1.63 c ...done 1.59/1.63 c #vars=77286 #constraints=30761 hasObjective=yes 10.19/10.29 c res. mode=mod 10.19/10.29 c VSIDS like heuristics 10.19/10.29 c complete search running 10.89/10.91 c restart after 401 decisions 10.99/11.03 c nbDecision=500 #constraints=30784 11.29/11.35 c restart after 801 decisions 11.49/11.58 c nbDecision=1000 #constraints=30784 12.09/12.15 c nbDecision=1500 #constraints=30790 12.19/12.28 c restart after 1601 decisions 12.69/12.73 c nbDecision=2000 #constraints=30793 13.29/13.32 c nbDecision=2500 #constraints=30802 13.89/13.97 c nbDecision=3000 #constraints=30822 14.19/14.28 c restart after 3201 decisions 14.59/14.62 c nbDecision=3500 #constraints=30839 15.09/15.16 c nbDecision=4000 #constraints=30839 15.88/15.92 c nbDecision=4500 #constraints=30881 16.49/16.55 c nbDecision=5000 #constraints=30899 17.08/17.16 c nbDecision=5500 #constraints=30912 18.59/18.61 c nbDecision=6000 #constraints=31060 19.28/19.39 c restart after 6401 decisions 19.48/19.52 c nbDecision=6500 #constraints=31118 19.98/20.07 c nbDecision=7000 #constraints=31118 20.58/20.62 c nbDecision=7500 #constraints=31118 21.08/21.16 c nbDecision=8000 #constraints=31118 21.68/21.73 c nbDecision=8500 #constraints=31121 22.18/22.29 c nbDecision=9000 #constraints=31122 22.88/22.95 c nbDecision=9500 #constraints=31144 23.38/23.49 c nbDecision=10000 #constraints=31144 23.98/24.05 c nbDecision=10500 #constraints=31145 24.68/24.73 c nbDecision=11000 #constraints=31167 25.18/25.28 c nbDecision=11500 #constraints=31167 25.78/25.84 c nbDecision=12000 #constraints=31169 26.28/26.39 c nbDecision=12500 #constraints=31169 26.88/26.92 c restart after 12801 decisions 27.08/27.17 c nbDecision=13000 #constraints=31205 27.68/27.71 c nbDecision=13500 #constraints=31205 28.18/28.25 c nbDecision=14000 #constraints=31205 28.68/28.79 c nbDecision=14500 #constraints=31205 29.28/29.33 c nbDecision=15000 #constraints=31205 29.97/30.06 c nbDecision=15500 #constraints=31238 30.57/30.64 c nbDecision=16000 #constraints=31244 31.07/31.18 c nbDecision=16500 #constraints=31244 31.67/31.74 c nbDecision=17000 #constraints=31245 32.17/32.28 c nbDecision=17500 #constraints=31245 32.77/32.82 c nbDecision=18000 #constraints=31245 33.37/33.40 c nbDecision=18500 #constraints=31253 34.27/34.36 c nbDecision=19000 #constraints=31336 35.07/35.12 c nbDecision=19500 #constraints=31379 35.67/35.75 c nbDecision=20000 #constraints=31399 36.27/36.34 c nbDecision=20500 #constraints=31410 37.07/37.12 c nbDecision=21000 #constraints=31457 37.57/37.69 c nbDecision=21500 #constraints=31463 38.27/38.34 c nbDecision=22000 #constraints=31484 39.17/39.27 c nbDecision=22500 #constraints=31562 39.77/39.84 c nbDecision=23000 #constraints=31568 40.27/40.38 c nbDecision=23500 #constraints=31568 40.87/40.92 c nbDecision=24000 #constraints=31568 41.47/41.59 c nbDecision=24500 #constraints=31596 42.17/42.29 c nbDecision=25000 #constraints=31627 42.87/42.96 c nbDecision=25500 #constraints=31654 43.07/43.10 c restart after 25601 decisions 43.47/43.58 c nbDecision=26000 #constraints=31660 44.07/44.12 c nbDecision=26500 #constraints=31660 44.57/44.67 c nbDecision=27000 #constraints=31660 45.17/45.22 c nbDecision=27500 #constraints=31660 45.67/45.77 c nbDecision=28000 #constraints=31660 46.26/46.31 c nbDecision=28500 #constraints=31660 46.76/46.85 c nbDecision=29000 #constraints=31660 47.27/47.39 c nbDecision=29500 #constraints=31660 47.86/47.92 c nbDecision=30000 #constraints=31660 48.37/48.46 c nbDecision=30500 #constraints=31660 48.87/48.99 c nbDecision=31000 #constraints=31660 49.56/49.61 c nbDecision=31500 #constraints=31670 50.06/50.15 c nbDecision=32000 #constraints=31670 50.57/50.69 c nbDecision=32500 #constraints=31670 51.16/51.24 c nbDecision=33000 #constraints=31670 51.68/51.77 c nbDecision=33500 #constraints=31670 52.27/52.31 c nbDecision=34000 #constraints=31670 52.78/52.85 c nbDecision=34500 #constraints=31670 53.27/53.39 c nbDecision=35000 #constraints=31670 53.88/53.92 c nbDecision=35500 #constraints=31670 54.37/54.46 c nbDecision=36000 #constraints=31670 54.88/54.99 c nbDecision=36500 #constraints=31670 55.47/55.52 c nbDecision=37000 #constraints=31670 56.08/56.10 c nbDecision=37500 #constraints=31673 56.57/56.65 c nbDecision=38000 #constraints=31673 57.08/57.19 c nbDecision=38500 #constraints=31673 57.67/57.74 c nbDecision=39000 #constraints=31673 58.18/58.28 c nbDecision=39500 #constraints=31673 58.77/58.83 c nbDecision=40000 #constraints=31673 59.28/59.37 c nbDecision=40500 #constraints=31673 59.87/59.91 c nbDecision=41000 #constraints=31673 60.37/60.45 c nbDecision=41500 #constraints=31673 60.87/60.99 c nbDecision=42000 #constraints=31673 61.47/61.53 c nbDecision=42500 #constraints=31673 61.97/62.06 c nbDecision=43000 #constraints=31673 62.47/62.60 c nbDecision=43500 #constraints=31673 63.17/63.20 c nbDecision=44000 #constraints=31686 64.17/64.24 c nbDecision=44500 #constraints=31787 64.97/65.08 c nbDecision=45000 #constraints=31845 66.56/66.65 c nbDecision=45500 #constraints=32012 67.16/67.22 c nbDecision=46000 #constraints=32019 67.66/67.78 c nbDecision=46500 #constraints=32023 68.26/68.33 c nbDecision=47000 #constraints=32024 68.76/68.86 c nbDecision=47500 #constraints=32024 69.86/69.99 c nbDecision=48000 #constraints=32142 70.56/70.61 c nbDecision=48500 #constraints=32159 72.36/72.40 c nbDecision=49000 #constraints=32361 73.16/73.28 c nbDecision=49500 #constraints=32418 73.76/73.83 c nbDecision=50000 #constraints=32422 74.26/74.39 c nbDecision=50500 #constraints=32427 74.86/74.94 c nbDecision=51000 #constraints=32429 75.06/75.15 c restart after 51201 decisions 75.46/75.52 c nbDecision=51500 #constraints=32429 75.96/76.07 c nbDecision=52000 #constraints=32429 76.56/76.61 c nbDecision=52500 #constraints=32429 77.06/77.15 c nbDecision=53000 #constraints=32429 77.56/77.70 c nbDecision=53500 #constraints=32429 78.16/78.24 c nbDecision=54000 #constraints=32429 78.66/78.78 c nbDecision=54500 #constraints=32429 79.25/79.32 c nbDecision=55000 #constraints=32429 79.75/79.86 c nbDecision=55500 #constraints=32429 80.35/80.40 c nbDecision=56000 #constraints=32429 80.85/80.94 c nbDecision=56500 #constraints=32429 81.36/81.48 c nbDecision=57000 #constraints=32429 81.95/82.02 c nbDecision=57500 #constraints=32431 82.46/82.59 c nbDecision=58000 #constraints=32433 83.05/83.15 c nbDecision=58500 #constraints=32439 83.65/83.71 c nbDecision=59000 #constraints=32440 85.45/85.54 c nbDecision=59500 #constraints=32617 86.16/86.22 c nbDecision=60000 #constraints=32640 86.66/86.78 c nbDecision=60500 #constraints=32644 87.26/87.34 c nbDecision=61000 #constraints=32646 87.75/87.89 c nbDecision=61500 #constraints=32647 88.35/88.42 c nbDecision=62000 #constraints=32647 88.85/88.96 c nbDecision=62500 #constraints=32647 90.35/90.40 c nbDecision=63000 #constraints=32780 91.26/91.39 c nbDecision=63500 #constraints=32847 91.85/91.95 c nbDecision=64000 #constraints=32851 92.35/92.48 c nbDecision=64500 #constraints=32851 92.95/93.04 c nbDecision=65000 #constraints=32856 93.45/93.57 c nbDecision=65500 #constraints=32856 94.05/94.11 c nbDecision=66000 #constraints=32858 94.55/94.64 c nbDecision=66500 #constraints=32858 95.05/95.19 c nbDecision=67000 #constraints=32860 95.65/95.75 c nbDecision=67500 #constraints=32862 96.25/96.31 c nbDecision=68000 #constraints=32868 96.75/96.86 c nbDecision=68500 #constraints=32869 98.65/98.73 c nbDecision=69000 #constraints=33040 99.25/99.39 c nbDecision=69500 #constraints=33059 99.85/99.95 c nbDecision=70000 #constraints=33063 100.45/100.51 c nbDecision=70500 #constraints=33065 101.65/101.72 c nbDecision=71000 #constraints=33159 102.94/103.06 c nbDecision=71500 #constraints=33278 103.94/104.09 c nbDecision=72000 #constraints=33347 104.54/104.65 c nbDecision=72500 #constraints=33351 105.14/105.22 c nbDecision=73000 #constraints=33356 105.64/105.75 c nbDecision=73500 #constraints=33356 106.24/106.30 c nbDecision=74000 #constraints=33358 106.74/106.85 c nbDecision=74500 #constraints=33360 107.34/107.41 c nbDecision=75000 #constraints=33362 107.84/107.94 c nbDecision=75500 #constraints=33362 108.85/108.99 c nbDecision=76000 #constraints=33437 109.44/109.58 c nbDecision=76500 #constraints=33446 110.04/110.14 c nbDecision=77000 #constraints=33450 110.54/110.69 c nbDecision=77500 #constraints=33452 111.24/111.37 c nbDecision=78000 #constraints=33474 111.95/112.09 c nbDecision=78500 #constraints=33500 112.65/112.71 c nbDecision=79000 #constraints=33513 113.25/113.34 c nbDecision=79500 #constraints=33527 113.85/113.90 c nbDecision=80000 #constraints=33531 114.35/114.43 c nbDecision=80500 #constraints=33531 114.95/115.00 c nbDecision=81000 #constraints=33536 115.45/115.53 c nbDecision=81500 #constraints=33536 115.95/116.08 c nbDecision=82000 #constraints=33538 116.55/116.61 c nbDecision=82500 #constraints=33538 117.05/117.16 c nbDecision=83000 #constraints=33540 117.55/117.69 c nbDecision=83500 #constraints=33540 118.15/118.24 c nbDecision=84000 #constraints=33542 118.65/118.78 c nbDecision=84500 #constraints=33542 119.34/119.45 c nbDecision=85000 #constraints=33566 120.04/120.15 c nbDecision=85500 #constraints=33594 122.14/122.23 c nbDecision=86000 #constraints=33772 122.74/122.85 c nbDecision=86500 #constraints=33783 123.34/123.41 c nbDecision=87000 #constraints=33787 123.84/123.95 c nbDecision=87500 #constraints=33787 124.64/124.71 c nbDecision=88000 #constraints=33827 125.14/125.28 c nbDecision=88500 #constraints=33831 126.14/126.21 c nbDecision=89000 #constraints=33875 129.24/129.31 c nbDecision=89500 #constraints=34183 129.74/129.84 c nbDecision=90000 #constraints=34183 130.33/130.41 c nbDecision=90500 #constraints=34187 130.84/130.97 c nbDecision=91000 #constraints=34192 131.43/131.52 c nbDecision=91500 #constraints=34194 131.94/132.07 c nbDecision=92000 #constraints=34196 132.53/132.61 c nbDecision=92500 #constraints=34198 133.04/133.15 c nbDecision=93000 #constraints=34198 134.14/134.24 c nbDecision=93500 #constraints=34252 137.24/137.37 c nbDecision=94000 #constraints=34532 137.83/137.97 c nbDecision=94500 #constraints=34541 138.44/138.54 c nbDecision=95000 #constraints=34545 138.93/139.09 c nbDecision=95500 #constraints=34547 139.54/139.65 c nbDecision=96000 #constraints=34547 140.13/140.21 c nbDecision=96500 #constraints=34551 143.94/144.06 c nbDecision=97000 #constraints=34893 144.54/144.65 c nbDecision=97500 #constraints=34899 145.14/145.22 c nbDecision=98000 #constraints=34903 145.64/145.75 c nbDecision=98500 #constraints=34903 146.24/146.33 c nbDecision=99000 #constraints=34908 146.74/146.86 c nbDecision=99500 #constraints=34908 147.34/147.42 c nbDecision=100000 #constraints=34910 147.83/147.96 c nbDecision=100500 #constraints=34912 148.34/148.50 c nbDecision=101000 #constraints=34912 148.93/149.06 c nbDecision=101500 #constraints=34914 149.44/149.59 c nbDecision=102000 #constraints=34914 150.43/150.57 c restart after 102401 decisions 150.73/150.83 c nbDecision=102500 #constraints=34960 151.23/151.39 c nbDecision=103000 #constraints=34960 151.83/151.96 c nbDecision=103500 #constraints=34960 152.43/152.50 c nbDecision=104000 #constraints=34960 152.93/153.04 c nbDecision=104500 #constraints=34960 153.43/153.58 c nbDecision=105000 #constraints=34960 154.03/154.12 c nbDecision=105500 #constraints=34960 154.53/154.66 c nbDecision=106000 #constraints=34960 155.04/155.19 c nbDecision=106500 #constraints=34960 155.63/155.72 c nbDecision=107000 #constraints=34960 156.13/156.26 c nbDecision=107500 #constraints=34960 156.73/156.80 c nbDecision=108000 #constraints=34960 157.23/157.33 c nbDecision=108500 #constraints=34960 160.82/160.98 c nbDecision=109000 #constraints=35246 161.42/161.59 c nbDecision=109500 #constraints=35255 162.02/162.15 c nbDecision=110000 #constraints=35259 162.63/162.72 c nbDecision=110500 #constraints=35261 163.62/163.77 c nbDecision=111000 #constraints=35303 167.62/167.77 c nbDecision=111500 #constraints=35614 168.12/168.30 c nbDecision=112000 #constraints=35614 170.02/170.17 c nbDecision=112500 #constraints=35724 173.32/173.50 c nbDecision=113000 #constraints=35964 173.92/174.06 c nbDecision=113500 #constraints=35968 174.52/174.64 c nbDecision=114000 #constraints=35973 175.02/175.17 c nbDecision=114500 #constraints=35973 175.62/175.71 c nbDecision=115000 #constraints=35975 176.12/176.26 c nbDecision=115500 #constraints=35977 176.72/176.82 c nbDecision=116000 #constraints=35979 177.22/177.35 c nbDecision=116500 #constraints=35979 180.92/181.00 c nbDecision=117000 #constraints=36201 182.91/183.09 c nbDecision=117500 #constraints=36332 186.12/186.28 c nbDecision=118000 #constraints=36515 188.72/188.85 c nbDecision=118500 #constraints=36670 189.32/189.45 c nbDecision=119000 #constraints=36677 189.92/190.02 c nbDecision=119500 #constraints=36681 190.42/190.55 c nbDecision=120000 #constraints=36681 191.02/191.14 c nbDecision=120500 #constraints=36683 195.31/195.41 c nbDecision=121000 #constraints=36937 197.21/197.31 c nbDecision=121500 #constraints=37052 197.71/197.84 c nbDecision=122000 #constraints=37052 198.91/199.01 c nbDecision=122500 #constraints=37095 203.81/203.97 c nbDecision=123000 #constraints=37402 204.41/204.50 c nbDecision=123500 #constraints=37402 204.91/205.09 c nbDecision=124000 #constraints=37406 205.51/205.62 c nbDecision=124500 #constraints=37406 206.11/206.21 c nbDecision=125000 #constraints=37411 206.61/206.75 c nbDecision=125500 #constraints=37411 207.21/207.31 c nbDecision=126000 #constraints=37413 207.71/207.84 c nbDecision=126500 #constraints=37413 208.31/208.40 c nbDecision=127000 #constraints=37415 208.81/208.93 c nbDecision=127500 #constraints=37415 209.31/209.48 c nbDecision=128000 #constraints=37416 209.91/210.01 c nbDecision=128500 #constraints=37416 210.41/210.56 c nbDecision=129000 #constraints=37417 210.90/211.09 c nbDecision=129500 #constraints=37417 211.50/211.64 c nbDecision=130000 #constraints=37418 212.00/212.17 c nbDecision=130500 #constraints=37418 212.60/212.78 c nbDecision=131000 #constraints=37426 213.21/213.31 c nbDecision=131500 #constraints=37426 214.00/214.15 c nbDecision=132000 #constraints=37457 214.60/214.75 c nbDecision=132500 #constraints=37464 215.20/215.33 c nbDecision=133000 #constraints=37468 215.70/215.88 c nbDecision=133500 #constraints=37469 216.51/216.68 c nbDecision=134000 #constraints=37496 217.10/217.21 c nbDecision=134500 #constraints=37496 217.61/217.79 c nbDecision=135000 #constraints=37500 218.20/218.37 c nbDecision=135500 #constraints=37505 218.81/218.93 c nbDecision=136000 #constraints=37507 219.30/219.49 c nbDecision=136500 #constraints=37509 219.91/220.06 c nbDecision=137000 #constraints=37511 220.40/220.59 c nbDecision=137500 #constraints=37511 221.71/221.89 c nbDecision=138000 #constraints=37586 222.41/222.52 c nbDecision=138500 #constraints=37595 222.91/223.09 c nbDecision=139000 #constraints=37599 223.51/223.65 c nbDecision=139500 #constraints=37601 224.41/224.51 c nbDecision=140000 #constraints=37634 225.11/225.20 c nbDecision=140500 #constraints=37649 225.91/226.01 c nbDecision=141000 #constraints=37676 226.41/226.55 c nbDecision=141500 #constraints=37676 227.01/227.13 c nbDecision=142000 #constraints=37680 227.51/227.66 c nbDecision=142500 #constraints=37680 228.11/228.24 c nbDecision=143000 #constraints=37685 228.61/228.77 c nbDecision=143500 #constraints=37685 229.21/229.32 c nbDecision=144000 #constraints=37687 229.71/229.88 c nbDecision=144500 #constraints=37689 230.30/230.41 c nbDecision=145000 #constraints=37689 230.81/230.96 c nbDecision=145500 #constraints=37691 231.40/231.50 c nbDecision=146000 #constraints=37691 232.20/232.35 c nbDecision=146500 #constraints=37722 232.80/232.95 c nbDecision=147000 #constraints=37729 233.40/233.54 c nbDecision=147500 #constraints=37733 234.40/234.55 c nbDecision=148000 #constraints=37781 234.90/235.08 c nbDecision=148500 #constraints=37781 235.70/235.89 c nbDecision=149000 #constraints=37808 236.30/236.47 c nbDecision=149500 #constraints=37812 236.90/237.05 c nbDecision=150000 #constraints=37817 237.50/237.61 c nbDecision=150500 #constraints=37819 238.00/238.16 c nbDecision=151000 #constraints=37821 238.60/238.72 c nbDecision=151500 #constraints=37823 239.10/239.26 c nbDecision=152000 #constraints=37823 240.10/240.30 c nbDecision=152500 #constraints=37871 241.00/241.16 c nbDecision=153000 #constraints=37902 241.60/241.77 c nbDecision=153500 #constraints=37909 242.20/242.35 c nbDecision=154000 #constraints=37913 242.70/242.89 c nbDecision=154500 #constraints=37913 243.79/243.92 c nbDecision=155000 #constraints=37961 244.29/244.46 c nbDecision=155500 #constraints=37961 245.29/245.45 c nbDecision=156000 #constraints=38003 245.80/245.99 c nbDecision=156500 #constraints=38003 246.39/246.57 c nbDecision=157000 #constraints=38007 246.99/247.10 c nbDecision=157500 #constraints=38007 247.49/247.68 c nbDecision=158000 #constraints=38012 248.09/248.21 c nbDecision=158500 #constraints=38012 248.59/248.77 c nbDecision=159000 #constraints=38014 249.19/249.30 c nbDecision=159500 #constraints=38014 249.69/249.85 c nbDecision=160000 #constraints=38016 250.29/250.41 c nbDecision=160500 #constraints=38018 250.79/250.94 c nbDecision=161000 #constraints=38018 251.59/251.79 c nbDecision=161500 #constraints=38047 252.29/252.42 c nbDecision=162000 #constraints=38056 252.79/252.99 c nbDecision=162500 #constraints=38060 253.39/253.55 c nbDecision=163000 #constraints=38062 254.19/254.39 c nbDecision=163500 #constraints=38091 254.79/254.97 c nbDecision=164000 #constraints=38095 255.39/255.56 c nbDecision=164500 #constraints=38100 255.99/256.11 c nbDecision=165000 #constraints=38102 256.49/256.66 c nbDecision=165500 #constraints=38104 256.98/257.19 c nbDecision=166000 #constraints=38104 257.58/257.77 c nbDecision=166500 #constraints=38106 258.69/258.85 c nbDecision=167000 #constraints=38156 259.59/259.77 c nbDecision=167500 #constraints=38189 260.19/260.38 c nbDecision=168000 #constraints=38196 260.79/260.97 c nbDecision=168500 #constraints=38200 261.39/261.50 c nbDecision=169000 #constraints=38200 262.39/262.59 c nbDecision=169500 #constraints=38250 262.99/263.12 c nbDecision=170000 #constraints=38250 263.79/263.98 c nbDecision=170500 #constraints=38279 264.39/264.52 c nbDecision=171000 #constraints=38279 264.99/265.11 c nbDecision=171500 #constraints=38283 265.59/265.70 c nbDecision=172000 #constraints=38288 266.09/266.23 c nbDecision=172500 #constraints=38288 266.59/266.79 c nbDecision=173000 #constraints=38290 267.19/267.33 c nbDecision=173500 #constraints=38290 267.69/267.88 c nbDecision=174000 #constraints=38292 268.29/268.41 c nbDecision=174500 #constraints=38292 268.79/268.98 c nbDecision=175000 #constraints=38294 269.39/269.52 c nbDecision=175500 #constraints=38294 270.29/270.43 c nbDecision=176000 #constraints=38327 270.89/271.06 c nbDecision=176500 #constraints=38336 271.49/271.63 c nbDecision=177000 #constraints=38338 272.59/272.72 c nbDecision=177500 #constraints=38388 273.38/273.58 c nbDecision=178000 #constraints=38417 273.98/274.16 c nbDecision=178500 #constraints=38421 274.48/274.69 c nbDecision=179000 #constraints=38421 275.08/275.28 c nbDecision=179500 #constraints=38426 275.68/275.83 c nbDecision=180000 #constraints=38428 276.18/276.39 c nbDecision=180500 #constraints=38430 276.78/276.95 c nbDecision=181000 #constraints=38432 277.28/277.49 c nbDecision=181500 #constraints=38432 278.48/278.60 c nbDecision=182000 #constraints=38482 279.38/279.53 c nbDecision=182500 #constraints=38515 279.98/280.17 c nbDecision=183000 #constraints=38524 280.58/280.74 c nbDecision=183500 #constraints=38526 281.08/281.27 c nbDecision=184000 #constraints=38526 282.18/282.40 c nbDecision=184500 #constraints=38576 282.78/282.93 c nbDecision=185000 #constraints=38576 283.88/284.09 c nbDecision=185500 #constraints=38629 284.48/284.63 c nbDecision=186000 #constraints=38629 285.08/285.22 c nbDecision=186500 #constraints=38633 285.58/285.76 c nbDecision=187000 #constraints=38633 286.18/286.36 c nbDecision=187500 #constraints=38638 286.78/286.90 c nbDecision=188000 #constraints=38638 287.28/287.47 c nbDecision=188500 #constraints=38640 287.88/288.00 c nbDecision=189000 #constraints=38640 288.38/288.56 c nbDecision=189500 #constraints=38642 288.88/289.10 c nbDecision=190000 #constraints=38642 289.48/289.65 c nbDecision=190500 #constraints=38643 289.98/290.18 c nbDecision=191000 #constraints=38643 290.58/290.73 c nbDecision=191500 #constraints=38644 291.08/291.26 c nbDecision=192000 #constraints=38644 291.68/291.81 c nbDecision=192500 #constraints=38645 292.18/292.34 c nbDecision=193000 #constraints=38645 292.78/292.97 c nbDecision=193500 #constraints=38648 293.38/293.51 c nbDecision=194000 #constraints=38648 293.87/294.05 c nbDecision=194500 #constraints=38648 294.47/294.61 c nbDecision=195000 #constraints=38650 295.07/295.20 c nbDecision=195500 #constraints=38652 295.57/295.73 c nbDecision=196000 #constraints=38652 296.17/296.32 c nbDecision=196500 #constraints=38654 296.78/296.91 c nbDecision=197000 #constraints=38656 297.27/297.45 c nbDecision=197500 #constraints=38656 297.88/298.04 c nbDecision=198000 #constraints=38658 298.67/298.82 c nbDecision=198500 #constraints=38682 299.47/299.63 c nbDecision=199000 #constraints=38702 300.08/300.21 c nbDecision=199500 #constraints=38703 301.07/301.26 c nbDecision=200000 #constraints=38746 301.67/301.80 c nbDecision=200500 #constraints=38746 302.17/302.34 c nbDecision=201000 #constraints=38746 302.67/302.88 c nbDecision=201500 #constraints=38746 303.27/303.43 c nbDecision=202000 #constraints=38746 303.77/303.98 c nbDecision=202500 #constraints=38746 304.57/304.73 c nbDecision=203000 #constraints=38763 305.37/305.57 c nbDecision=203500 #constraints=38788 305.97/306.15 c nbDecision=204000 #constraints=38792 306.57/306.71 c nbDecision=204500 #constraints=38794 307.27/307.48 c restart after 204801 decisions 307.87/308.04 c nbDecision=205000 #constraints=38832 308.47/308.64 c nbDecision=205500 #constraints=38832 309.07/309.24 c nbDecision=206000 #constraints=38832 309.57/309.78 c nbDecision=206500 #constraints=38832 310.17/310.32 c nbDecision=207000 #constraints=38832 310.67/310.86 c nbDecision=207500 #constraints=38832 311.27/311.41 c nbDecision=208000 #constraints=38832 311.77/311.94 c nbDecision=208500 #constraints=38832 312.27/312.47 c nbDecision=209000 #constraints=38832 312.87/313.01 c nbDecision=209500 #constraints=38832 313.37/313.56 c nbDecision=210000 #constraints=38832 313.97/314.10 c nbDecision=210500 #constraints=38832 314.47/314.69 c nbDecision=211000 #constraints=38836 315.07/315.28 c nbDecision=211500 #constraints=38841 315.66/315.81 c nbDecision=212000 #constraints=38841 316.16/316.36 c nbDecision=212500 #constraints=38843 316.76/316.92 c nbDecision=213000 #constraints=38845 317.26/317.48 c nbDecision=213500 #constraints=38847 317.86/318.03 c nbDecision=214000 #constraints=38847 318.87/319.08 c nbDecision=214500 #constraints=38889 319.46/319.66 c nbDecision=215000 #constraints=38893 320.06/320.23 c nbDecision=215500 #constraints=38895 320.56/320.76 c nbDecision=216000 #constraints=38895 321.56/321.73 c nbDecision=216500 #constraints=38930 322.17/322.32 c nbDecision=217000 #constraints=38934 322.66/322.86 c nbDecision=217500 #constraints=38934 323.26/323.45 c nbDecision=218000 #constraints=38939 323.76/323.99 c nbDecision=218500 #constraints=38939 324.36/324.55 c nbDecision=219000 #constraints=38941 324.86/325.09 c nbDecision=219500 #constraints=38941 325.46/325.65 c nbDecision=220000 #constraints=38943 326.06/326.23 c nbDecision=220500 #constraints=38945 326.56/326.77 c nbDecision=221000 #constraints=38945 327.56/327.72 c nbDecision=221500 #constraints=38978 328.16/328.36 c nbDecision=222000 #constraints=38987 328.76/328.94 c nbDecision=222500 #constraints=38991 329.36/329.51 c nbDecision=223000 #constraints=38993 330.46/330.70 c nbDecision=223500 #constraints=39047 331.46/331.65 c nbDecision=224000 #constraints=39082 332.06/332.24 c nbDecision=224500 #constraints=39086 332.66/332.83 c nbDecision=225000 #constraints=39091 333.16/333.39 c nbDecision=225500 #constraints=39093 333.76/333.92 c nbDecision=226000 #constraints=39093 334.26/334.48 c nbDecision=226500 #constraints=39095 334.86/335.04 c nbDecision=227000 #constraints=39097 335.36/335.57 c nbDecision=227500 #constraints=39097 336.86/337.04 c nbDecision=228000 #constraints=39172 337.46/337.70 c nbDecision=228500 #constraints=39181 338.16/338.32 c nbDecision=229000 #constraints=39187 338.66/338.85 c nbDecision=229500 #constraints=39187 339.77/339.99 c nbDecision=230000 #constraints=39235 340.36/340.53 c nbDecision=230500 #constraints=39235 341.26/341.42 c nbDecision=231000 #constraints=39262 341.76/341.95 c nbDecision=231500 #constraints=39262 342.36/342.55 c nbDecision=232000 #constraints=39266 342.86/343.08 c nbDecision=232500 #constraints=39266 343.46/343.69 c nbDecision=233000 #constraints=39271 344.07/344.22 c nbDecision=233500 #constraints=39271 344.56/344.79 c nbDecision=234000 #constraints=39273 345.17/345.32 c nbDecision=234500 #constraints=39273 345.66/345.89 c nbDecision=235000 #constraints=39275 346.27/346.42 c nbDecision=235500 #constraints=39275 346.86/347.00 c nbDecision=236000 #constraints=39277 347.37/347.54 c nbDecision=236500 #constraints=39277 348.47/348.65 c nbDecision=237000 #constraints=39322 349.06/349.28 c nbDecision=237500 #constraints=39329 349.66/349.86 c nbDecision=238000 #constraints=39333 350.76/350.95 c nbDecision=238500 #constraints=39378 351.26/351.48 c nbDecision=239000 #constraints=39378 351.86/352.08 c nbDecision=239500 #constraints=39382 352.45/352.67 c nbDecision=240000 #constraints=39387 353.05/353.23 c nbDecision=240500 #constraints=39389 353.55/353.79 c nbDecision=241000 #constraints=39391 354.15/354.35 c nbDecision=241500 #constraints=39393 354.65/354.89 c nbDecision=242000 #constraints=39393 355.85/356.01 c nbDecision=242500 #constraints=39438 356.45/356.64 c nbDecision=243000 #constraints=39445 357.05/357.22 c nbDecision=243500 #constraints=39449 357.55/357.76 c nbDecision=244000 #constraints=39449 358.65/358.87 c nbDecision=244500 #constraints=39494 359.25/359.40 c nbDecision=245000 #constraints=39494 359.85/360.00 c nbDecision=245500 #constraints=39498 360.45/360.61 c nbDecision=246000 #constraints=39503 360.95/361.14 c nbDecision=246500 #constraints=39503 361.55/361.71 c nbDecision=247000 #constraints=39505 362.05/362.24 c nbDecision=247500 #constraints=39505 362.65/362.81 c nbDecision=248000 #constraints=39507 363.15/363.34 c nbDecision=248500 #constraints=39507 363.75/363.94 c nbDecision=249000 #constraints=39509 364.25/364.48 c nbDecision=249500 #constraints=39509 365.45/365.62 c nbDecision=250000 #constraints=39554 366.05/366.28 c nbDecision=250500 #constraints=39563 366.65/366.86 c nbDecision=251000 #constraints=39565 368.05/368.21 c nbDecision=251500 #constraints=39627 369.05/369.26 c nbDecision=252000 #constraints=39669 369.65/369.84 c nbDecision=252500 #constraints=39672 370.25/370.44 c nbDecision=253000 #constraints=39676 370.85/371.04 c nbDecision=253500 #constraints=39681 371.45/371.60 c nbDecision=254000 #constraints=39683 371.95/372.16 c nbDecision=254500 #constraints=39685 372.55/372.73 c nbDecision=255000 #constraints=39687 373.05/373.26 c nbDecision=255500 #constraints=39687 374.44/374.61 c nbDecision=256000 #constraints=39749 375.55/375.75 c nbDecision=256500 #constraints=39794 376.15/376.38 c nbDecision=257000 #constraints=39801 376.75/376.98 c nbDecision=257500 #constraints=39805 377.35/377.52 c nbDecision=258000 #constraints=39805 378.75/378.93 c nbDecision=258500 #constraints=39871 379.25/379.47 c nbDecision=259000 #constraints=39871 380.35/380.60 c nbDecision=259500 #constraints=39916 380.95/381.14 c nbDecision=260000 #constraints=39916 381.55/381.75 c nbDecision=260500 #constraints=39920 382.05/382.29 c nbDecision=261000 #constraints=39920 382.75/382.91 c nbDecision=261500 #constraints=39925 383.25/383.44 c nbDecision=262000 #constraints=39925 383.85/384.02 c nbDecision=262500 #constraints=39927 384.35/384.56 c nbDecision=263000 #constraints=39927 384.95/385.14 c nbDecision=263500 #constraints=39929 385.45/385.67 c nbDecision=264000 #constraints=39929 386.05/386.23 c nbDecision=264500 #constraints=39930 386.55/386.77 c nbDecision=265000 #constraints=39930 387.15/387.33 c nbDecision=265500 #constraints=39931 387.65/387.86 c nbDecision=266000 #constraints=39931 388.25/388.42 c nbDecision=266500 #constraints=39932 388.75/388.95 c nbDecision=267000 #constraints=39932 389.35/389.53 c nbDecision=267500 #constraints=39934 389.85/390.07 c nbDecision=268000 #constraints=39934 390.85/391.05 c nbDecision=268500 #constraints=39965 391.45/391.68 c nbDecision=269000 #constraints=39972 392.04/392.27 c nbDecision=269500 #constraints=39976 392.94/393.19 c nbDecision=270000 #constraints=40003 393.55/393.78 c nbDecision=270500 #constraints=40007 394.14/394.39 c nbDecision=271000 #constraints=40012 394.75/394.92 c nbDecision=271500 #constraints=40012 395.24/395.48 c nbDecision=272000 #constraints=40014 395.85/396.04 c nbDecision=272500 #constraints=40016 396.44/396.62 c nbDecision=273000 #constraints=40018 396.95/397.17 c nbDecision=273500 #constraints=40018 398.54/398.77 c nbDecision=274000 #constraints=40093 399.24/399.49 c nbDecision=274500 #constraints=40104 399.84/400.09 c nbDecision=275000 #constraints=40108 400.44/400.62 c nbDecision=275500 #constraints=40108 401.64/401.85 c nbDecision=276000 #constraints=40156 402.14/402.38 c nbDecision=276500 #constraints=40156 403.14/403.31 c nbDecision=277000 #constraints=40183 403.64/403.85 c nbDecision=277500 #constraints=40183 404.24/404.45 c nbDecision=278000 #constraints=40187 404.74/404.99 c nbDecision=278500 #constraints=40187 405.44/405.60 c nbDecision=279000 #constraints=40192 405.94/406.17 c nbDecision=279500 #constraints=40194 406.54/406.71 c nbDecision=280000 #constraints=40194 407.04/407.28 c nbDecision=280500 #constraints=40196 407.64/407.81 c nbDecision=281000 #constraints=40196 408.14/408.38 c nbDecision=281500 #constraints=40198 408.74/408.91 c nbDecision=282000 #constraints=40198 409.74/409.92 c nbDecision=282500 #constraints=40229 410.34/410.58 c nbDecision=283000 #constraints=40238 410.94/411.16 c nbDecision=283500 #constraints=40240 412.13/412.39 c nbDecision=284000 #constraints=40288 413.13/413.31 c nbDecision=284500 #constraints=40315 413.73/413.92 c nbDecision=285000 #constraints=40319 414.23/414.45 c nbDecision=285500 #constraints=40319 414.83/415.06 c nbDecision=286000 #constraints=40324 415.43/415.62 c nbDecision=286500 #constraints=40326 415.93/416.18 c nbDecision=287000 #constraints=40328 416.53/416.75 c nbDecision=287500 #constraints=40330 417.03/417.28 c nbDecision=288000 #constraints=40330 418.73/418.94 c nbDecision=288500 #constraints=40405 419.43/419.62 c nbDecision=289000 #constraints=40414 420.03/420.22 c nbDecision=289500 #constraints=40418 420.53/420.80 c nbDecision=290000 #constraints=40420 421.13/421.33 c nbDecision=290500 #constraints=40420 422.33/422.58 c nbDecision=291000 #constraints=40468 422.93/423.12 c nbDecision=291500 #constraints=40468 423.93/424.12 c nbDecision=292000 #constraints=40499 424.44/424.66 c nbDecision=292500 #constraints=40499 425.03/425.27 c nbDecision=293000 #constraints=40503 425.63/425.88 c nbDecision=293500 #constraints=40508 426.23/426.41 c nbDecision=294000 #constraints=40508 426.73/426.98 c nbDecision=294500 #constraints=40510 427.33/427.52 c nbDecision=295000 #constraints=40510 427.83/428.08 c nbDecision=295500 #constraints=40512 428.43/428.61 c nbDecision=296000 #constraints=40512 428.93/429.19 c nbDecision=296500 #constraints=40514 429.53/429.72 c nbDecision=297000 #constraints=40514 430.43/430.69 c nbDecision=297500 #constraints=40543 431.23/431.41 c nbDecision=298000 #constraints=40554 431.83/432.01 c nbDecision=298500 #constraints=40558 432.33/432.55 c nbDecision=299000 #constraints=40558 433.33/433.50 c nbDecision=299500 #constraints=40587 433.93/434.11 c nbDecision=300000 #constraints=40591 434.53/434.72 c nbDecision=300500 #constraints=40596 435.02/435.29 c nbDecision=301000 #constraints=40598 435.62/435.85 c nbDecision=301500 #constraints=40600 436.22/436.43 c nbDecision=302000 #constraints=40602 436.72/436.96 c nbDecision=302500 #constraints=40602 438.02/438.27 c nbDecision=303000 #constraints=40652 439.22/439.42 c nbDecision=303500 #constraints=40690 439.82/440.02 c nbDecision=304000 #constraints=40694 440.32/440.60 c nbDecision=304500 #constraints=40696 440.92/441.13 c nbDecision=305000 #constraints=40696 442.23/442.43 c nbDecision=305500 #constraints=40746 443.03/443.24 c nbDecision=306000 #constraints=40765 443.73/443.95 c nbDecision=306500 #constraints=40775 444.33/444.57 c nbDecision=307000 #constraints=40779 444.93/445.10 c nbDecision=307500 #constraints=40779 445.53/445.72 c nbDecision=308000 #constraints=40784 446.03/446.26 c nbDecision=308500 #constraints=40784 446.63/446.83 c nbDecision=309000 #constraints=40786 447.23/447.40 c nbDecision=309500 #constraints=40788 447.72/447.93 c nbDecision=310000 #constraints=40788 448.32/448.51 c nbDecision=310500 #constraints=40790 448.82/449.05 c nbDecision=311000 #constraints=40790 449.82/450.04 c nbDecision=311500 #constraints=40819 450.52/450.74 c nbDecision=312000 #constraints=40828 451.13/451.33 c nbDecision=312500 #constraints=40832 451.72/451.92 c nbDecision=313000 #constraints=40834 453.03/453.22 c nbDecision=313500 #constraints=40884 454.02/454.20 c nbDecision=314000 #constraints=40913 454.62/454.81 c nbDecision=314500 #constraints=40917 455.22/455.43 c nbDecision=315000 #constraints=40922 455.82/456.00 c nbDecision=315500 #constraints=40924 456.32/456.56 c nbDecision=316000 #constraints=40926 456.82/457.09 c nbDecision=316500 #constraints=40926 457.42/457.67 c nbDecision=317000 #constraints=40928 458.01/458.22 c nbDecision=317500 #constraints=40928 459.82/460.01 c nbDecision=318000 #constraints=41007 460.51/460.72 c nbDecision=318500 #constraints=41016 461.11/461.32 c nbDecision=319000 #constraints=41020 461.71/461.91 c nbDecision=319500 #constraints=41022 462.21/462.44 c nbDecision=320000 #constraints=41022 463.51/463.79 c nbDecision=320500 #constraints=41072 464.11/464.32 c nbDecision=321000 #constraints=41072 465.21/465.45 c nbDecision=321500 #constraints=41109 465.71/465.98 c nbDecision=322000 #constraints=41109 466.41/466.61 c nbDecision=322500 #constraints=41113 466.91/467.15 c nbDecision=323000 #constraints=41113 467.51/467.78 c nbDecision=323500 #constraints=41118 468.11/468.31 c nbDecision=324000 #constraints=41118 468.61/468.89 c nbDecision=324500 #constraints=41120 469.21/469.42 c nbDecision=325000 #constraints=41120 469.81/470.00 c nbDecision=325500 #constraints=41122 470.31/470.53 c nbDecision=326000 #constraints=41122 470.81/471.09 c nbDecision=326500 #constraints=41123 471.41/471.62 c nbDecision=327000 #constraints=41123 471.91/472.18 c nbDecision=327500 #constraints=41124 472.51/472.71 c nbDecision=328000 #constraints=41124 473.01/473.27 c nbDecision=328500 #constraints=41125 473.61/473.80 c nbDecision=329000 #constraints=41125 474.20/474.46 c nbDecision=329500 #constraints=41128 474.80/475.06 c nbDecision=330000 #constraints=41129 475.40/475.64 c nbDecision=330500 #constraints=41130 475.90/476.17 c nbDecision=331000 #constraints=41130 477.21/477.46 c nbDecision=331500 #constraints=41174 477.80/478.06 c nbDecision=332000 #constraints=41175 478.81/479.08 c nbDecision=332500 #constraints=41206 479.91/480.17 c nbDecision=333000 #constraints=41218 480.51/480.72 c nbDecision=333500 #constraints=41218 481.01/481.27 c nbDecision=334000 #constraints=41218 481.61/481.82 c nbDecision=334500 #constraints=41218 482.11/482.36 c nbDecision=335000 #constraints=41218 482.71/482.91 c nbDecision=335500 #constraints=41218 483.21/483.45 c nbDecision=336000 #constraints=41218 483.71/483.98 c nbDecision=336500 #constraints=41218 484.31/484.54 c nbDecision=337000 #constraints=41218 484.81/485.10 c nbDecision=337500 #constraints=41218 485.41/485.64 c nbDecision=338000 #constraints=41218 486.01/486.24 c nbDecision=338500 #constraints=41219 486.91/487.20 c nbDecision=339000 #constraints=41277 487.81/488.05 c nbDecision=339500 #constraints=41322 489.21/489.41 c nbDecision=340000 #constraints=41436 489.91/490.10 c nbDecision=340500 #constraints=41458 490.41/490.69 c nbDecision=341000 #constraints=41467 491.01/491.26 c nbDecision=341500 #constraints=41472 491.61/491.80 c nbDecision=342000 #constraints=41474 492.11/492.35 c nbDecision=342500 #constraints=41476 492.81/493.02 c nbDecision=343000 #constraints=41478 493.31/493.56 c nbDecision=343500 #constraints=41478 493.91/494.10 c nbDecision=344000 #constraints=41478 494.40/494.64 c nbDecision=344500 #constraints=41478 494.90/495.18 c nbDecision=345000 #constraints=41478 495.50/495.71 c nbDecision=345500 #constraints=41478 496.00/496.25 c nbDecision=346000 #constraints=41478 496.60/496.80 c nbDecision=346500 #constraints=41478 497.10/497.35 c nbDecision=347000 #constraints=41478 497.60/497.89 c nbDecision=347500 #constraints=41478 498.20/498.46 c nbDecision=348000 #constraints=41478 498.70/498.99 c nbDecision=348500 #constraints=41478 500.70/500.96 c nbDecision=349000 #constraints=41657 501.31/501.51 c nbDecision=349500 #constraints=41657 501.80/502.06 c nbDecision=350000 #constraints=41657 502.41/502.60 c nbDecision=350500 #constraints=41657 502.90/503.15 c nbDecision=351000 #constraints=41657 503.40/503.69 c nbDecision=351500 #constraints=41657 504.00/504.23 c nbDecision=352000 #constraints=41657 504.50/504.77 c nbDecision=352500 #constraints=41657 505.10/505.33 c nbDecision=353000 #constraints=41657 505.60/505.88 c nbDecision=353500 #constraints=41657 506.20/506.43 c nbDecision=354000 #constraints=41657 506.70/506.99 c nbDecision=354500 #constraints=41657 507.30/507.52 c nbDecision=355000 #constraints=41657 508.10/508.32 c nbDecision=355500 #constraints=41678 508.60/508.86 c nbDecision=356000 #constraints=41678 509.20/509.40 c nbDecision=356500 #constraints=41678 509.70/509.94 c nbDecision=357000 #constraints=41678 510.20/510.48 c nbDecision=357500 #constraints=41678 510.80/511.02 c nbDecision=358000 #constraints=41678 511.30/511.55 c nbDecision=358500 #constraints=41678 511.90/512.10 c nbDecision=359000 #constraints=41678 512.40/512.65 c nbDecision=359500 #constraints=41678 512.90/513.19 c nbDecision=360000 #constraints=41678 513.50/513.75 c nbDecision=360500 #constraints=41678 513.99/514.28 c nbDecision=361000 #constraints=41678 514.69/514.98 c nbDecision=361500 #constraints=41686 515.29/515.52 c nbDecision=362000 #constraints=41686 515.79/516.06 c nbDecision=362500 #constraints=41686 516.39/516.60 c nbDecision=363000 #constraints=41686 516.89/517.14 c nbDecision=363500 #constraints=41686 517.39/517.68 c nbDecision=364000 #constraints=41686 517.99/518.22 c nbDecision=364500 #constraints=41686 518.49/518.77 c nbDecision=365000 #constraints=41686 519.09/519.33 c nbDecision=365500 #constraints=41686 519.59/519.87 c nbDecision=366000 #constraints=41686 520.19/520.44 c nbDecision=366500 #constraints=41686 520.69/520.97 c nbDecision=367000 #constraints=41686 521.39/521.65 c nbDecision=367500 #constraints=41691 521.99/522.20 c nbDecision=368000 #constraints=41691 522.49/522.74 c nbDecision=368500 #constraints=41691 522.99/523.29 c nbDecision=369000 #constraints=41691 523.59/523.84 c nbDecision=369500 #constraints=41691 524.09/524.38 c nbDecision=370000 #constraints=41691 524.69/524.91 c nbDecision=370500 #constraints=41691 525.19/525.46 c nbDecision=371000 #constraints=41691 525.79/526.03 c nbDecision=371500 #constraints=41691 526.29/526.57 c nbDecision=372000 #constraints=41691 526.89/527.14 c nbDecision=372500 #constraints=41691 527.39/527.67 c nbDecision=373000 #constraints=41691 528.09/528.32 c nbDecision=373500 #constraints=41693 528.59/528.86 c nbDecision=374000 #constraints=41693 529.19/529.40 c nbDecision=374500 #constraints=41693 529.69/529.94 c nbDecision=375000 #constraints=41693 530.19/530.48 c nbDecision=375500 #constraints=41693 530.79/531.02 c nbDecision=376000 #constraints=41693 531.28/531.55 c nbDecision=376500 #constraints=41693 531.78/532.08 c nbDecision=377000 #constraints=41693 532.38/532.65 c nbDecision=377500 #constraints=41693 532.88/533.19 c nbDecision=378000 #constraints=41693 533.48/533.75 c nbDecision=378500 #constraints=41693 533.98/534.28 c nbDecision=379000 #constraints=41693 534.58/534.81 c nbDecision=379500 #constraints=41693 535.18/535.47 c nbDecision=380000 #constraints=41695 535.78/536.01 c nbDecision=380500 #constraints=41695 536.28/536.55 c nbDecision=381000 #constraints=41695 536.78/537.09 c nbDecision=381500 #constraints=41695 537.38/537.63 c nbDecision=382000 #constraints=41695 537.88/538.17 c nbDecision=382500 #constraints=41695 538.48/538.71 c nbDecision=383000 #constraints=41695 538.98/539.27 c nbDecision=383500 #constraints=41695 539.58/539.82 c nbDecision=384000 #constraints=41695 540.08/540.36 c nbDecision=384500 #constraints=41695 540.68/540.93 c nbDecision=385000 #constraints=41695 541.18/541.47 c nbDecision=385500 #constraints=41695 541.88/542.12 c nbDecision=386000 #constraints=41696 542.38/542.67 c nbDecision=386500 #constraints=41696 542.98/543.21 c nbDecision=387000 #constraints=41696 543.48/543.76 c nbDecision=387500 #constraints=41696 544.08/544.30 c nbDecision=388000 #constraints=41696 544.58/544.84 c nbDecision=388500 #constraints=41696 545.08/545.38 c nbDecision=389000 #constraints=41696 545.68/545.93 c nbDecision=389500 #constraints=41696 546.18/546.49 c nbDecision=390000 #constraints=41696 546.78/547.03 c nbDecision=390500 #constraints=41696 547.38/547.60 c nbDecision=391000 #constraints=41696 547.88/548.13 c nbDecision=391500 #constraints=41696 548.48/548.77 c nbDecision=392000 #constraints=41697 549.08/549.32 c nbDecision=392500 #constraints=41697 549.58/549.86 c nbDecision=393000 #constraints=41697 550.18/550.40 c nbDecision=393500 #constraints=41697 550.68/550.94 c nbDecision=394000 #constraints=41697 551.18/551.47 c nbDecision=394500 #constraints=41697 551.78/552.01 c nbDecision=395000 #constraints=41697 552.28/552.55 c nbDecision=395500 #constraints=41697 552.87/553.11 c nbDecision=396000 #constraints=41697 553.38/553.64 c nbDecision=396500 #constraints=41697 553.97/554.21 c nbDecision=397000 #constraints=41697 554.47/554.74 c nbDecision=397500 #constraints=41697 555.37/555.69 c nbDecision=398000 #constraints=41699 555.97/556.23 c nbDecision=398500 #constraints=41699 556.57/556.85 c nbDecision=399000 #constraints=41699 557.07/557.39 c nbDecision=399500 #constraints=41699 557.67/557.94 c nbDecision=400000 #constraints=41699 558.17/558.48 c nbDecision=400500 #constraints=41699 558.77/559.03 c nbDecision=401000 #constraints=41699 559.27/559.57 c nbDecision=401500 #constraints=41699 559.87/560.11 c nbDecision=402000 #constraints=41699 560.37/560.65 c nbDecision=402500 #constraints=41699 560.97/561.22 c nbDecision=403000 #constraints=41699 561.47/561.76 c nbDecision=403500 #constraints=41699 562.07/562.33 c nbDecision=404000 #constraints=41699 562.57/562.87 c nbDecision=404500 #constraints=41699 563.17/563.40 c nbDecision=405000 #constraints=41699 563.67/563.94 c nbDecision=405500 #constraints=41700 564.27/564.50 c nbDecision=406000 #constraints=41704 564.97/565.24 c nbDecision=406500 #constraints=41732 567.17/567.45 c nbDecision=407000 #constraints=41957 568.28/568.56 c nbDecision=407500 #constraints=42035 569.08/569.38 c nbDecision=408000 #constraints=42075 570.48/570.73 c nbDecision=408500 #constraints=42184 572.08/572.37 c nbDecision=409000 #constraints=42321 573.07/573.34 c nbDecision=409500 #constraints=42379 573.17/573.45 c restart after 409601 decisions 573.98/574.28 c nbDecision=410000 #constraints=42379 574.67/574.91 c nbDecision=410500 #constraints=42379 575.17/575.45 c nbDecision=411000 #constraints=42379 575.67/575.99 c nbDecision=411500 #constraints=42379 576.27/576.53 c nbDecision=412000 #constraints=42379 576.77/577.07 c nbDecision=412500 #constraints=42379 577.37/577.62 c nbDecision=413000 #constraints=42379 577.87/578.15 c nbDecision=413500 #constraints=42379 578.38/578.69 c nbDecision=414000 #constraints=42379 578.97/579.25 c nbDecision=414500 #constraints=42379 579.57/579.81 c nbDecision=415000 #constraints=42379 580.07/580.35 c nbDecision=415500 #constraints=42379 580.67/580.92 c nbDecision=416000 #constraints=42379 581.17/581.45 c nbDecision=416500 #constraints=42379 581.67/581.98 c nbDecision=417000 #constraints=42379 582.27/582.55 c nbDecision=417500 #constraints=42384 583.17/583.46 c nbDecision=418000 #constraints=42431 584.37/584.64 c nbDecision=418500 #constraints=42510 584.87/585.17 c nbDecision=419000 #constraints=42510 585.57/585.87 c nbDecision=419500 #constraints=42531 586.17/586.40 c nbDecision=420000 #constraints=42531 586.77/587.01 c nbDecision=420500 #constraints=42539 587.27/587.55 c nbDecision=421000 #constraints=42539 587.87/588.11 c nbDecision=421500 #constraints=42544 588.37/588.64 c nbDecision=422000 #constraints=42544 588.87/589.19 c nbDecision=422500 #constraints=42546 589.47/589.72 c nbDecision=423000 #constraints=42546 589.97/590.26 c nbDecision=423500 #constraints=42548 590.47/590.79 c nbDecision=424000 #constraints=42548 591.07/591.35 c nbDecision=424500 #constraints=42550 591.57/591.88 c nbDecision=425000 #constraints=42550 592.17/592.40 c nbDecision=425500 #constraints=42550 593.16/593.46 c nbDecision=426000 #constraints=42616 594.77/595.08 c nbDecision=426500 #constraints=42753 596.66/596.97 c nbDecision=427000 #constraints=42906 598.17/598.44 c nbDecision=427500 #constraints=43018 599.76/600.08 c nbDecision=428000 #constraints=43148 600.36/600.64 c nbDecision=428500 #constraints=43151 601.16/601.44 c nbDecision=429000 #constraints=43180 601.66/601.97 c nbDecision=429500 #constraints=43180 602.36/602.60 c nbDecision=430000 #constraints=43192 602.86/603.14 c nbDecision=430500 #constraints=43192 603.36/603.67 c nbDecision=431000 #constraints=43192 603.96/604.26 c nbDecision=431500 #constraints=43196 604.46/604.80 c nbDecision=432000 #constraints=43196 605.06/605.37 c nbDecision=432500 #constraints=43201 605.66/605.90 c nbDecision=433000 #constraints=43201 606.16/606.44 c nbDecision=433500 #constraints=43201 606.66/606.99 c nbDecision=434000 #constraints=43203 607.26/607.52 c nbDecision=434500 #constraints=43203 607.76/608.05 c nbDecision=435000 #constraints=43203 608.26/608.59 c nbDecision=435500 #constraints=43205 608.86/609.12 c nbDecision=436000 #constraints=43205 609.56/609.81 c nbDecision=436500 #constraints=43226 610.06/610.34 c nbDecision=437000 #constraints=43226 610.56/610.87 c nbDecision=437500 #constraints=43226 611.16/611.49 c nbDecision=438000 #constraints=43229 611.76/612.03 c nbDecision=438500 #constraints=43229 612.26/612.59 c nbDecision=439000 #constraints=43229 612.86/613.12 c nbDecision=439500 #constraints=43229 613.36/613.65 c nbDecision=440000 #constraints=43229 614.36/614.61 c nbDecision=440500 #constraints=43232 614.86/615.16 c nbDecision=441000 #constraints=43232 615.45/615.77 c nbDecision=441500 #constraints=43232 616.05/616.32 c nbDecision=442000 #constraints=43232 616.55/616.86 c nbDecision=442500 #constraints=43232 617.15/617.40 c nbDecision=443000 #constraints=43232 617.65/617.95 c nbDecision=443500 #constraints=43232 618.15/618.49 c nbDecision=444000 #constraints=43232 618.75/619.03 c nbDecision=444500 #constraints=43232 619.25/619.56 c nbDecision=445000 #constraints=43232 619.85/620.13 c nbDecision=445500 #constraints=43232 620.35/620.68 c nbDecision=446000 #constraints=43232 620.95/621.25 c nbDecision=446500 #constraints=43232 621.45/621.78 c nbDecision=447000 #constraints=43232 622.05/622.32 c nbDecision=447500 #constraints=43232 622.55/622.85 c nbDecision=448000 #constraints=43232 623.55/623.84 c nbDecision=448500 #constraints=43264 624.05/624.39 c nbDecision=449000 #constraints=43264 624.65/624.93 c nbDecision=449500 #constraints=43264 625.15/625.48 c nbDecision=450000 #constraints=43264 625.75/626.03 c nbDecision=450500 #constraints=43264 626.25/626.57 c nbDecision=451000 #constraints=43264 626.85/627.11 c nbDecision=451500 #constraints=43264 627.36/627.66 c nbDecision=452000 #constraints=43264 627.96/628.21 c nbDecision=452500 #constraints=43264 628.46/628.74 c nbDecision=453000 #constraints=43264 629.06/629.31 c nbDecision=453500 #constraints=43264 629.56/629.84 c nbDecision=454000 #constraints=43264 630.06/630.37 c nbDecision=454500 #constraints=43264 631.16/631.45 c nbDecision=454896 #constraints=43295 631.16/631.45 631.16/631.45 s UNSATISFIABLE 631.16/631.45 631.16/631.45 c user time= 630.988 s 631.16/631.45 c system time= 0.230964 s 631.16/631.45 c wall clock time=631.457
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node24/watcher-363266-1176851914 -o ROOT/results/node24/solver-363266-1176851914 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/363266-1176851914/instance-363266-1176851914.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.98 0.98 3/77 12711 /proc/meminfo: memFree=1632720/2055920 swapFree=4101964/4192956 [pid=12711] ppid=12709 vsize=1620 CPUtime=0 /proc/12711/stat : 12711 (oree) R 12709 12711 12283 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 133109506 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12711/statm: 405 175 126 317 0 84 0 [startup+0.067157 s] /proc/loadavg: 0.91 0.98 0.98 3/77 12711 /proc/meminfo: memFree=1632720/2055920 swapFree=4101964/4192956 [pid=12711] ppid=12709 vsize=2400 CPUtime=0.06 /proc/12711/stat : 12711 (oree) R 12709 12711 12283 0 -1 4194304 509 0 0 0 6 0 0 0 18 0 1 0 133109506 2457600 393 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134538272 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12711/statm: 600 393 127 317 0 279 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 2400 [startup+0.10116 s] /proc/loadavg: 0.91 0.98 0.98 3/77 12711 /proc/meminfo: memFree=1632720/2055920 swapFree=4101964/4192956 [pid=12711] ppid=12709 vsize=2760 CPUtime=0.09 /proc/12711/stat : 12711 (oree) R 12709 12711 12283 0 -1 4194304 604 0 0 0 9 0 0 0 18 0 1 0 133109506 2826240 488 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12711/statm: 690 488 131 317 0 369 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2760 [startup+0.301181 s] /proc/loadavg: 0.91 0.98 0.98 3/77 12711 /proc/meminfo: memFree=1632720/2055920 swapFree=4101964/4192956 [pid=12711] ppid=12709 vsize=5928 CPUtime=0.29 /proc/12711/stat : 12711 (oree) R 12709 12711 12283 0 -1 4194304 1370 0 0 0 29 0 0 0 19 0 1 0 133109506 6070272 1254 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12711/statm: 1482 1254 131 317 0 1161 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5928 [startup+0.701224 s] /proc/loadavg: 0.91 0.98 0.98 3/77 12711 /proc/meminfo: memFree=1632720/2055920 swapFree=4101964/4192956 [pid=12711] ppid=12709 vsize=11756 CPUtime=0.69 /proc/12711/stat : 12711 (oree) R 12709 12711 12283 0 -1 4194304 2823 0 0 0 67 2 0 0 23 0 1 0 133109506 12038144 2707 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12711/statm: 2939 2708 131 317 0 2618 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 11756 [startup+1.50131 s] /proc/loadavg: 0.91 0.98 0.98 2/78 12712 /proc/meminfo: memFree=1618056/2055920 swapFree=4101964/4192956 [pid=12711] ppid=12709 vsize=24456 CPUtime=1.49 /proc/12711/stat : 12711 (oree) R 12709 12711 12283 0 -1 4194304 6002 0 0 0 145 4 0 0 25 0 1 0 133109506 25042944 5886 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12711/statm: 6114 5886 131 317 0 5793 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 24456 [startup+3.10149 s] /proc/loadavg: 0.91 0.98 0.98 2/78 12712 /proc/meminfo: memFree=1597768/2055920 swapFree=4101964/4192956 [pid=12711] ppid=12709 vsize=36212 CPUtime=3.09 /proc/12711/stat : 12711 (oree) R 12709 12711 12283 0 -1 4194304 8969 0 0 0 303 6 0 0 25 0 1 0 133109506 37081088 8853 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12711/statm: 9053 8853 137 317 0 8732 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 36212 [startup+6.30283 s] /proc/loadavg: 0.92 0.98 0.98 2/78 12712 /proc/meminfo: memFree=1596616/2055920 swapFree=4101964/4192956 [pid=12711] ppid=12709 vsize=37532 CPUtime=6.29 /proc/12711/stat : 12711 (oree) R 12709 12711 12283 0 -1 4194304 9271 0 0 0 623 6 0 0 25 0 1 0 133109506 38432768 9155 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12711/statm: 9383 9155 137 317 0 9062 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 37532 [startup+12.7015 s] /proc/loadavg: 0.93 0.98 0.98 2/78 12712 /proc/meminfo: memFree=1591624/2055920 swapFree=4101964/4192956 [pid=12711] ppid=12709 vsize=42856 CPUtime=12.69 /proc/12711/stat : 12711 (oree) R 12709 12711 12283 0 -1 4194304 10608 0 0 0 1262 7 0 0 25 0 1 0 133109506 43884544 10281 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12711/statm: 10714 10281 139 317 0 10393 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 42856 [startup+25.5019 s] /proc/loadavg: 0.94 0.98 0.98 2/78 12712 /proc/meminfo: memFree=1591816/2055920 swapFree=4101964/4192956 [pid=12711] ppid=12709 vsize=42856 CPUtime=25.48 /proc/12711/stat : 12711 (oree) R 12709 12711 12283 0 -1 4194304 10609 0 0 0 2541 7 0 0 25 0 1 0 133109506 43884544 10282 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606847 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12711/statm: 10714 10282 139 317 0 10393 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 42856 [startup+51.1017 s] /proc/loadavg: 0.96 0.98 0.98 2/78 12712 /proc/meminfo: memFree=1591880/2055920 swapFree=4101964/4192956 [pid=12711] ppid=12709 vsize=42856 CPUtime=51.06 /proc/12711/stat : 12711 (oree) R 12709 12711 12283 0 -1 4194304 10613 0 0 0 5099 7 0 0 25 0 1 0 133109506 43884544 10286 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606679 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12711/statm: 10714 10286 139 317 0 10393 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 42856 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.98 2/78 12712 /proc/meminfo: memFree=1587208/2055920 swapFree=4101964/4192956 [pid=12711] ppid=12709 vsize=47604 CPUtime=102.25 /proc/12711/stat : 12711 (oree) R 12709 12711 12283 0 -1 4194304 11831 0 0 0 10216 9 0 0 25 0 1 0 133109506 48746496 11471 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12711/statm: 11901 11471 139 317 0 11580 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 47604 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.98 2/78 12712 /proc/meminfo: memFree=1577288/2055920 swapFree=4101964/4192956 [pid=12711] ppid=12709 vsize=57784 CPUtime=162.22 /proc/12711/stat : 12711 (oree) R 12709 12711 12283 0 -1 4194304 14304 0 0 0 16210 12 0 0 25 0 1 0 133109506 59170816 13944 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12711/statm: 14446 13944 139 317 0 14125 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 57784 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.98 2/78 12712 /proc/meminfo: memFree=1565832/2055920 swapFree=4101964/4192956 [pid=12711] ppid=12709 vsize=69900 CPUtime=222.21 /proc/12711/stat : 12711 (oree) R 12709 12711 12283 0 -1 4194304 17137 0 0 0 22206 15 0 0 25 0 1 0 133109506 71577600 16777 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606679 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12711/statm: 17475 16777 139 317 0 17154 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 69900 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.98 2/78 12712 /proc/meminfo: memFree=1561480/2055920 swapFree=4101964/4192956 [pid=12711] ppid=12709 vsize=74072 CPUtime=282.18 /proc/12711/stat : 12711 (oree) R 12709 12711 12283 0 -1 4194304 18267 0 0 0 28202 16 0 0 25 0 1 0 133109506 75849728 17907 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12711/statm: 18518 17907 139 317 0 18197 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 74072 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.98 2/78 12712 /proc/meminfo: memFree=1558664/2055920 swapFree=4101964/4192956 [pid=12711] ppid=12709 vsize=76420 CPUtime=342.16 /proc/12711/stat : 12711 (oree) R 12709 12711 12283 0 -1 4194304 18911 0 0 0 34199 17 0 0 25 0 1 0 133109506 78254080 18551 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12711/statm: 19105 18551 139 317 0 18784 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 76420 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.98 2/78 12712 /proc/meminfo: memFree=1554568/2055920 swapFree=4101964/4192956 [pid=12711] ppid=12709 vsize=80280 CPUtime=402.14 /proc/12711/stat : 12711 (oree) R 12709 12711 12283 0 -1 4194304 19947 0 0 0 40196 18 0 0 25 0 1 0 133109506 82206720 19587 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12711/statm: 20070 19587 139 317 0 19749 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 80280 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.98 2/78 12712 /proc/meminfo: memFree=1550344/2055920 swapFree=4101964/4192956 [pid=12711] ppid=12709 vsize=84748 CPUtime=462.11 /proc/12711/stat : 12711 (oree) R 12709 12711 12283 0 -1 4194304 20999 0 0 0 46191 20 0 0 25 0 1 0 133109506 86781952 20639 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12711/statm: 21187 20639 139 317 0 20866 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 84748 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.98 2/78 12712 /proc/meminfo: memFree=1549512/2055920 swapFree=4101964/4192956 [pid=12711] ppid=12709 vsize=85536 CPUtime=522.09 /proc/12711/stat : 12711 (oree) R 12709 12711 12283 0 -1 4194304 21209 0 0 0 52188 21 0 0 25 0 1 0 133109506 87588864 20849 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12711/statm: 21384 20849 139 317 0 21063 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 85536 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.98 2/78 12712 /proc/meminfo: memFree=1549064/2055920 swapFree=4101964/4192956 [pid=12711] ppid=12709 vsize=85928 CPUtime=582.07 /proc/12711/stat : 12711 (oree) R 12709 12711 12283 0 -1 4194304 21318 0 0 0 58185 22 0 0 25 0 1 0 133109506 87990272 20958 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12711/statm: 21482 20958 139 317 0 21161 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 85928 Solver just ended. Dumping a history of the last processes samples [startup+588.702 s] /proc/loadavg: 0.99 0.98 0.98 2/78 12712 /proc/meminfo: memFree=1548936/2055920 swapFree=4101964/4192956 [pid=12711] ppid=12709 vsize=86060 CPUtime=588.47 /proc/12711/stat : 12711 (oree) R 12709 12711 12283 0 -1 4194304 21344 0 0 0 58825 22 0 0 25 0 1 0 133109506 88125440 20984 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606624 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12711/statm: 21515 20984 139 317 0 21194 0 Current children cumulated CPU time (s) 588.47 Current children cumulated vsize (KiB) 86060 [startup+614.302 s] /proc/loadavg: 0.99 0.98 0.98 2/78 12712 /proc/meminfo: memFree=1548488/2055920 swapFree=4101964/4192956 [pid=12711] ppid=12709 vsize=86456 CPUtime=614.06 /proc/12711/stat : 12711 (oree) R 12709 12711 12283 0 -1 4194304 21465 0 0 0 61384 22 0 0 25 0 1 0 133109506 88530944 21105 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604197 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12711/statm: 21614 21105 139 317 0 21293 0 Current children cumulated CPU time (s) 614.06 Current children cumulated vsize (KiB) 86456 [startup+620.701 s] /proc/loadavg: 0.99 0.98 0.98 2/78 12712 /proc/meminfo: memFree=1548488/2055920 swapFree=4101964/4192956 [pid=12711] ppid=12709 vsize=86456 CPUtime=620.45 /proc/12711/stat : 12711 (oree) R 12709 12711 12283 0 -1 4194304 21465 0 0 0 62023 22 0 0 25 0 1 0 133109506 88530944 21105 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12711/statm: 21614 21105 139 317 0 21293 0 Current children cumulated CPU time (s) 620.45 Current children cumulated vsize (KiB) 86456 [startup+627.102 s] /proc/loadavg: 0.99 0.98 0.98 2/78 12712 /proc/meminfo: memFree=1548488/2055920 swapFree=4101964/4192956 [pid=12711] ppid=12709 vsize=86584 CPUtime=626.85 /proc/12711/stat : 12711 (oree) R 12709 12711 12283 0 -1 4194304 21472 0 0 0 62663 22 0 0 25 0 1 0 133109506 88662016 21112 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12711/statm: 21646 21112 139 317 0 21325 0 Current children cumulated CPU time (s) 626.85 Current children cumulated vsize (KiB) 86584 [startup+628.701 s] /proc/loadavg: 0.99 0.98 0.98 2/78 12712 /proc/meminfo: memFree=1548488/2055920 swapFree=4101964/4192956 [pid=12711] ppid=12709 vsize=86584 CPUtime=628.46 /proc/12711/stat : 12711 (oree) R 12709 12711 12283 0 -1 4194304 21472 0 0 0 62823 23 0 0 25 0 1 0 133109506 88662016 21112 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12711/statm: 21646 21112 139 317 0 21325 0 Current children cumulated CPU time (s) 628.46 Current children cumulated vsize (KiB) 86584 [startup+630.306 s] /proc/loadavg: 0.99 0.98 0.98 2/78 12712 /proc/meminfo: memFree=1548488/2055920 swapFree=4101964/4192956 [pid=12711] ppid=12709 vsize=86584 CPUtime=630.06 /proc/12711/stat : 12711 (oree) R 12709 12711 12283 0 -1 4194304 21472 0 0 0 62983 23 0 0 25 0 1 0 133109506 88662016 21112 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606698 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12711/statm: 21646 21112 139 317 0 21325 0 Current children cumulated CPU time (s) 630.06 Current children cumulated vsize (KiB) 86584 [startup+631.102 s] /proc/loadavg: 0.99 0.98 0.98 2/78 12712 /proc/meminfo: memFree=1548488/2055920 swapFree=4101964/4192956 [pid=12711] ppid=12709 vsize=86584 CPUtime=630.86 /proc/12711/stat : 12711 (oree) R 12709 12711 12283 0 -1 4194304 21476 0 0 0 63063 23 0 0 25 0 1 0 133109506 88662016 21116 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604429 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12711/statm: 21646 21116 139 317 0 21325 0 Current children cumulated CPU time (s) 630.86 Current children cumulated vsize (KiB) 86584 [startup+631.501 s] /proc/loadavg: 0.99 0.98 0.98 2/78 12712 /proc/meminfo: memFree=1548424/2055920 swapFree=4101964/4192956 [pid=12711] ppid=12709 vsize=0 CPUtime=631.25 /proc/12711/stat : 12711 (oree) R 12709 12711 12283 0 -1 4194308 21492 0 0 0 63101 24 0 0 25 0 1 0 133109506 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12711/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 631.25 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 631.506 CPU time (s): 631.265 CPU user time (s): 631.019 CPU system time (s): 0.245962 CPU usage (%): 99.9619 Max. virtual memory (cumulated for all children) (KiB): 86584 getrusage(RUSAGE_CHILDREN,...) data: user time used= 631.019 system time used= 0.245962 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 21492 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= 7 involuntary context switches= 14064 runsolver used 0.729889 second user time and 1.63175 second system time The end
Begin job on node24 on Tue Apr 17 23:18:35 UTC 2007 IDJOB= 363266 IDBENCH= 1785 IDSOLVER= 172 FILE ID= node24/363266-1176851914 PBS_JOBID= 4590215 Free space on /tmp= 66489 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/miplib2003/normalized-reduced-mps-v2-20-10-atlanta-ip.opb COMMAND LINE= oree /tmp/evaluation/363266-1176851914/instance-363266-1176851914.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node24/watcher-363266-1176851914 -o ROOT/results/node24/solver-363266-1176851914 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/363266-1176851914/instance-363266-1176851914.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 235de11a8c28ae4c0ee0cc0c0810952d RANDOM SEED= 67934417 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node24.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.238 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.238 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1633192 kB Buffers: 40328 kB Cached: 248836 kB SwapCached: 60220 kB Active: 75492 kB Inactive: 282220 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1633192 kB SwapTotal: 4192956 kB SwapFree: 4101964 kB Dirty: 7684 kB Writeback: 0 kB Mapped: 49516 kB Slab: 50600 kB Committed_AS: 1811936 kB PageTables: 1812 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= 66489 MiB End job on node24 on Tue Apr 17 23:29:06 UTC 2007