Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.11 | 1800.8 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-mod011.opb |
MD5SUM | 11ee19baa608345f86d8483767b8a181 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 1783.02 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -2 |
Optimality of the best value was proved | NO |
Number of variables | 309773 |
Total number of constraints | 5980 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 16 |
Number of constraints which are nor clauses,nor cardinality constraints | 5964 |
Minimum length of a constraint | 6 |
Maximum length of a constraint | 24690 |
Number of terms in the objective function | 212680 |
Biggest coefficient in the objective function | 244 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 711535 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 711535 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 2.89/2.94 c ...done 2.89/2.94 c #vars=309773 #constraints=10348 hasObjective=yes 4.78/4.80 c res. mode=mod 4.78/4.80 c VSIDS like heuristics 4.78/4.80 c complete search running 11.68/11.78 c restart after 401 decisions 16.38/16.50 c nbDecision=500 #constraints=10348 17.78/17.84 c restart after 801 decisions 23.08/23.18 c nbDecision=1000 #constraints=10348 25.38/25.42 c nbDecision=1500 #constraints=10348 25.78/25.88 c restart after 1601 decisions 31.88/31.93 c nbDecision=2000 #constraints=10348 34.07/34.15 c nbDecision=2500 #constraints=10348 36.27/36.37 c nbDecision=3000 #constraints=10348 37.17/37.26 c restart after 3201 decisions 42.87/42.91 c nbDecision=3500 #constraints=10348 45.07/45.15 c nbDecision=4000 #constraints=10348 47.26/47.39 c nbDecision=4500 #constraints=10348 49.56/49.60 c nbDecision=5000 #constraints=10348 51.76/51.82 c nbDecision=5500 #constraints=10348 53.96/54.04 c nbDecision=6000 #constraints=10348 55.76/55.81 c restart after 6401 decisions 60.46/60.54 c nbDecision=6500 #constraints=10348 62.66/62.78 c nbDecision=7000 #constraints=10348 64.95/65.02 c nbDecision=7500 #constraints=10348 67.15/67.26 c nbDecision=8000 #constraints=10348 69.35/69.49 c nbDecision=8500 #constraints=10348 71.65/71.71 c nbDecision=9000 #constraints=10348 73.85/73.92 c nbDecision=9500 #constraints=10348 76.05/76.13 c nbDecision=10000 #constraints=10348 78.25/78.34 c nbDecision=10500 #constraints=10348 80.45/80.52 c nbDecision=11000 #constraints=10348 82.65/82.75 c nbDecision=11500 #constraints=10348 84.85/84.98 c nbDecision=12000 #constraints=10348 87.14/87.20 c nbDecision=12500 #constraints=10348 88.44/88.54 c restart after 12801 decisions 93.64/93.71 c nbDecision=13000 #constraints=10348 95.84/95.92 c nbDecision=13500 #constraints=10348 98.04/98.14 c nbDecision=14000 #constraints=10348 100.24/100.35 c nbDecision=14500 #constraints=10348 102.44/102.58 c nbDecision=15000 #constraints=10348 104.74/104.82 c nbDecision=15500 #constraints=10348 106.94/107.05 c nbDecision=16000 #constraints=10348 109.14/109.28 c nbDecision=16500 #constraints=10348 111.44/111.50 c nbDecision=17000 #constraints=10348 113.63/113.71 c nbDecision=17500 #constraints=10348 115.83/115.91 c nbDecision=18000 #constraints=10348 118.03/118.12 c nbDecision=18500 #constraints=10348 120.23/120.31 c nbDecision=19000 #constraints=10348 122.43/122.52 c nbDecision=19500 #constraints=10348 124.63/124.74 c nbDecision=20000 #constraints=10348 126.83/126.96 c nbDecision=20500 #constraints=10348 129.03/129.18 c nbDecision=21000 #constraints=10348 131.23/131.39 c nbDecision=21500 #constraints=10348 133.43/133.57 c nbDecision=22000 #constraints=10348 135.63/135.76 c nbDecision=22500 #constraints=10348 137.83/137.95 c nbDecision=23000 #constraints=10348 140.02/140.14 c nbDecision=23500 #constraints=10348 142.22/142.34 c nbDecision=24000 #constraints=10348 144.42/144.55 c nbDecision=24500 #constraints=10348 146.62/146.76 c nbDecision=25000 #constraints=10348 148.82/148.96 c nbDecision=25500 #constraints=10348 149.32/149.41 c restart after 25601 decisions 155.32/155.48 c nbDecision=26000 #constraints=10348 157.52/157.69 c nbDecision=26500 #constraints=10348 159.82/159.91 c nbDecision=27000 #constraints=10348 162.02/162.14 c nbDecision=27500 #constraints=10348 164.22/164.38 c nbDecision=28000 #constraints=10348 166.52/166.61 c nbDecision=28500 #constraints=10348 168.72/168.84 c nbDecision=29000 #constraints=10348 170.91/171.07 c nbDecision=29500 #constraints=10348 173.11/173.27 c nbDecision=30000 #constraints=10348 175.31/175.48 c nbDecision=30500 #constraints=10348 177.51/177.69 c nbDecision=31000 #constraints=10348 179.71/179.89 c nbDecision=31500 #constraints=10348 182.01/182.11 c nbDecision=32000 #constraints=10348 184.21/184.33 c nbDecision=32500 #constraints=10348 186.41/186.55 c nbDecision=33000 #constraints=10348 188.61/188.77 c nbDecision=33500 #constraints=10348 190.81/190.98 c nbDecision=34000 #constraints=10348 193.01/193.17 c nbDecision=34500 #constraints=10348 195.21/195.35 c nbDecision=35000 #constraints=10348 197.41/197.52 c nbDecision=35500 #constraints=10348 199.60/199.70 c nbDecision=36000 #constraints=10348 201.80/201.91 c nbDecision=36500 #constraints=10348 204.00/204.11 c nbDecision=37000 #constraints=10348 206.20/206.31 c nbDecision=37500 #constraints=10348 208.40/208.50 c nbDecision=38000 #constraints=10348 210.60/210.70 c nbDecision=38500 #constraints=10348 212.70/212.88 c nbDecision=39000 #constraints=10348 214.90/215.06 c nbDecision=39500 #constraints=10348 217.10/217.24 c nbDecision=40000 #constraints=10348 219.30/219.42 c nbDecision=40500 #constraints=10348 221.50/221.61 c nbDecision=41000 #constraints=10348 223.70/223.82 c nbDecision=41500 #constraints=10348 225.89/226.01 c nbDecision=42000 #constraints=10348 228.09/228.21 c nbDecision=42500 #constraints=10348 230.29/230.40 c nbDecision=43000 #constraints=10348 232.39/232.57 c nbDecision=43500 #constraints=10348 234.59/234.74 c nbDecision=44000 #constraints=10348 236.79/236.91 c nbDecision=44500 #constraints=10348 238.89/239.08 c nbDecision=45000 #constraints=10348 241.09/241.25 c nbDecision=45500 #constraints=10349 243.29/243.45 c nbDecision=46000 #constraints=10349 245.49/245.62 c nbDecision=46500 #constraints=10349 247.59/247.78 c nbDecision=47000 #constraints=10349 249.79/249.96 c nbDecision=47500 #constraints=10349 251.99/252.10 c nbDecision=48000 #constraints=10349 254.49/254.61 c nbDecision=48500 #constraints=10349 256.88/257.00 c nbDecision=49000 #constraints=10349 263.58/263.74 c nbDecision=49500 #constraints=10352 265.78/265.95 c nbDecision=50000 #constraints=10352 267.98/268.19 c nbDecision=50500 #constraints=10352 270.28/270.43 c nbDecision=51000 #constraints=10352 271.18/271.32 c restart after 51201 decisions 276.78/276.92 c nbDecision=51500 #constraints=10352 278.98/279.14 c nbDecision=52000 #constraints=10352 281.18/281.37 c nbDecision=52500 #constraints=10352 283.47/283.60 c nbDecision=53000 #constraints=10352 285.67/285.84 c nbDecision=53500 #constraints=10352 287.87/288.07 c nbDecision=54000 #constraints=10352 290.18/290.30 c nbDecision=54500 #constraints=10352 292.38/292.51 c nbDecision=55000 #constraints=10352 294.57/294.72 c nbDecision=55500 #constraints=10352 296.77/296.93 c nbDecision=56000 #constraints=10352 298.97/299.13 c nbDecision=56500 #constraints=10352 301.17/301.34 c nbDecision=57000 #constraints=10352 303.37/303.57 c nbDecision=57500 #constraints=10352 305.57/305.79 c nbDecision=58000 #constraints=10352 307.87/308.01 c nbDecision=58500 #constraints=10352 310.07/310.23 c nbDecision=59000 #constraints=10352 312.27/312.42 c nbDecision=59500 #constraints=10352 314.47/314.62 c nbDecision=60000 #constraints=10352 316.67/316.82 c nbDecision=60500 #constraints=10352 318.77/319.00 c nbDecision=61000 #constraints=10352 320.97/321.20 c nbDecision=61500 #constraints=10352 323.26/323.41 c nbDecision=62000 #constraints=10352 325.46/325.62 c nbDecision=62500 #constraints=10352 327.66/327.82 c nbDecision=63000 #constraints=10352 329.86/330.03 c nbDecision=63500 #constraints=10352 332.06/332.22 c nbDecision=64000 #constraints=10352 334.26/334.40 c nbDecision=64500 #constraints=10352 336.36/336.58 c nbDecision=65000 #constraints=10352 338.56/338.76 c nbDecision=65500 #constraints=10352 340.76/340.95 c nbDecision=66000 #constraints=10352 342.96/343.14 c nbDecision=66500 #constraints=10352 345.16/345.34 c nbDecision=67000 #constraints=10352 347.36/347.52 c nbDecision=67500 #constraints=10352 349.45/349.69 c nbDecision=68000 #constraints=10352 351.65/351.87 c nbDecision=68500 #constraints=10352 353.85/354.02 c nbDecision=69000 #constraints=10352 355.95/356.19 c nbDecision=69500 #constraints=10352 358.15/358.36 c nbDecision=70000 #constraints=10352 360.35/360.53 c nbDecision=70500 #constraints=10352 362.55/362.72 c nbDecision=71000 #constraints=10352 364.74/364.90 c nbDecision=71500 #constraints=10352 366.85/367.08 c nbDecision=72000 #constraints=10352 369.04/369.27 c nbDecision=72500 #constraints=10352 371.24/371.44 c nbDecision=73000 #constraints=10352 373.34/373.58 c nbDecision=73500 #constraints=10352 375.84/376.04 c nbDecision=74000 #constraints=10352 378.14/378.33 c nbDecision=74500 #constraints=10352 384.94/385.19 c nbDecision=75000 #constraints=10354 387.24/387.40 c nbDecision=75500 #constraints=10354 389.44/389.64 c nbDecision=76000 #constraints=10354 391.64/391.86 c nbDecision=76500 #constraints=10354 393.84/394.05 c nbDecision=77000 #constraints=10354 396.03/396.26 c nbDecision=77500 #constraints=10354 398.23/398.47 c nbDecision=78000 #constraints=10354 400.43/400.68 c nbDecision=78500 #constraints=10354 402.73/402.91 c nbDecision=79000 #constraints=10354 404.93/405.14 c nbDecision=79500 #constraints=10354 407.13/407.37 c nbDecision=80000 #constraints=10354 409.33/409.59 c nbDecision=80500 #constraints=10354 411.63/411.80 c nbDecision=81000 #constraints=10354 413.83/414.01 c nbDecision=81500 #constraints=10354 416.03/416.21 c nbDecision=82000 #constraints=10354 418.23/418.40 c nbDecision=82500 #constraints=10354 420.42/420.60 c nbDecision=83000 #constraints=10354 422.62/422.82 c nbDecision=83500 #constraints=10354 424.82/425.03 c nbDecision=84000 #constraints=10354 427.02/427.23 c nbDecision=84500 #constraints=10354 429.22/429.44 c nbDecision=85000 #constraints=10354 431.42/431.64 c nbDecision=85500 #constraints=10354 433.62/433.83 c nbDecision=86000 #constraints=10354 435.72/435.99 c nbDecision=86500 #constraints=10354 437.92/438.18 c nbDecision=87000 #constraints=10354 440.12/440.36 c nbDecision=87500 #constraints=10354 442.32/442.53 c nbDecision=88000 #constraints=10354 444.52/444.71 c nbDecision=88500 #constraints=10354 446.72/446.91 c nbDecision=89000 #constraints=10354 448.91/449.12 c nbDecision=89500 #constraints=10354 451.01/451.29 c nbDecision=90000 #constraints=10354 453.21/453.47 c nbDecision=90500 #constraints=10354 455.41/455.65 c nbDecision=91000 #constraints=10354 457.61/457.82 c nbDecision=91500 #constraints=10354 459.71/459.99 c nbDecision=92000 #constraints=10354 461.91/462.18 c nbDecision=92500 #constraints=10354 464.11/464.38 c nbDecision=93000 #constraints=10354 466.31/466.57 c nbDecision=93500 #constraints=10354 468.51/468.75 c nbDecision=94000 #constraints=10354 470.71/470.94 c nbDecision=94500 #constraints=10354 472.91/473.11 c nbDecision=95000 #constraints=10354 475.01/475.27 c nbDecision=95500 #constraints=10354 477.21/477.43 c nbDecision=96000 #constraints=10354 479.31/479.59 c nbDecision=96500 #constraints=10354 481.51/481.76 c nbDecision=97000 #constraints=10354 483.90/484.11 c nbDecision=97500 #constraints=10354 486.30/486.55 c nbDecision=98000 #constraints=10354 493.20/493.48 c nbDecision=98500 #constraints=10371 495.40/495.67 c nbDecision=99000 #constraints=10371 497.60/497.88 c nbDecision=99500 #constraints=10371 499.80/500.09 c nbDecision=100000 #constraints=10371 502.10/502.33 c nbDecision=100500 #constraints=10371 504.30/504.56 c nbDecision=101000 #constraints=10371 506.49/506.79 c nbDecision=101500 #constraints=10371 508.79/509.02 c nbDecision=102000 #constraints=10371 510.59/510.81 c restart after 102401 decisions 515.29/515.52 c nbDecision=102500 #constraints=10371 517.49/517.73 c nbDecision=103000 #constraints=10371 519.69/519.94 c nbDecision=103500 #constraints=10371 521.89/522.18 c nbDecision=104000 #constraints=10371 524.19/524.41 c nbDecision=104500 #constraints=10371 526.39/526.65 c nbDecision=105000 #constraints=10371 528.59/528.87 c nbDecision=105500 #constraints=10371 530.89/531.10 c nbDecision=106000 #constraints=10371 533.08/533.31 c nbDecision=106500 #constraints=10371 535.28/535.52 c nbDecision=107000 #constraints=10371 537.48/537.72 c nbDecision=107500 #constraints=10371 539.68/539.92 c nbDecision=108000 #constraints=10371 541.88/542.14 c nbDecision=108500 #constraints=10371 544.08/544.36 c nbDecision=109000 #constraints=10371 546.28/546.58 c nbDecision=109500 #constraints=10371 548.48/548.80 c nbDecision=110000 #constraints=10371 550.78/551.01 c nbDecision=110500 #constraints=10371 552.98/553.20 c nbDecision=111000 #constraints=10371 555.08/555.40 c nbDecision=111500 #constraints=10371 557.28/557.59 c nbDecision=112000 #constraints=10371 559.48/559.78 c nbDecision=112500 #constraints=10371 561.67/561.99 c nbDecision=113000 #constraints=10371 563.87/564.20 c nbDecision=113500 #constraints=10371 566.18/566.41 c nbDecision=114000 #constraints=10371 568.38/568.61 c nbDecision=114500 #constraints=10371 570.58/570.81 c nbDecision=115000 #constraints=10371 572.67/573.00 c nbDecision=115500 #constraints=10371 574.87/575.18 c nbDecision=116000 #constraints=10371 577.07/577.36 c nbDecision=116500 #constraints=10371 579.27/579.54 c nbDecision=117000 #constraints=10371 581.47/581.73 c nbDecision=117500 #constraints=10371 583.67/583.93 c nbDecision=118000 #constraints=10371 585.87/586.13 c nbDecision=118500 #constraints=10371 588.07/588.33 c nbDecision=119000 #constraints=10371 590.27/590.52 c nbDecision=119500 #constraints=10371 592.37/592.69 c nbDecision=120000 #constraints=10371 594.57/594.87 c nbDecision=120500 #constraints=10371 596.77/597.04 c nbDecision=121000 #constraints=10371 598.97/599.20 c nbDecision=121500 #constraints=10371 601.07/601.38 c nbDecision=122000 #constraints=10371 603.27/603.58 c nbDecision=122500 #constraints=10371 605.47/605.76 c nbDecision=123000 #constraints=10371 607.67/607.94 c nbDecision=123500 #constraints=10371 609.87/610.12 c nbDecision=124000 #constraints=10371 611.96/612.27 c nbDecision=124500 #constraints=10371 614.16/614.43 c nbDecision=125000 #constraints=10371 616.77/617.05 c nbDecision=125500 #constraints=10371 619.26/619.53 c nbDecision=126000 #constraints=10372 625.86/626.18 c nbDecision=126500 #constraints=10374 628.16/628.42 c nbDecision=127000 #constraints=10374 630.36/630.65 c nbDecision=127500 #constraints=10374 632.56/632.87 c nbDecision=128000 #constraints=10374 634.76/635.08 c nbDecision=128500 #constraints=10374 636.96/637.29 c nbDecision=129000 #constraints=10374 639.25/639.51 c nbDecision=129500 #constraints=10374 641.45/641.73 c nbDecision=130000 #constraints=10374 643.65/643.96 c nbDecision=130500 #constraints=10374 645.85/646.18 c nbDecision=131000 #constraints=10374 648.15/648.41 c nbDecision=131500 #constraints=10374 650.35/650.63 c nbDecision=132000 #constraints=10374 652.55/652.83 c nbDecision=132500 #constraints=10374 654.75/655.04 c nbDecision=133000 #constraints=10374 656.95/657.23 c nbDecision=133500 #constraints=10374 659.15/659.43 c nbDecision=134000 #constraints=10374 661.35/661.64 c nbDecision=134500 #constraints=10374 663.55/663.86 c nbDecision=135000 #constraints=10374 665.74/666.07 c nbDecision=135500 #constraints=10374 667.94/668.28 c nbDecision=136000 #constraints=10374 670.14/670.50 c nbDecision=136500 #constraints=10374 672.34/672.69 c nbDecision=137000 #constraints=10374 674.54/674.87 c nbDecision=137500 #constraints=10374 676.74/677.06 c nbDecision=138000 #constraints=10374 678.94/679.24 c nbDecision=138500 #constraints=10374 681.14/681.42 c nbDecision=139000 #constraints=10374 683.34/683.62 c nbDecision=139500 #constraints=10374 685.54/685.82 c nbDecision=140000 #constraints=10374 687.74/688.02 c nbDecision=140500 #constraints=10374 689.94/690.22 c nbDecision=141000 #constraints=10374 692.14/692.40 c nbDecision=141500 #constraints=10374 694.24/694.59 c nbDecision=142000 #constraints=10374 696.43/696.76 c nbDecision=142500 #constraints=10374 698.63/698.93 c nbDecision=143000 #constraints=10374 700.83/701.10 c nbDecision=143500 #constraints=10374 702.93/703.29 c nbDecision=144000 #constraints=10374 705.13/705.48 c nbDecision=144500 #constraints=10374 707.33/707.66 c nbDecision=145000 #constraints=10374 709.53/709.85 c nbDecision=145500 #constraints=10374 711.73/712.03 c nbDecision=146000 #constraints=10374 713.83/714.20 c nbDecision=146500 #constraints=10374 716.03/716.36 c nbDecision=147000 #constraints=10374 718.22/718.52 c nbDecision=147500 #constraints=10374 720.32/720.68 c nbDecision=148000 #constraints=10374 722.52/722.85 c nbDecision=148500 #constraints=10374 725.22/725.50 c nbDecision=149000 #constraints=10374 727.52/727.86 c nbDecision=149500 #constraints=10374 734.32/734.67 c nbDecision=150000 #constraints=10401 736.52/736.88 c nbDecision=150500 #constraints=10401 738.72/739.08 c nbDecision=151000 #constraints=10401 741.02/741.31 c nbDecision=151500 #constraints=10401 743.22/743.54 c nbDecision=152000 #constraints=10401 745.42/745.77 c nbDecision=152500 #constraints=10401 747.62/748.00 c nbDecision=153000 #constraints=10401 749.92/750.23 c nbDecision=153500 #constraints=10401 752.12/752.44 c nbDecision=154000 #constraints=10401 754.32/754.64 c nbDecision=154500 #constraints=10401 756.51/756.85 c nbDecision=155000 #constraints=10401 758.71/759.05 c nbDecision=155500 #constraints=10401 760.91/761.26 c nbDecision=156000 #constraints=10401 763.11/763.49 c nbDecision=156500 #constraints=10401 765.41/765.71 c nbDecision=157000 #constraints=10401 767.61/767.92 c nbDecision=157500 #constraints=10401 769.81/770.14 c nbDecision=158000 #constraints=10401 772.00/772.34 c nbDecision=158500 #constraints=10401 774.20/774.54 c nbDecision=159000 #constraints=10401 776.40/776.73 c nbDecision=159500 #constraints=10401 778.60/778.92 c nbDecision=160000 #constraints=10401 780.80/781.12 c nbDecision=160500 #constraints=10401 783.00/783.33 c nbDecision=161000 #constraints=10401 785.20/785.53 c nbDecision=161500 #constraints=10401 787.40/787.74 c nbDecision=162000 #constraints=10401 789.60/789.95 c nbDecision=162500 #constraints=10401 791.80/792.13 c nbDecision=163000 #constraints=10401 794.00/794.31 c nbDecision=163500 #constraints=10401 796.10/796.49 c nbDecision=164000 #constraints=10401 798.30/798.67 c nbDecision=164500 #constraints=10401 800.50/800.82 c nbDecision=165000 #constraints=10401 802.70/803.03 c nbDecision=165500 #constraints=10401 804.90/805.22 c nbDecision=166000 #constraints=10401 807.09/807.42 c nbDecision=166500 #constraints=10401 809.29/809.61 c nbDecision=167000 #constraints=10401 811.39/811.79 c nbDecision=167500 #constraints=10401 813.59/813.97 c nbDecision=168000 #constraints=10401 815.79/816.13 c nbDecision=168500 #constraints=10401 817.99/818.30 c nbDecision=169000 #constraints=10401 820.09/820.48 c nbDecision=169500 #constraints=10401 822.28/822.63 c nbDecision=170000 #constraints=10401 824.48/824.81 c nbDecision=170500 #constraints=10401 826.58/826.99 c nbDecision=171000 #constraints=10401 828.78/829.17 c nbDecision=171500 #constraints=10401 830.98/831.34 c nbDecision=172000 #constraints=10401 833.38/833.80 c nbDecision=172500 #constraints=10401 835.68/836.10 c nbDecision=173000 #constraints=10401 842.88/843.20 c nbDecision=173500 #constraints=10451 845.08/845.44 c nbDecision=174000 #constraints=10451 847.28/847.68 c nbDecision=174500 #constraints=10451 849.57/849.92 c nbDecision=175000 #constraints=10451 851.77/852.14 c nbDecision=175500 #constraints=10451 853.97/854.35 c nbDecision=176000 #constraints=10451 856.17/856.53 c nbDecision=176500 #constraints=10451 858.37/858.74 c nbDecision=177000 #constraints=10451 860.57/860.96 c nbDecision=177500 #constraints=10451 862.77/863.19 c nbDecision=178000 #constraints=10451 865.07/865.41 c nbDecision=178500 #constraints=10451 867.27/867.64 c nbDecision=179000 #constraints=10451 869.47/869.86 c nbDecision=179500 #constraints=10451 871.67/872.06 c nbDecision=180000 #constraints=10451 873.87/874.26 c nbDecision=180500 #constraints=10451 876.06/876.46 c nbDecision=181000 #constraints=10451 878.26/878.66 c nbDecision=181500 #constraints=10451 880.46/880.86 c nbDecision=182000 #constraints=10451 882.66/883.06 c nbDecision=182500 #constraints=10451 884.86/885.27 c nbDecision=183000 #constraints=10451 887.06/887.48 c nbDecision=183500 #constraints=10451 889.26/889.69 c nbDecision=184000 #constraints=10451 891.46/891.89 c nbDecision=184500 #constraints=10451 893.66/894.08 c nbDecision=185000 #constraints=10451 895.86/896.26 c nbDecision=185500 #constraints=10451 898.05/898.45 c nbDecision=186000 #constraints=10451 900.25/900.61 c nbDecision=186500 #constraints=10451 902.45/902.82 c nbDecision=187000 #constraints=10451 904.65/905.02 c nbDecision=187500 #constraints=10451 906.85/907.21 c nbDecision=188000 #constraints=10451 909.05/909.41 c nbDecision=188500 #constraints=10451 911.15/911.58 c nbDecision=189000 #constraints=10451 913.35/913.77 c nbDecision=189500 #constraints=10451 915.55/915.94 c nbDecision=190000 #constraints=10451 917.75/918.11 c nbDecision=190500 #constraints=10451 919.84/920.28 c nbDecision=191000 #constraints=10451 922.04/922.47 c nbDecision=191500 #constraints=10451 924.24/924.66 c nbDecision=192000 #constraints=10451 926.44/926.85 c nbDecision=192500 #constraints=10451 928.64/929.04 c nbDecision=193000 #constraints=10451 930.84/931.22 c nbDecision=193500 #constraints=10451 932.94/933.38 c nbDecision=194000 #constraints=10451 935.14/935.54 c nbDecision=194500 #constraints=10451 937.34/937.70 c nbDecision=195000 #constraints=10451 939.44/939.85 c nbDecision=195500 #constraints=10451 941.63/942.01 c nbDecision=196000 #constraints=10451 944.23/944.65 c nbDecision=196500 #constraints=10451 946.83/947.20 c nbDecision=197000 #constraints=10461 953.53/953.91 c nbDecision=197500 #constraints=10480 955.73/956.13 c nbDecision=198000 #constraints=10480 957.93/958.35 c nbDecision=198500 #constraints=10480 960.13/960.56 c nbDecision=199000 #constraints=10480 962.33/962.79 c nbDecision=199500 #constraints=10480 964.63/965.02 c nbDecision=200000 #constraints=10480 966.83/967.25 c nbDecision=200500 #constraints=10480 969.03/969.47 c nbDecision=201000 #constraints=10480 971.22/971.69 c nbDecision=201500 #constraints=10480 973.42/973.88 c nbDecision=202000 #constraints=10480 975.62/976.09 c nbDecision=202500 #constraints=10480 977.82/978.29 c nbDecision=203000 #constraints=10480 980.02/980.49 c nbDecision=203500 #constraints=10480 982.32/982.71 c nbDecision=204000 #constraints=10480 984.52/984.93 c nbDecision=204500 #constraints=10480 985.82/986.27 c restart after 204801 decisions 991.02/991.49 c nbDecision=205000 #constraints=10480 993.32/993.71 c nbDecision=205500 #constraints=10480 995.51/995.93 c nbDecision=206000 #constraints=10480 997.71/998.14 c nbDecision=206500 #constraints=10480 999.91/1000.35 c nbDecision=207000 #constraints=10480 1002.11/1002.58 c nbDecision=207500 #constraints=10480 1004.41/1004.82 c nbDecision=208000 #constraints=10480 1006.61/1007.05 c nbDecision=208500 #constraints=10480 1008.81/1009.27 c nbDecision=209000 #constraints=10480 1011.01/1011.49 c nbDecision=209500 #constraints=10480 1013.21/1013.70 c nbDecision=210000 #constraints=10480 1015.51/1015.90 c nbDecision=210500 #constraints=10480 1017.71/1018.10 c nbDecision=211000 #constraints=10480 1019.90/1020.30 c nbDecision=211500 #constraints=10480 1022.10/1022.52 c nbDecision=212000 #constraints=10480 1024.30/1024.74 c nbDecision=212500 #constraints=10480 1026.50/1026.96 c nbDecision=213000 #constraints=10480 1028.70/1029.17 c nbDecision=213500 #constraints=10480 1030.90/1031.38 c nbDecision=214000 #constraints=10480 1033.10/1033.58 c nbDecision=214500 #constraints=10480 1035.30/1035.77 c nbDecision=215000 #constraints=10480 1037.50/1037.96 c nbDecision=215500 #constraints=10480 1039.70/1040.15 c nbDecision=216000 #constraints=10480 1041.90/1042.34 c nbDecision=216500 #constraints=10480 1044.09/1044.55 c nbDecision=217000 #constraints=10480 1046.29/1046.76 c nbDecision=217500 #constraints=10480 1048.49/1048.96 c nbDecision=218000 #constraints=10480 1050.69/1051.15 c nbDecision=218500 #constraints=10480 1052.89/1053.34 c nbDecision=219000 #constraints=10480 1055.09/1055.51 c nbDecision=219500 #constraints=10480 1057.19/1057.69 c nbDecision=220000 #constraints=10480 1059.39/1059.87 c nbDecision=220500 #constraints=10480 1061.59/1062.06 c nbDecision=221000 #constraints=10480 1063.79/1064.25 c nbDecision=221500 #constraints=10480 1065.99/1066.44 c nbDecision=222000 #constraints=10480 1068.18/1068.64 c nbDecision=222500 #constraints=10480 1070.38/1070.83 c nbDecision=223000 #constraints=10480 1072.58/1073.00 c nbDecision=223500 #constraints=10480 1074.68/1075.17 c nbDecision=224000 #constraints=10480 1076.88/1077.33 c nbDecision=224500 #constraints=10480 1078.98/1079.48 c nbDecision=225000 #constraints=10480 1081.18/1081.65 c nbDecision=225500 #constraints=10480 1083.38/1083.83 c nbDecision=226000 #constraints=10480 1085.48/1085.98 c nbDecision=226500 #constraints=10480 1087.68/1088.16 c nbDecision=227000 #constraints=10480 1090.07/1090.51 c nbDecision=227500 #constraints=10480 1092.47/1092.95 c nbDecision=228000 #constraints=10480 1095.18/1095.61 c nbDecision=228500 #constraints=10512 1101.67/1102.19 c nbDecision=229000 #constraints=10514 1103.97/1104.43 c nbDecision=229500 #constraints=10514 1106.17/1106.66 c nbDecision=230000 #constraints=10514 1108.47/1108.90 c nbDecision=230500 #constraints=10514 1110.67/1111.13 c nbDecision=231000 #constraints=10514 1112.86/1113.33 c nbDecision=231500 #constraints=10514 1115.06/1115.55 c nbDecision=232000 #constraints=10514 1117.26/1117.76 c nbDecision=232500 #constraints=10514 1119.46/1119.96 c nbDecision=233000 #constraints=10514 1121.66/1122.16 c nbDecision=233500 #constraints=10514 1123.86/1124.39 c nbDecision=234000 #constraints=10514 1126.16/1126.61 c nbDecision=234500 #constraints=10514 1128.36/1128.84 c nbDecision=235000 #constraints=10514 1130.56/1131.05 c nbDecision=235500 #constraints=10514 1132.76/1133.25 c nbDecision=236000 #constraints=10514 1134.96/1135.44 c nbDecision=236500 #constraints=10514 1137.15/1137.64 c nbDecision=237000 #constraints=10514 1139.35/1139.83 c nbDecision=237500 #constraints=10514 1141.55/1142.04 c nbDecision=238000 #constraints=10514 1143.75/1144.25 c nbDecision=238500 #constraints=10514 1145.95/1146.46 c nbDecision=239000 #constraints=10514 1148.15/1148.67 c nbDecision=239500 #constraints=10514 1150.35/1150.88 c nbDecision=240000 #constraints=10514 1152.55/1153.06 c nbDecision=240500 #constraints=10514 1154.75/1155.25 c nbDecision=241000 #constraints=10514 1156.95/1157.43 c nbDecision=241500 #constraints=10514 1159.15/1159.62 c nbDecision=242000 #constraints=10514 1161.35/1161.81 c nbDecision=242500 #constraints=10514 1163.55/1164.01 c nbDecision=243000 #constraints=10514 1165.74/1166.21 c nbDecision=243500 #constraints=10514 1167.94/1168.41 c nbDecision=244000 #constraints=10514 1170.14/1170.60 c nbDecision=244500 #constraints=10514 1172.24/1172.76 c nbDecision=245000 #constraints=10514 1174.44/1174.93 c nbDecision=245500 #constraints=10514 1176.64/1177.10 c nbDecision=246000 #constraints=10514 1178.74/1179.27 c nbDecision=246500 #constraints=10514 1180.94/1181.45 c nbDecision=247000 #constraints=10514 1183.14/1183.64 c nbDecision=247500 #constraints=10514 1185.34/1185.83 c nbDecision=248000 #constraints=10514 1187.54/1188.02 c nbDecision=248500 #constraints=10514 1189.74/1190.20 c nbDecision=249000 #constraints=10514 1191.84/1192.37 c nbDecision=249500 #constraints=10514 1194.04/1194.53 c nbDecision=250000 #constraints=10514 1196.13/1196.68 c nbDecision=250500 #constraints=10514 1198.33/1198.83 c nbDecision=251000 #constraints=10514 1200.93/1201.47 c nbDecision=251500 #constraints=10514 1203.33/1203.84 c nbDecision=252000 #constraints=10514 1210.33/1210.81 c nbDecision=252500 #constraints=10564 1212.52/1213.03 c nbDecision=253000 #constraints=10564 1214.73/1215.25 c nbDecision=253500 #constraints=10564 1216.93/1217.46 c nbDecision=254000 #constraints=10564 1219.13/1219.68 c nbDecision=254500 #constraints=10564 1221.33/1221.88 c nbDecision=255000 #constraints=10564 1223.63/1224.11 c nbDecision=255500 #constraints=10564 1225.83/1226.34 c nbDecision=256000 #constraints=10564 1228.03/1228.57 c nbDecision=256500 #constraints=10564 1230.23/1230.80 c nbDecision=257000 #constraints=10564 1232.43/1233.00 c nbDecision=257500 #constraints=10564 1234.73/1235.20 c nbDecision=258000 #constraints=10564 1236.93/1237.41 c nbDecision=258500 #constraints=10564 1239.13/1239.61 c nbDecision=259000 #constraints=10564 1241.33/1241.82 c nbDecision=259500 #constraints=10564 1243.53/1244.04 c nbDecision=260000 #constraints=10564 1245.73/1246.26 c nbDecision=260500 #constraints=10564 1247.93/1248.47 c nbDecision=261000 #constraints=10564 1250.12/1250.67 c nbDecision=261500 #constraints=10564 1252.32/1252.87 c nbDecision=262000 #constraints=10564 1254.52/1255.06 c nbDecision=262500 #constraints=10564 1256.72/1257.23 c nbDecision=263000 #constraints=10564 1258.92/1259.40 c nbDecision=263500 #constraints=10564 1261.02/1261.60 c nbDecision=264000 #constraints=10564 1263.32/1263.81 c nbDecision=264500 #constraints=10564 1265.52/1266.01 c nbDecision=265000 #constraints=10564 1267.72/1268.22 c nbDecision=265500 #constraints=10564 1269.92/1270.42 c nbDecision=266000 #constraints=10564 1272.12/1272.60 c nbDecision=266500 #constraints=10564 1274.21/1274.78 c nbDecision=267000 #constraints=10564 1276.41/1276.96 c nbDecision=267500 #constraints=10564 1278.61/1279.13 c nbDecision=268000 #constraints=10564 1280.81/1281.30 c nbDecision=268500 #constraints=10564 1283.01/1283.50 c nbDecision=269000 #constraints=10564 1285.11/1285.69 c nbDecision=269500 #constraints=10564 1287.31/1287.89 c nbDecision=270000 #constraints=10564 1289.50/1290.08 c nbDecision=270500 #constraints=10564 1291.70/1292.25 c nbDecision=271000 #constraints=10564 1293.90/1294.42 c nbDecision=271500 #constraints=10564 1296.00/1296.59 c nbDecision=272000 #constraints=10564 1298.20/1298.76 c nbDecision=272500 #constraints=10564 1300.40/1300.90 c nbDecision=273000 #constraints=10564 1302.50/1303.08 c nbDecision=273500 #constraints=10564 1304.70/1305.26 c nbDecision=274000 #constraints=10564 1306.90/1307.44 c nbDecision=274500 #constraints=10564 1309.30/1309.87 c nbDecision=275000 #constraints=10564 1311.70/1312.22 c nbDecision=275500 #constraints=10564 1318.69/1319.22 c nbDecision=276000 #constraints=10597 1320.89/1321.42 c nbDecision=276500 #constraints=10597 1323.09/1323.66 c nbDecision=277000 #constraints=10597 1325.29/1325.89 c nbDecision=277500 #constraints=10597 1327.59/1328.13 c nbDecision=278000 #constraints=10597 1329.79/1330.36 c nbDecision=278500 #constraints=10597 1331.99/1332.58 c nbDecision=279000 #constraints=10597 1334.19/1334.79 c nbDecision=279500 #constraints=10597 1336.39/1337.00 c nbDecision=280000 #constraints=10597 1338.58/1339.19 c nbDecision=280500 #constraints=10597 1340.88/1341.40 c nbDecision=281000 #constraints=10597 1343.08/1343.63 c nbDecision=281500 #constraints=10597 1345.28/1345.85 c nbDecision=282000 #constraints=10597 1347.48/1348.07 c nbDecision=282500 #constraints=10597 1349.68/1350.29 c nbDecision=283000 #constraints=10597 1351.98/1352.50 c nbDecision=283500 #constraints=10597 1354.08/1354.69 c nbDecision=284000 #constraints=10597 1356.28/1356.89 c nbDecision=284500 #constraints=10597 1358.48/1359.09 c nbDecision=285000 #constraints=10597 1360.68/1361.29 c nbDecision=285500 #constraints=10597 1362.97/1363.50 c nbDecision=286000 #constraints=10597 1365.17/1365.71 c nbDecision=286500 #constraints=10597 1367.37/1367.92 c nbDecision=287000 #constraints=10597 1369.57/1370.13 c nbDecision=287500 #constraints=10597 1371.77/1372.32 c nbDecision=288000 #constraints=10597 1373.97/1374.51 c nbDecision=288500 #constraints=10597 1376.07/1376.69 c nbDecision=289000 #constraints=10597 1378.27/1378.87 c nbDecision=289500 #constraints=10597 1380.47/1381.06 c nbDecision=290000 #constraints=10597 1382.66/1383.26 c nbDecision=290500 #constraints=10597 1384.86/1385.46 c nbDecision=291000 #constraints=10597 1387.06/1387.66 c nbDecision=291500 #constraints=10597 1389.26/1389.86 c nbDecision=292000 #constraints=10597 1391.46/1392.04 c nbDecision=292500 #constraints=10597 1393.56/1394.20 c nbDecision=293000 #constraints=10597 1395.76/1396.37 c nbDecision=293500 #constraints=10597 1397.96/1398.54 c nbDecision=294000 #constraints=10597 1400.16/1400.71 c nbDecision=294500 #constraints=10597 1402.36/1402.90 c nbDecision=295000 #constraints=10597 1404.46/1405.08 c nbDecision=295500 #constraints=10597 1406.66/1407.27 c nbDecision=296000 #constraints=10597 1408.86/1409.45 c nbDecision=296500 #constraints=10597 1411.06/1411.62 c nbDecision=297000 #constraints=10597 1413.15/1413.78 c nbDecision=297500 #constraints=10597 1415.35/1415.93 c nbDecision=298000 #constraints=10597 1417.45/1418.08 c nbDecision=298500 #constraints=10597 1420.15/1420.70 c nbDecision=299000 #constraints=10597 1422.55/1423.17 c nbDecision=299500 #constraints=10598 1429.55/1430.13 c nbDecision=300000 #constraints=10657 1431.75/1432.35 c nbDecision=300500 #constraints=10657 1433.95/1434.57 c nbDecision=301000 #constraints=10657 1436.15/1436.78 c nbDecision=301500 #constraints=10657 1438.44/1439.00 c nbDecision=302000 #constraints=10657 1440.64/1441.21 c nbDecision=302500 #constraints=10657 1442.84/1443.44 c nbDecision=303000 #constraints=10657 1445.04/1445.67 c nbDecision=303500 #constraints=10657 1447.34/1447.90 c nbDecision=304000 #constraints=10657 1449.54/1450.13 c nbDecision=304500 #constraints=10657 1451.74/1452.32 c nbDecision=305000 #constraints=10657 1453.84/1454.50 c nbDecision=305500 #constraints=10657 1456.14/1456.70 c nbDecision=306000 #constraints=10657 1458.24/1458.89 c nbDecision=306500 #constraints=10657 1460.54/1461.10 c nbDecision=307000 #constraints=10657 1462.74/1463.32 c nbDecision=307500 #constraints=10657 1464.94/1465.53 c nbDecision=308000 #constraints=10657 1467.13/1467.75 c nbDecision=308500 #constraints=10657 1469.33/1469.97 c nbDecision=309000 #constraints=10657 1471.53/1472.17 c nbDecision=309500 #constraints=10657 1473.73/1474.36 c nbDecision=310000 #constraints=10657 1475.93/1476.55 c nbDecision=310500 #constraints=10657 1478.13/1478.74 c nbDecision=311000 #constraints=10657 1480.33/1480.93 c nbDecision=311500 #constraints=10657 1482.53/1483.14 c nbDecision=312000 #constraints=10657 1484.72/1485.34 c nbDecision=312500 #constraints=10657 1486.92/1487.54 c nbDecision=313000 #constraints=10657 1489.12/1489.75 c nbDecision=313500 #constraints=10657 1491.32/1491.94 c nbDecision=314000 #constraints=10657 1493.52/1494.11 c nbDecision=314500 #constraints=10657 1495.62/1496.29 c nbDecision=315000 #constraints=10657 1497.82/1498.46 c nbDecision=315500 #constraints=10657 1500.02/1500.64 c nbDecision=316000 #constraints=10657 1502.22/1502.81 c nbDecision=316500 #constraints=10657 1504.42/1505.00 c nbDecision=317000 #constraints=10657 1506.52/1507.19 c nbDecision=317500 #constraints=10657 1508.71/1509.38 c nbDecision=318000 #constraints=10657 1510.91/1511.56 c nbDecision=318500 #constraints=10657 1513.11/1513.73 c nbDecision=319000 #constraints=10657 1515.31/1515.90 c nbDecision=319500 #constraints=10657 1517.41/1518.07 c nbDecision=320000 #constraints=10657 1519.61/1520.21 c nbDecision=320500 #constraints=10657 1521.71/1522.39 c nbDecision=321000 #constraints=10657 1523.91/1524.57 c nbDecision=321500 #constraints=10657 1526.11/1526.74 c nbDecision=322000 #constraints=10657 1528.61/1529.20 c nbDecision=322500 #constraints=10657 1530.91/1531.52 c nbDecision=323000 #constraints=10657 1533.60/1534.27 c nbDecision=323500 #constraints=10687 1540.20/1540.89 c nbDecision=324000 #constraints=10699 1542.50/1543.13 c nbDecision=324500 #constraints=10699 1544.70/1545.37 c nbDecision=325000 #constraints=10699 1546.90/1547.59 c nbDecision=325500 #constraints=10699 1549.20/1549.82 c nbDecision=326000 #constraints=10699 1551.40/1552.05 c nbDecision=326500 #constraints=10699 1553.60/1554.26 c nbDecision=327000 #constraints=10699 1555.80/1556.47 c nbDecision=327500 #constraints=10699 1558.00/1558.67 c nbDecision=328000 #constraints=10699 1560.20/1560.88 c nbDecision=328500 #constraints=10699 1562.50/1563.11 c nbDecision=329000 #constraints=10699 1564.70/1565.33 c nbDecision=329500 #constraints=10699 1566.90/1567.55 c nbDecision=330000 #constraints=10699 1569.10/1569.78 c nbDecision=330500 #constraints=10699 1571.30/1571.99 c nbDecision=331000 #constraints=10699 1573.49/1574.18 c nbDecision=331500 #constraints=10699 1575.69/1576.38 c nbDecision=332000 #constraints=10699 1577.89/1578.56 c nbDecision=332500 #constraints=10699 1580.09/1580.75 c nbDecision=333000 #constraints=10699 1582.29/1582.96 c nbDecision=333500 #constraints=10699 1584.49/1585.18 c nbDecision=334000 #constraints=10699 1586.69/1587.39 c nbDecision=334500 #constraints=10699 1588.89/1589.59 c nbDecision=335000 #constraints=10699 1591.09/1591.79 c nbDecision=335500 #constraints=10699 1593.28/1593.98 c nbDecision=336000 #constraints=10699 1595.48/1596.16 c nbDecision=336500 #constraints=10699 1597.68/1598.35 c nbDecision=337000 #constraints=10699 1599.88/1600.53 c nbDecision=337500 #constraints=10699 1602.08/1602.73 c nbDecision=338000 #constraints=10699 1604.28/1604.93 c nbDecision=338500 #constraints=10699 1606.48/1607.13 c nbDecision=339000 #constraints=10699 1608.68/1609.33 c nbDecision=339500 #constraints=10699 1610.88/1611.52 c nbDecision=340000 #constraints=10699 1612.98/1613.69 c nbDecision=340500 #constraints=10699 1615.18/1615.87 c nbDecision=341000 #constraints=10699 1617.38/1618.04 c nbDecision=341500 #constraints=10699 1619.57/1620.21 c nbDecision=342000 #constraints=10699 1621.67/1622.39 c nbDecision=342500 #constraints=10699 1623.87/1624.56 c nbDecision=343000 #constraints=10699 1626.07/1626.76 c nbDecision=343500 #constraints=10699 1628.27/1628.92 c nbDecision=344000 #constraints=10699 1630.47/1631.10 c nbDecision=344500 #constraints=10699 1632.57/1633.26 c nbDecision=345000 #constraints=10699 1634.77/1635.41 c nbDecision=345500 #constraints=10699 1636.87/1637.56 c nbDecision=346000 #constraints=10699 1639.47/1640.19 c nbDecision=346500 #constraints=10699 1641.86/1642.55 c nbDecision=347000 #constraints=10699 1648.76/1649.46 c nbDecision=347500 #constraints=10701 1650.96/1651.67 c nbDecision=348000 #constraints=10701 1653.16/1653.89 c nbDecision=348500 #constraints=10701 1655.46/1656.10 c nbDecision=349000 #constraints=10701 1657.66/1658.32 c nbDecision=349500 #constraints=10701 1659.86/1660.53 c nbDecision=350000 #constraints=10701 1662.05/1662.76 c nbDecision=350500 #constraints=10701 1664.25/1664.99 c nbDecision=351000 #constraints=10701 1666.55/1667.22 c nbDecision=351500 #constraints=10701 1668.75/1669.45 c nbDecision=352000 #constraints=10701 1670.95/1671.67 c nbDecision=352500 #constraints=10701 1673.15/1673.87 c nbDecision=353000 #constraints=10701 1675.35/1676.08 c nbDecision=353500 #constraints=10701 1677.55/1678.28 c nbDecision=354000 #constraints=10701 1679.75/1680.48 c nbDecision=354500 #constraints=10701 1681.95/1682.69 c nbDecision=355000 #constraints=10701 1684.25/1684.91 c nbDecision=355500 #constraints=10701 1686.45/1687.13 c nbDecision=356000 #constraints=10701 1688.65/1689.33 c nbDecision=356500 #constraints=10701 1690.84/1691.54 c nbDecision=357000 #constraints=10701 1693.04/1693.73 c nbDecision=357500 #constraints=10701 1695.24/1695.90 c nbDecision=358000 #constraints=10701 1697.34/1698.09 c nbDecision=358500 #constraints=10701 1699.54/1700.26 c nbDecision=359000 #constraints=10701 1701.74/1702.47 c nbDecision=359500 #constraints=10701 1703.94/1704.67 c nbDecision=360000 #constraints=10701 1706.14/1706.88 c nbDecision=360500 #constraints=10701 1708.34/1709.08 c nbDecision=361000 #constraints=10701 1710.54/1711.28 c nbDecision=361500 #constraints=10701 1712.74/1713.46 c nbDecision=362000 #constraints=10701 1714.94/1715.63 c nbDecision=362500 #constraints=10701 1717.04/1717.79 c nbDecision=363000 #constraints=10701 1719.23/1719.97 c nbDecision=363500 #constraints=10701 1721.43/1722.15 c nbDecision=364000 #constraints=10701 1723.63/1724.35 c nbDecision=364500 #constraints=10701 1725.83/1726.54 c nbDecision=365000 #constraints=10701 1728.03/1728.72 c nbDecision=365500 #constraints=10701 1730.23/1730.91 c nbDecision=366000 #constraints=10701 1732.33/1733.08 c nbDecision=366500 #constraints=10701 1734.53/1735.25 c nbDecision=367000 #constraints=10701 1736.73/1737.42 c nbDecision=367500 #constraints=10701 1738.83/1739.58 c nbDecision=368000 #constraints=10701 1741.03/1741.75 c nbDecision=368500 #constraints=10701 1743.23/1743.93 c nbDecision=369000 #constraints=10701 1745.43/1746.11 c nbDecision=369500 #constraints=10701 1747.52/1748.27 c nbDecision=370000 #constraints=10701 1750.22/1750.91 c nbDecision=370500 #constraints=10701 1752.73/1753.49 c nbDecision=371000 #constraints=10722 1759.82/1760.54 c nbDecision=371500 #constraints=10820 1762.02/1762.78 c nbDecision=372000 #constraints=10820 1764.32/1765.02 c nbDecision=372500 #constraints=10820 1766.52/1767.25 c nbDecision=373000 #constraints=10820 1768.72/1769.49 c nbDecision=373500 #constraints=10820 1771.02/1771.72 c nbDecision=374000 #constraints=10820 1773.22/1773.93 c nbDecision=374500 #constraints=10820 1775.41/1776.14 c nbDecision=375000 #constraints=10820 1777.61/1778.35 c nbDecision=375500 #constraints=10820 1779.81/1780.55 c nbDecision=376000 #constraints=10820 1782.01/1782.78 c nbDecision=376500 #constraints=10820 1784.31/1785.00 c nbDecision=377000 #constraints=10820 1786.51/1787.23 c nbDecision=377500 #constraints=10820 1788.71/1789.44 c nbDecision=378000 #constraints=10820 1790.91/1791.64 c nbDecision=378500 #constraints=10820 1793.11/1793.83 c nbDecision=379000 #constraints=10820 1795.31/1796.03 c nbDecision=379500 #constraints=10820 1797.50/1798.23 c nbDecision=380000 #constraints=10820 1799.70/1800.41 c nbDecision=380500 #constraints=10820 1800.01/1800.70 Received signal 15 1800.01/1800.71 1800.01/1800.71 s UNKNOWN 1800.01/1800.71 1800.01/1800.71 c user time= 1799.9 s 1800.01/1800.71 c system time= 0.12898 s 1800.01/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/node66/watcher-357034-1176852338 -o ROOT/results/node66/solver-357034-1176852338 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357034-1176852338/instance-357034-1176852338.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.93 0.97 0.92 3/64 10897 /proc/meminfo: memFree=1817136/2055920 swapFree=4176832/4192956 [pid=10897] ppid=10895 vsize=1620 CPUtime=0 /proc/10897/stat : 10897 (oree) R 10895 10897 10142 0 -1 4194304 186 0 0 0 0 0 0 0 18 0 1 0 161223419 1658880 168 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10897/statm: 405 170 126 317 0 84 0 [startup+0.0962499 s] /proc/loadavg: 0.93 0.97 0.92 3/64 10897 /proc/meminfo: memFree=1817136/2055920 swapFree=4176832/4192956 [pid=10897] ppid=10895 vsize=3440 CPUtime=0.09 /proc/10897/stat : 10897 (oree) R 10895 10897 10142 0 -1 4194304 878 0 0 0 9 0 0 0 18 0 1 0 161223419 3522560 633 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10897/statm: 860 633 126 317 0 539 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3440 [startup+0.101243 s] /proc/loadavg: 0.93 0.97 0.92 3/64 10897 /proc/meminfo: memFree=1817136/2055920 swapFree=4176832/4192956 [pid=10897] ppid=10895 vsize=3440 CPUtime=0.09 /proc/10897/stat : 10897 (oree) R 10895 10897 10142 0 -1 4194304 892 0 0 0 9 0 0 0 18 0 1 0 161223419 3522560 647 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10897/statm: 860 647 126 317 0 539 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3440 [startup+0.301281 s] /proc/loadavg: 0.93 0.97 0.92 3/64 10897 /proc/meminfo: memFree=1817136/2055920 swapFree=4176832/4192956 [pid=10897] ppid=10895 vsize=9548 CPUtime=0.29 /proc/10897/stat : 10897 (oree) R 10895 10897 10142 0 -1 4194304 2897 0 0 0 29 0 0 0 20 0 1 0 161223419 9777152 1882 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10897/statm: 2387 1882 126 317 0 2066 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9548 [startup+0.701361 s] /proc/loadavg: 0.93 0.97 0.92 3/64 10897 /proc/meminfo: memFree=1817136/2055920 swapFree=4176832/4192956 [pid=10897] ppid=10895 vsize=10512 CPUtime=0.69 /proc/10897/stat : 10897 (oree) R 10895 10897 10142 0 -1 4194304 3234 0 0 0 68 1 0 0 23 0 1 0 161223419 10764288 2219 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10897/statm: 2628 2220 131 317 0 2307 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10512 [startup+1.50152 s] /proc/loadavg: 0.93 0.97 0.92 2/65 10898 /proc/meminfo: memFree=1802664/2055920 swapFree=4176832/4192956 [pid=10897] ppid=10895 vsize=28468 CPUtime=1.49 /proc/10897/stat : 10897 (oree) R 10895 10897 10142 0 -1 4194304 7801 0 0 0 147 2 0 0 25 0 1 0 161223419 29151232 6688 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10897/statm: 7117 6689 131 317 0 6796 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 28468 [startup+3.10185 s] /proc/loadavg: 1.01 0.99 0.93 2/65 10898 /proc/meminfo: memFree=1777000/2055920 swapFree=4176832/4192956 [pid=10897] ppid=10895 vsize=93024 CPUtime=3.09 /proc/10897/stat : 10897 (oree) R 10895 10897 10142 0 -1 4194304 23519 0 0 0 300 9 0 0 25 0 1 0 161223419 95256576 22373 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602691 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10897/statm: 23256 22373 137 317 0 22935 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 93024 [startup+6.30248 s] /proc/loadavg: 1.01 0.99 0.93 2/65 10898 /proc/meminfo: memFree=1718120/2055920 swapFree=4176832/4192956 [pid=10897] ppid=10895 vsize=102924 CPUtime=6.29 /proc/10897/stat : 10897 (oree) R 10895 10897 10142 0 -1 4194304 26000 0 0 0 619 10 0 0 25 0 1 0 161223419 105394176 24854 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10897/statm: 25731 24854 138 317 0 25410 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 102924 [startup+12.7018 s] /proc/loadavg: 1.01 0.99 0.93 2/65 10898 /proc/meminfo: memFree=1718000/2055920 swapFree=4176832/4192956 [pid=10897] ppid=10895 vsize=102968 CPUtime=12.68 /proc/10897/stat : 10897 (oree) R 10895 10897 10142 0 -1 4194304 26014 0 0 0 1258 10 0 0 25 0 1 0 161223419 105439232 24868 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10897/statm: 25742 24868 138 317 0 25421 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 102968 [startup+25.5013 s] /proc/loadavg: 1.01 0.99 0.93 2/65 10898 /proc/meminfo: memFree=1718128/2055920 swapFree=4176832/4192956 [pid=10897] ppid=10895 vsize=102968 CPUtime=25.48 /proc/10897/stat : 10897 (oree) R 10895 10897 10142 0 -1 4194304 26014 0 0 0 2538 10 0 0 25 0 1 0 161223419 105439232 24868 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10897/statm: 25742 24868 138 317 0 25421 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 102968 [startup+51.1014 s] /proc/loadavg: 1.00 0.99 0.93 2/65 10898 /proc/meminfo: memFree=1718256/2055920 swapFree=4176832/4192956 [pid=10897] ppid=10895 vsize=102968 CPUtime=51.06 /proc/10897/stat : 10897 (oree) R 10895 10897 10142 0 -1 4194304 26016 0 0 0 5096 10 0 0 25 0 1 0 161223419 105439232 24870 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10897/statm: 25742 24870 138 317 0 25421 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 102968 [startup+102.306 s] /proc/loadavg: 1.04 1.00 0.93 2/65 10898 /proc/meminfo: memFree=1718192/2055920 swapFree=4176832/4192956 [pid=10897] ppid=10895 vsize=102968 CPUtime=102.24 /proc/10897/stat : 10897 (oree) R 10895 10897 10142 0 -1 4194304 26022 0 0 0 10214 10 0 0 25 0 1 0 161223419 105439232 24876 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606698 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10897/statm: 25742 24876 138 317 0 25421 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 102968 [startup+162.302 s] /proc/loadavg: 1.05 1.01 0.94 2/65 10898 /proc/meminfo: memFree=1718128/2055920 swapFree=4176832/4192956 [pid=10897] ppid=10895 vsize=103084 CPUtime=162.22 /proc/10897/stat : 10897 (oree) R 10895 10897 10142 0 -1 4194304 26030 0 0 0 16212 10 0 0 25 0 1 0 161223419 105558016 24884 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10897/statm: 25771 24884 138 317 0 25450 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 103084 [startup+222.302 s] /proc/loadavg: 1.13 1.04 0.95 2/65 10898 /proc/meminfo: memFree=1718128/2055920 swapFree=4176832/4192956 [pid=10897] ppid=10895 vsize=103084 CPUtime=222.2 /proc/10897/stat : 10897 (oree) R 10895 10897 10142 0 -1 4194304 26033 0 0 0 22210 10 0 0 25 0 1 0 161223419 105558016 24887 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10897/statm: 25771 24887 138 317 0 25450 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 103084 [startup+282.302 s] /proc/loadavg: 1.12 1.04 0.95 2/65 10898 /proc/meminfo: memFree=1717872/2055920 swapFree=4176832/4192956 [pid=10897] ppid=10895 vsize=103500 CPUtime=282.18 /proc/10897/stat : 10897 (oree) R 10895 10897 10142 0 -1 4194304 26134 0 0 0 28208 10 0 0 25 0 1 0 161223419 105984000 24917 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606685 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10897/statm: 25875 24917 139 317 0 25554 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 103500 [startup+342.302 s] /proc/loadavg: 1.04 1.03 0.95 2/65 10898 /proc/meminfo: memFree=1717936/2055920 swapFree=4176832/4192956 [pid=10897] ppid=10895 vsize=103500 CPUtime=342.15 /proc/10897/stat : 10897 (oree) R 10895 10897 10142 0 -1 4194304 26134 0 0 0 34205 10 0 0 25 0 1 0 161223419 105984000 24917 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606847 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10897/statm: 25875 24917 139 317 0 25554 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 103500 [startup+402.301 s] /proc/loadavg: 1.01 1.02 0.95 2/65 10898 /proc/meminfo: memFree=1717936/2055920 swapFree=4176832/4192956 [pid=10897] ppid=10895 vsize=103500 CPUtime=402.13 /proc/10897/stat : 10897 (oree) R 10895 10897 10142 0 -1 4194304 26134 0 0 0 40203 10 0 0 25 0 1 0 161223419 105984000 24917 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10897/statm: 25875 24917 139 317 0 25554 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 103500 [startup+462.301 s] /proc/loadavg: 1.00 1.02 0.95 2/65 10898 /proc/meminfo: memFree=1717936/2055920 swapFree=4176832/4192956 [pid=10897] ppid=10895 vsize=103500 CPUtime=462.11 /proc/10897/stat : 10897 (oree) R 10895 10897 10142 0 -1 4194304 26134 0 0 0 46201 10 0 0 25 0 1 0 161223419 105984000 24917 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10897/statm: 25875 24917 139 317 0 25554 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 103500 [startup+522.301 s] /proc/loadavg: 1.00 1.01 0.95 2/65 10898 /proc/meminfo: memFree=1717936/2055920 swapFree=4176832/4192956 [pid=10897] ppid=10895 vsize=103500 CPUtime=522.09 /proc/10897/stat : 10897 (oree) R 10895 10897 10142 0 -1 4194304 26134 0 0 0 52199 10 0 0 25 0 1 0 161223419 105984000 24917 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10897/statm: 25875 24917 139 317 0 25554 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 103500 [startup+582.301 s] /proc/loadavg: 1.00 1.01 0.95 2/65 10898 /proc/meminfo: memFree=1717872/2055920 swapFree=4176832/4192956 [pid=10897] ppid=10895 vsize=103500 CPUtime=582.07 /proc/10897/stat : 10897 (oree) R 10895 10897 10142 0 -1 4194304 26134 0 0 0 58197 10 0 0 25 0 1 0 161223419 105984000 24917 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10897/statm: 25875 24917 139 317 0 25554 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 103500 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.95 2/65 10898 /proc/meminfo: memFree=1717872/2055920 swapFree=4176832/4192956 [pid=10897] ppid=10895 vsize=103500 CPUtime=642.06 /proc/10897/stat : 10897 (oree) R 10895 10897 10142 0 -1 4194304 26134 0 0 0 64195 11 0 0 25 0 1 0 161223419 105984000 24917 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10897/statm: 25875 24917 139 317 0 25554 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 103500 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 0.95 2/65 10900 /proc/meminfo: memFree=1717936/2055920 swapFree=4176832/4192956 [pid=10897] ppid=10895 vsize=103500 CPUtime=881.96 /proc/10897/stat : 10897 (oree) R 10895 10897 10142 0 -1 4194304 26134 0 0 0 88185 11 0 0 25 0 1 0 161223419 105984000 24917 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10897/statm: 25875 24917 139 317 0 25554 0 Current children cumulated CPU time (s) 881.96 Current children cumulated vsize (KiB) 103500 [startup+942.301 s] /proc/loadavg: 1.00 1.00 0.95 2/65 10900 /proc/meminfo: memFree=1717872/2055920 swapFree=4176832/4192956 [pid=10897] ppid=10895 vsize=103500 CPUtime=941.93 /proc/10897/stat : 10897 (oree) R 10895 10897 10142 0 -1 4194304 26134 0 0 0 94182 11 0 0 25 0 1 0 161223419 105984000 24917 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10897/statm: 25875 24917 139 317 0 25554 0 Current children cumulated CPU time (s) 941.93 Current children cumulated vsize (KiB) 103500 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 10900 /proc/meminfo: memFree=1717808/2055920 swapFree=4176832/4192956 [pid=10897] ppid=10895 vsize=103500 CPUtime=1001.91 /proc/10897/stat : 10897 (oree) R 10895 10897 10142 0 -1 4194304 26140 0 0 0 100180 11 0 0 25 0 1 0 161223419 105984000 24923 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606847 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10897/statm: 25875 24923 139 317 0 25554 0 Current children cumulated CPU time (s) 1001.91 Current children cumulated vsize (KiB) 103500 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 10900 /proc/meminfo: memFree=1717808/2055920 swapFree=4176832/4192956 [pid=10897] ppid=10895 vsize=103500 CPUtime=1061.89 /proc/10897/stat : 10897 (oree) R 10895 10897 10142 0 -1 4194304 26140 0 0 0 106178 11 0 0 25 0 1 0 161223419 105984000 24923 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10897/statm: 25875 24923 139 317 0 25554 0 Current children cumulated CPU time (s) 1061.89 Current children cumulated vsize (KiB) 103500 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 10900 /proc/meminfo: memFree=1717744/2055920 swapFree=4176832/4192956 [pid=10897] ppid=10895 vsize=103500 CPUtime=1121.86 /proc/10897/stat : 10897 (oree) R 10895 10897 10142 0 -1 4194304 26153 0 0 0 112175 11 0 0 25 0 1 0 161223419 105984000 24936 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606843 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10897/statm: 25875 24936 139 317 0 25554 0 Current children cumulated CPU time (s) 1121.86 Current children cumulated vsize (KiB) 103500 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 10900 /proc/meminfo: memFree=1717744/2055920 swapFree=4176832/4192956 [pid=10897] ppid=10895 vsize=103500 CPUtime=1181.84 /proc/10897/stat : 10897 (oree) R 10895 10897 10142 0 -1 4194304 26153 0 0 0 118173 11 0 0 25 0 1 0 161223419 105984000 24936 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10897/statm: 25875 24936 139 317 0 25554 0 Current children cumulated CPU time (s) 1181.84 Current children cumulated vsize (KiB) 103500 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 10900 /proc/meminfo: memFree=1717680/2055920 swapFree=4176832/4192956 [pid=10897] ppid=10895 vsize=103632 CPUtime=1241.82 /proc/10897/stat : 10897 (oree) R 10895 10897 10142 0 -1 4194304 26167 0 0 0 124170 12 0 0 25 0 1 0 161223419 106119168 24950 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10897/statm: 25908 24950 139 317 0 25587 0 Current children cumulated CPU time (s) 1241.82 Current children cumulated vsize (KiB) 103632 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 10900 /proc/meminfo: memFree=1717680/2055920 swapFree=4176832/4192956 [pid=10897] ppid=10895 vsize=103632 CPUtime=1301.8 /proc/10897/stat : 10897 (oree) R 10895 10897 10142 0 -1 4194304 26167 0 0 0 130168 12 0 0 25 0 1 0 161223419 106119168 24950 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10897/statm: 25908 24950 139 317 0 25587 0 Current children cumulated CPU time (s) 1301.8 Current children cumulated vsize (KiB) 103632 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 10900 /proc/meminfo: memFree=1717552/2055920 swapFree=4176832/4192956 [pid=10897] ppid=10895 vsize=103632 CPUtime=1361.77 /proc/10897/stat : 10897 (oree) R 10895 10897 10142 0 -1 4194304 26178 0 0 0 136165 12 0 0 25 0 1 0 161223419 106119168 24961 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10897/statm: 25908 24961 139 317 0 25587 0 Current children cumulated CPU time (s) 1361.77 Current children cumulated vsize (KiB) 103632 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.95 2/65 10900 /proc/meminfo: memFree=1717616/2055920 swapFree=4176832/4192956 [pid=10897] ppid=10895 vsize=103632 CPUtime=1421.75 /proc/10897/stat : 10897 (oree) R 10895 10897 10142 0 -1 4194304 26178 0 0 0 142163 12 0 0 25 0 1 0 161223419 106119168 24961 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10897/statm: 25908 24961 139 317 0 25587 0 Current children cumulated CPU time (s) 1421.75 Current children cumulated vsize (KiB) 103632 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 10900 /proc/meminfo: memFree=1717488/2055920 swapFree=4176832/4192956 [pid=10897] ppid=10895 vsize=103764 CPUtime=1481.73 /proc/10897/stat : 10897 (oree) R 10895 10897 10142 0 -1 4194304 26197 0 0 0 148161 12 0 0 25 0 1 0 161223419 106254336 24980 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606843 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10897/statm: 25941 24980 139 317 0 25620 0 Current children cumulated CPU time (s) 1481.73 Current children cumulated vsize (KiB) 103764 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 10900 /proc/meminfo: memFree=1717424/2055920 swapFree=4176832/4192956 [pid=10897] ppid=10895 vsize=103764 CPUtime=1541.7 /proc/10897/stat : 10897 (oree) R 10895 10897 10142 0 -1 4194304 26210 0 0 0 154158 12 0 0 25 0 1 0 161223419 106254336 24993 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606698 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10897/statm: 25941 24993 139 317 0 25620 0 Current children cumulated CPU time (s) 1541.7 Current children cumulated vsize (KiB) 103764 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 10900 /proc/meminfo: memFree=1717424/2055920 swapFree=4176832/4192956 [pid=10897] ppid=10895 vsize=103764 CPUtime=1601.68 /proc/10897/stat : 10897 (oree) R 10895 10897 10142 0 -1 4194304 26210 0 0 0 160156 12 0 0 25 0 1 0 161223419 106254336 24993 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10897/statm: 25941 24993 139 317 0 25620 0 Current children cumulated CPU time (s) 1601.68 Current children cumulated vsize (KiB) 103764 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 10900 /proc/meminfo: memFree=1717360/2055920 swapFree=4176832/4192956 [pid=10897] ppid=10895 vsize=103764 CPUtime=1661.66 /proc/10897/stat : 10897 (oree) R 10895 10897 10142 0 -1 4194304 26210 0 0 0 166154 12 0 0 25 0 1 0 161223419 106254336 24993 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10897/statm: 25941 24993 139 317 0 25620 0 Current children cumulated CPU time (s) 1661.66 Current children cumulated vsize (KiB) 103764 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 10900 /proc/meminfo: memFree=1717360/2055920 swapFree=4176832/4192956 [pid=10897] ppid=10895 vsize=103764 CPUtime=1721.63 /proc/10897/stat : 10897 (oree) R 10895 10897 10142 0 -1 4194304 26210 0 0 0 172151 12 0 0 25 0 1 0 161223419 106254336 24993 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10897/statm: 25941 24993 139 317 0 25620 0 Current children cumulated CPU time (s) 1721.63 Current children cumulated vsize (KiB) 103764 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 10900 /proc/meminfo: memFree=1717232/2055920 swapFree=4176832/4192956 [pid=10897] ppid=10895 vsize=103896 CPUtime=1781.61 /proc/10897/stat : 10897 (oree) R 10895 10897 10142 0 -1 4194304 26240 0 0 0 178149 12 0 0 25 0 1 0 161223419 106389504 25023 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606721 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10897/statm: 25974 25023 139 317 0 25653 0 Current children cumulated CPU time (s) 1781.61 Current children cumulated vsize (KiB) 103896 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 0.95 2/65 10900 /proc/meminfo: memFree=1717232/2055920 swapFree=4176832/4192956 [pid=10897] ppid=10895 vsize=103896 CPUtime=1800.01 /proc/10897/stat : 10897 (oree) R 10895 10897 10142 0 -1 4194304 26240 0 0 0 179989 12 0 0 25 0 1 0 161223419 106389504 25023 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10897/statm: 25974 25023 139 317 0 25653 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 103896 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.95 2/65 10900 /proc/meminfo: memFree=1717232/2055920 swapFree=4176832/4192956 [pid=10897] ppid=10895 vsize=103896 CPUtime=1800.01 /proc/10897/stat : 10897 (oree) R 10895 10897 10142 0 -1 4194304 26240 0 0 0 179989 12 0 0 25 0 1 0 161223419 106389504 25023 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10897/statm: 25974 25023 139 317 0 25653 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 103896 Child status: 0 Real time (s): 1800.8 CPU time (s): 1800.11 CPU user time (s): 1799.97 CPU system time (s): 0.146977 CPU usage (%): 99.9619 Max. virtual memory (cumulated for all children) (KiB): 103896 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.97 system time used= 0.146977 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 26256 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= 3090 runsolver used 1.2978 second user time and 3.68844 second system time The end
Begin job on node66 on Tue Apr 17 23:25:39 UTC 2007 IDJOB= 357034 IDBENCH= 1801 IDSOLVER= 172 FILE ID= node66/357034-1176852338 PBS_JOBID= 4590183 Free space on /tmp= 66435 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-mod011.opb COMMAND LINE= oree /tmp/evaluation/357034-1176852338/instance-357034-1176852338.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node66/watcher-357034-1176852338 -o ROOT/results/node66/solver-357034-1176852338 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357034-1176852338/instance-357034-1176852338.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 11ee19baa608345f86d8483767b8a181 RANDOM SEED= 556972765 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node66.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.281 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.281 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: 1817608 kB Buffers: 15332 kB Cached: 164968 kB SwapCached: 9828 kB Active: 32576 kB Inactive: 163528 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1817608 kB SwapTotal: 4192956 kB SwapFree: 4176832 kB Dirty: 11312 kB Writeback: 0 kB Mapped: 15668 kB Slab: 28256 kB Committed_AS: 753172 kB PageTables: 1376 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= 66435 MiB End job on node66 on Tue Apr 17 23:55:41 UTC 2007