Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.18 | 1800.78 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-greenbeb.opb |
MD5SUM | ebe0bf73b5f65c9fef014886519c9815 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 155020 |
Total number of constraints | 2675 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 2675 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 7172 |
Number of terms in the objective function | 14882 |
Biggest coefficient in the objective function | 536870912000000 |
Number of bits for the biggest coefficient in the objective function | 49 |
Sum of the numbers in the objective function | 12491747892670016 |
Number of bits of the sum of numbers in the objective function | 54 |
Biggest number in a constraint | 536870912000000 |
Number of bits of the biggest number in a constraint | 49 |
Biggest sum of numbers in a constraint | 24454743822989865 |
Number of bits of the biggest sum of numbers | 55 |
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... 3.99/4.02 c ...done 3.99/4.02 c #vars=155020 #constraints=4868 hasObjective=yes 4.79/4.85 c res. mode=mod 4.79/4.85 c VSIDS like heuristics 4.79/4.85 c complete search running 34.18/34.28 c restart after 401 decisions 39.67/39.78 c nbDecision=500 #constraints=5320 62.86/62.93 c restart after 801 decisions 76.25/76.32 c nbDecision=1000 #constraints=5798 114.94/115.06 c nbDecision=1500 #constraints=6300 117.24/117.31 c restart after 1601 decisions 118.94/119.00 c nbDecision=2000 #constraints=6343 121.04/121.17 c nbDecision=2500 #constraints=6367 123.24/123.34 c nbDecision=3000 #constraints=6391 124.14/124.20 c restart after 3201 decisions 125.34/125.50 c nbDecision=3500 #constraints=6405 127.54/127.65 c nbDecision=4000 #constraints=6416 129.74/129.82 c nbDecision=4500 #constraints=6428 131.84/131.99 c nbDecision=5000 #constraints=6434 134.04/134.15 c nbDecision=5500 #constraints=6439 136.24/136.32 c nbDecision=6000 #constraints=6442 137.94/138.07 c restart after 6401 decisions 138.34/138.48 c nbDecision=6500 #constraints=6444 140.53/140.66 c nbDecision=7000 #constraints=6450 142.73/142.83 c nbDecision=7500 #constraints=6452 144.93/145.01 c nbDecision=8000 #constraints=6458 147.03/147.18 c nbDecision=8500 #constraints=6461 149.23/149.33 c nbDecision=9000 #constraints=6464 151.33/151.49 c nbDecision=9500 #constraints=6466 153.53/153.65 c nbDecision=10000 #constraints=6470 155.73/155.82 c nbDecision=10500 #constraints=6475 157.94/158.04 c nbDecision=11000 #constraints=6482 160.14/160.21 c nbDecision=11500 #constraints=6484 162.24/162.40 c nbDecision=12000 #constraints=6492 164.44/164.57 c nbDecision=12500 #constraints=6495 165.74/165.88 c restart after 12801 decisions 166.64/166.71 c nbDecision=13000 #constraints=6497 168.74/168.88 c nbDecision=13500 #constraints=6501 170.94/171.04 c nbDecision=14000 #constraints=6506 173.14/173.20 c nbDecision=14500 #constraints=6509 175.24/175.37 c nbDecision=15000 #constraints=6520 177.44/177.57 c nbDecision=15500 #constraints=6538 179.63/179.76 c nbDecision=16000 #constraints=6543 181.83/181.94 c nbDecision=16500 #constraints=6549 184.03/184.12 c nbDecision=17000 #constraints=6551 186.13/186.28 c nbDecision=17500 #constraints=6553 188.33/188.44 c nbDecision=18000 #constraints=6556 190.53/190.60 c nbDecision=18500 #constraints=6558 192.63/192.76 c nbDecision=19000 #constraints=6560 194.83/194.92 c nbDecision=19500 #constraints=6561 196.93/197.09 c nbDecision=20000 #constraints=6563 199.13/199.26 c nbDecision=20500 #constraints=6565 201.33/201.44 c nbDecision=21000 #constraints=6567 203.53/203.61 c nbDecision=21500 #constraints=6569 205.63/205.79 c nbDecision=22000 #constraints=6576 207.83/207.96 c nbDecision=22500 #constraints=6584 210.03/210.12 c nbDecision=23000 #constraints=6589 212.13/212.28 c nbDecision=23500 #constraints=6591 214.33/214.45 c nbDecision=24000 #constraints=6599 216.53/216.61 c nbDecision=24500 #constraints=6601 218.62/218.78 c nbDecision=25000 #constraints=6603 220.83/220.95 c nbDecision=25500 #constraints=6605 221.32/221.40 c restart after 25601 decisions 223.02/223.18 c nbDecision=26000 #constraints=6607 225.22/225.35 c nbDecision=26500 #constraints=6608 227.42/227.52 c nbDecision=27000 #constraints=6616 229.52/229.68 c nbDecision=27500 #constraints=6618 231.72/231.84 c nbDecision=28000 #constraints=6621 233.92/234.00 c nbDecision=28500 #constraints=6623 236.02/236.18 c nbDecision=29000 #constraints=6628 238.22/238.38 c nbDecision=29500 #constraints=6630 240.42/240.56 c nbDecision=30000 #constraints=6632 242.62/242.74 c nbDecision=30500 #constraints=6634 244.82/244.92 c nbDecision=31000 #constraints=6636 246.92/247.09 c nbDecision=31500 #constraints=6641 249.12/249.26 c nbDecision=32000 #constraints=6648 251.32/251.42 c nbDecision=32500 #constraints=6650 253.42/253.58 c nbDecision=33000 #constraints=6652 255.62/255.74 c nbDecision=33500 #constraints=6654 257.82/257.94 c nbDecision=34000 #constraints=6656 260.02/260.11 c nbDecision=34500 #constraints=6658 262.11/262.30 c nbDecision=35000 #constraints=6661 264.31/264.47 c nbDecision=35500 #constraints=6663 266.51/266.63 c nbDecision=36000 #constraints=6665 268.61/268.80 c nbDecision=36500 #constraints=6669 270.81/270.95 c nbDecision=37000 #constraints=6671 273.01/273.11 c nbDecision=37500 #constraints=6673 275.11/275.28 c nbDecision=38000 #constraints=6678 277.31/277.45 c nbDecision=38500 #constraints=6680 279.51/279.63 c nbDecision=39000 #constraints=6686 281.71/281.82 c nbDecision=39500 #constraints=6695 283.91/284.00 c nbDecision=40000 #constraints=6702 286.01/286.17 c nbDecision=40500 #constraints=6705 288.21/288.33 c nbDecision=41000 #constraints=6710 290.31/290.48 c nbDecision=41500 #constraints=6713 292.51/292.63 c nbDecision=42000 #constraints=6715 294.61/294.79 c nbDecision=42500 #constraints=6719 296.81/297.00 c nbDecision=43000 #constraints=6722 299.01/299.18 c nbDecision=43500 #constraints=6732 301.21/301.35 c nbDecision=44000 #constraints=6735 303.41/303.52 c nbDecision=44500 #constraints=6739 305.50/305.69 c nbDecision=45000 #constraints=6744 307.70/307.86 c nbDecision=45500 #constraints=6761 309.90/310.02 c nbDecision=46000 #constraints=6765 312.00/312.17 c nbDecision=46500 #constraints=6770 314.20/314.33 c nbDecision=47000 #constraints=6774 316.30/316.49 c nbDecision=47500 #constraints=6780 318.50/318.66 c nbDecision=48000 #constraints=6783 320.70/320.83 c nbDecision=48500 #constraints=6786 322.90/323.00 c nbDecision=49000 #constraints=6790 325.00/325.17 c nbDecision=49500 #constraints=6793 327.20/327.32 c nbDecision=50000 #constraints=6797 329.30/329.49 c nbDecision=50500 #constraints=6807 331.50/331.64 c nbDecision=51000 #constraints=6811 332.40/332.51 c restart after 51201 decisions 333.60/333.78 c nbDecision=51500 #constraints=6813 335.80/335.97 c nbDecision=52000 #constraints=6815 338.00/338.17 c nbDecision=52500 #constraints=6825 340.19/340.36 c nbDecision=53000 #constraints=6827 342.39/342.55 c nbDecision=53500 #constraints=6830 344.59/344.73 c nbDecision=54000 #constraints=6832 346.79/346.91 c nbDecision=54500 #constraints=6834 348.89/349.08 c nbDecision=55000 #constraints=6836 351.09/351.25 c nbDecision=55500 #constraints=6838 353.29/353.42 c nbDecision=56000 #constraints=6839 355.39/355.59 c nbDecision=56500 #constraints=6847 357.59/357.78 c nbDecision=57000 #constraints=6851 359.79/359.97 c nbDecision=57500 #constraints=6858 361.98/362.15 c nbDecision=58000 #constraints=6864 364.18/364.33 c nbDecision=58500 #constraints=6868 366.28/366.49 c nbDecision=59000 #constraints=6872 368.48/368.66 c nbDecision=59500 #constraints=6880 370.68/370.82 c nbDecision=60000 #constraints=6884 372.78/372.98 c nbDecision=60500 #constraints=6890 374.98/375.16 c nbDecision=61000 #constraints=6893 377.18/377.33 c nbDecision=61500 #constraints=6896 379.28/379.50 c nbDecision=62000 #constraints=6898 381.48/381.67 c nbDecision=62500 #constraints=6901 383.68/383.84 c nbDecision=63000 #constraints=6903 385.88/386.01 c nbDecision=63500 #constraints=6912 387.98/388.16 c nbDecision=64000 #constraints=6916 390.18/390.31 c nbDecision=64500 #constraints=6918 392.28/392.47 c nbDecision=65000 #constraints=6921 394.47/394.62 c nbDecision=65500 #constraints=6926 396.57/396.79 c nbDecision=66000 #constraints=6929 398.77/398.96 c nbDecision=66500 #constraints=6933 400.97/401.14 c nbDecision=67000 #constraints=6939 403.17/403.31 c nbDecision=67500 #constraints=6942 405.27/405.47 c nbDecision=68000 #constraints=6944 407.47/407.62 c nbDecision=68500 #constraints=6948 409.57/409.78 c nbDecision=69000 #constraints=6951 411.77/411.93 c nbDecision=69500 #constraints=6954 413.87/414.07 c nbDecision=70000 #constraints=6956 416.07/416.24 c nbDecision=70500 #constraints=6963 418.27/418.41 c nbDecision=71000 #constraints=6967 420.37/420.58 c nbDecision=71500 #constraints=6970 422.57/422.75 c nbDecision=72000 #constraints=6973 424.77/424.92 c nbDecision=72500 #constraints=6976 426.87/427.07 c nbDecision=73000 #constraints=6979 429.06/429.22 c nbDecision=73500 #constraints=6982 431.16/431.37 c nbDecision=74000 #constraints=6985 433.36/433.53 c nbDecision=74500 #constraints=6989 435.56/435.73 c nbDecision=75000 #constraints=6999 437.76/437.90 c nbDecision=75500 #constraints=7006 439.86/440.07 c nbDecision=76000 #constraints=7011 442.06/442.25 c nbDecision=76500 #constraints=7015 444.26/444.42 c nbDecision=77000 #constraints=7018 446.36/446.57 c nbDecision=77500 #constraints=7021 448.56/448.72 c nbDecision=78000 #constraints=7024 450.66/450.88 c nbDecision=78500 #constraints=7028 452.86/453.03 c nbDecision=79000 #constraints=7031 455.06/455.21 c nbDecision=79500 #constraints=7035 457.16/457.39 c nbDecision=80000 #constraints=7039 459.36/459.56 c nbDecision=80500 #constraints=7042 461.55/461.73 c nbDecision=81000 #constraints=7046 463.75/463.92 c nbDecision=81500 #constraints=7050 465.85/466.08 c nbDecision=82000 #constraints=7056 468.05/468.25 c nbDecision=82500 #constraints=7060 470.25/470.41 c nbDecision=83000 #constraints=7068 472.35/472.56 c nbDecision=83500 #constraints=7076 474.55/474.71 c nbDecision=84000 #constraints=7080 476.65/476.88 c nbDecision=84500 #constraints=7088 478.85/479.05 c nbDecision=85000 #constraints=7093 481.05/481.22 c nbDecision=85500 #constraints=7097 483.15/483.39 c nbDecision=86000 #constraints=7102 485.35/485.56 c nbDecision=86500 #constraints=7106 487.55/487.71 c nbDecision=87000 #constraints=7111 489.65/489.87 c nbDecision=87500 #constraints=7116 491.85/492.02 c nbDecision=88000 #constraints=7120 493.94/494.18 c nbDecision=88500 #constraints=7130 496.14/496.34 c nbDecision=89000 #constraints=7136 498.34/498.51 c nbDecision=89500 #constraints=7142 500.44/500.68 c nbDecision=90000 #constraints=7148 502.64/502.85 c nbDecision=90500 #constraints=7155 504.84/505.02 c nbDecision=91000 #constraints=7161 506.94/507.18 c nbDecision=91500 #constraints=7173 509.14/509.33 c nbDecision=92000 #constraints=7179 511.24/511.48 c nbDecision=92500 #constraints=7186 513.44/513.63 c nbDecision=93000 #constraints=7192 516.14/516.34 c nbDecision=93500 #constraints=7233 518.34/518.55 c nbDecision=94000 #constraints=7240 520.53/520.75 c nbDecision=94500 #constraints=7247 522.74/522.95 c nbDecision=95000 #constraints=7251 524.94/525.17 c nbDecision=95500 #constraints=7269 527.14/527.35 c nbDecision=96000 #constraints=7278 529.34/529.51 c nbDecision=96500 #constraints=7281 531.44/531.68 c nbDecision=97000 #constraints=7287 533.74/533.99 c nbDecision=97500 #constraints=7322 535.94/536.19 c nbDecision=98000 #constraints=7323 538.24/538.40 c nbDecision=98500 #constraints=7328 540.44/540.64 c nbDecision=99000 #constraints=7336 542.63/542.84 c nbDecision=99500 #constraints=7338 544.83/545.05 c nbDecision=100000 #constraints=7340 547.03/547.23 c nbDecision=100500 #constraints=7342 549.23/549.42 c nbDecision=101000 #constraints=7345 551.43/551.60 c nbDecision=101500 #constraints=7347 553.53/553.79 c nbDecision=102000 #constraints=7349 555.33/555.56 c restart after 102401 decisions 555.73/555.98 c nbDecision=102500 #constraints=7357 557.93/558.19 c nbDecision=103000 #constraints=7358 560.23/560.42 c nbDecision=103500 #constraints=7372 562.43/562.63 c nbDecision=104000 #constraints=7374 564.63/564.84 c nbDecision=104500 #constraints=7384 566.83/567.02 c nbDecision=105000 #constraints=7389 569.12/569.34 c nbDecision=105500 #constraints=7418 571.32/571.54 c nbDecision=106000 #constraints=7420 573.52/573.74 c nbDecision=106500 #constraints=7425 575.72/575.93 c nbDecision=107000 #constraints=7429 577.92/578.14 c nbDecision=107500 #constraints=7436 580.12/580.36 c nbDecision=108000 #constraints=7439 582.32/582.57 c nbDecision=108500 #constraints=7441 584.52/584.78 c nbDecision=109000 #constraints=7443 586.72/586.98 c nbDecision=109500 #constraints=7445 589.02/589.20 c nbDecision=110000 #constraints=7450 591.12/591.39 c nbDecision=110500 #constraints=7456 593.41/593.60 c nbDecision=111000 #constraints=7459 595.51/595.79 c nbDecision=111500 #constraints=7462 597.81/598.00 c nbDecision=112000 #constraints=7466 600.01/600.20 c nbDecision=112500 #constraints=7469 602.21/602.40 c nbDecision=113000 #constraints=7471 604.41/604.60 c nbDecision=113500 #constraints=7474 606.51/606.79 c nbDecision=114000 #constraints=7476 608.71/608.98 c nbDecision=114500 #constraints=7482 610.91/611.15 c nbDecision=115000 #constraints=7486 613.11/613.33 c nbDecision=115500 #constraints=7491 615.31/615.50 c nbDecision=116000 #constraints=7494 617.41/617.69 c nbDecision=116500 #constraints=7497 619.61/619.88 c nbDecision=117000 #constraints=7500 621.91/622.16 c nbDecision=117500 #constraints=7524 624.11/624.36 c nbDecision=118000 #constraints=7525 626.31/626.56 c nbDecision=118500 #constraints=7531 628.61/628.83 c nbDecision=119000 #constraints=7554 630.81/631.07 c nbDecision=119500 #constraints=7565 633.00/633.28 c nbDecision=120000 #constraints=7567 635.20/635.48 c nbDecision=120500 #constraints=7569 637.40/637.70 c nbDecision=121000 #constraints=7571 639.70/639.92 c nbDecision=121500 #constraints=7575 641.90/642.13 c nbDecision=122000 #constraints=7580 644.10/644.37 c nbDecision=122500 #constraints=7585 646.30/646.57 c nbDecision=123000 #constraints=7587 648.50/648.78 c nbDecision=123500 #constraints=7592 650.70/650.98 c nbDecision=124000 #constraints=7595 652.90/653.18 c nbDecision=124500 #constraints=7601 655.10/655.38 c nbDecision=125000 #constraints=7606 657.30/657.59 c nbDecision=125500 #constraints=7611 659.61/659.88 c nbDecision=126000 #constraints=7633 661.91/662.13 c nbDecision=126500 #constraints=7640 664.11/664.36 c nbDecision=127000 #constraints=7642 666.31/666.56 c nbDecision=127500 #constraints=7647 668.61/668.82 c nbDecision=128000 #constraints=7663 670.80/671.05 c nbDecision=128500 #constraints=7668 673.00/673.27 c nbDecision=129000 #constraints=7677 675.30/675.52 c nbDecision=129500 #constraints=7688 677.50/677.73 c nbDecision=130000 #constraints=7690 679.70/679.95 c nbDecision=130500 #constraints=7696 681.90/682.16 c nbDecision=131000 #constraints=7700 684.20/684.42 c nbDecision=131500 #constraints=7713 686.39/686.62 c nbDecision=132000 #constraints=7716 688.69/688.95 c nbDecision=132500 #constraints=7742 690.89/691.19 c nbDecision=133000 #constraints=7755 693.09/693.39 c nbDecision=133500 #constraints=7757 695.39/695.61 c nbDecision=134000 #constraints=7761 697.59/697.83 c nbDecision=134500 #constraints=7763 699.89/700.10 c nbDecision=135000 #constraints=7776 702.08/702.33 c nbDecision=135500 #constraints=7781 704.27/704.58 c nbDecision=136000 #constraints=7791 706.66/706.97 c nbDecision=136500 #constraints=7813 708.86/709.16 c nbDecision=137000 #constraints=7816 711.06/711.37 c nbDecision=137500 #constraints=7824 713.26/713.59 c nbDecision=138000 #constraints=7833 715.45/715.78 c nbDecision=138500 #constraints=7837 717.64/717.96 c nbDecision=139000 #constraints=7842 720.04/720.35 c nbDecision=139500 #constraints=7866 722.34/722.60 c nbDecision=140000 #constraints=7868 724.54/724.83 c nbDecision=140500 #constraints=7870 726.93/727.23 c nbDecision=141000 #constraints=7899 729.22/729.53 c nbDecision=141500 #constraints=7917 731.41/731.77 c nbDecision=142000 #constraints=7922 733.61/733.96 c nbDecision=142500 #constraints=7924 735.81/736.18 c nbDecision=143000 #constraints=7935 738.01/738.37 c nbDecision=143500 #constraints=7938 740.21/740.56 c nbDecision=144000 #constraints=7942 742.41/742.75 c nbDecision=144500 #constraints=7945 744.60/744.94 c nbDecision=145000 #constraints=7948 746.80/747.11 c nbDecision=145500 #constraints=7952 748.90/749.28 c nbDecision=146000 #constraints=7963 751.10/751.45 c nbDecision=146500 #constraints=7967 753.30/753.61 c nbDecision=147000 #constraints=7970 755.39/755.79 c nbDecision=147500 #constraints=7974 757.59/757.98 c nbDecision=148000 #constraints=7977 759.79/760.16 c nbDecision=148500 #constraints=7980 761.99/762.34 c nbDecision=149000 #constraints=7983 764.19/764.55 c nbDecision=149500 #constraints=7987 766.38/766.75 c nbDecision=150000 #constraints=7990 768.68/769.04 c nbDecision=150500 #constraints=8004 770.88/771.29 c nbDecision=151000 #constraints=8012 773.08/773.48 c nbDecision=151500 #constraints=8014 775.28/775.68 c nbDecision=152000 #constraints=8018 777.58/777.92 c nbDecision=152500 #constraints=8027 779.78/780.16 c nbDecision=153000 #constraints=8033 781.98/782.37 c nbDecision=153500 #constraints=8037 784.18/784.59 c nbDecision=154000 #constraints=8043 786.48/786.82 c nbDecision=154500 #constraints=8046 788.68/789.01 c nbDecision=155000 #constraints=8047 790.87/791.20 c nbDecision=155500 #constraints=8048 793.07/793.41 c nbDecision=156000 #constraints=8051 795.27/795.60 c nbDecision=156500 #constraints=8054 797.47/797.84 c nbDecision=157000 #constraints=8057 799.67/800.07 c nbDecision=157500 #constraints=8062 801.97/802.32 c nbDecision=158000 #constraints=8086 804.17/804.56 c nbDecision=158500 #constraints=8093 806.37/806.75 c nbDecision=159000 #constraints=8096 808.57/808.94 c nbDecision=159500 #constraints=8101 810.77/811.17 c nbDecision=160000 #constraints=8110 812.97/813.36 c nbDecision=160500 #constraints=8113 815.17/815.57 c nbDecision=161000 #constraints=8119 817.47/817.82 c nbDecision=161500 #constraints=8127 819.67/820.06 c nbDecision=162000 #constraints=8130 821.97/822.30 c nbDecision=162500 #constraints=8132 824.17/824.52 c nbDecision=163000 #constraints=8133 826.36/826.73 c nbDecision=163500 #constraints=8138 828.56/828.91 c nbDecision=164000 #constraints=8141 830.76/831.10 c nbDecision=164500 #constraints=8150 832.86/833.27 c nbDecision=165000 #constraints=8154 835.06/835.45 c nbDecision=165500 #constraints=8157 837.26/837.63 c nbDecision=166000 #constraints=8159 839.46/839.83 c nbDecision=166500 #constraints=8164 841.66/842.02 c nbDecision=167000 #constraints=8166 843.86/844.22 c nbDecision=167500 #constraints=8169 846.06/846.40 c nbDecision=168000 #constraints=8175 848.16/848.57 c nbDecision=168500 #constraints=8179 850.36/850.74 c nbDecision=169000 #constraints=8183 852.56/852.94 c nbDecision=169500 #constraints=8186 854.76/855.11 c nbDecision=170000 #constraints=8189 856.96/857.31 c nbDecision=170500 #constraints=8195 859.06/859.50 c nbDecision=171000 #constraints=8200 861.26/861.68 c nbDecision=171500 #constraints=8203 863.45/863.88 c nbDecision=172000 #constraints=8209 865.65/866.06 c nbDecision=172500 #constraints=8212 867.85/868.23 c nbDecision=173000 #constraints=8215 870.05/870.41 c nbDecision=173500 #constraints=8219 872.25/872.60 c nbDecision=174000 #constraints=8234 874.35/874.76 c nbDecision=174500 #constraints=8238 876.55/876.94 c nbDecision=175000 #constraints=8242 878.75/879.12 c nbDecision=175500 #constraints=8246 880.95/881.31 c nbDecision=176000 #constraints=8250 883.15/883.50 c nbDecision=176500 #constraints=8260 885.25/885.68 c nbDecision=177000 #constraints=8265 887.46/887.85 c nbDecision=177500 #constraints=8270 889.65/890.01 c nbDecision=178000 #constraints=8274 891.76/892.17 c nbDecision=178500 #constraints=8279 893.96/894.34 c nbDecision=179000 #constraints=8283 896.16/896.51 c nbDecision=179500 #constraints=8288 898.26/898.70 c nbDecision=180000 #constraints=8293 900.46/900.88 c nbDecision=180500 #constraints=8298 902.66/903.08 c nbDecision=181000 #constraints=8314 904.86/905.26 c nbDecision=181500 #constraints=8324 907.05/907.43 c nbDecision=182000 #constraints=8335 909.15/909.59 c nbDecision=182500 #constraints=8340 911.35/911.75 c nbDecision=183000 #constraints=8345 913.85/914.23 c nbDecision=183500 #constraints=8383 916.05/916.46 c nbDecision=184000 #constraints=8385 918.25/918.69 c nbDecision=184500 #constraints=8388 920.55/920.93 c nbDecision=185000 #constraints=8393 922.74/923.17 c nbDecision=185500 #constraints=8409 924.94/925.38 c nbDecision=186000 #constraints=8416 927.14/927.58 c nbDecision=186500 #constraints=8421 929.34/929.78 c nbDecision=187000 #constraints=8426 931.54/931.97 c nbDecision=187500 #constraints=8430 933.74/934.16 c nbDecision=188000 #constraints=8434 935.94/936.38 c nbDecision=188500 #constraints=8442 938.14/938.59 c nbDecision=189000 #constraints=8448 940.44/940.81 c nbDecision=189500 #constraints=8453 942.64/943.02 c nbDecision=190000 #constraints=8460 944.84/945.26 c nbDecision=190500 #constraints=8480 947.04/947.45 c nbDecision=191000 #constraints=8488 949.23/949.62 c nbDecision=191500 #constraints=8494 951.43/951.81 c nbDecision=192000 #constraints=8500 953.73/954.12 c nbDecision=192500 #constraints=8516 955.93/956.35 c nbDecision=193000 #constraints=8525 958.23/958.61 c nbDecision=193500 #constraints=8534 960.43/960.82 c nbDecision=194000 #constraints=8542 962.63/963.05 c nbDecision=194500 #constraints=8548 964.83/965.25 c nbDecision=195000 #constraints=8552 967.03/967.45 c nbDecision=195500 #constraints=8556 969.33/969.74 c nbDecision=196000 #constraints=8578 971.53/971.96 c nbDecision=196500 #constraints=8589 973.72/974.17 c nbDecision=197000 #constraints=8604 976.02/976.40 c nbDecision=197500 #constraints=8613 978.22/978.62 c nbDecision=198000 #constraints=8623 980.42/980.86 c nbDecision=198500 #constraints=8628 982.72/983.12 c nbDecision=199000 #constraints=8634 984.92/985.39 c nbDecision=199500 #constraints=8645 987.22/987.61 c nbDecision=200000 #constraints=8652 989.43/989.88 c nbDecision=200500 #constraints=8670 991.63/992.10 c nbDecision=201000 #constraints=8679 993.83/994.29 c nbDecision=201500 #constraints=8683 996.13/996.53 c nbDecision=202000 #constraints=8691 998.33/998.78 c nbDecision=202500 #constraints=8700 1000.63/1001.05 c nbDecision=203000 #constraints=8709 1002.92/1003.30 c nbDecision=203500 #constraints=8714 1005.12/1005.55 c nbDecision=204000 #constraints=8716 1007.32/1007.76 c nbDecision=204500 #constraints=8723 1008.62/1009.09 c restart after 204801 decisions 1009.52/1009.98 c nbDecision=205000 #constraints=8729 1011.82/1012.23 c nbDecision=205500 #constraints=8731 1014.02/1014.48 c nbDecision=206000 #constraints=8733 1016.32/1016.74 c nbDecision=206500 #constraints=8735 1018.62/1019.00 c nbDecision=207000 #constraints=8736 1020.82/1021.29 c nbDecision=207500 #constraints=8739 1023.12/1023.56 c nbDecision=208000 #constraints=8741 1025.42/1025.83 c nbDecision=208500 #constraints=8743 1027.72/1028.10 c nbDecision=209000 #constraints=8747 1029.92/1030.38 c nbDecision=209500 #constraints=8749 1032.22/1032.62 c nbDecision=210000 #constraints=8751 1034.41/1034.87 c nbDecision=210500 #constraints=8753 1036.71/1037.19 c nbDecision=211000 #constraints=8769 1039.01/1039.45 c nbDecision=211500 #constraints=8773 1041.31/1041.72 c nbDecision=212000 #constraints=8781 1043.51/1043.95 c nbDecision=212500 #constraints=8784 1045.71/1046.17 c nbDecision=213000 #constraints=8787 1047.91/1048.37 c nbDecision=213500 #constraints=8789 1050.11/1050.56 c nbDecision=214000 #constraints=8791 1052.31/1052.79 c nbDecision=214500 #constraints=8794 1054.51/1054.98 c nbDecision=215000 #constraints=8796 1056.81/1057.22 c nbDecision=215500 #constraints=8801 1059.01/1059.45 c nbDecision=216000 #constraints=8803 1061.30/1061.70 c nbDecision=216500 #constraints=8806 1063.50/1063.94 c nbDecision=217000 #constraints=8810 1065.70/1066.16 c nbDecision=217500 #constraints=8813 1067.90/1068.39 c nbDecision=218000 #constraints=8826 1070.20/1070.61 c nbDecision=218500 #constraints=8834 1072.40/1072.82 c nbDecision=219000 #constraints=8837 1074.60/1075.03 c nbDecision=219500 #constraints=8841 1076.80/1077.25 c nbDecision=220000 #constraints=8844 1079.00/1079.49 c nbDecision=220500 #constraints=8848 1081.30/1081.71 c nbDecision=221000 #constraints=8851 1083.50/1083.94 c nbDecision=221500 #constraints=8855 1085.70/1086.17 c nbDecision=222000 #constraints=8859 1087.90/1088.38 c nbDecision=222500 #constraints=8863 1090.20/1090.61 c nbDecision=223000 #constraints=8880 1092.39/1092.83 c nbDecision=223500 #constraints=8886 1094.59/1095.06 c nbDecision=224000 #constraints=8891 1096.79/1097.29 c nbDecision=224500 #constraints=8896 1099.09/1099.51 c nbDecision=225000 #constraints=8901 1101.29/1101.74 c nbDecision=225500 #constraints=8906 1103.49/1103.97 c nbDecision=226000 #constraints=8911 1105.79/1106.21 c nbDecision=226500 #constraints=8919 1107.99/1108.41 c nbDecision=227000 #constraints=8924 1110.19/1110.63 c nbDecision=227500 #constraints=8929 1112.39/1112.84 c nbDecision=228000 #constraints=8934 1114.69/1115.14 c nbDecision=228500 #constraints=8944 1116.99/1117.46 c nbDecision=229000 #constraints=8967 1119.19/1119.69 c nbDecision=229500 #constraints=8971 1121.49/1121.99 c nbDecision=230000 #constraints=9000 1123.79/1124.22 c nbDecision=230500 #constraints=9006 1125.99/1126.47 c nbDecision=231000 #constraints=9016 1128.19/1128.67 c nbDecision=231500 #constraints=9021 1130.39/1130.87 c nbDecision=232000 #constraints=9024 1132.59/1133.07 c nbDecision=232500 #constraints=9029 1134.78/1135.27 c nbDecision=233000 #constraints=9036 1136.98/1137.50 c nbDecision=233500 #constraints=9041 1139.28/1139.71 c nbDecision=234000 #constraints=9047 1141.48/1141.93 c nbDecision=234500 #constraints=9054 1143.68/1144.17 c nbDecision=235000 #constraints=9059 1145.88/1146.38 c nbDecision=235500 #constraints=9066 1148.08/1148.60 c nbDecision=236000 #constraints=9079 1150.38/1150.81 c nbDecision=236500 #constraints=9086 1152.58/1153.00 c nbDecision=237000 #constraints=9092 1154.68/1155.20 c nbDecision=237500 #constraints=9096 1156.98/1157.44 c nbDecision=238000 #constraints=9105 1159.17/1159.70 c nbDecision=238500 #constraints=9107 1161.47/1161.97 c nbDecision=239000 #constraints=9117 1163.77/1164.20 c nbDecision=239500 #constraints=9125 1165.97/1166.43 c nbDecision=240000 #constraints=9144 1168.17/1168.62 c nbDecision=240500 #constraints=9149 1170.37/1170.83 c nbDecision=241000 #constraints=9162 1172.57/1173.02 c nbDecision=241500 #constraints=9167 1174.77/1175.26 c nbDecision=242000 #constraints=9174 1176.97/1177.49 c nbDecision=242500 #constraints=9184 1179.27/1179.73 c nbDecision=243000 #constraints=9193 1181.47/1181.96 c nbDecision=243500 #constraints=9199 1183.77/1184.26 c nbDecision=244000 #constraints=9217 1186.07/1186.50 c nbDecision=244500 #constraints=9226 1188.27/1188.71 c nbDecision=245000 #constraints=9230 1190.47/1190.94 c nbDecision=245500 #constraints=9234 1192.67/1193.18 c nbDecision=246000 #constraints=9240 1195.07/1195.51 c nbDecision=246500 #constraints=9257 1197.27/1197.77 c nbDecision=247000 #constraints=9268 1199.57/1200.02 c nbDecision=247500 #constraints=9273 1201.77/1202.27 c nbDecision=248000 #constraints=9278 1204.07/1204.51 c nbDecision=248500 #constraints=9284 1206.27/1206.75 c nbDecision=249000 #constraints=9288 1208.47/1208.97 c nbDecision=249500 #constraints=9289 1210.67/1211.19 c nbDecision=250000 #constraints=9297 1212.87/1213.39 c nbDecision=250500 #constraints=9300 1215.07/1215.58 c nbDecision=251000 #constraints=9303 1217.36/1217.81 c nbDecision=251500 #constraints=9305 1219.56/1220.04 c nbDecision=252000 #constraints=9320 1221.76/1222.23 c nbDecision=252500 #constraints=9323 1223.96/1224.45 c nbDecision=253000 #constraints=9329 1226.16/1226.63 c nbDecision=253500 #constraints=9332 1228.36/1228.81 c nbDecision=254000 #constraints=9336 1230.46/1230.98 c nbDecision=254500 #constraints=9341 1232.66/1233.15 c nbDecision=255000 #constraints=9344 1234.86/1235.32 c nbDecision=255500 #constraints=9347 1237.06/1237.52 c nbDecision=256000 #constraints=9351 1239.26/1239.71 c nbDecision=256500 #constraints=9354 1241.46/1241.90 c nbDecision=257000 #constraints=9359 1244.05/1244.50 c nbDecision=257500 #constraints=9394 1246.35/1246.88 c nbDecision=258000 #constraints=9410 1248.65/1249.14 c nbDecision=258500 #constraints=9413 1250.85/1251.39 c nbDecision=259000 #constraints=9416 1253.25/1253.74 c nbDecision=259500 #constraints=9433 1255.65/1256.18 c nbDecision=260000 #constraints=9450 1258.15/1258.63 c nbDecision=260500 #constraints=9470 1260.45/1260.98 c nbDecision=261000 #constraints=9481 1262.84/1263.35 c nbDecision=261500 #constraints=9495 1265.35/1265.83 c nbDecision=262000 #constraints=9516 1267.76/1268.22 c nbDecision=262500 #constraints=9533 1269.95/1270.46 c nbDecision=263000 #constraints=9539 1272.25/1272.73 c nbDecision=263500 #constraints=9561 1274.45/1274.94 c nbDecision=264000 #constraints=9565 1276.65/1277.16 c nbDecision=264500 #constraints=9568 1278.85/1279.39 c nbDecision=265000 #constraints=9573 1281.15/1281.61 c nbDecision=265500 #constraints=9577 1283.35/1283.81 c nbDecision=266000 #constraints=9580 1285.55/1286.03 c nbDecision=266500 #constraints=9588 1287.75/1288.22 c nbDecision=267000 #constraints=9592 1289.95/1290.42 c nbDecision=267500 #constraints=9596 1292.14/1292.61 c nbDecision=268000 #constraints=9600 1294.34/1294.80 c nbDecision=268500 #constraints=9604 1296.45/1296.99 c nbDecision=269000 #constraints=9607 1298.74/1299.20 c nbDecision=269500 #constraints=9610 1300.94/1301.41 c nbDecision=270000 #constraints=9614 1303.14/1303.63 c nbDecision=270500 #constraints=9630 1305.34/1305.85 c nbDecision=271000 #constraints=9644 1307.54/1308.03 c nbDecision=271500 #constraints=9650 1309.74/1310.21 c nbDecision=272000 #constraints=9654 1311.84/1312.39 c nbDecision=272500 #constraints=9657 1314.04/1314.56 c nbDecision=273000 #constraints=9661 1316.64/1317.16 c nbDecision=273500 #constraints=9692 1318.94/1319.48 c nbDecision=274000 #constraints=9695 1321.24/1321.78 c nbDecision=274500 #constraints=9697 1323.53/1324.08 c nbDecision=275000 #constraints=9699 1325.83/1326.38 c nbDecision=275500 #constraints=9703 1328.13/1328.64 c nbDecision=276000 #constraints=9707 1330.44/1330.96 c nbDecision=276500 #constraints=9719 1332.74/1333.27 c nbDecision=277000 #constraints=9729 1335.03/1335.52 c nbDecision=277500 #constraints=9733 1337.23/1337.78 c nbDecision=278000 #constraints=9737 1339.53/1340.04 c nbDecision=278500 #constraints=9740 1341.83/1342.31 c nbDecision=279000 #constraints=9744 1344.03/1344.58 c nbDecision=279500 #constraints=9753 1346.33/1346.83 c nbDecision=280000 #constraints=9758 1348.53/1349.04 c nbDecision=280500 #constraints=9763 1350.72/1351.24 c nbDecision=281000 #constraints=9769 1352.92/1353.44 c nbDecision=281500 #constraints=9774 1355.12/1355.69 c nbDecision=282000 #constraints=9779 1357.42/1357.95 c nbDecision=282500 #constraints=9783 1359.72/1360.22 c nbDecision=283000 #constraints=9786 1361.92/1362.48 c nbDecision=283500 #constraints=9790 1364.22/1364.76 c nbDecision=284000 #constraints=9804 1366.42/1366.99 c nbDecision=284500 #constraints=9813 1368.72/1369.21 c nbDecision=285000 #constraints=9824 1370.92/1371.41 c nbDecision=285500 #constraints=9829 1373.12/1373.63 c nbDecision=286000 #constraints=9836 1375.32/1375.84 c nbDecision=286500 #constraints=9842 1377.52/1378.07 c nbDecision=287000 #constraints=9854 1379.82/1380.30 c nbDecision=287500 #constraints=9865 1382.01/1382.51 c nbDecision=288000 #constraints=9876 1384.21/1384.74 c nbDecision=288500 #constraints=9887 1386.41/1386.98 c nbDecision=289000 #constraints=9894 1388.72/1389.25 c nbDecision=289500 #constraints=9906 1391.02/1391.51 c nbDecision=290000 #constraints=9919 1393.21/1393.77 c nbDecision=290500 #constraints=9924 1395.51/1396.04 c nbDecision=291000 #constraints=9932 1397.81/1398.30 c nbDecision=291500 #constraints=9938 1400.01/1400.54 c nbDecision=292000 #constraints=9946 1402.21/1402.77 c nbDecision=292500 #constraints=9955 1404.51/1405.04 c nbDecision=293000 #constraints=9965 1406.71/1407.29 c nbDecision=293500 #constraints=9981 1409.01/1409.59 c nbDecision=294000 #constraints=10008 1411.41/1411.91 c nbDecision=294500 #constraints=10022 1413.60/1414.17 c nbDecision=295000 #constraints=10029 1416.60/1417.13 c nbDecision=295500 #constraints=10101 1418.90/1419.44 c nbDecision=296000 #constraints=10103 1421.20/1421.76 c nbDecision=296500 #constraints=10105 1423.50/1424.06 c nbDecision=297000 #constraints=10107 1425.90/1426.46 c nbDecision=297500 #constraints=10118 1428.40/1428.92 c nbDecision=298000 #constraints=10135 1430.69/1431.21 c nbDecision=298500 #constraints=10137 1432.99/1433.51 c nbDecision=299000 #constraints=10140 1435.49/1436.07 c nbDecision=299500 #constraints=10166 1437.79/1438.37 c nbDecision=300000 #constraints=10168 1440.09/1440.68 c nbDecision=300500 #constraints=10170 1442.60/1443.19 c nbDecision=301000 #constraints=10187 1444.90/1445.46 c nbDecision=301500 #constraints=10188 1447.10/1447.69 c nbDecision=302000 #constraints=10193 1449.40/1449.93 c nbDecision=302500 #constraints=10197 1451.60/1452.16 c nbDecision=303000 #constraints=10201 1453.80/1454.40 c nbDecision=303500 #constraints=10210 1456.09/1456.64 c nbDecision=304000 #constraints=10213 1458.29/1458.85 c nbDecision=304500 #constraints=10218 1460.49/1461.06 c nbDecision=305000 #constraints=10224 1462.69/1463.27 c nbDecision=305500 #constraints=10230 1464.89/1465.49 c nbDecision=306000 #constraints=10238 1467.09/1467.68 c nbDecision=306500 #constraints=10243 1469.29/1469.87 c nbDecision=307000 #constraints=10248 1471.49/1472.09 c nbDecision=307500 #constraints=10254 1473.79/1474.36 c nbDecision=308000 #constraints=10264 1476.09/1476.62 c nbDecision=308500 #constraints=10271 1478.39/1478.92 c nbDecision=309000 #constraints=10301 1480.69/1481.20 c nbDecision=309500 #constraints=10313 1482.89/1483.48 c nbDecision=310000 #constraints=10322 1485.19/1485.75 c nbDecision=310500 #constraints=10334 1487.49/1488.01 c nbDecision=311000 #constraints=10341 1489.68/1490.29 c nbDecision=311500 #constraints=10351 1491.98/1492.58 c nbDecision=312000 #constraints=10366 1494.29/1494.88 c nbDecision=312500 #constraints=10381 1496.58/1497.13 c nbDecision=313000 #constraints=10387 1498.88/1499.43 c nbDecision=313500 #constraints=10395 1501.18/1501.71 c nbDecision=314000 #constraints=10399 1503.38/1503.99 c nbDecision=314500 #constraints=10421 1505.68/1506.29 c nbDecision=315000 #constraints=10426 1507.97/1508.55 c nbDecision=315500 #constraints=10435 1510.27/1510.82 c nbDecision=316000 #constraints=10443 1512.47/1513.07 c nbDecision=316500 #constraints=10455 1514.77/1515.34 c nbDecision=317000 #constraints=10471 1517.07/1517.61 c nbDecision=317500 #constraints=10474 1519.27/1519.84 c nbDecision=318000 #constraints=10483 1521.47/1522.04 c nbDecision=318500 #constraints=10491 1524.07/1524.63 c nbDecision=319000 #constraints=10520 1526.47/1527.02 c nbDecision=319500 #constraints=10535 1528.76/1529.38 c nbDecision=320000 #constraints=10557 1531.06/1531.60 c nbDecision=320500 #constraints=10564 1533.26/1533.80 c nbDecision=321000 #constraints=10567 1535.46/1536.01 c nbDecision=321500 #constraints=10570 1537.66/1538.24 c nbDecision=322000 #constraints=10574 1539.86/1540.46 c nbDecision=322500 #constraints=10577 1542.06/1542.67 c nbDecision=323000 #constraints=10579 1544.36/1544.90 c nbDecision=323500 #constraints=10582 1546.56/1547.12 c nbDecision=324000 #constraints=10585 1548.76/1549.32 c nbDecision=324500 #constraints=10588 1550.96/1551.53 c nbDecision=325000 #constraints=10592 1553.16/1553.73 c nbDecision=325500 #constraints=10594 1555.36/1555.96 c nbDecision=326000 #constraints=10601 1557.55/1558.18 c nbDecision=326500 #constraints=10604 1559.86/1560.42 c nbDecision=327000 #constraints=10618 1562.06/1562.65 c nbDecision=327500 #constraints=10622 1564.26/1564.87 c nbDecision=328000 #constraints=10625 1566.46/1567.07 c nbDecision=328500 #constraints=10627 1568.66/1569.27 c nbDecision=329000 #constraints=10630 1570.86/1571.47 c nbDecision=329500 #constraints=10634 1573.06/1573.66 c nbDecision=330000 #constraints=10641 1575.56/1576.14 c nbDecision=330500 #constraints=10659 1577.86/1578.42 c nbDecision=331000 #constraints=10681 1580.06/1580.68 c nbDecision=331500 #constraints=10688 1582.36/1582.93 c nbDecision=332000 #constraints=10692 1584.56/1585.17 c nbDecision=332500 #constraints=10696 1586.85/1587.41 c nbDecision=333000 #constraints=10703 1589.45/1590.07 c nbDecision=333500 #constraints=10737 1591.75/1592.36 c nbDecision=334000 #constraints=10745 1594.35/1594.96 c nbDecision=334500 #constraints=10789 1596.65/1597.26 c nbDecision=335000 #constraints=10791 1599.44/1600.00 c nbDecision=335500 #constraints=10820 1601.94/1602.59 c nbDecision=336000 #constraints=10843 1604.35/1604.96 c nbDecision=336500 #constraints=10869 1606.64/1607.23 c nbDecision=337000 #constraints=10877 1608.94/1609.50 c nbDecision=337500 #constraints=10885 1611.34/1611.94 c nbDecision=338000 #constraints=10913 1614.04/1614.60 c nbDecision=338500 #constraints=10940 1616.34/1616.94 c nbDecision=339000 #constraints=10944 1618.64/1619.25 c nbDecision=339500 #constraints=10951 1621.43/1622.07 c nbDecision=340000 #constraints=10975 1623.94/1624.59 c nbDecision=340500 #constraints=10999 1626.44/1627.00 c nbDecision=341000 #constraints=11009 1628.64/1629.29 c nbDecision=341500 #constraints=11014 1631.04/1631.60 c nbDecision=342000 #constraints=11018 1633.64/1634.29 c nbDecision=342500 #constraints=11051 1636.03/1636.61 c nbDecision=343000 #constraints=11053 1638.34/1638.95 c nbDecision=343500 #constraints=11059 1640.73/1641.31 c nbDecision=344000 #constraints=11066 1643.13/1643.74 c nbDecision=344500 #constraints=11078 1645.43/1646.07 c nbDecision=345000 #constraints=11082 1647.73/1648.39 c nbDecision=345500 #constraints=11087 1650.03/1650.68 c nbDecision=346000 #constraints=11090 1652.33/1652.96 c nbDecision=346500 #constraints=11101 1654.63/1655.24 c nbDecision=347000 #constraints=11104 1656.93/1657.51 c nbDecision=347500 #constraints=11109 1659.13/1659.79 c nbDecision=348000 #constraints=11114 1661.43/1662.06 c nbDecision=348500 #constraints=11119 1663.73/1664.34 c nbDecision=349000 #constraints=11126 1666.02/1666.60 c nbDecision=349500 #constraints=11131 1668.82/1669.44 c nbDecision=350000 #constraints=11168 1671.22/1671.89 c nbDecision=350500 #constraints=11180 1673.92/1674.58 c nbDecision=351000 #constraints=11204 1676.33/1676.98 c nbDecision=351500 #constraints=11215 1678.93/1679.58 c nbDecision=352000 #constraints=11233 1681.23/1681.90 c nbDecision=352500 #constraints=11235 1684.12/1684.70 c nbDecision=353000 #constraints=11263 1686.62/1687.26 c nbDecision=353500 #constraints=11281 1689.12/1689.71 c nbDecision=354000 #constraints=11294 1691.62/1692.20 c nbDecision=354500 #constraints=11311 1694.12/1694.76 c nbDecision=355000 #constraints=11335 1696.62/1697.25 c nbDecision=355500 #constraints=11346 1699.01/1699.60 c nbDecision=356000 #constraints=11349 1701.41/1702.08 c nbDecision=356500 #constraints=11361 1704.01/1704.68 c nbDecision=357000 #constraints=11381 1706.52/1707.15 c nbDecision=357500 #constraints=11395 1709.11/1709.72 c nbDecision=358000 #constraints=11419 1711.31/1711.99 c nbDecision=358500 #constraints=11425 1713.62/1714.29 c nbDecision=359000 #constraints=11429 1716.02/1716.60 c nbDecision=359500 #constraints=11447 1719.12/1719.79 c nbDecision=360000 #constraints=11487 1721.62/1722.26 c nbDecision=360500 #constraints=11501 1724.41/1725.01 c nbDecision=361000 #constraints=11529 1726.71/1727.36 c nbDecision=361500 #constraints=11534 1729.01/1729.69 c nbDecision=362000 #constraints=11539 1731.71/1732.33 c nbDecision=362500 #constraints=11562 1734.31/1734.92 c nbDecision=363000 #constraints=11580 1736.81/1737.41 c nbDecision=363500 #constraints=11595 1739.31/1739.95 c nbDecision=364000 #constraints=11611 1741.91/1742.52 c nbDecision=364500 #constraints=11630 1744.61/1745.23 c nbDecision=365000 #constraints=11655 1746.81/1747.49 c nbDecision=365500 #constraints=11657 1749.11/1749.79 c nbDecision=366000 #constraints=11676 1752.21/1752.82 c nbDecision=366500 #constraints=11714 1754.80/1755.50 c nbDecision=367000 #constraints=11741 1757.20/1757.83 c nbDecision=367500 #constraints=11745 1759.50/1760.11 c nbDecision=368000 #constraints=11753 1762.20/1762.80 c nbDecision=368500 #constraints=11784 1764.61/1765.25 c nbDecision=369000 #constraints=11799 1767.11/1767.73 c nbDecision=369500 #constraints=11816 1769.40/1770.02 c nbDecision=370000 #constraints=11820 1771.70/1772.31 c nbDecision=370500 #constraints=11831 1773.90/1774.57 c nbDecision=371000 #constraints=11840 1776.20/1776.85 c nbDecision=371500 #constraints=11851 1778.50/1779.17 c nbDecision=372000 #constraints=11872 1780.80/1781.43 c nbDecision=372500 #constraints=11884 1783.29/1783.94 c nbDecision=373000 #constraints=11904 1786.19/1786.85 c nbDecision=373500 #constraints=11935 1789.10/1789.70 c nbDecision=374000 #constraints=11957 1791.59/1792.23 c nbDecision=374500 #constraints=11969 1794.29/1794.91 c nbDecision=375000 #constraints=11989 1796.99/1797.61 c nbDecision=375500 #constraints=12008 1799.49/1800.10 c nbDecision=376000 #constraints=12018 1800.09/1800.70 Received signal 15 1800.09/1800.71 1800.09/1800.71 s UNKNOWN 1800.09/1800.71 1800.09/1800.71 c user time= 1799.83 s 1800.09/1800.71 c system time= 0.277957 s 1800.09/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/node68/watcher-357312-1176994159 -o ROOT/results/node68/solver-357312-1176994159 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357312-1176994159/instance-357312-1176994159.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.91 0.97 0.93 3/64 23124 /proc/meminfo: memFree=1382256/2055920 swapFree=4181952/4192956 [pid=23124] ppid=23122 vsize=1468 CPUtime=0 /proc/23124/stat : 23124 (oree) R 23122 23124 22068 0 -1 4194304 178 0 0 0 0 0 0 0 18 0 1 0 175405528 1503232 160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134830955 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23124/statm: 367 160 127 317 0 46 0 [startup+0.0175029 s] /proc/loadavg: 0.91 0.97 0.93 3/64 23124 /proc/meminfo: memFree=1382256/2055920 swapFree=4181952/4192956 [pid=23124] ppid=23122 vsize=1752 CPUtime=0.01 /proc/23124/stat : 23124 (oree) R 23122 23124 22068 0 -1 4194304 231 0 0 0 1 0 0 0 18 0 1 0 175405528 1794048 213 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23124/statm: 438 213 127 317 0 117 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1752 [startup+0.10151 s] /proc/loadavg: 0.91 0.97 0.93 3/64 23124 /proc/meminfo: memFree=1382256/2055920 swapFree=4181952/4192956 [pid=23124] ppid=23122 vsize=2724 CPUtime=0.09 /proc/23124/stat : 23124 (oree) R 23122 23124 22068 0 -1 4194304 505 0 0 0 9 0 0 0 18 0 1 0 175405528 2789376 454 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134569648 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23124/statm: 681 455 131 317 0 360 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2724 [startup+0.301527 s] /proc/loadavg: 0.91 0.97 0.93 3/64 23124 /proc/meminfo: memFree=1382256/2055920 swapFree=4181952/4192956 [pid=23124] ppid=23122 vsize=6156 CPUtime=0.29 /proc/23124/stat : 23124 (oree) R 23122 23124 22068 0 -1 4194304 1366 0 0 0 29 0 0 0 19 0 1 0 175405528 6303744 1315 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23124/statm: 1539 1315 131 317 0 1218 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6156 [startup+0.701564 s] /proc/loadavg: 0.91 0.97 0.93 3/64 23124 /proc/meminfo: memFree=1382256/2055920 swapFree=4181952/4192956 [pid=23124] ppid=23122 vsize=12864 CPUtime=0.69 /proc/23124/stat : 23124 (oree) R 23122 23124 22068 0 -1 4194304 3003 0 0 0 67 2 0 0 22 0 1 0 175405528 13172736 2952 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23124/statm: 3216 2952 131 317 0 2895 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12864 [startup+1.50163 s] /proc/loadavg: 0.91 0.97 0.93 2/65 23125 /proc/meminfo: memFree=1366120/2055920 swapFree=4181952/4192956 [pid=23124] ppid=23122 vsize=25508 CPUtime=1.49 /proc/23124/stat : 23124 (oree) R 23122 23124 22068 0 -1 4194304 5897 0 0 0 146 3 0 0 25 0 1 0 175405528 26120192 5846 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134828791 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23124/statm: 6377 5846 131 317 0 6056 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 25508 [startup+3.10178 s] /proc/loadavg: 0.91 0.97 0.93 2/65 23125 /proc/meminfo: memFree=1350056/2055920 swapFree=4181952/4192956 [pid=23124] ppid=23122 vsize=50764 CPUtime=3.09 /proc/23124/stat : 23124 (oree) R 23122 23124 22068 0 -1 4194304 11947 0 0 0 302 7 0 0 25 0 1 0 175405528 51982336 11896 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23124/statm: 12691 11897 131 317 0 12370 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 50764 [startup+6.30107 s] /proc/loadavg: 0.92 0.97 0.93 2/65 23125 /proc/meminfo: memFree=1297640/2055920 swapFree=4181952/4192956 [pid=23124] ppid=23122 vsize=89112 CPUtime=6.28 /proc/23124/stat : 23124 (oree) R 23122 23124 22068 0 -1 4194304 21323 0 0 0 617 11 0 0 25 0 1 0 175405528 91250688 21238 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23124/statm: 22278 21238 139 317 0 21957 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 89112 [startup+12.7016 s] /proc/loadavg: 0.93 0.97 0.93 2/65 23125 /proc/meminfo: memFree=1297448/2055920 swapFree=4181952/4192956 [pid=23124] ppid=23122 vsize=89244 CPUtime=12.68 /proc/23124/stat : 23124 (oree) R 23122 23124 22068 0 -1 4194304 21338 0 0 0 1257 11 0 0 25 0 1 0 175405528 91385856 21253 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23124/statm: 22311 21253 139 317 0 21990 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 89244 [startup+25.5018 s] /proc/loadavg: 0.94 0.97 0.93 2/65 23125 /proc/meminfo: memFree=1297200/2055920 swapFree=4181952/4192956 [pid=23124] ppid=23122 vsize=89636 CPUtime=25.49 /proc/23124/stat : 23124 (oree) R 23122 23124 22068 0 -1 4194304 21447 0 0 0 2537 12 0 0 25 0 1 0 175405528 91787264 21362 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23124/statm: 22409 21362 139 317 0 22088 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 89636 [startup+51.1011 s] /proc/loadavg: 0.96 0.97 0.93 2/65 23125 /proc/meminfo: memFree=1296432/2055920 swapFree=4181952/4192956 [pid=23124] ppid=23122 vsize=90428 CPUtime=51.06 /proc/23124/stat : 23124 (oree) R 23122 23124 22068 0 -1 4194304 21648 0 0 0 5093 13 0 0 25 0 1 0 175405528 92598272 21563 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23124/statm: 22607 21563 139 317 0 22286 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 90428 [startup+102.305 s] /proc/loadavg: 0.98 0.97 0.93 2/65 23125 /proc/meminfo: memFree=1294960/2055920 swapFree=4181952/4192956 [pid=23124] ppid=23122 vsize=92004 CPUtime=102.25 /proc/23124/stat : 23124 (oree) R 23122 23124 22068 0 -1 4194304 22022 0 0 0 10212 13 0 0 25 0 1 0 175405528 94212096 21937 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602739 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23124/statm: 23001 21937 139 317 0 22680 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 92004 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.93 2/65 23125 /proc/meminfo: memFree=1293616/2055920 swapFree=4181952/4192956 [pid=23124] ppid=23122 vsize=93184 CPUtime=162.24 /proc/23124/stat : 23124 (oree) R 23122 23124 22068 0 -1 4194304 22339 0 0 0 16210 14 0 0 25 0 1 0 175405528 95420416 22254 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384531 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23124/statm: 23296 22254 139 317 0 22975 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 93184 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.93 2/65 23125 /proc/meminfo: memFree=1292848/2055920 swapFree=4181952/4192956 [pid=23124] ppid=23122 vsize=93980 CPUtime=222.22 /proc/23124/stat : 23124 (oree) R 23122 23124 22068 0 -1 4194304 22515 0 0 0 22208 14 0 0 25 0 1 0 175405528 96235520 22430 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23124/statm: 23495 22430 139 317 0 23174 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 93980 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.93 2/65 23125 /proc/meminfo: memFree=1292208/2055920 swapFree=4181952/4192956 [pid=23124] ppid=23122 vsize=94512 CPUtime=282.21 /proc/23124/stat : 23124 (oree) R 23122 23124 22068 0 -1 4194304 22673 0 0 0 28207 14 0 0 25 0 1 0 175405528 96780288 22588 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23124/statm: 23628 22588 139 317 0 23307 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 94512 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.93 2/65 23125 /proc/meminfo: memFree=1291376/2055920 swapFree=4181952/4192956 [pid=23124] ppid=23122 vsize=95300 CPUtime=342.19 /proc/23124/stat : 23124 (oree) R 23122 23124 22068 0 -1 4194304 22872 0 0 0 34205 14 0 0 25 0 1 0 175405528 97587200 22787 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23124/statm: 23825 22787 139 317 0 23504 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 95300 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.93 2/65 23125 /proc/meminfo: memFree=1290864/2055920 swapFree=4181952/4192956 [pid=23124] ppid=23122 vsize=95820 CPUtime=402.17 /proc/23124/stat : 23124 (oree) R 23122 23124 22068 0 -1 4194304 23009 0 0 0 40203 14 0 0 25 0 1 0 175405528 98119680 22924 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385189 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23124/statm: 23955 22924 139 317 0 23634 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 95820 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.93 2/65 23125 /proc/meminfo: memFree=1289968/2055920 swapFree=4181952/4192956 [pid=23124] ppid=23122 vsize=96740 CPUtime=462.15 /proc/23124/stat : 23124 (oree) R 23122 23124 22068 0 -1 4194304 23230 0 0 0 46201 14 0 0 25 0 1 0 175405528 99061760 23145 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606843 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23124/statm: 24185 23145 139 317 0 23864 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 96740 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.93 2/65 23125 /proc/meminfo: memFree=1287856/2055920 swapFree=4181952/4192956 [pid=23124] ppid=23122 vsize=98956 CPUtime=522.14 /proc/23124/stat : 23124 (oree) R 23122 23124 22068 0 -1 4194304 23794 0 0 0 52199 15 0 0 25 0 1 0 175405528 101330944 23709 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384569 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23124/statm: 24739 23709 170 317 0 24418 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 98956 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.93 2/65 23125 /proc/meminfo: memFree=1285616/2055920 swapFree=4181952/4192956 [pid=23124] ppid=23122 vsize=101212 CPUtime=582.12 /proc/23124/stat : 23124 (oree) R 23122 23124 22068 0 -1 4194304 24355 0 0 0 58197 15 0 0 25 0 1 0 175405528 103641088 24270 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606877 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23124/statm: 25303 24270 170 317 0 24982 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 101212 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.93 2/65 23125 /proc/meminfo: memFree=1284400/2055920 swapFree=4181952/4192956 [pid=23124] ppid=23122 vsize=102536 CPUtime=642.11 /proc/23124/stat : 23124 (oree) R 23122 23124 22068 0 -1 4194304 24662 0 0 0 64196 15 0 0 25 0 1 0 175405528 104996864 24577 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606847 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23124/statm: 25634 24577 170 317 0 25313 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 102536 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.93 2/65 23323 /proc/meminfo: memFree=1274864/2055920 swapFree=4181952/4192956 [pid=23124] ppid=23122 vsize=112040 CPUtime=881.95 /proc/23124/stat : 23124 (oree) R 23122 23124 22068 0 -1 4194304 26997 0 0 0 88178 17 0 0 25 0 1 0 175405528 114728960 26912 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135194613 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23124/statm: 28010 26912 170 317 0 27689 0 Current children cumulated CPU time (s) 881.95 Current children cumulated vsize (KiB) 112040 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.93 2/65 23323 /proc/meminfo: memFree=1273072/2055920 swapFree=4181952/4192956 [pid=23124] ppid=23122 vsize=113984 CPUtime=941.94 /proc/23124/stat : 23124 (oree) R 23122 23124 22068 0 -1 4194304 27448 0 0 0 94176 18 0 0 25 0 1 0 175405528 116719616 27363 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23124/statm: 28496 27363 170 317 0 28175 0 Current children cumulated CPU time (s) 941.94 Current children cumulated vsize (KiB) 113984 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.93 2/65 23323 /proc/meminfo: memFree=1270640/2055920 swapFree=4181952/4192956 [pid=23124] ppid=23122 vsize=116432 CPUtime=1001.92 /proc/23124/stat : 23124 (oree) R 23122 23124 22068 0 -1 4194304 28064 0 0 0 100173 19 0 0 25 0 1 0 175405528 119226368 27979 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606871 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23124/statm: 29108 27979 170 317 0 28787 0 Current children cumulated CPU time (s) 1001.92 Current children cumulated vsize (KiB) 116432 [startup+1062.3 s] /proc/loadavg: 1.04 0.99 0.93 2/65 23323 /proc/meminfo: memFree=1269872/2055920 swapFree=4181952/4192956 [pid=23124] ppid=23122 vsize=117356 CPUtime=1061.9 /proc/23124/stat : 23124 (oree) R 23122 23124 22068 0 -1 4194304 28272 0 0 0 106171 19 0 0 25 0 1 0 175405528 120172544 28187 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606670 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23124/statm: 29339 28187 170 317 0 29018 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 117356 [startup+1122.3 s] /proc/loadavg: 1.05 1.00 0.94 2/65 23323 /proc/meminfo: memFree=1268528/2055920 swapFree=4181952/4192956 [pid=23124] ppid=23122 vsize=118672 CPUtime=1121.89 /proc/23124/stat : 23124 (oree) R 23122 23124 22068 0 -1 4194304 28610 0 0 0 112170 19 0 0 25 0 1 0 175405528 121520128 28525 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23124/statm: 29668 28525 170 317 0 29347 0 Current children cumulated CPU time (s) 1121.89 Current children cumulated vsize (KiB) 118672 [startup+1182.3 s] /proc/loadavg: 1.05 1.01 0.94 2/65 23323 /proc/meminfo: memFree=1266864/2055920 swapFree=4181952/4192956 [pid=23124] ppid=23122 vsize=120436 CPUtime=1181.87 /proc/23124/stat : 23124 (oree) R 23122 23124 22068 0 -1 4194304 29039 0 0 0 118168 19 0 0 25 0 1 0 175405528 123326464 28954 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385264 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23124/statm: 30109 28954 170 317 0 29788 0 Current children cumulated CPU time (s) 1181.87 Current children cumulated vsize (KiB) 120436 [startup+1242.3 s] /proc/loadavg: 1.02 1.01 0.94 2/65 23323 /proc/meminfo: memFree=1265584/2055920 swapFree=4181952/4192956 [pid=23124] ppid=23122 vsize=121740 CPUtime=1241.86 /proc/23124/stat : 23124 (oree) R 23122 23124 22068 0 -1 4194304 29350 0 0 0 124166 20 0 0 25 0 1 0 175405528 124661760 29265 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384524 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23124/statm: 30435 29265 170 317 0 30114 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 121740 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 23323 /proc/meminfo: memFree=1260144/2055920 swapFree=4181952/4192956 [pid=23124] ppid=23122 vsize=127416 CPUtime=1301.85 /proc/23124/stat : 23124 (oree) R 23122 23124 22068 0 -1 4194304 30739 0 0 0 130164 21 0 0 25 0 1 0 175405528 130473984 30589 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23124/statm: 31854 30589 170 317 0 31533 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 127416 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 23323 /proc/meminfo: memFree=1257776/2055920 swapFree=4181952/4192956 [pid=23124] ppid=23122 vsize=129900 CPUtime=1361.82 /proc/23124/stat : 23124 (oree) R 23122 23124 22068 0 -1 4194304 31343 0 0 0 136161 21 0 0 25 0 1 0 175405528 133017600 31193 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384506 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23124/statm: 32475 31193 170 317 0 32154 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 129900 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.94 2/65 23323 /proc/meminfo: memFree=1253808/2055920 swapFree=4181952/4192956 [pid=23124] ppid=23122 vsize=134180 CPUtime=1421.8 /proc/23124/stat : 23124 (oree) R 23122 23124 22068 0 -1 4194304 32325 0 0 0 142159 21 0 0 25 0 1 0 175405528 137400320 32175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23124/statm: 33545 32175 170 317 0 33224 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 134180 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 23323 /proc/meminfo: memFree=1251568/2055920 swapFree=4181952/4192956 [pid=23124] ppid=23122 vsize=136560 CPUtime=1481.79 /proc/23124/stat : 23124 (oree) R 23122 23124 22068 0 -1 4194304 32893 0 0 0 148157 22 0 0 25 0 1 0 175405528 139837440 32743 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23124/statm: 34140 32743 170 317 0 33819 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 136560 [startup+1542.3 s] /proc/loadavg: 1.07 1.02 0.95 2/65 23323 /proc/meminfo: memFree=1249008/2055920 swapFree=4181952/4192956 [pid=23124] ppid=23122 vsize=138936 CPUtime=1541.76 /proc/23124/stat : 23124 (oree) R 23122 23124 22068 0 -1 4194304 33526 0 0 0 154154 22 0 0 25 0 1 0 175405528 142270464 33376 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23124/statm: 34734 33376 170 317 0 34413 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 138936 [startup+1602.3 s] /proc/loadavg: 1.02 1.01 0.95 2/65 23323 /proc/meminfo: memFree=1243120/2055920 swapFree=4181952/4192956 [pid=23124] ppid=23122 vsize=146160 CPUtime=1601.74 /proc/23124/stat : 23124 (oree) R 23122 23124 22068 0 -1 4194304 35032 0 0 0 160151 23 0 0 25 0 1 0 175405528 149667840 34882 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23124/statm: 36540 34882 170 317 0 36219 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 146160 [startup+1662.3 s] /proc/loadavg: 1.01 1.00 0.95 2/65 23323 /proc/meminfo: memFree=1237808/2055920 swapFree=4181952/4192956 [pid=23124] ppid=23122 vsize=150856 CPUtime=1661.73 /proc/23124/stat : 23124 (oree) R 23122 23124 22068 0 -1 4194304 36298 0 0 0 166149 24 0 0 25 0 1 0 175405528 154476544 36148 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23124/statm: 37714 36148 170 317 0 37393 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 150856 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 23323 /proc/meminfo: memFree=1230576/2055920 swapFree=4181952/4192956 [pid=23124] ppid=23122 vsize=158464 CPUtime=1721.72 /proc/23124/stat : 23124 (oree) R 23122 23124 22068 0 -1 4194304 38116 0 0 0 172146 26 0 0 25 0 1 0 175405528 162267136 37966 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23124/statm: 39616 37966 170 317 0 39295 0 Current children cumulated CPU time (s) 1721.72 Current children cumulated vsize (KiB) 158464 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 23323 /proc/meminfo: memFree=1222640/2055920 swapFree=4181952/4192956 [pid=23124] ppid=23122 vsize=167476 CPUtime=1781.7 /proc/23124/stat : 23124 (oree) R 23122 23124 22068 0 -1 4194304 40086 0 0 0 178143 27 0 0 25 0 1 0 175405528 171495424 39936 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606691 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23124/statm: 41869 39936 170 317 0 41548 0 Current children cumulated CPU time (s) 1781.7 Current children cumulated vsize (KiB) 167476 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 0.95 2/65 23323 /proc/meminfo: memFree=1219632/2055920 swapFree=4181952/4192956 [pid=23124] ppid=23122 vsize=171060 CPUtime=1800.09 /proc/23124/stat : 23124 (oree) R 23122 23124 22068 0 -1 4194304 40839 0 0 0 179982 27 0 0 25 0 1 0 175405528 175165440 40689 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23124/statm: 42765 40689 170 317 0 42444 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 171060 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 23323 /proc/meminfo: memFree=1219632/2055920 swapFree=4181952/4192956 [pid=23124] ppid=23122 vsize=171060 CPUtime=1800.09 /proc/23124/stat : 23124 (oree) R 23122 23124 22068 0 -1 4194304 40839 0 0 0 179982 27 0 0 25 0 1 0 175405528 175165440 40689 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23124/statm: 42765 40689 170 317 0 42444 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 171060 Child status: 0 Real time (s): 1800.78 CPU time (s): 1800.18 CPU user time (s): 1799.87 CPU system time (s): 0.303953 CPU usage (%): 99.9665 Max. virtual memory (cumulated for all children) (KiB): 171060 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.87 system time used= 0.303953 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 40855 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= 3312 runsolver used 1.3478 second user time and 3.69744 second system time The end
Begin job on node68 on Thu Apr 19 14:49:20 UTC 2007 IDJOB= 357312 IDBENCH= 2383 IDSOLVER= 172 FILE ID= node68/357312-1176994159 PBS_JOBID= 4630417 Free space on /tmp= 66312 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-greenbeb.opb COMMAND LINE= oree /tmp/evaluation/357312-1176994159/instance-357312-1176994159.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node68/watcher-357312-1176994159 -o ROOT/results/node68/solver-357312-1176994159 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357312-1176994159/instance-357312-1176994159.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= ebe0bf73b5f65c9fef014886519c9815 RANDOM SEED= 536541030 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node68.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.216 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.216 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: 1382664 kB Buffers: 29700 kB Cached: 570216 kB SwapCached: 4740 kB Active: 94600 kB Inactive: 516896 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1382664 kB SwapTotal: 4192956 kB SwapFree: 4181952 kB Dirty: 15556 kB Writeback: 0 kB Mapped: 15736 kB Slab: 47828 kB Committed_AS: 2744772 kB PageTables: 1380 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= 66312 MiB End job on node68 on Thu Apr 19 15:19:23 UTC 2007