Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.22 | 1800.74 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos13.opb |
MD5SUM | 1218478b67ec647ce24db44195ab22fa |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -44861589 |
Best CPU time to get the best result obtained on this benchmark | 1800.26 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -89698560 |
Optimality of the best value was proved | NO |
Number of variables | 1935 |
Total number of constraints | 19275 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 19274 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 1815 |
Number of terms in the objective function | 120 |
Biggest coefficient in the objective function | 103558656 |
Number of bits for the biggest coefficient in the objective function | 27 |
Sum of the numbers in the objective function | 2282563635 |
Number of bits of the sum of numbers in the objective function | 32 |
Biggest number in a constraint | 69966336000 |
Number of bits of the biggest number in a constraint | 37 |
Biggest sum of numbers in a constraint | 636991772142 |
Number of bits of the biggest sum of numbers | 40 |
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... 7.89/7.98 c ...done 7.89/7.98 c #vars=1935 #constraints=19276 hasObjective=yes 12.99/13.02 c res. mode=mod 12.99/13.02 c VSIDS like heuristics 12.99/13.02 c complete search running 14.29/14.36 c restart after 401 decisions 15.88/15.92 c nbDecision=500 #constraints=19279 15.88/15.97 c restart after 801 decisions 17.49/17.56 c nbDecision=1000 #constraints=19279 17.49/17.59 c nbDecision=1500 #constraints=19279 17.49/17.59 c restart after 1601 decisions 19.38/19.42 c nbDecision=2000 #constraints=19280 19.38/19.45 c nbDecision=2500 #constraints=19280 19.58/19.64 c nbDecision=3000 #constraints=19281 19.58/19.66 c restart after 3201 decisions 21.18/21.26 c nbDecision=3500 #constraints=19281 21.18/21.29 c nbDecision=4000 #constraints=19281 21.38/21.48 c nbDecision=4500 #constraints=19282 21.48/21.51 c nbDecision=5000 #constraints=19282 21.48/21.53 c nbDecision=5500 #constraints=19282 21.58/21.66 c nbDecision=6000 #constraints=19283 21.58/21.68 c restart after 6401 decisions 23.18/23.26 c nbDecision=6500 #constraints=19283 23.28/23.31 c nbDecision=7000 #constraints=19283 23.28/23.34 c nbDecision=7500 #constraints=19283 23.48/23.56 c nbDecision=8000 #constraints=19284 23.48/23.59 c nbDecision=8500 #constraints=19284 23.78/23.81 c nbDecision=9000 #constraints=19285 23.78/23.84 c nbDecision=9500 #constraints=19285 23.78/23.86 c nbDecision=10000 #constraints=19285 24.48/24.57 c nbDecision=10500 #constraints=19291 25.08/25.11 c nbDecision=11000 #constraints=19296 25.38/25.49 c nbDecision=11500 #constraints=19299 25.68/25.76 c nbDecision=12000 #constraints=19302 25.88/25.98 c nbDecision=12500 #constraints=19304 26.08/26.16 c restart after 12801 decisions 27.78/27.80 c nbDecision=13000 #constraints=19305 27.78/27.84 c nbDecision=13500 #constraints=19305 27.78/27.86 c nbDecision=14000 #constraints=19305 28.18/28.29 c nbDecision=14500 #constraints=19307 29.68/29.70 c nbDecision=15000 #constraints=19315 31.48/31.55 c nbDecision=15500 #constraints=19324 32.58/32.64 c nbDecision=16000 #constraints=19329 32.58/32.67 c nbDecision=16500 #constraints=19329 32.58/32.69 c nbDecision=17000 #constraints=19329 32.68/32.78 c nbDecision=17500 #constraints=19330 32.78/32.80 c nbDecision=18000 #constraints=19330 32.78/32.88 c nbDecision=18500 #constraints=19331 32.88/32.91 c nbDecision=19000 #constraints=19331 32.88/32.92 c nbDecision=19500 #constraints=19331 32.98/33.01 c nbDecision=20000 #constraints=19332 32.98/33.04 c nbDecision=20500 #constraints=19332 33.08/33.12 c nbDecision=21000 #constraints=19333 33.08/33.15 c nbDecision=21500 #constraints=19333 33.08/33.16 c nbDecision=22000 #constraints=19333 33.18/33.25 c nbDecision=22500 #constraints=19334 33.18/33.27 c nbDecision=23000 #constraints=19334 33.28/33.35 c nbDecision=23500 #constraints=19335 33.28/33.38 c nbDecision=24000 #constraints=19335 33.38/33.40 c nbDecision=24500 #constraints=19335 33.38/33.48 c nbDecision=25000 #constraints=19336 33.48/33.51 c nbDecision=25500 #constraints=19336 33.48/33.51 c restart after 25601 decisions 35.08/35.12 c nbDecision=26000 #constraints=19336 35.08/35.15 c nbDecision=26500 #constraints=19336 35.08/35.16 c nbDecision=27000 #constraints=19336 35.18/35.25 c nbDecision=27500 #constraints=19337 35.18/35.28 c nbDecision=28000 #constraints=19337 35.28/35.36 c nbDecision=28500 #constraints=19338 35.28/35.38 c nbDecision=29000 #constraints=19338 35.38/35.40 c nbDecision=29500 #constraints=19338 35.38/35.49 c nbDecision=30000 #constraints=19339 35.48/35.51 c nbDecision=30500 #constraints=19339 35.48/35.53 c nbDecision=31000 #constraints=19339 35.58/35.61 c nbDecision=31500 #constraints=19340 35.58/35.64 c nbDecision=32000 #constraints=19340 35.58/35.66 c nbDecision=32500 #constraints=19340 35.68/35.75 c nbDecision=33000 #constraints=19341 35.68/35.77 c nbDecision=33500 #constraints=19341 35.79/35.85 c nbDecision=34000 #constraints=19342 35.79/35.88 c nbDecision=34500 #constraints=19342 35.79/35.89 c nbDecision=35000 #constraints=19342 35.89/35.97 c nbDecision=35500 #constraints=19343 35.99/36.00 c nbDecision=36000 #constraints=19343 35.99/36.02 c nbDecision=36500 #constraints=19343 36.19/36.27 c nbDecision=37000 #constraints=19344 36.29/36.36 c nbDecision=37500 #constraints=19345 36.29/36.39 c nbDecision=38000 #constraints=19345 36.39/36.46 c nbDecision=38500 #constraints=19346 36.39/36.49 c nbDecision=39000 #constraints=19346 36.49/36.51 c nbDecision=39500 #constraints=19346 36.49/36.58 c nbDecision=40000 #constraints=19347 36.59/36.61 c nbDecision=40500 #constraints=19347 36.59/36.63 c nbDecision=41000 #constraints=19347 36.69/36.70 c nbDecision=41500 #constraints=19348 36.69/36.73 c nbDecision=42000 #constraints=19348 36.69/36.75 c nbDecision=42500 #constraints=19348 38.49/38.58 c nbDecision=43000 #constraints=19358 45.68/45.79 c nbDecision=43500 #constraints=19397 47.88/47.96 c nbDecision=44000 #constraints=19410 49.68/49.79 c nbDecision=44500 #constraints=19419 52.48/52.56 c nbDecision=45000 #constraints=19430 55.28/55.35 c nbDecision=45500 #constraints=19441 58.48/58.54 c nbDecision=46000 #constraints=19455 62.48/62.56 c nbDecision=46500 #constraints=19472 66.87/66.97 c nbDecision=47000 #constraints=19493 69.77/69.82 c nbDecision=47500 #constraints=19502 73.17/73.27 c nbDecision=48000 #constraints=19514 74.67/74.79 c nbDecision=48500 #constraints=19520 76.87/76.93 c nbDecision=49000 #constraints=19527 79.37/79.41 c nbDecision=49500 #constraints=19534 82.17/82.20 c nbDecision=50000 #constraints=19543 85.07/85.15 c nbDecision=50500 #constraints=19551 86.27/86.39 c nbDecision=51000 #constraints=19556 86.37/86.42 c restart after 51201 decisions 87.97/88.07 c nbDecision=51500 #constraints=19556 88.07/88.10 c nbDecision=52000 #constraints=19556 88.07/88.12 c nbDecision=52500 #constraints=19556 89.87/89.98 c nbDecision=53000 #constraints=19562 92.27/92.35 c nbDecision=53500 #constraints=19570 94.66/94.73 c nbDecision=54000 #constraints=19579 95.96/96.08 c nbDecision=54500 #constraints=19583 96.56/96.66 c nbDecision=55000 #constraints=19585 97.76/97.81 c nbDecision=55500 #constraints=19589 98.46/98.51 c nbDecision=56000 #constraints=19591 98.96/99.06 c nbDecision=56500 #constraints=19593 101.56/101.68 c nbDecision=57000 #constraints=19604 103.06/103.14 c nbDecision=57500 #constraints=19609 104.76/104.80 c nbDecision=58000 #constraints=19621 106.86/106.97 c nbDecision=58500 #constraints=19627 107.96/108.05 c nbDecision=59000 #constraints=19630 110.47/110.58 c nbDecision=59500 #constraints=19637 111.57/111.65 c nbDecision=60000 #constraints=19640 113.17/113.24 c nbDecision=60500 #constraints=19646 113.76/113.82 c nbDecision=61000 #constraints=19651 114.16/114.30 c nbDecision=61500 #constraints=19655 114.37/114.47 c nbDecision=62000 #constraints=19657 115.26/115.33 c nbDecision=62500 #constraints=19660 115.96/116.02 c nbDecision=63000 #constraints=19666 116.26/116.39 c nbDecision=63500 #constraints=19669 116.66/116.77 c nbDecision=64000 #constraints=19672 117.67/117.73 c nbDecision=64500 #constraints=19676 117.96/118.08 c nbDecision=65000 #constraints=19679 118.26/118.31 c nbDecision=65500 #constraints=19681 118.46/118.57 c nbDecision=66000 #constraints=19683 118.76/118.83 c nbDecision=66500 #constraints=19685 119.56/119.69 c nbDecision=67000 #constraints=19688 120.36/120.46 c nbDecision=67500 #constraints=19690 121.56/121.61 c nbDecision=68000 #constraints=19693 122.26/122.38 c nbDecision=68500 #constraints=19695 123.36/123.49 c nbDecision=69000 #constraints=19698 124.56/124.60 c nbDecision=69500 #constraints=19701 125.26/125.35 c nbDecision=70000 #constraints=19704 125.95/126.10 c nbDecision=70500 #constraints=19706 128.05/128.15 c nbDecision=71000 #constraints=19712 129.15/129.28 c nbDecision=71500 #constraints=19716 129.76/129.86 c nbDecision=72000 #constraints=19718 129.76/129.88 c nbDecision=72500 #constraints=19718 130.25/130.31 c nbDecision=73000 #constraints=19720 130.45/130.55 c nbDecision=73500 #constraints=19721 131.45/131.58 c nbDecision=74000 #constraints=19727 134.35/134.41 c nbDecision=74500 #constraints=19740 139.25/139.35 c nbDecision=75000 #constraints=19758 143.15/143.28 c nbDecision=75500 #constraints=19776 146.05/146.13 c nbDecision=76000 #constraints=19784 149.05/149.15 c nbDecision=76500 #constraints=19794 153.54/153.66 c nbDecision=77000 #constraints=19811 155.84/155.94 c nbDecision=77500 #constraints=19817 160.45/160.59 c nbDecision=78000 #constraints=19835 163.54/163.62 c nbDecision=78500 #constraints=19844 165.24/165.34 c nbDecision=79000 #constraints=19849 166.14/166.25 c nbDecision=79500 #constraints=19856 171.04/171.17 c nbDecision=80000 #constraints=19884 176.94/177.01 c nbDecision=80500 #constraints=19911 185.84/185.92 c nbDecision=81000 #constraints=19945 190.64/190.73 c nbDecision=81500 #constraints=19962 193.14/193.21 c nbDecision=82000 #constraints=19969 195.54/195.70 c nbDecision=82500 #constraints=19982 197.64/197.74 c nbDecision=83000 #constraints=19993 199.64/199.76 c nbDecision=83500 #constraints=20001 203.13/203.22 c nbDecision=84000 #constraints=20011 206.23/206.30 c nbDecision=84500 #constraints=20020 207.74/207.81 c nbDecision=85000 #constraints=20026 211.43/211.56 c nbDecision=85500 #constraints=20037 213.83/213.96 c nbDecision=86000 #constraints=20044 216.63/216.70 c nbDecision=86500 #constraints=20052 218.03/218.12 c nbDecision=87000 #constraints=20056 220.13/220.20 c nbDecision=87500 #constraints=20068 223.93/224.08 c nbDecision=88000 #constraints=20083 226.63/226.71 c nbDecision=88500 #constraints=20091 229.33/229.44 c nbDecision=89000 #constraints=20101 230.62/230.72 c nbDecision=89500 #constraints=20108 233.22/233.33 c nbDecision=90000 #constraints=20116 236.72/236.86 c nbDecision=90500 #constraints=20126 238.82/238.91 c nbDecision=91000 #constraints=20132 240.12/240.21 c nbDecision=91500 #constraints=20136 242.42/242.53 c nbDecision=92000 #constraints=20142 244.32/244.46 c nbDecision=92500 #constraints=20147 246.62/246.71 c nbDecision=93000 #constraints=20153 248.02/248.10 c nbDecision=93500 #constraints=20157 250.42/250.51 c nbDecision=94000 #constraints=20164 252.22/252.37 c nbDecision=94500 #constraints=20172 254.91/255.03 c nbDecision=95000 #constraints=20187 258.52/258.62 c nbDecision=95500 #constraints=20200 261.72/261.82 c nbDecision=96000 #constraints=20209 264.22/264.31 c nbDecision=96500 #constraints=20219 265.32/265.49 c nbDecision=97000 #constraints=20225 269.22/269.39 c nbDecision=97500 #constraints=20236 271.52/271.70 c nbDecision=98000 #constraints=20244 271.91/272.03 c nbDecision=98500 #constraints=20246 273.82/273.93 c nbDecision=99000 #constraints=20251 275.71/275.83 c nbDecision=99500 #constraints=20256 277.21/277.35 c nbDecision=100000 #constraints=20260 279.11/279.24 c nbDecision=100500 #constraints=20265 280.31/280.41 c nbDecision=101000 #constraints=20268 281.81/281.93 c nbDecision=101500 #constraints=20272 283.51/283.66 c nbDecision=102000 #constraints=20277 284.91/285.10 c restart after 102401 decisions 286.61/286.74 c nbDecision=102500 #constraints=20281 286.71/286.80 c nbDecision=103000 #constraints=20281 286.71/286.82 c nbDecision=103500 #constraints=20281 286.71/286.84 c nbDecision=104000 #constraints=20281 288.11/288.22 c nbDecision=104500 #constraints=20285 290.11/290.25 c nbDecision=105000 #constraints=20291 291.51/291.67 c nbDecision=105500 #constraints=20295 292.51/292.66 c nbDecision=106000 #constraints=20298 293.90/294.08 c nbDecision=106500 #constraints=20302 296.70/296.85 c nbDecision=107000 #constraints=20310 297.30/297.46 c nbDecision=107500 #constraints=20312 299.40/299.51 c nbDecision=108000 #constraints=20323 303.00/303.17 c nbDecision=108500 #constraints=20336 304.90/305.08 c nbDecision=109000 #constraints=20344 307.00/307.19 c nbDecision=109500 #constraints=20353 310.90/311.04 c nbDecision=110000 #constraints=20368 314.30/314.41 c nbDecision=110500 #constraints=20379 316.50/316.62 c nbDecision=111000 #constraints=20390 319.09/319.22 c nbDecision=111500 #constraints=20399 321.59/321.77 c nbDecision=112000 #constraints=20407 323.89/324.05 c nbDecision=112500 #constraints=20415 326.09/326.29 c nbDecision=113000 #constraints=20422 328.80/328.90 c nbDecision=113500 #constraints=20436 331.60/331.73 c nbDecision=114000 #constraints=20444 334.20/334.32 c nbDecision=114500 #constraints=20453 335.79/335.94 c nbDecision=115000 #constraints=20461 338.19/338.35 c nbDecision=115500 #constraints=20471 340.59/340.78 c nbDecision=116000 #constraints=20482 344.69/344.81 c nbDecision=116500 #constraints=20493 346.30/346.49 c nbDecision=117000 #constraints=20502 347.69/347.83 c nbDecision=117500 #constraints=20506 350.39/350.54 c nbDecision=118000 #constraints=20513 352.99/353.18 c nbDecision=118500 #constraints=20520 355.69/355.84 c nbDecision=119000 #constraints=20527 358.19/358.33 c nbDecision=119500 #constraints=20534 360.69/360.82 c nbDecision=120000 #constraints=20541 362.68/362.90 c nbDecision=120500 #constraints=20553 365.78/365.93 c nbDecision=121000 #constraints=20565 368.98/369.16 c nbDecision=121500 #constraints=20574 371.48/371.64 c nbDecision=122000 #constraints=20584 372.68/372.82 c nbDecision=122500 #constraints=20590 375.48/375.65 c nbDecision=123000 #constraints=20600 378.38/378.52 c nbDecision=123500 #constraints=20609 380.49/380.62 c nbDecision=124000 #constraints=20615 380.58/380.80 c nbDecision=124500 #constraints=20616 383.79/383.90 c nbDecision=125000 #constraints=20624 385.28/385.44 c nbDecision=125500 #constraints=20628 386.38/386.58 c nbDecision=126000 #constraints=20631 389.08/389.29 c nbDecision=126500 #constraints=20638 391.08/391.23 c nbDecision=127000 #constraints=20643 392.58/392.74 c nbDecision=127500 #constraints=20647 394.08/394.21 c nbDecision=128000 #constraints=20651 396.48/396.70 c nbDecision=128500 #constraints=20658 398.98/399.19 c nbDecision=129000 #constraints=20665 400.08/400.22 c nbDecision=129500 #constraints=20668 404.68/404.80 c nbDecision=130000 #constraints=20681 405.68/405.88 c nbDecision=130500 #constraints=20685 407.98/408.13 c nbDecision=131000 #constraints=20694 410.57/410.79 c nbDecision=131500 #constraints=20704 412.38/412.54 c nbDecision=132000 #constraints=20710 413.67/413.83 c nbDecision=132500 #constraints=20715 416.27/416.41 c nbDecision=133000 #constraints=20722 418.07/418.25 c nbDecision=133500 #constraints=20730 420.37/420.56 c nbDecision=134000 #constraints=20738 421.97/422.14 c nbDecision=134500 #constraints=20745 423.87/424.01 c nbDecision=135000 #constraints=20750 424.97/425.12 c nbDecision=135500 #constraints=20753 427.27/427.45 c nbDecision=136000 #constraints=20762 429.87/430.05 c nbDecision=136500 #constraints=20773 431.67/431.83 c nbDecision=137000 #constraints=20779 432.96/433.12 c nbDecision=137500 #constraints=20784 434.76/434.97 c nbDecision=138000 #constraints=20789 437.46/437.64 c nbDecision=138500 #constraints=20799 439.76/439.99 c nbDecision=139000 #constraints=20807 440.66/440.82 c nbDecision=139500 #constraints=20812 442.46/442.69 c nbDecision=140000 #constraints=20817 444.36/444.55 c nbDecision=140500 #constraints=20822 446.26/446.42 c nbDecision=141000 #constraints=20827 446.56/446.79 c nbDecision=141500 #constraints=20828 448.76/448.96 c nbDecision=142000 #constraints=20838 450.56/450.74 c nbDecision=142500 #constraints=20845 451.56/451.79 c nbDecision=143000 #constraints=20849 452.86/453.08 c nbDecision=143500 #constraints=20854 453.95/454.18 c nbDecision=144000 #constraints=20857 455.86/456.04 c nbDecision=144500 #constraints=20862 457.26/457.50 c nbDecision=145000 #constraints=20868 459.36/459.56 c nbDecision=145500 #constraints=20876 460.16/460.33 c nbDecision=146000 #constraints=20879 460.26/460.40 c nbDecision=146500 #constraints=20881 461.36/461.55 c nbDecision=147000 #constraints=20885 462.56/462.70 c nbDecision=147500 #constraints=20889 462.96/463.11 c nbDecision=148000 #constraints=20891 463.66/463.89 c nbDecision=148500 #constraints=20894 464.86/465.00 c nbDecision=149000 #constraints=20897 466.06/466.20 c nbDecision=149500 #constraints=20902 467.86/468.05 c nbDecision=150000 #constraints=20910 469.26/469.44 c nbDecision=150500 #constraints=20914 470.66/470.84 c nbDecision=151000 #constraints=20918 472.76/472.94 c nbDecision=151500 #constraints=20924 474.16/474.34 c nbDecision=152000 #constraints=20928 476.26/476.48 c nbDecision=152500 #constraints=20935 476.36/476.58 c nbDecision=153000 #constraints=20938 476.46/476.62 c nbDecision=153500 #constraints=20939 477.26/477.46 c nbDecision=154000 #constraints=20944 478.66/478.89 c nbDecision=154500 #constraints=20948 479.75/479.98 c nbDecision=155000 #constraints=20951 480.85/481.07 c nbDecision=155500 #constraints=20954 481.56/481.80 c nbDecision=156000 #constraints=20956 482.55/482.70 c nbDecision=156500 #constraints=20963 482.55/482.80 c nbDecision=157000 #constraints=20966 482.66/482.90 c nbDecision=157500 #constraints=20969 482.76/482.97 c nbDecision=158000 #constraints=20971 483.55/483.79 c nbDecision=158500 #constraints=20975 485.05/485.24 c nbDecision=159000 #constraints=20979 485.75/485.97 c nbDecision=159500 #constraints=20981 486.55/486.70 c nbDecision=160000 #constraints=20983 487.25/487.44 c nbDecision=160500 #constraints=20985 488.35/488.56 c nbDecision=161000 #constraints=20988 490.05/490.26 c nbDecision=161500 #constraints=20993 491.15/491.34 c nbDecision=162000 #constraints=20997 491.25/491.41 c nbDecision=162500 #constraints=20999 491.25/491.48 c nbDecision=163000 #constraints=21001 491.35/491.59 c nbDecision=163500 #constraints=21003 491.45/491.62 c nbDecision=164000 #constraints=21003 491.45/491.64 c nbDecision=164500 #constraints=21003 493.65/493.83 c nbDecision=165000 #constraints=21011 496.45/496.65 c nbDecision=165500 #constraints=21021 497.75/497.91 c nbDecision=166000 #constraints=21025 500.75/500.93 c nbDecision=166500 #constraints=21037 502.55/502.71 c nbDecision=167000 #constraints=21043 504.65/504.90 c nbDecision=167500 #constraints=21051 507.54/507.74 c nbDecision=168000 #constraints=21061 508.05/508.27 c nbDecision=168500 #constraints=21063 509.15/509.30 c nbDecision=169000 #constraints=21066 512.04/512.21 c nbDecision=169500 #constraints=21077 516.44/516.63 c nbDecision=170000 #constraints=21091 518.24/518.41 c nbDecision=170500 #constraints=21100 520.34/520.52 c nbDecision=171000 #constraints=21110 521.94/522.17 c nbDecision=171500 #constraints=21117 524.44/524.62 c nbDecision=172000 #constraints=21124 525.74/525.99 c nbDecision=172500 #constraints=21130 528.54/528.74 c nbDecision=173000 #constraints=21146 530.63/530.87 c nbDecision=173500 #constraints=21156 532.63/532.85 c nbDecision=174000 #constraints=21164 535.03/535.26 c nbDecision=174500 #constraints=21175 535.73/535.98 c nbDecision=175000 #constraints=21178 539.23/539.43 c nbDecision=175500 #constraints=21187 540.73/540.97 c nbDecision=176000 #constraints=21191 542.73/542.95 c nbDecision=176500 #constraints=21203 546.54/546.78 c nbDecision=177000 #constraints=21221 548.24/548.42 c nbDecision=177500 #constraints=21228 551.04/551.23 c nbDecision=178000 #constraints=21239 552.93/553.10 c nbDecision=178500 #constraints=21248 554.93/555.18 c nbDecision=179000 #constraints=21254 557.23/557.42 c nbDecision=179500 #constraints=21265 558.54/558.80 c nbDecision=180000 #constraints=21270 559.13/559.36 c nbDecision=180500 #constraints=21272 559.33/559.54 c nbDecision=181000 #constraints=21273 561.23/561.45 c nbDecision=181500 #constraints=21278 562.43/562.64 c nbDecision=182000 #constraints=21281 564.73/564.95 c nbDecision=182500 #constraints=21287 566.63/566.87 c nbDecision=183000 #constraints=21292 567.83/568.05 c nbDecision=183500 #constraints=21295 569.33/569.58 c nbDecision=184000 #constraints=21299 570.53/570.76 c nbDecision=184500 #constraints=21302 572.03/572.29 c nbDecision=185000 #constraints=21306 573.23/573.45 c nbDecision=185500 #constraints=21309 574.73/574.98 c nbDecision=186000 #constraints=21313 575.93/576.14 c nbDecision=186500 #constraints=21316 577.43/577.67 c nbDecision=187000 #constraints=21320 578.63/578.83 c nbDecision=187500 #constraints=21323 582.12/582.37 c nbDecision=188000 #constraints=21332 582.92/583.15 c nbDecision=188500 #constraints=21335 585.82/586.10 c nbDecision=189000 #constraints=21345 589.22/589.45 c nbDecision=189500 #constraints=21355 591.72/591.93 c nbDecision=190000 #constraints=21368 594.02/594.26 c nbDecision=190500 #constraints=21380 595.52/595.76 c nbDecision=191000 #constraints=21387 598.12/598.31 c nbDecision=191500 #constraints=21395 599.82/600.08 c nbDecision=192000 #constraints=21404 602.22/602.44 c nbDecision=192500 #constraints=21416 604.22/604.46 c nbDecision=193000 #constraints=21425 606.01/606.23 c nbDecision=193500 #constraints=21433 608.81/609.08 c nbDecision=194000 #constraints=21447 609.61/609.81 c nbDecision=194500 #constraints=21450 612.81/613.01 c nbDecision=195000 #constraints=21459 615.51/615.70 c nbDecision=195500 #constraints=21466 617.12/617.39 c nbDecision=196000 #constraints=21472 620.02/620.27 c nbDecision=196500 #constraints=21487 622.22/622.50 c nbDecision=197000 #constraints=21497 624.72/624.97 c nbDecision=197500 #constraints=21506 627.01/627.26 c nbDecision=198000 #constraints=21516 628.82/629.05 c nbDecision=198500 #constraints=21523 631.12/631.31 c nbDecision=199000 #constraints=21533 633.81/634.06 c nbDecision=199500 #constraints=21545 636.31/636.50 c nbDecision=200000 #constraints=21554 637.31/637.55 c nbDecision=200500 #constraints=21558 637.61/637.82 c nbDecision=201000 #constraints=21560 637.61/637.84 c nbDecision=201500 #constraints=21560 637.82/638.02 c nbDecision=202000 #constraints=21561 639.71/639.95 c nbDecision=202500 #constraints=21566 641.71/641.90 c nbDecision=203000 #constraints=21571 643.61/643.81 c nbDecision=203500 #constraints=21576 645.51/645.78 c nbDecision=204000 #constraints=21581 647.11/647.33 c nbDecision=204500 #constraints=21585 648.31/648.51 c restart after 204801 decisions 650.11/650.30 c nbDecision=205000 #constraints=21588 650.11/650.33 c nbDecision=205500 #constraints=21588 650.11/650.35 c nbDecision=206000 #constraints=21588 650.91/651.14 c nbDecision=206500 #constraints=21590 651.71/651.92 c nbDecision=207000 #constraints=21592 653.61/653.87 c nbDecision=207500 #constraints=21597 655.60/655.80 c nbDecision=208000 #constraints=21602 657.10/657.34 c nbDecision=208500 #constraints=21606 661.70/661.96 c nbDecision=209000 #constraints=21619 662.70/662.99 c nbDecision=209500 #constraints=21622 663.50/663.78 c nbDecision=210000 #constraints=21625 665.10/665.36 c nbDecision=210500 #constraints=21632 665.60/665.88 c nbDecision=211000 #constraints=21634 666.30/666.57 c nbDecision=211500 #constraints=21636 667.20/667.46 c nbDecision=212000 #constraints=21639 668.30/668.54 c nbDecision=212500 #constraints=21642 670.10/670.38 c nbDecision=213000 #constraints=21647 670.20/670.41 c nbDecision=213500 #constraints=21647 670.20/670.42 c nbDecision=214000 #constraints=21647 671.80/672.01 c nbDecision=214500 #constraints=21655 673.50/673.75 c nbDecision=215000 #constraints=21661 674.80/675.01 c nbDecision=215500 #constraints=21665 677.00/677.27 c nbDecision=216000 #constraints=21672 678.80/679.08 c nbDecision=216500 #constraints=21677 679.80/680.06 c nbDecision=217000 #constraints=21681 681.60/681.84 c nbDecision=217500 #constraints=21689 683.20/683.47 c nbDecision=218000 #constraints=21694 684.79/685.06 c nbDecision=218500 #constraints=21699 686.59/686.88 c nbDecision=219000 #constraints=21704 688.09/688.34 c nbDecision=219500 #constraints=21708 688.79/689.09 c nbDecision=220000 #constraints=21710 690.99/691.26 c nbDecision=220500 #constraints=21720 693.80/694.05 c nbDecision=221000 #constraints=21729 696.10/696.31 c nbDecision=221500 #constraints=21737 697.10/697.38 c nbDecision=222000 #constraints=21741 697.20/697.40 c nbDecision=222500 #constraints=21741 697.20/697.42 c nbDecision=223000 #constraints=21741 698.50/698.72 c nbDecision=223500 #constraints=21746 698.50/698.75 c nbDecision=224000 #constraints=21746 698.50/698.77 c nbDecision=224500 #constraints=21746 699.59/699.88 c nbDecision=225000 #constraints=21749 701.50/701.75 c nbDecision=225500 #constraints=21754 702.49/702.75 c nbDecision=226000 #constraints=21758 704.69/704.99 c nbDecision=226500 #constraints=21767 705.90/706.11 c nbDecision=227000 #constraints=21771 705.90/706.19 c nbDecision=227500 #constraints=21773 707.10/707.34 c nbDecision=228000 #constraints=21777 707.49/707.76 c nbDecision=228500 #constraints=21779 708.29/708.53 c nbDecision=229000 #constraints=21782 709.39/709.66 c nbDecision=229500 #constraints=21785 711.09/711.32 c nbDecision=230000 #constraints=21792 712.79/713.04 c nbDecision=230500 #constraints=21799 714.49/714.78 c nbDecision=231000 #constraints=21804 715.89/716.18 c nbDecision=231500 #constraints=21808 719.39/719.69 c nbDecision=232000 #constraints=21818 719.49/719.76 c nbDecision=232500 #constraints=21820 719.59/719.84 c nbDecision=233000 #constraints=21822 719.69/719.95 c nbDecision=233500 #constraints=21825 719.69/719.98 c nbDecision=234000 #constraints=21825 719.79/720.00 c nbDecision=234500 #constraints=21825 721.59/721.83 c nbDecision=235000 #constraints=21830 722.68/722.92 c nbDecision=235500 #constraints=21833 723.78/724.02 c nbDecision=236000 #constraints=21836 724.48/724.76 c nbDecision=236500 #constraints=21838 726.68/726.97 c nbDecision=237000 #constraints=21844 727.78/728.06 c nbDecision=237500 #constraints=21847 728.88/729.16 c nbDecision=238000 #constraints=21850 730.38/730.64 c nbDecision=238500 #constraints=21854 730.48/730.77 c nbDecision=239000 #constraints=21858 730.58/730.87 c nbDecision=239500 #constraints=21861 730.68/730.95 c nbDecision=240000 #constraints=21863 731.19/731.47 c nbDecision=240500 #constraints=21867 731.19/731.50 c nbDecision=241000 #constraints=21867 731.29/731.52 c nbDecision=241500 #constraints=21867 732.58/732.88 c nbDecision=242000 #constraints=21871 733.98/734.23 c nbDecision=242500 #constraints=21875 734.68/734.91 c nbDecision=243000 #constraints=21877 735.68/735.95 c nbDecision=243500 #constraints=21880 736.38/736.67 c nbDecision=244000 #constraints=21882 736.38/736.69 c nbDecision=244500 #constraints=21882 736.78/737.08 c nbDecision=245000 #constraints=21883 736.88/737.10 c nbDecision=245500 #constraints=21883 737.18/737.47 c nbDecision=246000 #constraints=21884 737.98/738.21 c nbDecision=246500 #constraints=21886 737.98/738.24 c nbDecision=247000 #constraints=21886 738.38/738.61 c nbDecision=247500 #constraints=21887 738.68/739.00 c nbDecision=248000 #constraints=21888 738.78/739.02 c nbDecision=248500 #constraints=21888 739.08/739.39 c nbDecision=249000 #constraints=21889 739.48/739.78 c nbDecision=249500 #constraints=21890 739.58/739.80 c nbDecision=250000 #constraints=21890 739.88/740.17 c nbDecision=250500 #constraints=21891 740.27/740.56 c nbDecision=251000 #constraints=21892 740.27/740.59 c nbDecision=251500 #constraints=21892 740.67/740.99 c nbDecision=252000 #constraints=21893 741.47/741.74 c nbDecision=252500 #constraints=21895 741.47/741.76 c nbDecision=253000 #constraints=21895 742.18/742.46 c nbDecision=253500 #constraints=21897 743.97/744.21 c nbDecision=254000 #constraints=21902 743.97/744.24 c nbDecision=254500 #constraints=21902 743.97/744.25 c nbDecision=255000 #constraints=21902 744.08/744.31 c nbDecision=255500 #constraints=21903 744.08/744.34 c nbDecision=256000 #constraints=21903 744.08/744.39 c nbDecision=256500 #constraints=21904 744.18/744.41 c nbDecision=257000 #constraints=21904 744.18/744.43 c nbDecision=257500 #constraints=21904 744.18/744.49 c nbDecision=258000 #constraints=21905 744.28/744.51 c nbDecision=258500 #constraints=21905 744.28/744.56 c nbDecision=259000 #constraints=21906 744.28/744.59 c nbDecision=259500 #constraints=21906 744.38/744.61 c nbDecision=260000 #constraints=21906 744.48/744.73 c nbDecision=260500 #constraints=21908 744.48/744.76 c nbDecision=261000 #constraints=21908 744.48/744.78 c nbDecision=261500 #constraints=21908 745.78/746.06 c nbDecision=262000 #constraints=21913 750.28/750.53 c nbDecision=262500 #constraints=21928 754.68/754.91 c nbDecision=263000 #constraints=21942 758.17/758.41 c nbDecision=263500 #constraints=21954 760.98/761.27 c nbDecision=264000 #constraints=21963 762.47/762.78 c nbDecision=264500 #constraints=21969 766.27/766.55 c nbDecision=265000 #constraints=21981 769.97/770.23 c nbDecision=265500 #constraints=21992 774.27/774.57 c nbDecision=266000 #constraints=22006 777.67/777.93 c nbDecision=266500 #constraints=22017 780.67/780.94 c nbDecision=267000 #constraints=22026 784.26/784.54 c nbDecision=267500 #constraints=22036 786.17/786.49 c nbDecision=268000 #constraints=22042 787.86/788.11 c nbDecision=268500 #constraints=22048 790.36/790.62 c nbDecision=269000 #constraints=22055 792.36/792.70 c nbDecision=269500 #constraints=22061 794.86/795.14 c nbDecision=270000 #constraints=22068 798.56/798.86 c nbDecision=270500 #constraints=22080 801.46/801.73 c nbDecision=271000 #constraints=22088 803.26/803.55 c nbDecision=271500 #constraints=22093 805.05/805.34 c nbDecision=272000 #constraints=22098 805.96/806.28 c nbDecision=272500 #constraints=22106 806.15/806.41 c nbDecision=273000 #constraints=22109 807.55/807.86 c nbDecision=273500 #constraints=22114 808.95/809.29 c nbDecision=274000 #constraints=22118 812.35/812.67 c nbDecision=274500 #constraints=22129 815.46/815.72 c nbDecision=275000 #constraints=22141 817.56/817.87 c nbDecision=275500 #constraints=22147 819.06/819.31 c nbDecision=276000 #constraints=22151 820.76/821.09 c nbDecision=276500 #constraints=22156 822.26/822.57 c nbDecision=277000 #constraints=22161 822.36/822.67 c nbDecision=277500 #constraints=22164 822.46/822.77 c nbDecision=278000 #constraints=22166 822.56/822.87 c nbDecision=278500 #constraints=22168 822.66/822.95 c nbDecision=279000 #constraints=22170 822.66/822.99 c nbDecision=279500 #constraints=22171 824.16/824.41 c nbDecision=280000 #constraints=22175 825.56/825.82 c nbDecision=280500 #constraints=22179 826.96/827.23 c nbDecision=281000 #constraints=22183 828.36/828.64 c nbDecision=281500 #constraints=22187 828.75/829.04 c nbDecision=282000 #constraints=22188 830.26/830.52 c nbDecision=282500 #constraints=22192 831.05/831.35 c nbDecision=283000 #constraints=22195 833.15/833.43 c nbDecision=283500 #constraints=22201 837.55/837.85 c nbDecision=284000 #constraints=22214 840.15/840.44 c nbDecision=284500 #constraints=22222 842.55/842.87 c nbDecision=285000 #constraints=22229 844.15/844.43 c nbDecision=285500 #constraints=22233 846.85/847.16 c nbDecision=286000 #constraints=22240 848.85/849.11 c nbDecision=286500 #constraints=22245 850.74/851.08 c nbDecision=287000 #constraints=22250 851.94/852.24 c nbDecision=287500 #constraints=22253 853.54/853.80 c nbDecision=288000 #constraints=22257 856.55/856.85 c nbDecision=288500 #constraints=22267 859.34/859.62 c nbDecision=289000 #constraints=22277 861.14/861.43 c nbDecision=289500 #constraints=22282 862.94/863.22 c nbDecision=290000 #constraints=22287 864.74/865.01 c nbDecision=290500 #constraints=22292 865.54/865.81 c nbDecision=291000 #constraints=22296 865.54/865.89 c nbDecision=291500 #constraints=22298 865.64/865.99 c nbDecision=292000 #constraints=22300 865.74/866.03 c nbDecision=292500 #constraints=22301 865.84/866.14 c nbDecision=293000 #constraints=22303 865.94/866.21 c nbDecision=293500 #constraints=22305 867.04/867.35 c nbDecision=294000 #constraints=22308 867.44/867.76 c nbDecision=294500 #constraints=22309 868.54/868.89 c nbDecision=295000 #constraints=22312 869.74/870.02 c nbDecision=295500 #constraints=22315 870.43/870.75 c nbDecision=296000 #constraints=22317 874.43/874.73 c nbDecision=296500 #constraints=22328 875.13/875.46 c nbDecision=297000 #constraints=22330 876.23/876.55 c nbDecision=297500 #constraints=22333 876.93/877.28 c nbDecision=298000 #constraints=22335 877.73/878.01 c nbDecision=298500 #constraints=22337 878.43/878.77 c nbDecision=299000 #constraints=22339 878.83/879.14 c nbDecision=299500 #constraints=22340 879.53/879.90 c nbDecision=300000 #constraints=22342 879.64/879.92 c nbDecision=300500 #constraints=22342 880.03/880.32 c nbDecision=301000 #constraints=22343 885.23/885.54 c nbDecision=301500 #constraints=22360 890.23/890.55 c nbDecision=302000 #constraints=22377 896.84/897.12 c nbDecision=302500 #constraints=22401 901.64/901.99 c nbDecision=303000 #constraints=22416 904.83/905.11 c nbDecision=303500 #constraints=22424 909.44/909.78 c nbDecision=304000 #constraints=22437 914.13/914.41 c nbDecision=304500 #constraints=22451 919.33/919.66 c nbDecision=305000 #constraints=22465 922.42/922.78 c nbDecision=305500 #constraints=22473 927.42/927.78 c nbDecision=306000 #constraints=22488 932.82/933.13 c nbDecision=306500 #constraints=22504 936.92/937.29 c nbDecision=307000 #constraints=22515 940.42/940.78 c nbDecision=307500 #constraints=22524 943.92/944.23 c nbDecision=308000 #constraints=22535 948.71/949.07 c nbDecision=308500 #constraints=22552 953.61/953.91 c nbDecision=309000 #constraints=22567 962.42/962.79 c nbDecision=309500 #constraints=22601 966.92/967.27 c nbDecision=310000 #constraints=22614 970.82/971.15 c nbDecision=310500 #constraints=22625 975.01/975.31 c nbDecision=311000 #constraints=22637 978.72/979.01 c nbDecision=311500 #constraints=22650 982.31/982.63 c nbDecision=312000 #constraints=22661 985.41/985.77 c nbDecision=312500 #constraints=22670 988.91/989.26 c nbDecision=313000 #constraints=22680 992.81/993.11 c nbDecision=313500 #constraints=22691 996.21/996.57 c nbDecision=314000 #constraints=22701 998.60/998.99 c nbDecision=314500 #constraints=22708 1001.50/1001.89 c nbDecision=315000 #constraints=22716 1006.90/1007.26 c nbDecision=315500 #constraints=22731 1011.80/1012.13 c nbDecision=316000 #constraints=22746 1017.20/1017.51 c nbDecision=316500 #constraints=22761 1020.59/1020.98 c nbDecision=317000 #constraints=22770 1023.29/1023.67 c nbDecision=317500 #constraints=22777 1026.39/1026.74 c nbDecision=318000 #constraints=22785 1030.69/1031.00 c nbDecision=318500 #constraints=22796 1033.79/1034.13 c nbDecision=319000 #constraints=22804 1036.49/1036.84 c nbDecision=319500 #constraints=22811 1038.79/1039.19 c nbDecision=320000 #constraints=22817 1041.09/1041.43 c nbDecision=320500 #constraints=22823 1043.39/1043.79 c nbDecision=321000 #constraints=22829 1046.09/1046.44 c nbDecision=321500 #constraints=22836 1048.49/1048.80 c nbDecision=322000 #constraints=22842 1050.69/1051.05 c nbDecision=322500 #constraints=22848 1053.88/1054.20 c nbDecision=323000 #constraints=22857 1056.58/1056.97 c nbDecision=323500 #constraints=22865 1058.78/1059.10 c nbDecision=324000 #constraints=22871 1063.88/1064.23 c nbDecision=324500 #constraints=22887 1067.98/1068.37 c nbDecision=325000 #constraints=22899 1073.88/1074.20 c nbDecision=325500 #constraints=22916 1078.48/1078.80 c nbDecision=326000 #constraints=22928 1082.29/1082.64 c nbDecision=326500 #constraints=22938 1083.88/1084.20 c nbDecision=327000 #constraints=22942 1087.68/1088.02 c nbDecision=327500 #constraints=22952 1091.99/1092.32 c nbDecision=328000 #constraints=22963 1095.08/1095.43 c nbDecision=328500 #constraints=22971 1098.08/1098.45 c nbDecision=329000 #constraints=22979 1099.28/1099.62 c nbDecision=329500 #constraints=22982 1102.38/1102.71 c nbDecision=330000 #constraints=22990 1104.28/1104.67 c nbDecision=330500 #constraints=22995 1106.18/1106.57 c nbDecision=331000 #constraints=23000 1108.58/1108.93 c nbDecision=331500 #constraints=23006 1109.68/1110.10 c nbDecision=332000 #constraints=23009 1112.37/1112.73 c nbDecision=332500 #constraints=23016 1114.27/1114.68 c nbDecision=333000 #constraints=23021 1115.77/1116.18 c nbDecision=333500 #constraints=23025 1118.28/1118.64 c nbDecision=334000 #constraints=23032 1118.97/1119.35 c nbDecision=334500 #constraints=23034 1121.77/1122.13 c nbDecision=335000 #constraints=23042 1123.47/1123.89 c nbDecision=335500 #constraints=23047 1125.97/1126.34 c nbDecision=336000 #constraints=23054 1127.97/1128.39 c nbDecision=336500 #constraints=23060 1132.67/1133.09 c nbDecision=337000 #constraints=23073 1133.57/1133.92 c nbDecision=337500 #constraints=23076 1136.76/1137.14 c nbDecision=338000 #constraints=23085 1142.86/1143.21 c nbDecision=338500 #constraints=23104 1148.46/1148.87 c nbDecision=339000 #constraints=23120 1152.16/1152.51 c nbDecision=339500 #constraints=23130 1155.06/1155.41 c nbDecision=340000 #constraints=23138 1158.26/1158.61 c nbDecision=340500 #constraints=23147 1163.46/1163.88 c nbDecision=341000 #constraints=23165 1166.66/1167.04 c nbDecision=341500 #constraints=23174 1169.76/1170.20 c nbDecision=342000 #constraints=23183 1172.66/1173.02 c nbDecision=342500 #constraints=23191 1175.46/1175.84 c nbDecision=343000 #constraints=23199 1178.25/1178.66 c nbDecision=343500 #constraints=23207 1180.05/1180.49 c nbDecision=344000 #constraints=23212 1184.15/1184.54 c nbDecision=344500 #constraints=23223 1188.66/1189.04 c nbDecision=345000 #constraints=23235 1193.35/1193.70 c nbDecision=345500 #constraints=23247 1196.45/1196.82 c nbDecision=346000 #constraints=23255 1199.15/1199.50 c nbDecision=346500 #constraints=23262 1202.55/1202.96 c nbDecision=347000 #constraints=23271 1205.25/1205.68 c nbDecision=347500 #constraints=23278 1208.04/1208.40 c nbDecision=348000 #constraints=23285 1210.35/1210.74 c nbDecision=348500 #constraints=23291 1212.64/1213.04 c nbDecision=349000 #constraints=23297 1214.94/1215.35 c nbDecision=349500 #constraints=23303 1216.84/1217.26 c nbDecision=350000 #constraints=23308 1219.44/1219.84 c nbDecision=350500 #constraints=23315 1221.84/1222.29 c nbDecision=351000 #constraints=23322 1223.74/1224.13 c nbDecision=351500 #constraints=23327 1224.83/1225.25 c nbDecision=352000 #constraints=23330 1229.83/1230.29 c nbDecision=352500 #constraints=23344 1234.53/1234.94 c nbDecision=353000 #constraints=23358 1239.63/1240.02 c nbDecision=353500 #constraints=23372 1243.13/1243.52 c nbDecision=354000 #constraints=23381 1245.83/1246.23 c nbDecision=354500 #constraints=23388 1248.93/1249.31 c nbDecision=355000 #constraints=23396 1253.53/1253.98 c nbDecision=355500 #constraints=23408 1257.82/1258.21 c nbDecision=356000 #constraints=23419 1260.14/1260.56 c nbDecision=356500 #constraints=23425 1263.33/1263.70 c nbDecision=357000 #constraints=23433 1265.93/1266.36 c nbDecision=357500 #constraints=23440 1267.93/1268.33 c nbDecision=358000 #constraints=23445 1269.83/1270.24 c nbDecision=358500 #constraints=23450 1272.13/1272.59 c nbDecision=359000 #constraints=23456 1273.33/1273.76 c nbDecision=359500 #constraints=23459 1275.93/1276.39 c nbDecision=360000 #constraints=23466 1277.93/1278.35 c nbDecision=360500 #constraints=23471 1279.43/1279.85 c nbDecision=361000 #constraints=23475 1280.83/1281.29 c nbDecision=361500 #constraints=23479 1282.02/1282.45 c nbDecision=362000 #constraints=23482 1284.52/1284.90 c nbDecision=362500 #constraints=23489 1285.92/1286.32 c nbDecision=363000 #constraints=23493 1290.93/1291.38 c nbDecision=363500 #constraints=23507 1293.02/1293.47 c nbDecision=364000 #constraints=23513 1296.72/1297.15 c nbDecision=364500 #constraints=23523 1298.42/1298.89 c nbDecision=365000 #constraints=23528 1301.72/1302.19 c nbDecision=365500 #constraints=23537 1304.32/1304.72 c nbDecision=366000 #constraints=23544 1306.42/1306.88 c nbDecision=366500 #constraints=23550 1308.92/1309.39 c nbDecision=367000 #constraints=23557 1311.11/1311.54 c nbDecision=367500 #constraints=23563 1314.41/1314.84 c nbDecision=368000 #constraints=23572 1318.11/1318.51 c nbDecision=368500 #constraints=23582 1320.91/1321.31 c nbDecision=369000 #constraints=23590 1324.21/1324.64 c nbDecision=369500 #constraints=23599 1326.71/1327.17 c nbDecision=370000 #constraints=23606 1328.91/1329.31 c nbDecision=370500 #constraints=23612 1330.61/1331.10 c nbDecision=371000 #constraints=23617 1332.81/1333.21 c nbDecision=371500 #constraints=23623 1334.20/1334.61 c nbDecision=372000 #constraints=23627 1335.90/1336.39 c nbDecision=372500 #constraints=23632 1338.10/1338.53 c nbDecision=373000 #constraints=23638 1340.30/1340.72 c nbDecision=373500 #constraints=23644 1344.70/1345.17 c nbDecision=374000 #constraints=23656 1347.60/1348.03 c nbDecision=374500 #constraints=23664 1350.50/1350.95 c nbDecision=375000 #constraints=23672 1353.10/1353.52 c nbDecision=375500 #constraints=23679 1354.80/1355.27 c nbDecision=376000 #constraints=23684 1356.60/1357.04 c nbDecision=376500 #constraints=23689 1358.40/1358.81 c nbDecision=377000 #constraints=23694 1359.80/1360.22 c nbDecision=377500 #constraints=23698 1361.60/1362.01 c nbDecision=378000 #constraints=23703 1362.60/1363.08 c nbDecision=378500 #constraints=23706 1364.40/1364.87 c nbDecision=379000 #constraints=23711 1365.50/1365.95 c nbDecision=379500 #constraints=23714 1366.60/1367.02 c nbDecision=380000 #constraints=23717 1368.01/1368.47 c nbDecision=380500 #constraints=23721 1369.50/1369.91 c nbDecision=381000 #constraints=23725 1371.60/1372.06 c nbDecision=381500 #constraints=23731 1373.20/1373.65 c nbDecision=382000 #constraints=23739 1373.30/1373.76 c nbDecision=382500 #constraints=23742 1373.40/1373.89 c nbDecision=383000 #constraints=23745 1374.20/1374.64 c nbDecision=383500 #constraints=23747 1374.90/1375.39 c nbDecision=384000 #constraints=23749 1375.10/1375.56 c nbDecision=384500 #constraints=23752 1376.30/1376.74 c nbDecision=385000 #constraints=23755 1380.59/1381.02 c nbDecision=385500 #constraints=23768 1384.19/1384.62 c nbDecision=386000 #constraints=23778 1386.09/1386.50 c nbDecision=386500 #constraints=23785 1388.59/1389.01 c nbDecision=387000 #constraints=23794 1391.99/1392.45 c nbDecision=387500 #constraints=23804 1394.29/1394.73 c nbDecision=388000 #constraints=23811 1396.49/1396.97 c nbDecision=388500 #constraints=23817 1399.39/1399.86 c nbDecision=389000 #constraints=23825 1402.39/1402.85 c nbDecision=389500 #constraints=23833 1404.59/1405.09 c nbDecision=390000 #constraints=23839 1407.98/1408.42 c nbDecision=390500 #constraints=23848 1410.89/1411.36 c nbDecision=391000 #constraints=23856 1413.18/1413.61 c nbDecision=391500 #constraints=23862 1414.98/1415.46 c nbDecision=392000 #constraints=23867 1418.58/1419.08 c nbDecision=392500 #constraints=23877 1421.28/1421.70 c nbDecision=393000 #constraints=23884 1423.08/1423.58 c nbDecision=393500 #constraints=23889 1424.28/1424.71 c nbDecision=394000 #constraints=23892 1428.38/1428.80 c nbDecision=394500 #constraints=23904 1431.98/1432.40 c nbDecision=395000 #constraints=23914 1433.78/1434.26 c nbDecision=395500 #constraints=23921 1436.87/1437.34 c nbDecision=396000 #constraints=23931 1439.57/1440.02 c nbDecision=396500 #constraints=23939 1442.58/1443.01 c nbDecision=397000 #constraints=23947 1444.38/1444.89 c nbDecision=397500 #constraints=23952 1447.38/1447.82 c nbDecision=398000 #constraints=23960 1450.38/1450.81 c nbDecision=398500 #constraints=23968 1452.58/1453.05 c nbDecision=399000 #constraints=23974 1455.47/1455.94 c nbDecision=399500 #constraints=23982 1459.18/1459.64 c nbDecision=400000 #constraints=23992 1461.07/1461.50 c nbDecision=400500 #constraints=23997 1463.68/1464.13 c nbDecision=401000 #constraints=24004 1465.87/1466.32 c nbDecision=401500 #constraints=24010 1468.87/1469.30 c nbDecision=402000 #constraints=24018 1471.07/1471.53 c nbDecision=402500 #constraints=24024 1473.67/1474.11 c nbDecision=403000 #constraints=24031 1476.17/1476.67 c nbDecision=403500 #constraints=24038 1478.07/1478.55 c nbDecision=404000 #constraints=24043 1479.87/1480.39 c nbDecision=404500 #constraints=24048 1482.87/1483.37 c nbDecision=405000 #constraints=24056 1486.96/1487.43 c nbDecision=405500 #constraints=24067 1489.36/1489.88 c nbDecision=406000 #constraints=24074 1493.66/1494.10 c nbDecision=406500 #constraints=24087 1497.06/1497.54 c nbDecision=407000 #constraints=24097 1500.06/1500.54 c nbDecision=407500 #constraints=24105 1502.26/1502.78 c nbDecision=408000 #constraints=24111 1505.96/1506.44 c nbDecision=408500 #constraints=24121 1508.55/1509.03 c nbDecision=409000 #constraints=24128 1511.15/1511.66 c nbDecision=409500 #constraints=24135 1511.85/1512.38 c restart after 409601 decisions 1513.85/1514.36 c nbDecision=410000 #constraints=24137 1513.85/1514.38 c nbDecision=410500 #constraints=24137 1513.95/1514.40 c nbDecision=411000 #constraints=24137 1514.65/1515.17 c nbDecision=411500 #constraints=24139 1516.55/1517.03 c nbDecision=412000 #constraints=24144 1519.16/1519.69 c nbDecision=412500 #constraints=24152 1521.46/1521.93 c nbDecision=413000 #constraints=24158 1524.76/1525.29 c nbDecision=413500 #constraints=24167 1526.66/1527.17 c nbDecision=414000 #constraints=24172 1528.16/1528.67 c nbDecision=414500 #constraints=24176 1529.66/1530.18 c nbDecision=415000 #constraints=24180 1532.16/1532.69 c nbDecision=415500 #constraints=24187 1535.85/1536.39 c nbDecision=416000 #constraints=24197 1537.75/1538.24 c nbDecision=416500 #constraints=24202 1539.25/1539.73 c nbDecision=417000 #constraints=24206 1540.75/1541.23 c nbDecision=417500 #constraints=24210 1543.96/1544.50 c nbDecision=418000 #constraints=24219 1546.25/1546.76 c nbDecision=418500 #constraints=24225 1548.15/1548.63 c nbDecision=419000 #constraints=24230 1548.55/1549.07 c nbDecision=419500 #constraints=24232 1549.36/1549.84 c nbDecision=420000 #constraints=24234 1552.25/1552.74 c nbDecision=420500 #constraints=24242 1555.25/1555.72 c nbDecision=421000 #constraints=24250 1558.15/1558.68 c nbDecision=421500 #constraints=24258 1558.95/1559.45 c nbDecision=422000 #constraints=24260 1562.65/1563.11 c nbDecision=422500 #constraints=24270 1565.95/1566.49 c nbDecision=423000 #constraints=24279 1569.65/1570.15 c nbDecision=423500 #constraints=24290 1571.84/1572.36 c nbDecision=424000 #constraints=24297 1572.34/1572.80 c nbDecision=424500 #constraints=24300 1573.14/1573.67 c nbDecision=425000 #constraints=24306 1574.64/1575.13 c nbDecision=425500 #constraints=24310 1575.74/1576.23 c nbDecision=426000 #constraints=24313 1576.84/1577.33 c nbDecision=426500 #constraints=24316 1577.54/1578.07 c nbDecision=427000 #constraints=24318 1578.74/1579.23 c nbDecision=427500 #constraints=24322 1579.94/1580.41 c nbDecision=428000 #constraints=24325 1581.04/1581.60 c nbDecision=428500 #constraints=24328 1581.84/1582.39 c nbDecision=429000 #constraints=24330 1583.04/1583.59 c nbDecision=429500 #constraints=24333 1583.44/1583.99 c nbDecision=430000 #constraints=24334 1585.14/1585.61 c nbDecision=430500 #constraints=24338 1586.84/1587.34 c nbDecision=431000 #constraints=24343 1587.84/1588.38 c nbDecision=431500 #constraints=24346 1588.94/1589.42 c nbDecision=432000 #constraints=24349 1589.64/1590.14 c nbDecision=432500 #constraints=24351 1590.73/1591.23 c nbDecision=433000 #constraints=24355 1590.83/1591.35 c nbDecision=433500 #constraints=24358 1590.93/1591.49 c nbDecision=434000 #constraints=24362 1591.03/1591.57 c nbDecision=434500 #constraints=24364 1591.43/1591.99 c nbDecision=435000 #constraints=24366 1591.63/1592.12 c nbDecision=435500 #constraints=24369 1592.73/1593.23 c nbDecision=436000 #constraints=24372 1593.13/1593.61 c nbDecision=436500 #constraints=24373 1593.83/1594.36 c nbDecision=437000 #constraints=24375 1594.63/1595.10 c nbDecision=437500 #constraints=24377 1595.33/1595.87 c nbDecision=438000 #constraints=24379 1596.43/1596.98 c nbDecision=438500 #constraints=24382 1598.23/1598.79 c nbDecision=439000 #constraints=24387 1599.73/1600.30 c nbDecision=439500 #constraints=24391 1600.53/1601.07 c nbDecision=440000 #constraints=24394 1601.43/1601.95 c nbDecision=440500 #constraints=24398 1601.43/1601.98 c nbDecision=441000 #constraints=24398 1601.53/1602.00 c nbDecision=441500 #constraints=24398 1602.13/1602.65 c nbDecision=442000 #constraints=24400 1606.53/1607.02 c nbDecision=442500 #constraints=24413 1612.32/1612.86 c nbDecision=443000 #constraints=24428 1616.62/1617.20 c nbDecision=443500 #constraints=24439 1618.73/1619.22 c nbDecision=444000 #constraints=24444 1624.22/1624.78 c nbDecision=444500 #constraints=24459 1630.62/1631.12 c nbDecision=445000 #constraints=24475 1633.32/1633.89 c nbDecision=445500 #constraints=24482 1635.02/1635.52 c nbDecision=446000 #constraints=24486 1640.52/1641.04 c nbDecision=446500 #constraints=24501 1646.82/1647.39 c nbDecision=447000 #constraints=24517 1649.62/1650.18 c nbDecision=447500 #constraints=24524 1651.32/1651.80 c nbDecision=448000 #constraints=24528 1657.02/1657.60 c nbDecision=448500 #constraints=24545 1662.22/1662.75 c nbDecision=449000 #constraints=24558 1666.62/1667.16 c nbDecision=449500 #constraints=24569 1669.81/1670.35 c nbDecision=450000 #constraints=24577 1672.21/1672.73 c nbDecision=450500 #constraints=24583 1674.91/1675.49 c nbDecision=451000 #constraints=24590 1677.31/1677.86 c nbDecision=451500 #constraints=24596 1679.31/1679.83 c nbDecision=452000 #constraints=24601 1681.31/1681.85 c nbDecision=452500 #constraints=24606 1686.11/1686.69 c nbDecision=453000 #constraints=24619 1691.31/1691.82 c nbDecision=453500 #constraints=24632 1696.00/1696.55 c nbDecision=454000 #constraints=24644 1699.20/1699.72 c nbDecision=454500 #constraints=24652 1703.20/1703.71 c nbDecision=455000 #constraints=24662 1705.60/1706.11 c nbDecision=455500 #constraints=24668 1707.60/1708.11 c nbDecision=456000 #constraints=24673 1710.00/1710.51 c nbDecision=456500 #constraints=24679 1712.30/1712.89 c nbDecision=457000 #constraints=24685 1714.70/1715.26 c nbDecision=457500 #constraints=24691 1715.90/1716.45 c nbDecision=458000 #constraints=24694 1717.89/1718.45 c nbDecision=458500 #constraints=24699 1721.49/1722.06 c nbDecision=459000 #constraints=24710 1726.09/1726.65 c nbDecision=459500 #constraints=24723 1732.89/1733.42 c nbDecision=460000 #constraints=24742 1737.30/1737.80 c nbDecision=460500 #constraints=24754 1741.10/1741.69 c nbDecision=461000 #constraints=24764 1744.59/1745.20 c nbDecision=461500 #constraints=24773 1748.50/1749.08 c nbDecision=462000 #constraints=24783 1752.49/1753.05 c nbDecision=462500 #constraints=24793 1755.99/1756.59 c nbDecision=463000 #constraints=24802 1757.99/1758.55 c nbDecision=463500 #constraints=24807 1760.39/1760.93 c nbDecision=464000 #constraints=24813 1763.09/1763.63 c nbDecision=464500 #constraints=24820 1765.79/1766.37 c nbDecision=465000 #constraints=24827 1767.29/1767.89 c nbDecision=465500 #constraints=24831 1769.29/1769.87 c nbDecision=466000 #constraints=24836 1771.29/1771.85 c nbDecision=466500 #constraints=24841 1773.99/1774.52 c nbDecision=467000 #constraints=24848 1775.18/1775.74 c nbDecision=467500 #constraints=24851 1777.48/1778.00 c nbDecision=468000 #constraints=24857 1779.38/1779.97 c nbDecision=468500 #constraints=24862 1780.58/1781.16 c nbDecision=469000 #constraints=24865 1782.49/1783.07 c nbDecision=469500 #constraints=24870 1784.48/1785.06 c nbDecision=470000 #constraints=24875 1785.98/1786.58 c nbDecision=470500 #constraints=24879 1787.98/1788.52 c nbDecision=471000 #constraints=24884 1791.48/1792.01 c nbDecision=471500 #constraints=24893 1793.48/1794.02 c nbDecision=472000 #constraints=24898 1798.98/1799.59 c nbDecision=472500 #constraints=24915 1800.08/1800.61 Received signal 15 1800.08/1800.71 1800.08/1800.71 s UNKNOWN 1800.08/1800.71 1800.08/1800.71 c user time= 1799.82 s 1800.08/1800.71 c system time= 0.377942 s 1800.08/1800.71 c wall clock time=1800.71
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node2/watcher-357256-1176992528 -o ROOT/results/node2/solver-357256-1176992528 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357256-1176992528/instance-357256-1176992528.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: 1.00 0.99 0.96 3/77 29508 /proc/meminfo: memFree=1491132/2055920 swapFree=4149056/4192956 [pid=29508] ppid=29506 vsize=1468 CPUtime=0 /proc/29508/stat : 29508 (oree) R 29506 29508 29165 0 -1 4194304 175 0 0 0 0 0 0 0 18 0 1 0 175290853 1503232 157 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29508/statm: 367 157 131 317 0 46 0 [startup+0.043111 s] /proc/loadavg: 1.00 0.99 0.96 3/77 29508 /proc/meminfo: memFree=1491132/2055920 swapFree=4149056/4192956 [pid=29508] ppid=29506 vsize=1864 CPUtime=0.04 /proc/29508/stat : 29508 (oree) R 29506 29508 29165 0 -1 4194304 278 0 0 0 4 0 0 0 18 0 1 0 175290853 1908736 260 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29508/statm: 466 260 131 317 0 145 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 1864 [startup+0.101117 s] /proc/loadavg: 1.00 0.99 0.96 3/77 29508 /proc/meminfo: memFree=1491132/2055920 swapFree=4149056/4192956 [pid=29508] ppid=29506 vsize=2524 CPUtime=0.09 /proc/29508/stat : 29508 (oree) R 29506 29508 29165 0 -1 4194304 435 0 0 0 9 0 0 0 18 0 1 0 175290853 2584576 417 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29508/statm: 631 417 131 317 0 310 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2524 [startup+0.301138 s] /proc/loadavg: 1.00 0.99 0.96 3/77 29508 /proc/meminfo: memFree=1491132/2055920 swapFree=4149056/4192956 [pid=29508] ppid=29506 vsize=4636 CPUtime=0.29 /proc/29508/stat : 29508 (oree) R 29506 29508 29165 0 -1 4194304 975 0 0 0 29 0 0 0 19 0 1 0 175290853 4747264 957 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29508/statm: 1159 957 131 317 0 838 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4636 [startup+0.701181 s] /proc/loadavg: 1.00 0.99 0.96 3/77 29508 /proc/meminfo: memFree=1491132/2055920 swapFree=4149056/4192956 [pid=29508] ppid=29506 vsize=8992 CPUtime=0.68 /proc/29508/stat : 29508 (oree) R 29506 29508 29165 0 -1 4194304 2057 0 0 0 68 0 0 0 22 0 1 0 175290853 9207808 2039 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29508/statm: 2248 2039 131 317 0 1927 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 8992 [startup+1.50126 s] /proc/loadavg: 1.00 0.99 0.96 2/78 29509 /proc/meminfo: memFree=1480304/2055920 swapFree=4149056/4192956 [pid=29508] ppid=29506 vsize=17572 CPUtime=1.49 /proc/29508/stat : 29508 (oree) R 29506 29508 29165 0 -1 4194304 4218 0 0 0 147 2 0 0 25 0 1 0 175290853 17993728 4200 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29508/statm: 4393 4200 131 317 0 4072 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17572 [startup+3.10143 s] /proc/loadavg: 1.00 0.99 0.96 2/78 29509 /proc/meminfo: memFree=1468208/2055920 swapFree=4149056/4192956 [pid=29508] ppid=29506 vsize=35012 CPUtime=3.09 /proc/29508/stat : 29508 (oree) R 29506 29508 29165 0 -1 4194304 8563 0 0 0 305 4 0 0 25 0 1 0 175290853 35852288 8545 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29508/statm: 8753 8546 131 317 0 8432 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 35012 [startup+6.30176 s] /proc/loadavg: 1.00 0.99 0.96 2/78 29509 /proc/meminfo: memFree=1433264/2055920 swapFree=4149056/4192956 [pid=29508] ppid=29506 vsize=69068 CPUtime=6.29 /proc/29508/stat : 29508 (oree) R 29506 29508 29165 0 -1 4194304 17079 0 0 0 619 10 0 0 25 0 1 0 175290853 70725632 17061 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134598995 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29508/statm: 17267 17061 131 317 0 16946 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 69068 [startup+12.7024 s] /proc/loadavg: 1.00 0.99 0.96 2/78 29509 /proc/meminfo: memFree=1386864/2055920 swapFree=4149056/4192956 [pid=29508] ppid=29506 vsize=115580 CPUtime=12.69 /proc/29508/stat : 29508 (oree) R 29506 29508 29165 0 -1 4194304 27547 0 0 0 1254 15 0 0 25 0 1 0 175290853 118353920 27529 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29508/statm: 28895 27529 137 317 0 28574 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 115580 [startup+25.5018 s] /proc/loadavg: 1.00 0.99 0.96 2/78 29509 /proc/meminfo: memFree=1380592/2055920 swapFree=4149056/4192956 [pid=29508] ppid=29506 vsize=116816 CPUtime=25.48 /proc/29508/stat : 29508 (oree) R 29506 29508 29165 0 -1 4194304 27937 0 0 0 2533 15 0 0 25 0 1 0 175290853 119619584 27787 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718650 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29508/statm: 29204 27787 139 317 0 28883 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 116816 [startup+51.1014 s] /proc/loadavg: 1.00 0.99 0.96 2/78 29509 /proc/meminfo: memFree=1380720/2055920 swapFree=4149056/4192956 [pid=29508] ppid=29506 vsize=116816 CPUtime=51.08 /proc/29508/stat : 29508 (oree) R 29506 29508 29165 0 -1 4194304 27970 0 0 0 5092 16 0 0 25 0 1 0 175290853 119619584 27820 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29508/statm: 29204 27820 170 317 0 28883 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 116816 [startup+102.306 s] /proc/loadavg: 1.00 0.99 0.96 2/78 29509 /proc/meminfo: memFree=1380528/2055920 swapFree=4149056/4192956 [pid=29508] ppid=29506 vsize=117208 CPUtime=102.26 /proc/29508/stat : 29508 (oree) R 29506 29508 29165 0 -1 4194304 28084 0 0 0 10210 16 0 0 25 0 1 0 175290853 120020992 27934 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29508/statm: 29302 27934 170 317 0 28981 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 117208 [startup+162.302 s] /proc/loadavg: 1.00 0.99 0.96 2/78 29509 /proc/meminfo: memFree=1379504/2055920 swapFree=4149056/4192956 [pid=29508] ppid=29506 vsize=117996 CPUtime=162.24 /proc/29508/stat : 29508 (oree) R 29506 29508 29165 0 -1 4194304 28320 0 0 0 16207 17 0 0 25 0 1 0 175290853 120827904 28170 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272948 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29508/statm: 29499 28170 170 317 0 29178 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 117996 [startup+222.301 s] /proc/loadavg: 1.00 0.99 0.96 2/78 29509 /proc/meminfo: memFree=1378608/2055920 swapFree=4149056/4192956 [pid=29508] ppid=29506 vsize=118912 CPUtime=222.23 /proc/29508/stat : 29508 (oree) R 29506 29508 29165 0 -1 4194304 28542 0 0 0 22205 18 0 0 25 0 1 0 175290853 121765888 28392 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29508/statm: 29728 28392 170 317 0 29407 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 118912 [startup+282.301 s] /proc/loadavg: 1.00 0.99 0.96 2/78 29509 /proc/meminfo: memFree=1377648/2055920 swapFree=4149056/4192956 [pid=29508] ppid=29506 vsize=119896 CPUtime=282.21 /proc/29508/stat : 29508 (oree) R 29506 29508 29165 0 -1 4194304 28776 0 0 0 28202 19 0 0 25 0 1 0 175290853 122773504 28626 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29508/statm: 29974 28626 170 317 0 29653 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 119896 [startup+342.302 s] /proc/loadavg: 1.00 0.99 0.96 2/78 29509 /proc/meminfo: memFree=1376816/2055920 swapFree=4149056/4192956 [pid=29508] ppid=29506 vsize=120672 CPUtime=342.19 /proc/29508/stat : 29508 (oree) R 29506 29508 29165 0 -1 4194304 28970 0 0 0 34199 20 0 0 25 0 1 0 175290853 123568128 28820 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29508/statm: 30168 28820 170 317 0 29847 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 120672 [startup+402.302 s] /proc/loadavg: 1.00 0.99 0.96 2/78 29509 /proc/meminfo: memFree=1376048/2055920 swapFree=4149056/4192956 [pid=29508] ppid=29506 vsize=121452 CPUtime=402.18 /proc/29508/stat : 29508 (oree) R 29506 29508 29165 0 -1 4194304 29170 0 0 0 40197 21 0 0 25 0 1 0 175290853 124366848 29020 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29508/statm: 30363 29020 170 317 0 30042 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 121452 [startup+462.301 s] /proc/loadavg: 1.12 1.02 0.97 2/78 29509 /proc/meminfo: memFree=1375152/2055920 swapFree=4149056/4192956 [pid=29508] ppid=29506 vsize=123780 CPUtime=462.16 /proc/29508/stat : 29508 (oree) R 29506 29508 29165 0 -1 4194304 29663 0 0 0 46194 22 0 0 25 0 1 0 175290853 126750720 29249 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29508/statm: 30945 29249 170 317 0 30624 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 123780 [startup+522.301 s] /proc/loadavg: 1.04 1.01 0.97 2/78 29509 /proc/meminfo: memFree=1374192/2055920 swapFree=4149056/4192956 [pid=29508] ppid=29506 vsize=124700 CPUtime=522.14 /proc/29508/stat : 29508 (oree) R 29506 29508 29165 0 -1 4194304 29917 0 0 0 52192 22 0 0 25 0 1 0 175290853 127692800 29503 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712504 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29508/statm: 31175 29503 170 317 0 30854 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 124700 [startup+582.302 s] /proc/loadavg: 1.01 1.01 0.97 2/78 29509 /proc/meminfo: memFree=1373232/2055920 swapFree=4149056/4192956 [pid=29508] ppid=29506 vsize=126512 CPUtime=582.12 /proc/29508/stat : 29508 (oree) R 29506 29508 29165 0 -1 4194304 30285 0 0 0 58189 23 0 0 25 0 1 0 175290853 129548288 29739 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29508/statm: 31628 29739 170 317 0 31307 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 126512 [startup+642.302 s] /proc/loadavg: 1.00 1.00 0.97 2/78 29511 /proc/meminfo: memFree=1372272/2055920 swapFree=4149056/4192956 [pid=29508] ppid=29506 vsize=127936 CPUtime=642.11 /proc/29508/stat : 29508 (oree) R 29506 29508 29165 0 -1 4194304 30587 0 0 0 64187 24 0 0 25 0 1 0 175290853 131006464 29975 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712571 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29508/statm: 31984 29975 170 317 0 31663 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 127936 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 0.97 2/78 29511 /proc/meminfo: memFree=1368624/2055920 swapFree=4149056/4192956 [pid=29508] ppid=29506 vsize=131828 CPUtime=882.03 /proc/29508/stat : 29508 (oree) R 29506 29508 29165 0 -1 4194304 31560 0 0 0 88176 27 0 0 25 0 1 0 175290853 134991872 30882 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29508/statm: 32957 30882 170 317 0 32636 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 131828 [startup+942.302 s] /proc/loadavg: 1.00 1.00 0.97 2/78 29511 /proc/meminfo: memFree=1368112/2055920 swapFree=4149056/4192956 [pid=29508] ppid=29506 vsize=132224 CPUtime=942.02 /proc/29508/stat : 29508 (oree) R 29506 29508 29165 0 -1 4194304 31682 0 0 0 94174 28 0 0 25 0 1 0 175290853 135397376 31004 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29508/statm: 33056 31004 170 317 0 32735 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 132224 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 29511 /proc/meminfo: memFree=1367344/2055920 swapFree=4149056/4192956 [pid=29508] ppid=29506 vsize=132876 CPUtime=1002 /proc/29508/stat : 29508 (oree) R 29506 29508 29165 0 -1 4194304 31882 0 0 0 100171 29 0 0 25 0 1 0 175290853 136065024 31204 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29508/statm: 33219 31204 170 317 0 32898 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 132876 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 29511 /proc/meminfo: memFree=1366576/2055920 swapFree=4149056/4192956 [pid=29508] ppid=29506 vsize=133660 CPUtime=1061.98 /proc/29508/stat : 29508 (oree) R 29506 29508 29165 0 -1 4194304 32061 0 0 0 106169 29 0 0 25 0 1 0 175290853 136867840 31383 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29508/statm: 33415 31383 170 317 0 33094 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 133660 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 29511 /proc/meminfo: memFree=1365936/2055920 swapFree=4149056/4192956 [pid=29508] ppid=29506 vsize=134320 CPUtime=1121.97 /proc/29508/stat : 29508 (oree) R 29506 29508 29165 0 -1 4194304 32224 0 0 0 112167 30 0 0 25 0 1 0 175290853 137543680 31546 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29508/statm: 33580 31546 170 317 0 33259 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 134320 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 29511 /proc/meminfo: memFree=1365232/2055920 swapFree=4149056/4192956 [pid=29508] ppid=29506 vsize=134968 CPUtime=1181.95 /proc/29508/stat : 29508 (oree) R 29506 29508 29165 0 -1 4194304 32403 0 0 0 118164 31 0 0 25 0 1 0 175290853 138207232 31725 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29508/statm: 33742 31725 170 317 0 33421 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 134968 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 29511 /proc/meminfo: memFree=1364464/2055920 swapFree=4149056/4192956 [pid=29508] ppid=29506 vsize=135496 CPUtime=1241.93 /proc/29508/stat : 29508 (oree) R 29506 29508 29165 0 -1 4194304 32582 0 0 0 124162 31 0 0 25 0 1 0 175290853 138747904 31904 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604483 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29508/statm: 33874 31904 170 317 0 33553 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 135496 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 29511 /proc/meminfo: memFree=1363760/2055920 swapFree=4149056/4192956 [pid=29508] ppid=29506 vsize=136152 CPUtime=1301.92 /proc/29508/stat : 29508 (oree) R 29506 29508 29165 0 -1 4194304 32750 0 0 0 130160 32 0 0 25 0 1 0 175290853 139419648 32072 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29508/statm: 34038 32072 170 317 0 33717 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 136152 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.97 3/78 29511 /proc/meminfo: memFree=1362992/2055920 swapFree=4149056/4192956 [pid=29508] ppid=29506 vsize=136804 CPUtime=1361.9 /proc/29508/stat : 29508 (oree) R 29506 29508 29165 0 -1 4194304 32923 0 0 0 136157 33 0 0 25 0 1 0 175290853 140087296 32245 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29508/statm: 34201 32245 170 317 0 33880 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 136804 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.97 2/78 29511 /proc/meminfo: memFree=1362096/2055920 swapFree=4149056/4192956 [pid=29508] ppid=29506 vsize=137580 CPUtime=1421.88 /proc/29508/stat : 29508 (oree) R 29506 29508 29165 0 -1 4194304 33142 0 0 0 142155 33 0 0 25 0 1 0 175290853 140881920 32464 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718354 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29508/statm: 34395 32464 170 317 0 34074 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 137580 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 29511 /proc/meminfo: memFree=1361456/2055920 swapFree=4149056/4192956 [pid=29508] ppid=29506 vsize=138228 CPUtime=1481.87 /proc/29508/stat : 29508 (oree) R 29506 29508 29165 0 -1 4194304 33314 0 0 0 148153 34 0 0 25 0 1 0 175290853 141545472 32636 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29508/statm: 34557 32636 170 317 0 34236 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 138228 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 29511 /proc/meminfo: memFree=1360944/2055920 swapFree=4149056/4192956 [pid=29508] ppid=29506 vsize=138744 CPUtime=1541.85 /proc/29508/stat : 29508 (oree) R 29506 29508 29165 0 -1 4194304 33469 0 0 0 154150 35 0 0 25 0 1 0 175290853 142073856 32791 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29508/statm: 34686 32791 170 317 0 34365 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 138744 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 29511 /proc/meminfo: memFree=1359728/2055920 swapFree=4149056/4192956 [pid=29508] ppid=29506 vsize=140304 CPUtime=1601.83 /proc/29508/stat : 29508 (oree) R 29506 29508 29165 0 -1 4194304 33785 0 0 0 160148 35 0 0 25 0 1 0 175290853 143671296 33107 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29508/statm: 35076 33107 170 317 0 34755 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 140304 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 29511 /proc/meminfo: memFree=1359088/2055920 swapFree=4149056/4192956 [pid=29508] ppid=29506 vsize=140828 CPUtime=1661.82 /proc/29508/stat : 29508 (oree) R 29506 29508 29165 0 -1 4194304 33942 0 0 0 166146 36 0 0 25 0 1 0 175290853 144207872 33264 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29508/statm: 35207 33264 170 317 0 34886 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 140828 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 29511 /proc/meminfo: memFree=1358448/2055920 swapFree=4149056/4192956 [pid=29508] ppid=29506 vsize=141476 CPUtime=1721.79 /proc/29508/stat : 29508 (oree) R 29506 29508 29165 0 -1 4194304 34094 0 0 0 172143 36 0 0 25 0 1 0 175290853 144871424 33416 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29508/statm: 35369 33416 170 317 0 35048 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 141476 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 29511 /proc/meminfo: memFree=1357744/2055920 swapFree=4149056/4192956 [pid=29508] ppid=29506 vsize=141992 CPUtime=1781.78 /proc/29508/stat : 29508 (oree) R 29506 29508 29165 0 -1 4194304 34263 0 0 0 178141 37 0 0 25 0 1 0 175290853 145399808 33585 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29508/statm: 35498 33585 170 317 0 35177 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 141992 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 0.97 2/78 29511 /proc/meminfo: memFree=1357424/2055920 swapFree=4149056/4192956 [pid=29508] ppid=29506 vsize=142252 CPUtime=1800.08 /proc/29508/stat : 29508 (oree) R 29506 29508 29165 0 -1 4194304 34325 0 0 0 179971 37 0 0 25 0 1 0 175290853 145666048 33647 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29508/statm: 35563 33647 170 317 0 35242 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 142252 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 0.97 2/78 29511 /proc/meminfo: memFree=1357424/2055920 swapFree=4149056/4192956 [pid=29508] ppid=29506 vsize=142252 CPUtime=1800.18 /proc/29508/stat : 29508 (oree) R 29506 29508 29165 0 -1 4194304 34341 0 0 0 179981 37 0 0 25 0 1 0 175290853 145666048 33663 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134752702 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29508/statm: 35563 33663 186 317 0 35242 0 Current children cumulated CPU time (s) 1800.18 Current children cumulated vsize (KiB) 142252 Child status: 0 Real time (s): 1800.74 CPU time (s): 1800.22 CPU user time (s): 1799.82 CPU system time (s): 0.399939 CPU usage (%): 99.9714 Max. virtual memory (cumulated for all children) (KiB): 142252 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.82 system time used= 0.399939 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 34341 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= 3499 runsolver used 2.10368 second user time and 4.48832 second system time The end
Begin job on node2 on Thu Apr 19 14:22:11 UTC 2007 IDJOB= 357256 IDBENCH= 2318 IDSOLVER= 172 FILE ID= node2/357256-1176992528 PBS_JOBID= 4630458 Free space on /tmp= 66366 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos13.opb COMMAND LINE= oree /tmp/evaluation/357256-1176992528/instance-357256-1176992528.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-357256-1176992528 -o ROOT/results/node2/solver-357256-1176992528 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357256-1176992528/instance-357256-1176992528.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 1218478b67ec647ce24db44195ab22fa RANDOM SEED= 526062576 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node2.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.234 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.234 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: 1491664 kB Buffers: 38372 kB Cached: 442172 kB SwapCached: 12252 kB Active: 350256 kB Inactive: 153468 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1491664 kB SwapTotal: 4192956 kB SwapFree: 4149056 kB Dirty: 36360 kB Writeback: 0 kB Mapped: 30228 kB Slab: 45976 kB Committed_AS: 7198728 kB PageTables: 1860 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= 66366 MiB End job on node2 on Thu Apr 19 14:52:14 UTC 2007