Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.62 | 1801.4 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-grow22.opb |
MD5SUM | 459c1d0101a0e61c9c386c9d02f149df |
Bench Category | OPT-BIGINT (optimisation, big 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 | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | NO |
Number of variables | 25124 |
Total number of constraints | 1320 |
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 | 1320 |
Minimum length of a constraint | 22 |
Maximum length of a constraint | 491 |
Number of terms in the objective function | 1958 |
Biggest coefficient in the objective function | 3758096384 |
Number of bits for the biggest coefficient in the objective function | 32 |
Sum of the numbers in the objective function | 234612588283 |
Number of bits of the sum of numbers in the objective function | 38 |
Biggest number in a constraint | 878188741787648 |
Number of bits of the biggest number in a constraint | 50 |
Biggest sum of numbers in a constraint | 4550739094651140 |
Number of bits of the biggest sum of numbers | 53 |
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.69/0.73 c ...done 0.69/0.73 c #vars=25124 #constraints=1761 hasObjective=yes 0.79/0.83 c res. mode=mod 0.79/0.83 c VSIDS like heuristics 0.79/0.83 c complete search running 1.19/1.24 c restart after 401 decisions 1.29/1.35 c nbDecision=500 #constraints=1761 1.59/1.66 c restart after 801 decisions 1.79/1.86 c nbDecision=1000 #constraints=1761 2.29/2.38 c nbDecision=1500 #constraints=1774 2.39/2.49 c restart after 1601 decisions 2.89/2.91 c nbDecision=2000 #constraints=1783 3.39/3.45 c nbDecision=2500 #constraints=1815 3.89/3.97 c nbDecision=3000 #constraints=1840 4.09/4.17 c restart after 3201 decisions 4.39/4.49 c nbDecision=3500 #constraints=1850 4.99/5.02 c nbDecision=4000 #constraints=1876 5.49/5.58 c nbDecision=4500 #constraints=1935 5.99/6.09 c nbDecision=5000 #constraints=1967 6.59/6.63 c nbDecision=5500 #constraints=2045 7.08/7.17 c nbDecision=6000 #constraints=2098 7.59/7.64 c restart after 6401 decisions 7.69/7.75 c nbDecision=6500 #constraints=2169 8.18/8.26 c nbDecision=7000 #constraints=2169 8.79/8.81 c nbDecision=7500 #constraints=2210 9.28/9.30 c nbDecision=8000 #constraints=2211 9.79/9.82 c nbDecision=8500 #constraints=2255 10.28/10.36 c nbDecision=9000 #constraints=2310 10.78/10.88 c nbDecision=9500 #constraints=2350 11.38/11.42 c nbDecision=10000 #constraints=2396 11.88/11.94 c nbDecision=10500 #constraints=2428 12.38/12.46 c nbDecision=11000 #constraints=2465 12.88/12.98 c nbDecision=11500 #constraints=2497 13.48/13.52 c nbDecision=12000 #constraints=2548 13.98/14.05 c nbDecision=12500 #constraints=2589 14.29/14.39 c restart after 12801 decisions 14.59/14.61 c nbDecision=13000 #constraints=2625 15.09/15.13 c nbDecision=13500 #constraints=2639 15.69/15.70 c nbDecision=14000 #constraints=2695 16.18/16.21 c nbDecision=14500 #constraints=2712 16.69/16.74 c nbDecision=15000 #constraints=2751 17.28/17.30 c nbDecision=15500 #constraints=2809 17.78/17.85 c nbDecision=16000 #constraints=2869 18.38/18.44 c nbDecision=16500 #constraints=2949 18.88/18.99 c nbDecision=17000 #constraints=2991 19.49/19.55 c nbDecision=17500 #constraints=3037 19.99/20.08 c nbDecision=18000 #constraints=3064 20.59/20.65 c nbDecision=18500 #constraints=3110 21.09/21.18 c nbDecision=19000 #constraints=3134 21.69/21.73 c nbDecision=19500 #constraints=3170 22.29/22.35 c nbDecision=20000 #constraints=3243 22.89/22.92 c nbDecision=20500 #constraints=3283 23.38/23.49 c nbDecision=21000 #constraints=3328 23.98/24.05 c nbDecision=21500 #constraints=3370 24.58/24.64 c nbDecision=22000 #constraints=3413 25.19/25.21 c nbDecision=22500 #constraints=3450 25.68/25.76 c nbDecision=23000 #constraints=3468 26.29/26.34 c nbDecision=23500 #constraints=3512 26.88/26.91 c nbDecision=24000 #constraints=3546 27.39/27.47 c nbDecision=24500 #constraints=3575 27.98/28.03 c nbDecision=25000 #constraints=3603 28.48/28.59 c nbDecision=25500 #constraints=3626 28.68/28.70 c restart after 25601 decisions 29.08/29.14 c nbDecision=26000 #constraints=3629 29.58/29.69 c nbDecision=26500 #constraints=3652 30.18/30.22 c nbDecision=27000 #constraints=3667 30.68/30.77 c nbDecision=27500 #constraints=3704 31.28/31.37 c nbDecision=28000 #constraints=3769 31.88/31.97 c nbDecision=28500 #constraints=3820 32.48/32.55 c nbDecision=29000 #constraints=3849 32.98/33.08 c nbDecision=29500 #constraints=3858 33.58/33.62 c nbDecision=30000 #constraints=3884 34.08/34.16 c nbDecision=30500 #constraints=3911 34.78/34.81 c nbDecision=31000 #constraints=3983 35.37/35.40 c nbDecision=31500 #constraints=4030 35.97/36.07 c nbDecision=32000 #constraints=4117 36.57/36.68 c nbDecision=32500 #constraints=4170 37.18/37.24 c nbDecision=33000 #constraints=4191 37.87/37.93 c nbDecision=33500 #constraints=4260 38.49/38.51 c nbDecision=34000 #constraints=4289 39.18/39.21 c nbDecision=34500 #constraints=4374 39.88/39.92 c nbDecision=35000 #constraints=4442 40.38/40.45 c nbDecision=35500 #constraints=4461 41.27/41.34 c nbDecision=36000 #constraints=4573 42.08/42.18 c nbDecision=36500 #constraints=4659 43.58/43.65 c nbDecision=37000 #constraints=4882 44.38/44.47 c nbDecision=37500 #constraints=4959 44.88/44.99 c nbDecision=38000 #constraints=4960 45.68/45.74 c nbDecision=38500 #constraints=5054 46.37/46.40 c nbDecision=39000 #constraints=5112 46.87/46.95 c nbDecision=39500 #constraints=5137 47.57/47.69 c nbDecision=40000 #constraints=5206 48.38/48.43 c nbDecision=40500 #constraints=5278 49.07/49.14 c nbDecision=41000 #constraints=5324 49.67/49.75 c nbDecision=41500 #constraints=5357 50.27/50.36 c nbDecision=42000 #constraints=5384 50.97/51.08 c nbDecision=42500 #constraints=5446 51.77/51.83 c nbDecision=43000 #constraints=5513 52.37/52.47 c nbDecision=43500 #constraints=5555 53.08/53.19 c nbDecision=44000 #constraints=5614 53.78/53.81 c nbDecision=44500 #constraints=5642 54.37/54.40 c nbDecision=45000 #constraints=5667 54.98/55.04 c nbDecision=45500 #constraints=5696 55.57/55.63 c nbDecision=46000 #constraints=5710 56.17/56.22 c nbDecision=46500 #constraints=5732 56.77/56.85 c nbDecision=47000 #constraints=5764 57.47/57.55 c nbDecision=47500 #constraints=5818 58.07/58.19 c nbDecision=48000 #constraints=5837 58.77/58.85 c nbDecision=48500 #constraints=5867 59.38/59.44 c nbDecision=49000 #constraints=5879 59.97/60.08 c nbDecision=49500 #constraints=5907 60.57/60.67 c nbDecision=50000 #constraints=5918 61.27/61.35 c nbDecision=50500 #constraints=5957 61.97/62.02 c nbDecision=51000 #constraints=5986 62.27/62.30 c restart after 51201 decisions 62.58/62.68 c nbDecision=51500 #constraints=5994 63.17/63.29 c nbDecision=52000 #constraints=6006 63.77/63.85 c nbDecision=52500 #constraints=6030 64.37/64.40 c nbDecision=53000 #constraints=6033 64.97/65.05 c nbDecision=53500 #constraints=6082 65.67/65.70 c nbDecision=54000 #constraints=6126 66.27/66.39 c nbDecision=54500 #constraints=6189 66.97/67.01 c nbDecision=55000 #constraints=6217 67.57/67.64 c nbDecision=55500 #constraints=6256 68.17/68.24 c nbDecision=56000 #constraints=6282 68.96/69.06 c nbDecision=56500 #constraints=6366 69.76/69.83 c nbDecision=57000 #constraints=6421 70.46/70.57 c nbDecision=57500 #constraints=6481 71.26/71.35 c nbDecision=58000 #constraints=6562 72.17/72.20 c nbDecision=58500 #constraints=6633 72.87/72.92 c nbDecision=59000 #constraints=6677 73.67/73.71 c nbDecision=59500 #constraints=6759 74.47/74.57 c nbDecision=60000 #constraints=6821 75.07/75.19 c nbDecision=60500 #constraints=6836 75.77/75.87 c nbDecision=61000 #constraints=6874 76.36/76.49 c nbDecision=61500 #constraints=6893 77.06/77.16 c nbDecision=62000 #constraints=6926 77.66/77.77 c nbDecision=62500 #constraints=6944 78.36/78.40 c nbDecision=63000 #constraints=6970 79.06/79.20 c nbDecision=63500 #constraints=7019 79.96/80.00 c nbDecision=64000 #constraints=7071 80.66/80.72 c nbDecision=64500 #constraints=7103 81.26/81.39 c nbDecision=65000 #constraints=7130 81.96/82.03 c nbDecision=65500 #constraints=7148 82.56/82.64 c nbDecision=66000 #constraints=7164 83.46/83.55 c nbDecision=66500 #constraints=7236 84.36/84.41 c nbDecision=67000 #constraints=7315 85.26/85.35 c nbDecision=67500 #constraints=7403 85.96/86.02 c nbDecision=68000 #constraints=7421 86.87/86.90 c nbDecision=68500 #constraints=7481 87.76/87.90 c nbDecision=69000 #constraints=7568 88.76/88.84 c nbDecision=69500 #constraints=7636 89.66/89.73 c nbDecision=70000 #constraints=7691 90.36/90.48 c nbDecision=70500 #constraints=7725 91.46/91.54 c nbDecision=71000 #constraints=7802 92.46/92.53 c nbDecision=71500 #constraints=7856 93.36/93.44 c nbDecision=72000 #constraints=7905 94.16/94.28 c nbDecision=72500 #constraints=7954 95.56/95.64 c nbDecision=73000 #constraints=8030 96.46/96.51 c nbDecision=73500 #constraints=8075 97.06/97.14 c nbDecision=74000 #constraints=8082 98.06/98.12 c nbDecision=74500 #constraints=8126 98.96/99.04 c nbDecision=75000 #constraints=8165 99.96/100.05 c nbDecision=75500 #constraints=8208 101.06/101.14 c nbDecision=76000 #constraints=8265 101.95/102.03 c nbDecision=76500 #constraints=8298 102.95/103.06 c nbDecision=77000 #constraints=8352 103.95/104.08 c nbDecision=77500 #constraints=8402 104.75/104.85 c nbDecision=78000 #constraints=8437 105.45/105.57 c nbDecision=78500 #constraints=8446 106.36/106.50 c nbDecision=79000 #constraints=8487 107.06/107.19 c nbDecision=79500 #constraints=8502 108.15/108.21 c nbDecision=80000 #constraints=8567 108.95/109.03 c nbDecision=80500 #constraints=8588 109.96/110.09 c nbDecision=81000 #constraints=8627 111.65/111.72 c nbDecision=81500 #constraints=8783 112.55/112.61 c nbDecision=82000 #constraints=8823 113.55/113.66 c nbDecision=82500 #constraints=8891 114.26/114.35 c nbDecision=83000 #constraints=8898 114.95/115.05 c nbDecision=83500 #constraints=8904 115.85/115.98 c nbDecision=84000 #constraints=8930 116.75/116.85 c nbDecision=84500 #constraints=8961 117.45/117.52 c nbDecision=85000 #constraints=8974 118.35/118.44 c nbDecision=85500 #constraints=9006 119.75/119.80 c nbDecision=86000 #constraints=9062 120.65/120.76 c nbDecision=86500 #constraints=9104 121.75/121.90 c nbDecision=87000 #constraints=9135 122.45/122.57 c nbDecision=87500 #constraints=9144 123.15/123.27 c nbDecision=88000 #constraints=9150 124.15/124.23 c nbDecision=88500 #constraints=9180 124.85/124.94 c nbDecision=89000 #constraints=9187 125.65/125.75 c nbDecision=89500 #constraints=9201 126.74/126.85 c nbDecision=90000 #constraints=9239 127.74/127.82 c nbDecision=90500 #constraints=9269 128.74/128.86 c nbDecision=91000 #constraints=9324 129.54/129.67 c nbDecision=91500 #constraints=9330 130.34/130.43 c nbDecision=92000 #constraints=9350 131.14/131.20 c nbDecision=92500 #constraints=9370 132.44/132.52 c nbDecision=93000 #constraints=9411 133.44/133.59 c nbDecision=93500 #constraints=9449 134.14/134.23 c nbDecision=94000 #constraints=9451 134.84/134.90 c nbDecision=94500 #constraints=9459 136.04/136.10 c nbDecision=95000 #constraints=9500 136.74/136.82 c nbDecision=95500 #constraints=9502 137.55/137.67 c nbDecision=96000 #constraints=9522 138.35/138.45 c nbDecision=96500 #constraints=9533 139.24/139.35 c nbDecision=97000 #constraints=9563 140.24/140.37 c nbDecision=97500 #constraints=9596 141.44/141.58 c nbDecision=98000 #constraints=9632 142.44/142.55 c nbDecision=98500 #constraints=9670 143.44/143.57 c nbDecision=99000 #constraints=9698 144.84/144.91 c nbDecision=99500 #constraints=9744 146.04/146.14 c nbDecision=100000 #constraints=9776 146.84/146.98 c nbDecision=100500 #constraints=9796 147.74/147.83 c nbDecision=101000 #constraints=9816 148.74/148.80 c nbDecision=101500 #constraints=9842 149.84/149.98 c nbDecision=102000 #constraints=9875 150.64/150.74 c restart after 102401 decisions 151.04/151.15 c nbDecision=102500 #constraints=9905 151.54/151.69 c nbDecision=103000 #constraints=9905 152.24/152.36 c nbDecision=103500 #constraints=9932 152.94/153.01 c nbDecision=104000 #constraints=9943 154.14/154.29 c nbDecision=104500 #constraints=9991 155.43/155.54 c nbDecision=105000 #constraints=10049 156.63/156.71 c nbDecision=105500 #constraints=10094 157.83/157.93 c nbDecision=106000 #constraints=10132 158.93/159.07 c nbDecision=106500 #constraints=10180 160.13/160.24 c nbDecision=107000 #constraints=10213 161.23/161.37 c nbDecision=107500 #constraints=10245 162.43/162.54 c nbDecision=108000 #constraints=10270 163.63/163.72 c nbDecision=108500 #constraints=10305 164.83/164.94 c nbDecision=109000 #constraints=10351 165.93/166.07 c nbDecision=109500 #constraints=10384 167.24/167.37 c nbDecision=110000 #constraints=10438 168.34/168.45 c nbDecision=110500 #constraints=10455 169.64/169.77 c nbDecision=111000 #constraints=10492 171.33/171.48 c nbDecision=111500 #constraints=10573 172.64/172.72 c nbDecision=112000 #constraints=10601 173.83/173.90 c nbDecision=112500 #constraints=10650 175.03/175.12 c nbDecision=113000 #constraints=10690 176.33/176.48 c nbDecision=113500 #constraints=10740 177.53/177.61 c nbDecision=114000 #constraints=10768 178.73/178.84 c nbDecision=114500 #constraints=10816 179.93/180.01 c nbDecision=115000 #constraints=10842 181.52/181.66 c nbDecision=115500 #constraints=10897 182.62/182.77 c nbDecision=116000 #constraints=10916 183.72/183.89 c nbDecision=116500 #constraints=10979 184.32/184.46 c nbDecision=117000 #constraints=10979 185.52/185.61 c nbDecision=117500 #constraints=11001 186.42/186.56 c nbDecision=118000 #constraints=11034 188.53/188.61 c nbDecision=118500 #constraints=11278 189.53/189.68 c nbDecision=119000 #constraints=11358 191.23/191.38 c nbDecision=119500 #constraints=11489 192.82/192.92 c nbDecision=120000 #constraints=11593 194.22/194.38 c nbDecision=120500 #constraints=11701 195.63/195.74 c nbDecision=121000 #constraints=11841 197.62/197.75 c nbDecision=121500 #constraints=11913 199.32/199.48 c nbDecision=122000 #constraints=11956 200.62/200.70 c nbDecision=122500 #constraints=12012 201.92/202.05 c nbDecision=123000 #constraints=12054 203.00/203.12 c nbDecision=123500 #constraints=12089 204.20/204.33 c nbDecision=124000 #constraints=12128 205.20/205.30 c nbDecision=124500 #constraints=12152 206.19/206.33 c nbDecision=125000 #constraints=12187 207.59/207.73 c nbDecision=125500 #constraints=12267 209.48/209.60 c nbDecision=126000 #constraints=12322 211.18/211.34 c nbDecision=126500 #constraints=12387 212.78/212.92 c nbDecision=127000 #constraints=12442 213.78/213.99 c nbDecision=127500 #constraints=12473 215.57/215.73 c nbDecision=128000 #constraints=12505 216.97/217.10 c nbDecision=128500 #constraints=12549 218.45/218.64 c nbDecision=129000 #constraints=12582 219.45/219.65 c nbDecision=129500 #constraints=12605 220.95/221.19 c nbDecision=130000 #constraints=12689 222.65/222.82 c nbDecision=130500 #constraints=12724 223.74/223.99 c nbDecision=131000 #constraints=12754 224.74/224.90 c nbDecision=131500 #constraints=12765 225.94/226.11 c nbDecision=132000 #constraints=12790 227.13/227.32 c nbDecision=132500 #constraints=12813 228.53/228.78 c nbDecision=133000 #constraints=12869 229.82/230.02 c nbDecision=133500 #constraints=12901 231.32/231.56 c nbDecision=134000 #constraints=12931 232.42/232.60 c nbDecision=134500 #constraints=12941 233.91/234.12 c nbDecision=135000 #constraints=12988 235.32/235.55 c nbDecision=135500 #constraints=13012 236.52/236.75 c nbDecision=136000 #constraints=13031 237.82/238.02 c nbDecision=136500 #constraints=13075 240.41/240.63 c nbDecision=137000 #constraints=13155 241.61/241.85 c nbDecision=137500 #constraints=13171 242.71/242.97 c nbDecision=138000 #constraints=13188 243.81/244.02 c nbDecision=138500 #constraints=13196 244.91/245.14 c nbDecision=139000 #constraints=13213 246.21/246.43 c nbDecision=139500 #constraints=13231 247.41/247.66 c nbDecision=140000 #constraints=13244 248.50/248.76 c nbDecision=140500 #constraints=13257 250.10/250.34 c nbDecision=141000 #constraints=13314 251.80/252.03 c nbDecision=141500 #constraints=13367 253.20/253.48 c nbDecision=142000 #constraints=13396 254.30/254.55 c nbDecision=142500 #constraints=13412 256.20/256.48 c nbDecision=143000 #constraints=13450 257.28/257.53 c nbDecision=143500 #constraints=13474 258.88/259.10 c nbDecision=144000 #constraints=13505 260.08/260.39 c nbDecision=144500 #constraints=13554 261.08/261.35 c nbDecision=145000 #constraints=13569 262.48/262.78 c nbDecision=145500 #constraints=13584 264.08/264.39 c nbDecision=146000 #constraints=13623 265.28/265.55 c nbDecision=146500 #constraints=13632 266.39/266.65 c nbDecision=147000 #constraints=13656 267.89/268.11 c nbDecision=147500 #constraints=13690 269.19/269.44 c nbDecision=148000 #constraints=13715 270.59/270.80 c nbDecision=148500 #constraints=13743 272.49/272.75 c nbDecision=149000 #constraints=13791 273.59/273.86 c nbDecision=149500 #constraints=13815 274.88/275.12 c nbDecision=150000 #constraints=13836 276.38/276.63 c nbDecision=150500 #constraints=13869 277.48/277.78 c nbDecision=151000 #constraints=13892 279.08/279.32 c nbDecision=151500 #constraints=13915 280.48/280.79 c nbDecision=152000 #constraints=13936 282.08/282.36 c nbDecision=152500 #constraints=13978 283.68/283.99 c nbDecision=153000 #constraints=14018 284.78/285.06 c nbDecision=153500 #constraints=14041 286.47/286.70 c nbDecision=154000 #constraints=14085 288.37/288.66 c nbDecision=154500 #constraints=14108 289.47/289.70 c nbDecision=155000 #constraints=14120 290.97/291.25 c nbDecision=155500 #constraints=14159 292.67/292.92 c nbDecision=156000 #constraints=14202 294.07/294.36 c nbDecision=156500 #constraints=14229 295.37/295.65 c nbDecision=157000 #constraints=14244 297.27/297.54 c nbDecision=157500 #constraints=14292 298.77/299.07 c nbDecision=158000 #constraints=14311 300.27/300.51 c nbDecision=158500 #constraints=14395 304.26/304.51 c nbDecision=159000 #constraints=14520 306.87/307.11 c nbDecision=159500 #constraints=14603 310.87/311.10 c nbDecision=160000 #constraints=14715 312.37/312.60 c nbDecision=160500 #constraints=14746 314.96/315.27 c nbDecision=161000 #constraints=14832 316.16/316.45 c nbDecision=161500 #constraints=14859 317.16/317.40 c nbDecision=162000 #constraints=14882 318.16/318.48 c nbDecision=162500 #constraints=14904 319.56/319.87 c nbDecision=163000 #constraints=14926 320.57/320.86 c nbDecision=163500 #constraints=14942 322.07/322.31 c nbDecision=164000 #constraints=14966 324.66/324.92 c nbDecision=164500 #constraints=15059 325.96/326.26 c nbDecision=165000 #constraints=15081 328.36/328.69 c nbDecision=165500 #constraints=15140 330.56/330.84 c nbDecision=166000 #constraints=15176 332.06/332.31 c nbDecision=166500 #constraints=15198 333.76/334.07 c nbDecision=167000 #constraints=15224 334.96/335.28 c nbDecision=167500 #constraints=15240 336.05/336.31 c nbDecision=168000 #constraints=15259 337.25/337.57 c nbDecision=168500 #constraints=15280 338.56/338.84 c nbDecision=169000 #constraints=15303 339.75/340.02 c nbDecision=169500 #constraints=15331 340.76/341.09 c nbDecision=170000 #constraints=15347 342.56/342.83 c nbDecision=170500 #constraints=15387 343.86/344.13 c nbDecision=171000 #constraints=15411 344.86/345.17 c nbDecision=171500 #constraints=15422 346.86/347.12 c nbDecision=172000 #constraints=15465 348.76/349.02 c nbDecision=172500 #constraints=15490 350.36/350.65 c nbDecision=173000 #constraints=15513 351.46/351.77 c nbDecision=173500 #constraints=15532 354.45/354.75 c nbDecision=174000 #constraints=15617 356.75/357.04 c nbDecision=174500 #constraints=15669 359.15/359.49 c nbDecision=175000 #constraints=15727 361.45/361.71 c nbDecision=175500 #constraints=15768 362.65/362.93 c nbDecision=176000 #constraints=15791 364.95/365.29 c nbDecision=176500 #constraints=15834 366.84/367.19 c nbDecision=177000 #constraints=15882 368.44/368.73 c nbDecision=177500 #constraints=15936 369.84/370.14 c nbDecision=178000 #constraints=15971 371.45/371.78 c nbDecision=178500 #constraints=16011 372.95/373.24 c nbDecision=179000 #constraints=16041 373.95/374.22 c nbDecision=179500 #constraints=16054 375.75/376.01 c nbDecision=180000 #constraints=16098 377.05/377.33 c nbDecision=180500 #constraints=16127 378.05/378.30 c nbDecision=181000 #constraints=16138 379.04/379.35 c nbDecision=181500 #constraints=16149 380.94/381.24 c nbDecision=182000 #constraints=16181 381.84/382.19 c nbDecision=182500 #constraints=16194 382.84/383.14 c nbDecision=183000 #constraints=16205 386.84/387.12 c nbDecision=183500 #constraints=16295 389.23/389.50 c nbDecision=184000 #constraints=16350 391.24/391.60 c nbDecision=184500 #constraints=16400 392.74/393.05 c nbDecision=185000 #constraints=16443 395.74/396.04 c nbDecision=185500 #constraints=16510 397.34/397.65 c nbDecision=186000 #constraints=16553 399.53/399.84 c nbDecision=186500 #constraints=16605 401.63/401.99 c nbDecision=187000 #constraints=16670 403.53/403.82 c nbDecision=187500 #constraints=16719 405.93/406.27 c nbDecision=188000 #constraints=16773 407.23/407.54 c nbDecision=188500 #constraints=16795 408.33/408.62 c nbDecision=189000 #constraints=16811 410.43/410.72 c nbDecision=189500 #constraints=16856 412.13/412.41 c nbDecision=190000 #constraints=16917 413.13/413.43 c nbDecision=190500 #constraints=16929 414.63/414.91 c nbDecision=191000 #constraints=16959 415.93/416.28 c nbDecision=191500 #constraints=16988 417.33/417.68 c nbDecision=192000 #constraints=17023 419.03/419.30 c nbDecision=192500 #constraints=17066 421.43/421.70 c nbDecision=193000 #constraints=17114 422.73/423.03 c nbDecision=193500 #constraints=17133 424.13/424.49 c nbDecision=194000 #constraints=17167 425.63/425.96 c nbDecision=194500 #constraints=17216 427.63/427.97 c nbDecision=195000 #constraints=17274 429.12/429.49 c nbDecision=195500 #constraints=17322 430.32/430.70 c nbDecision=196000 #constraints=17342 431.72/432.04 c nbDecision=196500 #constraints=17371 432.72/433.07 c nbDecision=197000 #constraints=17381 434.02/434.34 c nbDecision=197500 #constraints=17411 435.42/435.78 c nbDecision=198000 #constraints=17446 436.52/436.84 c nbDecision=198500 #constraints=17458 437.72/438.09 c nbDecision=199000 #constraints=17497 439.22/439.51 c nbDecision=199500 #constraints=17519 440.32/440.62 c nbDecision=200000 #constraints=17534 441.42/441.72 c nbDecision=200500 #constraints=17545 442.72/443.04 c nbDecision=201000 #constraints=17561 443.82/444.16 c nbDecision=201500 #constraints=17578 447.51/447.83 c nbDecision=202000 #constraints=17674 449.01/449.39 c nbDecision=202500 #constraints=17683 450.82/451.19 c nbDecision=203000 #constraints=17708 451.82/452.15 c nbDecision=203500 #constraints=17710 453.22/453.53 c nbDecision=204000 #constraints=17728 455.02/455.31 c nbDecision=204500 #constraints=17743 455.72/456.06 c restart after 204801 decisions 456.92/457.21 c nbDecision=205000 #constraints=17753 457.72/458.02 c nbDecision=205500 #constraints=17761 458.42/458.79 c nbDecision=206000 #constraints=17792 459.82/460.15 c nbDecision=206500 #constraints=17807 462.01/462.39 c nbDecision=207000 #constraints=17882 462.72/463.10 c nbDecision=207500 #constraints=17899 470.71/471.05 c nbDecision=208000 #constraints=18013 492.20/492.55 c nbDecision=208500 #constraints=18295 511.89/512.24 c nbDecision=209000 #constraints=18566 515.49/515.83 c nbDecision=209500 #constraints=18659 519.10/519.46 c nbDecision=210000 #constraints=18732 522.20/522.54 c nbDecision=210500 #constraints=18805 524.89/525.24 c nbDecision=211000 #constraints=18849 525.69/526.07 c nbDecision=211500 #constraints=18878 526.89/527.29 c nbDecision=212000 #constraints=18889 529.99/530.39 c nbDecision=212500 #constraints=18990 532.29/532.65 c nbDecision=213000 #constraints=19052 533.69/534.06 c nbDecision=213500 #constraints=19085 535.49/535.90 c nbDecision=214000 #constraints=19134 538.08/538.47 c nbDecision=214500 #constraints=19205 540.18/540.58 c nbDecision=215000 #constraints=19257 541.58/541.90 c nbDecision=215500 #constraints=19282 543.28/543.60 c nbDecision=216000 #constraints=19329 544.88/545.24 c nbDecision=216500 #constraints=19358 546.98/547.39 c nbDecision=217000 #constraints=19395 549.08/549.48 c nbDecision=217500 #constraints=19439 550.88/551.20 c nbDecision=218000 #constraints=19469 552.78/553.14 c nbDecision=218500 #constraints=19514 554.48/554.86 c nbDecision=219000 #constraints=19552 556.38/556.75 c nbDecision=219500 #constraints=19606 558.18/558.52 c nbDecision=220000 #constraints=19648 560.68/561.02 c nbDecision=220500 #constraints=19710 562.97/563.31 c nbDecision=221000 #constraints=19778 564.57/564.96 c nbDecision=221500 #constraints=19806 566.08/566.46 c nbDecision=222000 #constraints=19830 568.07/568.41 c nbDecision=222500 #constraints=19875 569.58/569.94 c nbDecision=223000 #constraints=19895 571.58/571.94 c nbDecision=223500 #constraints=19927 573.18/573.58 c nbDecision=224000 #constraints=19958 574.78/575.16 c nbDecision=224500 #constraints=19992 576.17/576.57 c nbDecision=225000 #constraints=20011 577.67/578.06 c nbDecision=225500 #constraints=20040 579.77/580.19 c nbDecision=226000 #constraints=20084 581.37/581.75 c nbDecision=226500 #constraints=20115 582.77/583.10 c nbDecision=227000 #constraints=20122 584.17/584.55 c nbDecision=227500 #constraints=20133 586.07/586.45 c nbDecision=228000 #constraints=20174 587.87/588.28 c nbDecision=228500 #constraints=20196 589.67/590.00 c nbDecision=229000 #constraints=20214 591.47/591.83 c nbDecision=229500 #constraints=20229 593.16/593.52 c nbDecision=230000 #constraints=20256 595.16/595.52 c nbDecision=230500 #constraints=20312 597.16/597.58 c nbDecision=231000 #constraints=20351 598.76/599.12 c nbDecision=231500 #constraints=20376 600.67/601.03 c nbDecision=232000 #constraints=20416 602.37/602.70 c nbDecision=232500 #constraints=20446 604.17/604.52 c nbDecision=233000 #constraints=20489 606.46/606.83 c nbDecision=233500 #constraints=20517 607.87/608.29 c nbDecision=234000 #constraints=20529 609.36/609.74 c nbDecision=234500 #constraints=20554 610.76/611.18 c nbDecision=235000 #constraints=20566 612.86/613.28 c nbDecision=235500 #constraints=20596 614.56/614.94 c nbDecision=236000 #constraints=20614 616.26/616.61 c nbDecision=236500 #constraints=20643 617.86/618.20 c nbDecision=237000 #constraints=20676 619.36/619.73 c nbDecision=237500 #constraints=20699 621.65/622.01 c nbDecision=238000 #constraints=20743 623.45/623.81 c nbDecision=238500 #constraints=20792 625.05/625.41 c nbDecision=239000 #constraints=20819 626.56/626.98 c nbDecision=239500 #constraints=20847 628.06/628.41 c nbDecision=240000 #constraints=20855 630.26/630.69 c nbDecision=240500 #constraints=20876 632.06/632.44 c nbDecision=241000 #constraints=20894 633.86/634.20 c nbDecision=241500 #constraints=20919 635.46/635.80 c nbDecision=242000 #constraints=20943 637.56/637.91 c nbDecision=242500 #constraints=20971 639.35/639.71 c nbDecision=243000 #constraints=21008 641.25/641.64 c nbDecision=243500 #constraints=21028 643.45/643.85 c nbDecision=244000 #constraints=21080 645.45/645.85 c nbDecision=244500 #constraints=21102 647.45/647.81 c nbDecision=245000 #constraints=21124 649.95/650.35 c nbDecision=245500 #constraints=21154 651.95/652.33 c nbDecision=246000 #constraints=21180 653.54/653.96 c nbDecision=246500 #constraints=21196 654.74/655.18 c nbDecision=247000 #constraints=21209 657.04/657.40 c nbDecision=247500 #constraints=21240 658.44/658.86 c nbDecision=248000 #constraints=21249 659.74/660.13 c nbDecision=248500 #constraints=21263 661.75/662.18 c nbDecision=249000 #constraints=21286 663.45/663.87 c nbDecision=249500 #constraints=21311 665.05/665.46 c nbDecision=250000 #constraints=21321 666.64/667.05 c nbDecision=250500 #constraints=21331 668.35/668.72 c nbDecision=251000 #constraints=21350 670.04/670.43 c nbDecision=251500 #constraints=21362 671.24/671.68 c nbDecision=252000 #constraints=21366 672.84/673.27 c nbDecision=252500 #constraints=21376 674.84/675.24 c nbDecision=253000 #constraints=21405 676.24/676.67 c nbDecision=253500 #constraints=21424 677.64/678.02 c nbDecision=254000 #constraints=21438 679.53/679.99 c nbDecision=254500 #constraints=21484 680.83/681.25 c nbDecision=255000 #constraints=21488 682.23/682.68 c nbDecision=255500 #constraints=21503 684.33/684.78 c nbDecision=256000 #constraints=21524 686.04/686.46 c nbDecision=256500 #constraints=21543 687.83/688.26 c nbDecision=257000 #constraints=21560 689.24/689.67 c nbDecision=257500 #constraints=21566 691.13/691.59 c nbDecision=258000 #constraints=21577 692.93/693.36 c nbDecision=258500 #constraints=21596 694.53/694.94 c nbDecision=259000 #constraints=21619 695.83/696.30 c nbDecision=259500 #constraints=21625 697.72/698.10 c nbDecision=260000 #constraints=21637 699.23/699.68 c nbDecision=260500 #constraints=21644 700.92/701.30 c nbDecision=261000 #constraints=21651 702.62/703.04 c nbDecision=261500 #constraints=21672 704.02/704.40 c nbDecision=262000 #constraints=21682 705.52/705.96 c nbDecision=262500 #constraints=21689 707.13/707.50 c nbDecision=263000 #constraints=21703 708.83/709.22 c nbDecision=263500 #constraints=21715 710.13/710.59 c nbDecision=264000 #constraints=21724 712.33/712.79 c nbDecision=264500 #constraints=21747 714.23/714.66 c nbDecision=265000 #constraints=21760 715.92/716.37 c nbDecision=265500 #constraints=21772 718.52/718.90 c nbDecision=266000 #constraints=21800 720.82/721.25 c nbDecision=266500 #constraints=21825 722.22/722.68 c nbDecision=267000 #constraints=21839 723.72/724.11 c nbDecision=267500 #constraints=21853 725.22/725.62 c nbDecision=268000 #constraints=21872 727.12/727.51 c nbDecision=268500 #constraints=21890 729.72/730.11 c nbDecision=269000 #constraints=21926 731.21/731.69 c nbDecision=269500 #constraints=21958 733.11/733.52 c nbDecision=270000 #constraints=21986 735.71/736.12 c nbDecision=270500 #constraints=22024 738.11/738.57 c nbDecision=271000 #constraints=22063 740.81/741.21 c nbDecision=271500 #constraints=22086 741.71/742.12 c nbDecision=272000 #constraints=22114 743.01/743.42 c nbDecision=272500 #constraints=22121 745.11/745.54 c nbDecision=273000 #constraints=22139 747.52/747.99 c nbDecision=273500 #constraints=22182 749.42/749.86 c nbDecision=274000 #constraints=22195 751.81/752.21 c nbDecision=274500 #constraints=22219 753.91/754.31 c nbDecision=275000 #constraints=22234 756.61/757.08 c nbDecision=275500 #constraints=22268 758.81/759.25 c nbDecision=276000 #constraints=22275 760.31/760.78 c nbDecision=276500 #constraints=22279 761.81/762.24 c nbDecision=277000 #constraints=22285 763.91/764.39 c nbDecision=277500 #constraints=22296 765.90/766.37 c nbDecision=278000 #constraints=22301 768.10/768.59 c nbDecision=278500 #constraints=22334 771.00/771.43 c nbDecision=279000 #constraints=22365 775.40/775.84 c nbDecision=279500 #constraints=22445 777.10/777.50 c nbDecision=280000 #constraints=22458 800.19/800.69 c nbDecision=280500 #constraints=22694 820.99/821.49 c nbDecision=281000 #constraints=22922 822.69/823.10 c nbDecision=281500 #constraints=22942 824.39/824.90 c nbDecision=282000 #constraints=22967 825.99/826.44 c nbDecision=282500 #constraints=22995 827.29/827.78 c nbDecision=283000 #constraints=22999 831.38/831.89 c nbDecision=283500 #constraints=23106 834.08/834.59 c nbDecision=284000 #constraints=23160 836.78/837.27 c nbDecision=284500 #constraints=23209 838.58/839.05 c nbDecision=285000 #constraints=23246 840.88/841.38 c nbDecision=285500 #constraints=23283 842.48/842.91 c nbDecision=286000 #constraints=23304 847.07/847.57 c nbDecision=286500 #constraints=23379 848.37/848.89 c nbDecision=287000 #constraints=23386 849.67/850.14 c nbDecision=287500 #constraints=23397 852.27/852.75 c nbDecision=288000 #constraints=23438 853.97/854.44 c nbDecision=288500 #constraints=23453 855.57/856.07 c nbDecision=289000 #constraints=23468 857.77/858.29 c nbDecision=289500 #constraints=23500 859.58/860.04 c nbDecision=290000 #constraints=23517 860.88/861.32 c nbDecision=290500 #constraints=23528 863.57/864.01 c nbDecision=291000 #constraints=23559 865.47/865.96 c nbDecision=291500 #constraints=23576 867.38/867.89 c nbDecision=292000 #constraints=23593 869.07/869.54 c nbDecision=292500 #constraints=23613 870.67/871.18 c nbDecision=293000 #constraints=23627 871.97/872.48 c nbDecision=293500 #constraints=23638 873.87/874.38 c nbDecision=294000 #constraints=23652 876.96/877.41 c nbDecision=294500 #constraints=23682 878.47/878.99 c nbDecision=295000 #constraints=23695 879.96/880.49 c nbDecision=295500 #constraints=23704 881.66/882.10 c nbDecision=296000 #constraints=23717 882.96/883.48 c nbDecision=296500 #constraints=23724 884.66/885.15 c nbDecision=297000 #constraints=23733 886.66/887.10 c nbDecision=297500 #constraints=23753 888.76/889.27 c nbDecision=298000 #constraints=23773 890.56/891.09 c nbDecision=298500 #constraints=23784 892.06/892.59 c nbDecision=299000 #constraints=23808 894.65/895.10 c nbDecision=299500 #constraints=23840 896.85/897.35 c nbDecision=300000 #constraints=23872 898.75/899.22 c nbDecision=300500 #constraints=23887 900.95/901.41 c nbDecision=301000 #constraints=23914 903.05/903.59 c nbDecision=301500 #constraints=23939 904.35/904.87 c nbDecision=302000 #constraints=23946 906.35/906.89 c nbDecision=302500 #constraints=23967 908.15/908.67 c nbDecision=303000 #constraints=23988 910.46/910.96 c nbDecision=303500 #constraints=24017 911.85/912.31 c nbDecision=304000 #constraints=24034 913.95/914.40 c nbDecision=304500 #constraints=24047 915.76/916.25 c nbDecision=305000 #constraints=24061 917.85/918.39 c nbDecision=305500 #constraints=24080 919.35/919.87 c nbDecision=306000 #constraints=24090 920.55/921.00 c nbDecision=306500 #constraints=24092 922.35/922.88 c nbDecision=307000 #constraints=24110 923.95/924.41 c nbDecision=307500 #constraints=24118 925.75/926.21 c nbDecision=308000 #constraints=24129 927.65/928.10 c nbDecision=308500 #constraints=24153 929.24/929.70 c nbDecision=309000 #constraints=24163 931.25/931.79 c nbDecision=309500 #constraints=24182 933.54/934.09 c nbDecision=310000 #constraints=24210 934.84/935.39 c nbDecision=310500 #constraints=24217 936.54/937.06 c nbDecision=311000 #constraints=24229 938.74/939.22 c nbDecision=311500 #constraints=24248 940.24/940.73 c nbDecision=312000 #constraints=24268 941.84/942.35 c nbDecision=312500 #constraints=24278 943.34/943.82 c nbDecision=313000 #constraints=24284 944.94/945.45 c nbDecision=313500 #constraints=24291 946.93/947.44 c nbDecision=314000 #constraints=24307 948.33/948.83 c nbDecision=314500 #constraints=24319 950.53/951.04 c nbDecision=315000 #constraints=24345 953.03/953.58 c nbDecision=315500 #constraints=24373 954.53/955.09 c nbDecision=316000 #constraints=24392 956.24/956.72 c nbDecision=316500 #constraints=24403 958.64/959.18 c nbDecision=317000 #constraints=24432 960.33/960.85 c nbDecision=317500 #constraints=24444 961.63/962.12 c nbDecision=318000 #constraints=24450 963.73/964.29 c nbDecision=318500 #constraints=24470 965.83/966.31 c nbDecision=319000 #constraints=24487 967.03/967.53 c nbDecision=319500 #constraints=24492 969.53/970.01 c nbDecision=320000 #constraints=24518 971.63/972.10 c nbDecision=320500 #constraints=24538 972.83/973.32 c nbDecision=321000 #constraints=24544 974.92/975.42 c nbDecision=321500 #constraints=24560 976.62/977.11 c nbDecision=322000 #constraints=24574 978.22/978.75 c nbDecision=322500 #constraints=24583 979.52/980.06 c nbDecision=323000 #constraints=24590 981.02/981.53 c nbDecision=323500 #constraints=24596 982.62/983.15 c nbDecision=324000 #constraints=24607 984.12/984.61 c nbDecision=324500 #constraints=24620 986.02/986.59 c nbDecision=325000 #constraints=24646 988.61/989.19 c nbDecision=325500 #constraints=24679 990.81/991.39 c nbDecision=326000 #constraints=24703 992.21/992.79 c nbDecision=326500 #constraints=24713 994.51/995.09 c nbDecision=327000 #constraints=24738 995.91/996.48 c nbDecision=327500 #constraints=24750 997.51/998.03 c nbDecision=328000 #constraints=24763 999.51/1000.08 c nbDecision=328500 #constraints=24784 1001.42/1001.99 c nbDecision=329000 #constraints=24800 1003.52/1004.03 c nbDecision=329500 #constraints=24817 1005.41/1005.94 c nbDecision=330000 #constraints=24834 1007.02/1007.54 c nbDecision=330500 #constraints=24847 1008.31/1008.85 c nbDecision=331000 #constraints=24852 1009.81/1010.34 c nbDecision=331500 #constraints=24859 1011.61/1012.20 c nbDecision=332000 #constraints=24872 1013.81/1014.31 c nbDecision=332500 #constraints=24894 1015.70/1016.24 c nbDecision=333000 #constraints=24925 1017.50/1018.05 c nbDecision=333500 #constraints=24942 1019.30/1019.88 c nbDecision=334000 #constraints=24958 1021.41/1021.96 c nbDecision=334500 #constraints=24978 1023.10/1023.61 c nbDecision=335000 #constraints=24986 1024.60/1025.18 c nbDecision=335500 #constraints=24999 1026.70/1027.24 c nbDecision=336000 #constraints=25019 1027.90/1028.45 c nbDecision=336500 #constraints=25022 1029.90/1030.48 c nbDecision=337000 #constraints=25041 1032.00/1032.56 c nbDecision=337500 #constraints=25060 1033.60/1034.10 c nbDecision=338000 #constraints=25067 1035.40/1035.98 c nbDecision=338500 #constraints=25083 1036.99/1037.51 c nbDecision=339000 #constraints=25096 1038.79/1039.35 c nbDecision=339500 #constraints=25114 1040.19/1040.76 c nbDecision=340000 #constraints=25118 1043.49/1044.09 c nbDecision=340500 #constraints=25158 1045.79/1046.32 c nbDecision=341000 #constraints=25188 1047.09/1047.62 c nbDecision=341500 #constraints=25196 1049.39/1049.93 c nbDecision=342000 #constraints=25223 1050.89/1051.44 c nbDecision=342500 #constraints=25235 1053.00/1053.56 c nbDecision=343000 #constraints=25259 1054.69/1055.25 c nbDecision=343500 #constraints=25271 1056.60/1057.12 c nbDecision=344000 #constraints=25286 1058.09/1058.66 c nbDecision=344500 #constraints=25307 1059.39/1059.93 c nbDecision=345000 #constraints=25309 1061.69/1062.26 c nbDecision=345500 #constraints=25332 1063.20/1063.76 c nbDecision=346000 #constraints=25356 1065.19/1065.71 c nbDecision=346500 #constraints=25377 1066.49/1067.06 c nbDecision=347000 #constraints=25382 1069.59/1070.18 c nbDecision=347500 #constraints=25415 1071.49/1072.06 c nbDecision=348000 #constraints=25428 1072.79/1073.39 c nbDecision=348500 #constraints=25435 1074.68/1075.29 c nbDecision=349000 #constraints=25447 1076.88/1077.43 c nbDecision=349500 #constraints=25464 1078.78/1079.38 c nbDecision=350000 #constraints=25476 1080.48/1081.03 c nbDecision=350500 #constraints=25487 1082.28/1082.81 c nbDecision=351000 #constraints=25495 1085.08/1085.61 c nbDecision=351500 #constraints=25521 1087.08/1087.67 c nbDecision=352000 #constraints=25538 1088.97/1089.56 c nbDecision=352500 #constraints=25550 1090.58/1091.16 c nbDecision=353000 #constraints=25560 1092.37/1092.97 c nbDecision=353500 #constraints=25573 1093.98/1094.51 c nbDecision=354000 #constraints=25579 1096.77/1097.33 c nbDecision=354500 #constraints=25606 1098.17/1098.76 c nbDecision=355000 #constraints=25615 1099.97/1100.52 c nbDecision=355500 #constraints=25632 1101.58/1102.10 c nbDecision=356000 #constraints=25643 1103.48/1104.05 c nbDecision=356500 #constraints=25657 1105.77/1106.30 c nbDecision=357000 #constraints=25678 1107.87/1108.43 c nbDecision=357500 #constraints=25691 1109.97/1110.52 c nbDecision=358000 #constraints=25705 1111.58/1112.12 c nbDecision=358500 #constraints=25709 1113.57/1114.13 c nbDecision=359000 #constraints=25725 1115.37/1115.93 c nbDecision=359500 #constraints=25738 1117.37/1117.96 c nbDecision=360000 #constraints=25751 1119.27/1119.85 c nbDecision=360500 #constraints=25763 1121.57/1122.14 c nbDecision=361000 #constraints=25787 1123.57/1124.11 c nbDecision=361500 #constraints=25797 1125.56/1126.12 c nbDecision=362000 #constraints=25813 1127.97/1128.51 c nbDecision=362500 #constraints=25830 1129.76/1130.34 c nbDecision=363000 #constraints=25841 1131.56/1132.14 c nbDecision=363500 #constraints=25849 1133.36/1133.96 c nbDecision=364000 #constraints=25856 1134.86/1135.48 c nbDecision=364500 #constraints=25867 1137.75/1138.37 c nbDecision=365000 #constraints=25899 1139.16/1139.70 c nbDecision=365500 #constraints=25903 1140.56/1141.17 c nbDecision=366000 #constraints=25908 1141.96/1142.51 c nbDecision=366500 #constraints=25914 1143.96/1144.58 c nbDecision=367000 #constraints=25927 1145.66/1146.24 c nbDecision=367500 #constraints=25933 1147.66/1148.26 c nbDecision=368000 #constraints=25946 1149.96/1150.50 c nbDecision=368500 #constraints=25966 1151.16/1151.75 c nbDecision=369000 #constraints=25969 1154.15/1154.72 c nbDecision=369500 #constraints=26005 1156.56/1157.16 c nbDecision=370000 #constraints=26030 1157.95/1158.50 c nbDecision=370500 #constraints=26036 1160.15/1160.70 c nbDecision=371000 #constraints=26051 1161.35/1161.98 c nbDecision=371500 #constraints=26053 1162.85/1163.45 c nbDecision=372000 #constraints=26056 1164.55/1165.14 c nbDecision=372500 #constraints=26064 1167.55/1168.14 c nbDecision=373000 #constraints=26088 1169.04/1169.61 c nbDecision=373500 #constraints=26091 1170.24/1170.89 c nbDecision=374000 #constraints=26095 1171.84/1172.48 c nbDecision=374500 #constraints=26101 1173.34/1173.99 c nbDecision=375000 #constraints=26110 1174.74/1175.34 c nbDecision=375500 #constraints=26119 1177.64/1178.30 c nbDecision=376000 #constraints=26151 1179.04/1179.67 c nbDecision=376500 #constraints=26154 1180.74/1181.30 c nbDecision=377000 #constraints=26163 1182.04/1182.62 c nbDecision=377500 #constraints=26166 1184.64/1185.28 c nbDecision=378000 #constraints=26190 1187.23/1187.86 c nbDecision=378500 #constraints=26219 1189.43/1190.06 c nbDecision=379000 #constraints=26238 1191.43/1192.04 c nbDecision=379500 #constraints=26248 1193.04/1193.66 c nbDecision=380000 #constraints=26264 1195.34/1195.98 c nbDecision=380500 #constraints=26287 1196.74/1197.33 c nbDecision=381000 #constraints=26291 1199.03/1199.64 c nbDecision=381500 #constraints=26314 1201.83/1202.45 c nbDecision=382000 #constraints=26334 1203.23/1203.88 c nbDecision=382500 #constraints=26340 1204.94/1205.52 c nbDecision=383000 #constraints=26352 1206.33/1206.96 c nbDecision=383500 #constraints=26359 1208.53/1209.18 c nbDecision=384000 #constraints=26386 1211.23/1211.83 c nbDecision=384500 #constraints=26427 1212.93/1213.59 c nbDecision=385000 #constraints=26436 1214.33/1214.94 c nbDecision=385500 #constraints=26443 1216.43/1217.01 c nbDecision=386000 #constraints=26458 1217.72/1218.38 c nbDecision=386500 #constraints=26468 1219.92/1220.50 c nbDecision=387000 #constraints=26486 1222.12/1222.77 c nbDecision=387500 #constraints=26510 1223.82/1224.43 c nbDecision=388000 #constraints=26522 1225.42/1226.05 c nbDecision=388500 #constraints=26533 1227.82/1228.44 c nbDecision=389000 #constraints=26551 1229.22/1229.82 c nbDecision=389500 #constraints=26557 1230.82/1231.43 c nbDecision=390000 #constraints=26565 1232.92/1233.59 c nbDecision=390500 #constraints=26585 1234.83/1235.41 c nbDecision=391000 #constraints=26616 1236.62/1237.22 c nbDecision=391500 #constraints=26649 1238.22/1238.84 c nbDecision=392000 #constraints=26678 1240.62/1241.26 c nbDecision=392500 #constraints=26700 1242.72/1243.33 c nbDecision=393000 #constraints=26751 1244.42/1245.06 c nbDecision=393500 #constraints=26772 1246.32/1246.99 c nbDecision=394000 #constraints=26785 1247.82/1248.49 c nbDecision=394500 #constraints=26789 1251.01/1251.70 c nbDecision=395000 #constraints=26811 1254.31/1254.97 c nbDecision=395500 #constraints=26837 1256.61/1257.29 c nbDecision=396000 #constraints=26857 1258.81/1259.40 c nbDecision=396500 #constraints=26869 1260.61/1261.26 c nbDecision=397000 #constraints=26878 1262.90/1263.50 c nbDecision=397500 #constraints=26893 1265.20/1265.84 c nbDecision=398000 #constraints=26908 1267.50/1268.12 c nbDecision=398500 #constraints=26923 1269.61/1270.20 c nbDecision=399000 #constraints=26933 1271.91/1272.60 c nbDecision=399500 #constraints=26952 1274.41/1275.07 c nbDecision=400000 #constraints=26970 1276.71/1277.35 c nbDecision=400500 #constraints=26988 1279.50/1280.16 c nbDecision=401000 #constraints=27016 1282.01/1282.69 c nbDecision=401500 #constraints=27044 1284.10/1284.75 c nbDecision=402000 #constraints=27059 1286.60/1287.28 c nbDecision=402500 #constraints=27075 1288.00/1288.68 c nbDecision=403000 #constraints=27077 1289.60/1290.28 c nbDecision=403500 #constraints=27081 1292.70/1293.31 c nbDecision=404000 #constraints=27108 1294.00/1294.68 c nbDecision=404500 #constraints=27109 1295.69/1296.31 c nbDecision=405000 #constraints=27116 1297.09/1297.72 c nbDecision=405500 #constraints=27124 1299.99/1300.67 c nbDecision=406000 #constraints=27146 1301.59/1302.23 c nbDecision=406500 #constraints=27156 1303.09/1303.74 c nbDecision=407000 #constraints=27163 1306.19/1306.82 c nbDecision=407500 #constraints=27212 1309.99/1310.66 c nbDecision=408000 #constraints=27268 1312.88/1313.56 c nbDecision=408500 #constraints=27315 1315.38/1316.01 c nbDecision=409000 #constraints=27355 1318.29/1318.94 c nbDecision=409500 #constraints=27393 1318.69/1319.34 c restart after 409601 decisions 1321.19/1321.83 c nbDecision=410000 #constraints=27396 1322.59/1323.23 c nbDecision=410500 #constraints=27416 1323.29/1323.96 c nbDecision=411000 #constraints=27428 1325.39/1326.04 c nbDecision=411500 #constraints=27451 1328.39/1329.09 c nbDecision=412000 #constraints=27496 1332.78/1333.43 c nbDecision=412500 #constraints=27555 1336.18/1336.82 c nbDecision=413000 #constraints=27593 1339.68/1340.38 c nbDecision=413500 #constraints=27654 1344.18/1344.82 c nbDecision=414000 #constraints=27726 1349.37/1350.02 c nbDecision=414500 #constraints=27770 1352.77/1353.46 c nbDecision=415000 #constraints=27798 1355.47/1356.17 c nbDecision=415500 #constraints=27844 1358.57/1359.21 c nbDecision=416000 #constraints=27865 1361.37/1362.02 c nbDecision=416500 #constraints=27903 1365.26/1365.93 c nbDecision=417000 #constraints=27944 1369.17/1369.81 c nbDecision=417500 #constraints=28003 1373.06/1373.77 c nbDecision=418000 #constraints=28064 1376.76/1377.44 c nbDecision=418500 #constraints=28117 1380.16/1380.89 c nbDecision=419000 #constraints=28138 1386.26/1387.00 c nbDecision=419500 #constraints=28182 1391.06/1391.76 c nbDecision=420000 #constraints=28227 1395.05/1395.74 c nbDecision=420500 #constraints=28277 1398.95/1399.62 c nbDecision=421000 #constraints=28307 1402.75/1403.47 c nbDecision=421500 #constraints=28339 1407.26/1407.93 c nbDecision=422000 #constraints=28402 1409.76/1410.49 c nbDecision=422500 #constraints=28442 1412.95/1413.65 c nbDecision=423000 #constraints=28483 1416.45/1417.17 c nbDecision=423500 #constraints=28532 1420.35/1421.09 c nbDecision=424000 #constraints=28584 1422.85/1423.54 c nbDecision=424500 #constraints=28613 1427.05/1427.79 c nbDecision=425000 #constraints=28646 1430.75/1431.47 c nbDecision=425500 #constraints=28679 1434.64/1435.33 c nbDecision=426000 #constraints=28719 1438.05/1438.72 c nbDecision=426500 #constraints=28740 1442.04/1442.72 c nbDecision=427000 #constraints=28777 1445.74/1446.49 c nbDecision=427500 #constraints=28810 1449.34/1450.00 c nbDecision=428000 #constraints=28837 1454.23/1454.90 c nbDecision=428500 #constraints=28865 1456.63/1457.34 c nbDecision=429000 #constraints=28878 1459.23/1459.98 c nbDecision=429500 #constraints=28905 1461.73/1462.44 c nbDecision=430000 #constraints=28932 1464.63/1465.30 c nbDecision=430500 #constraints=28965 1467.93/1468.64 c nbDecision=431000 #constraints=29001 1470.93/1471.60 c nbDecision=431500 #constraints=29027 1473.53/1474.21 c nbDecision=432000 #constraints=29038 1476.63/1477.36 c nbDecision=432500 #constraints=29062 1480.12/1480.82 c nbDecision=433000 #constraints=29112 1481.62/1482.37 c nbDecision=433500 #constraints=29151 1485.92/1486.62 c nbDecision=434000 #constraints=29217 1488.92/1489.65 c nbDecision=434500 #constraints=29254 1494.92/1495.70 c nbDecision=435000 #constraints=29307 1498.02/1498.72 c nbDecision=435500 #constraints=29434 1502.71/1503.41 c nbDecision=436000 #constraints=29655 1505.62/1506.32 c nbDecision=436500 #constraints=29727 1508.32/1509.09 c nbDecision=437000 #constraints=29770 1510.82/1511.50 c nbDecision=437500 #constraints=29833 1513.62/1514.34 c nbDecision=438000 #constraints=29880 1516.51/1517.29 c nbDecision=438500 #constraints=29964 1519.91/1520.65 c nbDecision=439000 #constraints=30002 1522.61/1523.38 c nbDecision=439500 #constraints=30072 1525.22/1525.99 c nbDecision=440000 #constraints=30090 1527.31/1528.04 c nbDecision=440500 #constraints=30109 1529.71/1530.49 c nbDecision=441000 #constraints=30153 1533.81/1534.53 c nbDecision=441500 #constraints=30226 1536.01/1536.79 c nbDecision=442000 #constraints=30250 1537.80/1538.60 c nbDecision=442500 #constraints=30267 1540.20/1540.93 c nbDecision=443000 #constraints=30302 1542.90/1543.69 c nbDecision=443500 #constraints=30329 1545.10/1545.81 c nbDecision=444000 #constraints=30344 1548.01/1548.73 c nbDecision=444500 #constraints=30377 1550.21/1550.98 c nbDecision=445000 #constraints=30393 1553.90/1554.69 c nbDecision=445500 #constraints=30466 1557.10/1557.87 c nbDecision=446000 #constraints=30559 1559.79/1560.54 c nbDecision=446500 #constraints=30640 1563.50/1564.22 c nbDecision=447000 #constraints=30710 1565.39/1566.11 c nbDecision=447500 #constraints=30717 1567.69/1568.49 c nbDecision=448000 #constraints=30753 1569.99/1570.75 c nbDecision=448500 #constraints=30781 1573.49/1574.24 c nbDecision=449000 #constraints=30828 1575.79/1576.57 c nbDecision=449500 #constraints=30853 1578.49/1579.24 c nbDecision=450000 #constraints=30882 1580.79/1581.56 c nbDecision=450500 #constraints=30907 1583.59/1584.30 c nbDecision=451000 #constraints=30940 1585.79/1586.53 c nbDecision=451500 #constraints=30970 1587.99/1588.73 c nbDecision=452000 #constraints=30997 1590.59/1591.31 c nbDecision=452500 #constraints=31022 1592.89/1593.67 c nbDecision=453000 #constraints=31029 1594.69/1595.49 c nbDecision=453500 #constraints=31032 1596.98/1597.72 c nbDecision=454000 #constraints=31057 1600.18/1600.96 c nbDecision=454500 #constraints=31096 1603.28/1604.08 c nbDecision=455000 #constraints=31123 1605.98/1606.74 c nbDecision=455500 #constraints=31156 1607.88/1608.66 c nbDecision=456000 #constraints=31164 1612.28/1613.09 c nbDecision=456500 #constraints=31221 1616.77/1617.51 c nbDecision=457000 #constraints=31235 1617.57/1618.37 c nbDecision=457500 #constraints=31256 1619.67/1620.43 c nbDecision=458000 #constraints=31268 1629.67/1630.47 c nbDecision=458500 #constraints=31338 1640.76/1641.59 c nbDecision=459000 #constraints=31420 1644.46/1645.28 c nbDecision=459500 #constraints=31441 1648.56/1649.39 c nbDecision=460000 #constraints=31468 1654.77/1655.54 c nbDecision=460500 #constraints=31500 1661.76/1662.52 c nbDecision=461000 #constraints=31541 1664.36/1665.17 c nbDecision=461500 #constraints=31549 1670.06/1670.85 c nbDecision=462000 #constraints=31590 1674.75/1675.52 c nbDecision=462500 #constraints=31607 1678.45/1679.23 c nbDecision=463000 #constraints=31630 1680.35/1681.17 c nbDecision=463500 #constraints=31636 1685.75/1686.53 c nbDecision=464000 #constraints=31665 1732.04/1732.84 c nbDecision=464500 #constraints=31976 1770.52/1771.30 c nbDecision=465000 #constraints=32234 1800.01/1800.80 Received signal 15 1800.51/1801.34 1800.51/1801.34 s UNKNOWN 1800.51/1801.34 1800.51/1801.34 c user time= 1799.99 s 1800.51/1801.34 c system time= 0.576912 s 1800.51/1801.34 c wall clock time=1801.35
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node20/watcher-357328-1176994658 -o ROOT/results/node20/solver-357328-1176994658 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357328-1176994658/instance-357328-1176994658.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.99 0.97 0.98 3/77 32699 /proc/meminfo: memFree=1815984/2055920 swapFree=4155228/4192956 [pid=32699] ppid=32697 vsize=1468 CPUtime=0 /proc/32699/stat : 32699 (oree) R 32697 32699 32269 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 147383132 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134830897 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32699/statm: 367 161 127 317 0 46 0 [startup+0.0764909 s] /proc/loadavg: 0.99 0.97 0.98 3/77 32699 /proc/meminfo: memFree=1815984/2055920 swapFree=4155228/4192956 [pid=32699] ppid=32697 vsize=2524 CPUtime=0.07 /proc/32699/stat : 32699 (oree) R 32697 32699 32269 0 -1 4194304 430 0 0 0 7 0 0 0 18 0 1 0 147383132 2584576 412 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32699/statm: 631 412 131 317 0 310 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 2524 [startup+0.101496 s] /proc/loadavg: 0.99 0.97 0.98 3/77 32699 /proc/meminfo: memFree=1815984/2055920 swapFree=4155228/4192956 [pid=32699] ppid=32697 vsize=2924 CPUtime=0.09 /proc/32699/stat : 32699 (oree) R 32697 32699 32269 0 -1 4194304 542 0 0 0 9 0 0 0 18 0 1 0 147383132 2994176 524 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32699/statm: 731 524 131 317 0 410 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2924 [startup+0.301537 s] /proc/loadavg: 0.99 0.97 0.98 3/77 32699 /proc/meminfo: memFree=1815984/2055920 swapFree=4155228/4192956 [pid=32699] ppid=32697 vsize=6380 CPUtime=0.29 /proc/32699/stat : 32699 (oree) R 32697 32699 32269 0 -1 4194304 1409 0 0 0 29 0 0 0 19 0 1 0 147383132 6533120 1391 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32699/statm: 1595 1391 131 317 0 1274 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6380 [startup+0.701617 s] /proc/loadavg: 0.99 0.97 0.98 3/77 32699 /proc/meminfo: memFree=1815984/2055920 swapFree=4155228/4192956 [pid=32699] ppid=32697 vsize=13404 CPUtime=0.69 /proc/32699/stat : 32699 (oree) R 32697 32699 32269 0 -1 4194304 3171 0 0 0 68 1 0 0 22 0 1 0 147383132 13725696 3153 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32699/statm: 3351 3153 131 317 0 3030 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13404 [startup+1.50278 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32700 /proc/meminfo: memFree=1798120/2055920 swapFree=4155228/4192956 [pid=32699] ppid=32697 vsize=19112 CPUtime=1.49 /proc/32699/stat : 32699 (oree) R 32697 32699 32269 0 -1 4194304 4597 0 0 0 147 2 0 0 25 0 1 0 147383132 19570688 4579 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384501 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32699/statm: 4778 4579 138 317 0 4457 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19112 [startup+3.1011 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32700 /proc/meminfo: memFree=1797992/2055920 swapFree=4155228/4192956 [pid=32699] ppid=32697 vsize=19276 CPUtime=3.09 /proc/32699/stat : 32699 (oree) R 32697 32699 32269 0 -1 4194304 4617 0 0 0 307 2 0 0 25 0 1 0 147383132 19738624 4599 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385272 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32699/statm: 4819 4599 139 317 0 4498 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19276 [startup+6.30174 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32700 /proc/meminfo: memFree=1797224/2055920 swapFree=4155228/4192956 [pid=32699] ppid=32697 vsize=20060 CPUtime=6.29 /proc/32699/stat : 32699 (oree) R 32697 32699 32269 0 -1 4194304 4811 0 0 0 627 2 0 0 25 0 1 0 147383132 20541440 4793 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32699/statm: 5015 4793 139 317 0 4694 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 20060 [startup+12.702 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32700 /proc/meminfo: memFree=1795496/2055920 swapFree=4155228/4192956 [pid=32699] ppid=32697 vsize=21768 CPUtime=12.68 /proc/32699/stat : 32699 (oree) R 32697 32699 32269 0 -1 4194304 5277 0 0 0 1266 2 0 0 25 0 1 0 147383132 22290432 5259 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385350 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32699/statm: 5442 5259 170 317 0 5121 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 21768 [startup+25.5016 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32700 /proc/meminfo: memFree=1791592/2055920 swapFree=4155228/4192956 [pid=32699] ppid=32697 vsize=25500 CPUtime=25.48 /proc/32699/stat : 32699 (oree) R 32697 32699 32269 0 -1 4194304 6214 0 0 0 2544 4 0 0 25 0 1 0 147383132 26112000 6196 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32699/statm: 6375 6196 170 317 0 6054 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 25500 [startup+51.1017 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32700 /proc/meminfo: memFree=1780136/2055920 swapFree=4155228/4192956 [pid=32699] ppid=32697 vsize=37080 CPUtime=51.07 /proc/32699/stat : 32699 (oree) R 32697 32699 32269 0 -1 4194304 9097 0 0 0 5101 6 0 0 25 0 1 0 147383132 37969920 9079 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32699/statm: 9270 9079 170 317 0 8949 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 37080 [startup+102.306 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32700 /proc/meminfo: memFree=1761064/2055920 swapFree=4155228/4192956 [pid=32699] ppid=32697 vsize=56500 CPUtime=102.26 /proc/32699/stat : 32699 (oree) R 32697 32699 32269 0 -1 4194304 13870 0 0 0 10217 9 0 0 25 0 1 0 147383132 57856000 13808 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32699/statm: 14125 13808 170 317 0 13804 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 56500 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32700 /proc/meminfo: memFree=1747688/2055920 swapFree=4155228/4192956 [pid=32699] ppid=32697 vsize=70736 CPUtime=162.23 /proc/32699/stat : 32699 (oree) R 32697 32699 32269 0 -1 4194304 17218 0 0 0 16211 12 0 0 25 0 1 0 147383132 72433664 17156 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32699/statm: 17684 17156 170 317 0 17363 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 70736 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.98 2/84 348 /proc/meminfo: memFree=1732776/2055920 swapFree=4155228/4192956 [pid=32699] ppid=32697 vsize=84452 CPUtime=222.15 /proc/32699/stat : 32699 (oree) R 32697 32699 32269 0 -1 4194304 20640 0 0 0 22200 15 0 0 25 0 1 0 147383132 86478848 20492 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385343 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32699/statm: 21113 20492 170 317 0 20792 0 Current children cumulated CPU time (s) 222.15 Current children cumulated vsize (KiB) 84452 [startup+282.301 s] /proc/loadavg: 1.10 1.02 1.00 2/78 430 /proc/meminfo: memFree=1726120/2055920 swapFree=4155228/4192956 [pid=32699] ppid=32697 vsize=91968 CPUtime=282.08 /proc/32699/stat : 32699 (oree) R 32697 32699 32269 0 -1 4194304 22606 0 0 0 28191 17 0 0 25 0 1 0 147383132 94175232 22458 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32699/statm: 22992 22458 170 317 0 22671 0 Current children cumulated CPU time (s) 282.08 Current children cumulated vsize (KiB) 91968 [startup+342.301 s] /proc/loadavg: 1.04 1.01 1.00 2/78 430 /proc/meminfo: memFree=1715240/2055920 swapFree=4155228/4192956 [pid=32699] ppid=32697 vsize=103720 CPUtime=342.05 /proc/32699/stat : 32699 (oree) R 32697 32699 32269 0 -1 4194304 25306 0 0 0 34185 20 0 0 25 0 1 0 147383132 106209280 25158 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385184 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32699/statm: 25930 25158 170 317 0 25609 0 Current children cumulated CPU time (s) 342.05 Current children cumulated vsize (KiB) 103720 [startup+402.301 s] /proc/loadavg: 1.01 1.00 1.00 2/78 430 /proc/meminfo: memFree=1705256/2055920 swapFree=4155228/4192956 [pid=32699] ppid=32697 vsize=115144 CPUtime=402.03 /proc/32699/stat : 32699 (oree) R 32697 32699 32269 0 -1 4194304 27874 0 0 0 40180 23 0 0 25 0 1 0 147383132 117907456 27726 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711192 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32699/statm: 28786 27726 170 317 0 28465 0 Current children cumulated CPU time (s) 402.03 Current children cumulated vsize (KiB) 115144 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 430 /proc/meminfo: memFree=1696232/2055920 swapFree=4155228/4192956 [pid=32699] ppid=32697 vsize=124248 CPUtime=462.01 /proc/32699/stat : 32699 (oree) R 32697 32699 32269 0 -1 4194304 30102 0 0 0 46176 25 0 0 25 0 1 0 147383132 127229952 29954 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32699/statm: 31062 29954 170 317 0 30741 0 Current children cumulated CPU time (s) 462.01 Current children cumulated vsize (KiB) 124248 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 430 /proc/meminfo: memFree=1689128/2055920 swapFree=4155228/4192956 [pid=32699] ppid=32697 vsize=131764 CPUtime=522 /proc/32699/stat : 32699 (oree) R 32697 32699 32269 0 -1 4194304 31889 0 0 0 52173 27 0 0 25 0 1 0 147383132 134926336 31741 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32699/statm: 32941 31741 170 317 0 32620 0 Current children cumulated CPU time (s) 522 Current children cumulated vsize (KiB) 131764 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 430 /proc/meminfo: memFree=1681000/2055920 swapFree=4155228/4192956 [pid=32699] ppid=32697 vsize=140116 CPUtime=581.97 /proc/32699/stat : 32699 (oree) R 32697 32699 32269 0 -1 4194304 33871 0 0 0 58168 29 0 0 25 0 1 0 147383132 143478784 33723 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32699/statm: 35029 33723 170 317 0 34708 0 Current children cumulated CPU time (s) 581.97 Current children cumulated vsize (KiB) 140116 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 430 /proc/meminfo: memFree=1674856/2055920 swapFree=4155228/4192956 [pid=32699] ppid=32697 vsize=146072 CPUtime=641.95 /proc/32699/stat : 32699 (oree) R 32697 32699 32269 0 -1 4194304 35417 0 0 0 64164 31 0 0 25 0 1 0 147383132 149577728 35269 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32699/statm: 36518 35269 170 317 0 36197 0 Current children cumulated CPU time (s) 641.95 Current children cumulated vsize (KiB) 146072 ################ # More data... # ################ [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 430 /proc/meminfo: memFree=1640104/2055920 swapFree=4155228/4192956 [pid=32699] ppid=32697 vsize=181940 CPUtime=1001.82 /proc/32699/stat : 32699 (oree) R 32697 32699 32269 0 -1 4194304 44077 0 0 0 100142 40 0 0 25 0 1 0 147383132 186306560 43929 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32699/statm: 45485 43929 170 317 0 45164 0 Current children cumulated CPU time (s) 1001.82 Current children cumulated vsize (KiB) 181940 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 430 /proc/meminfo: memFree=1633000/2055920 swapFree=4155228/4192956 [pid=32699] ppid=32697 vsize=191296 CPUtime=1061.79 /proc/32699/stat : 32699 (oree) R 32697 32699 32269 0 -1 4194304 46014 0 0 0 106138 41 0 0 25 0 1 0 147383132 195887104 45695 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32699/statm: 47824 45695 170 317 0 47503 0 Current children cumulated CPU time (s) 1061.79 Current children cumulated vsize (KiB) 191296 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 430 /proc/meminfo: memFree=1627304/2055920 swapFree=4155228/4192956 [pid=32699] ppid=32697 vsize=197132 CPUtime=1121.77 /proc/32699/stat : 32699 (oree) R 32697 32699 32269 0 -1 4194304 47415 0 0 0 112135 42 0 0 25 0 1 0 147383132 201863168 47096 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32699/statm: 49283 47096 170 317 0 48962 0 Current children cumulated CPU time (s) 1121.77 Current children cumulated vsize (KiB) 197132 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 430 /proc/meminfo: memFree=1622568/2055920 swapFree=4155228/4192956 [pid=32699] ppid=32697 vsize=202068 CPUtime=1181.74 /proc/32699/stat : 32699 (oree) R 32697 32699 32269 0 -1 4194304 48599 0 0 0 118131 43 0 0 25 0 1 0 147383132 206917632 48280 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32699/statm: 50517 48280 170 317 0 50196 0 Current children cumulated CPU time (s) 1181.74 Current children cumulated vsize (KiB) 202068 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 430 /proc/meminfo: memFree=1616232/2055920 swapFree=4155228/4192956 [pid=32699] ppid=32697 vsize=209228 CPUtime=1241.72 /proc/32699/stat : 32699 (oree) R 32697 32699 32269 0 -1 4194304 50176 0 0 0 124127 45 0 0 25 0 1 0 147383132 214249472 49857 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563529 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32699/statm: 52307 49857 170 317 0 51986 0 Current children cumulated CPU time (s) 1241.72 Current children cumulated vsize (KiB) 209228 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 430 /proc/meminfo: memFree=1610792/2055920 swapFree=4155228/4192956 [pid=32699] ppid=32697 vsize=214744 CPUtime=1301.69 /proc/32699/stat : 32699 (oree) R 32697 32699 32269 0 -1 4194304 51500 0 0 0 130123 46 0 0 25 0 1 0 147383132 219897856 51181 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32699/statm: 53686 51181 170 317 0 53365 0 Current children cumulated CPU time (s) 1301.69 Current children cumulated vsize (KiB) 214744 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 430 /proc/meminfo: memFree=1606952/2055920 swapFree=4155228/4192956 [pid=32699] ppid=32697 vsize=219256 CPUtime=1361.67 /proc/32699/stat : 32699 (oree) R 32697 32699 32269 0 -1 4194304 52475 0 0 0 136120 47 0 0 25 0 1 0 147383132 224518144 52156 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32699/statm: 54814 52156 170 317 0 54493 0 Current children cumulated CPU time (s) 1361.67 Current children cumulated vsize (KiB) 219256 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 430 /proc/meminfo: memFree=1604328/2055920 swapFree=4155228/4192956 [pid=32699] ppid=32697 vsize=221712 CPUtime=1421.65 /proc/32699/stat : 32699 (oree) R 32697 32699 32269 0 -1 4194304 53125 0 0 0 142116 49 0 0 25 0 1 0 147383132 227033088 52806 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718425 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32699/statm: 55428 52806 170 317 0 55107 0 Current children cumulated CPU time (s) 1421.65 Current children cumulated vsize (KiB) 221712 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 430 /proc/meminfo: memFree=1602216/2055920 swapFree=4155228/4192956 [pid=32699] ppid=32697 vsize=224324 CPUtime=1481.62 /proc/32699/stat : 32699 (oree) R 32697 32699 32269 0 -1 4194304 53682 0 0 0 148113 49 0 0 25 0 1 0 147383132 229707776 53363 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271382 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32699/statm: 56081 53363 170 317 0 55760 0 Current children cumulated CPU time (s) 1481.62 Current children cumulated vsize (KiB) 224324 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 430 /proc/meminfo: memFree=1590376/2055920 swapFree=4155228/4192956 [pid=32699] ppid=32697 vsize=235572 CPUtime=1541.6 /proc/32699/stat : 32699 (oree) R 32697 32699 32269 0 -1 4194304 56595 0 0 0 154108 52 0 0 25 0 1 0 147383132 241225728 56276 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32699/statm: 58893 56276 170 317 0 58572 0 Current children cumulated CPU time (s) 1541.6 Current children cumulated vsize (KiB) 235572 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 430 /proc/meminfo: memFree=1581800/2055920 swapFree=4155228/4192956 [pid=32699] ppid=32697 vsize=243732 CPUtime=1601.58 /proc/32699/stat : 32699 (oree) R 32697 32699 32269 0 -1 4194304 58756 0 0 0 160104 54 0 0 25 0 1 0 147383132 249581568 58437 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32699/statm: 60933 58437 170 317 0 60612 0 Current children cumulated CPU time (s) 1601.58 Current children cumulated vsize (KiB) 243732 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 430 /proc/meminfo: memFree=1578728/2055920 swapFree=4155228/4192956 [pid=32699] ppid=32697 vsize=246796 CPUtime=1661.56 /proc/32699/stat : 32699 (oree) R 32697 32699 32269 0 -1 4194304 59492 0 0 0 166101 55 0 0 25 0 1 0 147383132 252719104 59173 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32699/statm: 61699 59173 170 317 0 61378 0 Current children cumulated CPU time (s) 1661.56 Current children cumulated vsize (KiB) 246796 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 430 /proc/meminfo: memFree=1575784/2055920 swapFree=4155228/4192956 [pid=32699] ppid=32697 vsize=249468 CPUtime=1721.54 /proc/32699/stat : 32699 (oree) R 32697 32699 32269 0 -1 4194304 60229 0 0 0 172098 56 0 0 25 0 1 0 147383132 255455232 59910 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32699/statm: 62367 59910 170 317 0 62046 0 Current children cumulated CPU time (s) 1721.54 Current children cumulated vsize (KiB) 249468 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 430 /proc/meminfo: memFree=1571752/2055920 swapFree=4155228/4192956 [pid=32699] ppid=32697 vsize=253944 CPUtime=1781.52 /proc/32699/stat : 32699 (oree) R 32697 32699 32269 0 -1 4194304 61213 0 0 0 178095 57 0 0 25 0 1 0 147383132 260038656 60894 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32699/statm: 63486 60894 170 317 0 63165 0 Current children cumulated CPU time (s) 1781.52 Current children cumulated vsize (KiB) 253944 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/78 430 /proc/meminfo: memFree=1570536/2055920 swapFree=4155228/4192956 [pid=32699] ppid=32697 vsize=255260 CPUtime=1800.01 /proc/32699/stat : 32699 (oree) R 32697 32699 32269 0 -1 4194304 61514 0 0 0 179944 57 0 0 25 0 1 0 147383132 261386240 61195 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32699/statm: 63815 61195 170 317 0 63494 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 255260 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801 s] /proc/loadavg: 1.00 1.00 1.00 2/78 430 /proc/meminfo: memFree=1570536/2055920 swapFree=4155228/4192956 [pid=32699] ppid=32697 vsize=255260 CPUtime=1800.21 /proc/32699/stat : 32699 (oree) R 32697 32699 32269 0 -1 4194304 61515 0 0 0 179964 57 0 0 25 0 1 0 147383132 261386240 61196 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32699/statm: 63815 61196 170 317 0 63494 0 Current children cumulated CPU time (s) 1800.21 Current children cumulated vsize (KiB) 255260 [startup+1801.2 s] /proc/loadavg: 1.00 1.00 1.00 2/78 430 /proc/meminfo: memFree=1570536/2055920 swapFree=4155228/4192956 [pid=32699] ppid=32697 vsize=255260 CPUtime=1800.41 /proc/32699/stat : 32699 (oree) R 32697 32699 32269 0 -1 4194304 61517 0 0 0 179984 57 0 0 25 0 1 0 147383132 261386240 61198 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32699/statm: 63815 61198 170 317 0 63494 0 Current children cumulated CPU time (s) 1800.41 Current children cumulated vsize (KiB) 255260 [startup+1801.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 430 /proc/meminfo: memFree=1570536/2055920 swapFree=4155228/4192956 [pid=32699] ppid=32697 vsize=255260 CPUtime=1800.51 /proc/32699/stat : 32699 (oree) R 32697 32699 32269 0 -1 4194304 61519 0 0 0 179994 57 0 0 25 0 1 0 147383132 261386240 61200 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32699/statm: 63815 61200 170 317 0 63494 0 Current children cumulated CPU time (s) 1800.51 Current children cumulated vsize (KiB) 255260 Child status: 0 Real time (s): 1801.4 CPU time (s): 1800.62 CPU user time (s): 1800 CPU system time (s): 0.615906 CPU usage (%): 99.9566 Max. virtual memory (cumulated for all children) (KiB): 255260 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800 system time used= 0.615906 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 61535 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= 2371 runsolver used 2.08468 second user time and 4.44832 second system time The end
Begin job on node20 on Thu Apr 19 14:57:38 UTC 2007 IDJOB= 357328 IDBENCH= 2415 IDSOLVER= 172 FILE ID= node20/357328-1176994658 PBS_JOBID= 4630460 Free space on /tmp= 66453 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-grow22.opb COMMAND LINE= oree /tmp/evaluation/357328-1176994658/instance-357328-1176994658.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node20/watcher-357328-1176994658 -o ROOT/results/node20/solver-357328-1176994658 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357328-1176994658/instance-357328-1176994658.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 459c1d0101a0e61c9c386c9d02f149df RANDOM SEED= 728354779 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node20.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.265 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.265 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: 1816328 kB Buffers: 28772 kB Cached: 127456 kB SwapCached: 16084 kB Active: 80916 kB Inactive: 98296 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1816328 kB SwapTotal: 4192956 kB SwapFree: 4155228 kB Dirty: 3948 kB Writeback: 0 kB Mapped: 29964 kB Slab: 45892 kB Committed_AS: 1892872 kB PageTables: 1744 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= 66453 MiB End job on node20 on Thu Apr 19 15:27:41 UTC 2007