Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.31 | 1801.13 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-maros-r7.opb |
MD5SUM | 0981750c20a5ad85ded6bb04bf23d130 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 10442014720 |
Best CPU time to get the best result obtained on this benchmark | 999.228 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 10442014720 |
Optimality of the best value was proved | NO |
Number of variables | 282240 |
Total number of constraints | 3136 |
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 | 3136 |
Minimum length of a constraint | 150 |
Maximum length of a constraint | 720 |
Number of terms in the objective function | 188160 |
Biggest coefficient in the objective function | 536870912 |
Number of bits for the biggest coefficient in the objective function | 30 |
Sum of the numbers in the objective function | 6734508713856 |
Number of bits of the sum of numbers in the objective function | 43 |
Biggest number in a constraint | 536870912000000 |
Number of bits of the biggest number in a constraint | 49 |
Biggest sum of numbers in a constraint | 4602477289606474 |
Number of bits of the biggest sum of numbers | 53 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 10.89/10.99 c ...done 10.89/10.99 c #vars=282240 #constraints=6273 hasObjective=yes 13.19/13.23 c res. mode=mod 13.19/13.23 c VSIDS like heuristics 13.19/13.23 c complete search running 16.09/16.15 c restart after 401 decisions 16.79/16.84 c nbDecision=500 #constraints=6274 18.89/18.96 c restart after 801 decisions 20.28/20.36 c nbDecision=1000 #constraints=6275 23.78/23.80 c nbDecision=1500 #constraints=6275 24.48/24.53 c restart after 1601 decisions 27.28/27.33 c nbDecision=2000 #constraints=6276 30.67/30.75 c nbDecision=2500 #constraints=6276 34.04/34.16 c nbDecision=3000 #constraints=6276 35.43/35.50 c restart after 3201 decisions 37.53/37.66 c nbDecision=3500 #constraints=6276 40.93/41.07 c nbDecision=4000 #constraints=6276 44.32/44.46 c nbDecision=4500 #constraints=6276 47.71/47.81 c nbDecision=5000 #constraints=6276 51.01/51.16 c nbDecision=5500 #constraints=6278 54.30/54.47 c nbDecision=6000 #constraints=6278 57.00/57.13 c restart after 6401 decisions 57.79/57.91 c nbDecision=6500 #constraints=6278 61.19/61.36 c nbDecision=7000 #constraints=6278 64.58/64.78 c nbDecision=7500 #constraints=6278 67.98/68.17 c nbDecision=8000 #constraints=6278 71.38/71.55 c nbDecision=8500 #constraints=6280 74.68/74.83 c nbDecision=9000 #constraints=6280 77.88/78.09 c nbDecision=9500 #constraints=6280 81.17/81.36 c nbDecision=10000 #constraints=6281 84.57/84.75 c nbDecision=10500 #constraints=6283 87.87/88.02 c nbDecision=11000 #constraints=6285 91.07/91.28 c nbDecision=11500 #constraints=6288 95.06/95.22 c nbDecision=12000 #constraints=6376 98.26/98.42 c nbDecision=12500 #constraints=6379 100.16/100.34 c restart after 12801 decisions 101.66/101.88 c nbDecision=13000 #constraints=6379 105.15/105.34 c nbDecision=13500 #constraints=6379 108.55/108.75 c nbDecision=14000 #constraints=6379 111.96/112.12 c nbDecision=14500 #constraints=6379 115.25/115.44 c nbDecision=15000 #constraints=6379 118.55/118.74 c nbDecision=15500 #constraints=6380 121.85/122.01 c nbDecision=16000 #constraints=6380 125.04/125.28 c nbDecision=16500 #constraints=6380 128.34/128.55 c nbDecision=17000 #constraints=6380 131.85/132.07 c nbDecision=17500 #constraints=6405 135.45/135.66 c nbDecision=18000 #constraints=6439 138.64/138.87 c nbDecision=18500 #constraints=6442 141.94/142.18 c nbDecision=19000 #constraints=6453 145.34/145.57 c nbDecision=19500 #constraints=6474 148.74/148.93 c nbDecision=20000 #constraints=6489 151.94/152.14 c nbDecision=20500 #constraints=6492 155.04/155.29 c nbDecision=21000 #constraints=6492 158.33/158.55 c nbDecision=21500 #constraints=6507 161.53/161.77 c nbDecision=22000 #constraints=6516 165.43/165.62 c nbDecision=22500 #constraints=6612 168.53/168.79 c nbDecision=23000 #constraints=6613 171.83/172.00 c nbDecision=23500 #constraints=6624 175.23/175.48 c nbDecision=24000 #constraints=6675 178.63/178.82 c nbDecision=24500 #constraints=6705 181.92/182.14 c nbDecision=25000 #constraints=6735 185.42/185.61 c nbDecision=25500 #constraints=6776 186.12/186.33 c restart after 25601 decisions 189.22/189.40 c nbDecision=26000 #constraints=6786 192.72/192.90 c nbDecision=26500 #constraints=6789 196.12/196.33 c nbDecision=27000 #constraints=6790 199.41/199.64 c nbDecision=27500 #constraints=6790 202.71/202.94 c nbDecision=28000 #constraints=6790 206.01/206.26 c nbDecision=28500 #constraints=6790 209.31/209.54 c nbDecision=29000 #constraints=6790 212.61/212.82 c nbDecision=29500 #constraints=6790 215.81/216.05 c nbDecision=30000 #constraints=6790 219.12/219.31 c nbDecision=30500 #constraints=6793 222.31/222.57 c nbDecision=31000 #constraints=6800 225.61/225.82 c nbDecision=31500 #constraints=6806 229.41/229.64 c nbDecision=32000 #constraints=6858 232.71/232.97 c nbDecision=32500 #constraints=6871 236.01/236.23 c nbDecision=33000 #constraints=6884 239.61/239.85 c nbDecision=33500 #constraints=6944 242.90/243.11 c nbDecision=34000 #constraints=6956 246.30/246.56 c nbDecision=34500 #constraints=6993 250.00/250.22 c nbDecision=35000 #constraints=7054 254.00/254.24 c nbDecision=35500 #constraints=7158 257.50/257.78 c nbDecision=36000 #constraints=7220 260.69/261.00 c nbDecision=36500 #constraints=7234 264.59/264.80 c nbDecision=37000 #constraints=7326 268.39/268.69 c nbDecision=37500 #constraints=7426 271.90/272.16 c nbDecision=38000 #constraints=7476 275.19/275.45 c nbDecision=38500 #constraints=7508 278.69/278.93 c nbDecision=39000 #constraints=7563 282.39/282.69 c nbDecision=39500 #constraints=7649 285.89/286.14 c nbDecision=40000 #constraints=7701 289.49/289.75 c nbDecision=40500 #constraints=7774 292.48/292.78 c nbDecision=41000 #constraints=7774 295.58/295.84 c nbDecision=41500 #constraints=7785 298.88/299.13 c nbDecision=42000 #constraints=7826 301.88/302.17 c nbDecision=42500 #constraints=7834 305.68/305.90 c nbDecision=43000 #constraints=7835 308.98/309.21 c nbDecision=43500 #constraints=7835 312.18/312.50 c nbDecision=44000 #constraints=7835 315.48/315.77 c nbDecision=44500 #constraints=7836 319.08/319.31 c nbDecision=45000 #constraints=7860 322.87/323.15 c nbDecision=45500 #constraints=7907 326.77/327.08 c nbDecision=46000 #constraints=7965 330.56/330.84 c nbDecision=46500 #constraints=8022 334.36/334.62 c nbDecision=47000 #constraints=8087 338.17/338.47 c nbDecision=47500 #constraints=8143 341.57/341.85 c nbDecision=48000 #constraints=8163 344.86/345.15 c nbDecision=48500 #constraints=8177 348.16/348.45 c nbDecision=49000 #constraints=8188 351.36/351.64 c nbDecision=49500 #constraints=8188 354.66/354.95 c nbDecision=50000 #constraints=8203 357.95/358.28 c nbDecision=50500 #constraints=8226 361.15/361.40 c nbDecision=51000 #constraints=8226 362.35/362.65 c restart after 51201 decisions 364.85/365.18 c nbDecision=51500 #constraints=8226 368.35/368.67 c nbDecision=52000 #constraints=8227 371.85/372.10 c nbDecision=52500 #constraints=8227 375.16/375.46 c nbDecision=53000 #constraints=8227 378.46/378.80 c nbDecision=53500 #constraints=8227 381.85/382.11 c nbDecision=54000 #constraints=8227 385.15/385.44 c nbDecision=54500 #constraints=8228 388.45/388.75 c nbDecision=55000 #constraints=8228 391.75/392.07 c nbDecision=55500 #constraints=8229 395.05/395.34 c nbDecision=56000 #constraints=8230 399.44/399.72 c nbDecision=56500 #constraints=8317 402.64/402.98 c nbDecision=57000 #constraints=8317 406.65/406.90 c nbDecision=57500 #constraints=8376 411.94/412.27 c nbDecision=58000 #constraints=8570 415.63/415.93 c nbDecision=58500 #constraints=8613 419.13/419.43 c nbDecision=59000 #constraints=8639 422.44/422.75 c nbDecision=59500 #constraints=8656 426.23/426.56 c nbDecision=60000 #constraints=8730 429.53/429.89 c nbDecision=60500 #constraints=8746 433.22/433.59 c nbDecision=61000 #constraints=8802 436.44/436.80 c nbDecision=61500 #constraints=8803 439.63/439.94 c nbDecision=62000 #constraints=8803 442.93/443.21 c nbDecision=62500 #constraints=8817 446.42/446.74 c nbDecision=63000 #constraints=8858 449.63/449.93 c nbDecision=63500 #constraints=8866 453.12/453.40 c nbDecision=64000 #constraints=8907 456.12/456.49 c nbDecision=64500 #constraints=8907 459.31/459.66 c nbDecision=65000 #constraints=8922 462.42/462.73 c nbDecision=65500 #constraints=8923 465.72/466.01 c nbDecision=66000 #constraints=8943 468.72/469.06 c nbDecision=66500 #constraints=8943 472.31/472.61 c nbDecision=67000 #constraints=9003 475.81/476.18 c nbDecision=67500 #constraints=9066 478.91/479.20 c nbDecision=68000 #constraints=9067 482.41/482.78 c nbDecision=68500 #constraints=9145 485.51/485.80 c nbDecision=69000 #constraints=9146 489.31/489.66 c nbDecision=69500 #constraints=9250 492.70/493.01 c nbDecision=70000 #constraints=9286 495.90/496.21 c nbDecision=70500 #constraints=9311 498.81/499.15 c nbDecision=71000 #constraints=9311 502.10/502.44 c nbDecision=71500 #constraints=9346 505.20/505.56 c nbDecision=72000 #constraints=9361 508.20/508.54 c nbDecision=72500 #constraints=9362 511.30/511.63 c nbDecision=73000 #constraints=9391 514.20/514.57 c nbDecision=73500 #constraints=9391 517.60/517.91 c nbDecision=74000 #constraints=9484 520.60/520.95 c nbDecision=74500 #constraints=9487 524.19/524.58 c nbDecision=75000 #constraints=9558 527.29/527.62 c nbDecision=75500 #constraints=9567 530.19/530.59 c nbDecision=76000 #constraints=9567 533.19/533.57 c nbDecision=76500 #constraints=9576 536.29/536.62 c nbDecision=77000 #constraints=9602 539.49/539.85 c nbDecision=77500 #constraints=9658 542.69/543.09 c nbDecision=78000 #constraints=9710 545.79/546.12 c nbDecision=78500 #constraints=9724 549.18/549.50 c nbDecision=79000 #constraints=9799 552.18/552.54 c nbDecision=79500 #constraints=9807 555.18/555.58 c nbDecision=80000 #constraints=9823 558.28/558.65 c nbDecision=80500 #constraints=9845 561.18/561.59 c nbDecision=81000 #constraints=9846 564.78/565.15 c nbDecision=81500 #constraints=9930 567.78/568.19 c nbDecision=82000 #constraints=9939 570.88/571.22 c nbDecision=82500 #constraints=9948 574.37/574.75 c nbDecision=83000 #constraints=10033 577.87/578.21 c nbDecision=83500 #constraints=10107 580.87/581.28 c nbDecision=84000 #constraints=10122 584.17/584.54 c nbDecision=84500 #constraints=10164 587.27/587.64 c nbDecision=85000 #constraints=10178 590.47/590.85 c nbDecision=85500 #constraints=10207 594.17/594.57 c nbDecision=86000 #constraints=10314 597.46/597.83 c nbDecision=86500 #constraints=10344 600.86/601.21 c nbDecision=87000 #constraints=10397 604.06/604.43 c nbDecision=87500 #constraints=10438 607.46/607.85 c nbDecision=88000 #constraints=10516 610.66/611.04 c nbDecision=88500 #constraints=10559 614.35/614.80 c nbDecision=89000 #constraints=10689 617.76/618.19 c nbDecision=89500 #constraints=10757 620.66/621.06 c nbDecision=90000 #constraints=10761 623.66/624.05 c nbDecision=90500 #constraints=10781 627.55/627.98 c nbDecision=91000 #constraints=10898 631.75/632.13 c nbDecision=91500 #constraints=10973 634.85/635.27 c nbDecision=92000 #constraints=10973 638.84/639.20 c nbDecision=92500 #constraints=11066 642.06/642.43 c nbDecision=93000 #constraints=11080 645.15/645.57 c nbDecision=93500 #constraints=11081 649.05/649.45 c nbDecision=94000 #constraints=11156 652.54/652.99 c nbDecision=94500 #constraints=11204 655.74/656.11 c nbDecision=95000 #constraints=11209 659.33/659.79 c nbDecision=95500 #constraints=11278 663.33/663.72 c nbDecision=96000 #constraints=11384 666.73/667.12 c nbDecision=96500 #constraints=11424 669.83/670.20 c nbDecision=97000 #constraints=11428 673.23/673.64 c nbDecision=97500 #constraints=11478 676.43/676.89 c nbDecision=98000 #constraints=11501 679.73/680.14 c nbDecision=98500 #constraints=11528 682.73/683.15 c nbDecision=99000 #constraints=11529 686.22/686.68 c nbDecision=99500 #constraints=11583 689.33/689.75 c nbDecision=100000 #constraints=11591 693.42/693.81 c nbDecision=100500 #constraints=11704 696.72/697.15 c nbDecision=101000 #constraints=11749 699.91/700.34 c nbDecision=101500 #constraints=11766 703.02/703.42 c nbDecision=102000 #constraints=11777 705.52/705.95 c restart after 102401 decisions 707.12/707.52 c nbDecision=102500 #constraints=11800 710.62/711.06 c nbDecision=103000 #constraints=11801 714.12/714.55 c nbDecision=103500 #constraints=11802 717.52/717.95 c nbDecision=104000 #constraints=11803 720.91/721.30 c nbDecision=104500 #constraints=11803 724.21/724.63 c nbDecision=105000 #constraints=11803 727.61/728.00 c nbDecision=105500 #constraints=11804 730.91/731.35 c nbDecision=106000 #constraints=11806 734.31/734.71 c nbDecision=106500 #constraints=11811 737.71/738.11 c nbDecision=107000 #constraints=11818 741.00/741.48 c nbDecision=107500 #constraints=11827 744.30/744.76 c nbDecision=108000 #constraints=11827 747.60/748.04 c nbDecision=108500 #constraints=11828 751.29/751.79 c nbDecision=109000 #constraints=11869 755.10/755.54 c nbDecision=109500 #constraints=11929 758.40/758.85 c nbDecision=110000 #constraints=11936 762.29/762.71 c nbDecision=110500 #constraints=12004 765.79/766.22 c nbDecision=111000 #constraints=12036 769.29/769.71 c nbDecision=111500 #constraints=12069 772.59/773.03 c nbDecision=112000 #constraints=12080 775.79/776.25 c nbDecision=112500 #constraints=12088 778.99/779.48 c nbDecision=113000 #constraints=12100 782.69/783.12 c nbDecision=113500 #constraints=12158 785.99/786.50 c nbDecision=114000 #constraints=12183 789.18/789.65 c nbDecision=114500 #constraints=12186 792.48/792.92 c nbDecision=115000 #constraints=12203 795.88/796.34 c nbDecision=115500 #constraints=12240 799.19/799.63 c nbDecision=116000 #constraints=12264 802.68/803.17 c nbDecision=116500 #constraints=12312 806.27/806.72 c nbDecision=117000 #constraints=12364 809.27/809.76 c nbDecision=117500 #constraints=12365 812.37/812.82 c nbDecision=118000 #constraints=12366 815.78/816.22 c nbDecision=118500 #constraints=12406 819.57/820.03 c nbDecision=119000 #constraints=12495 822.57/823.05 c nbDecision=119500 #constraints=12501 825.46/826.00 c nbDecision=120000 #constraints=12501 828.56/829.01 c nbDecision=120500 #constraints=12502 831.56/832.03 c nbDecision=121000 #constraints=12511 834.67/835.13 c nbDecision=121500 #constraints=12539 838.37/838.82 c nbDecision=122000 #constraints=12641 841.26/841.78 c nbDecision=122500 #constraints=12649 844.56/845.07 c nbDecision=123000 #constraints=12667 847.67/848.11 c nbDecision=123500 #constraints=12668 850.66/851.13 c nbDecision=124000 #constraints=12668 854.45/854.92 c nbDecision=124500 #constraints=12742 857.46/857.95 c nbDecision=125000 #constraints=12745 860.65/861.18 c nbDecision=125500 #constraints=12805 863.85/864.39 c nbDecision=126000 #constraints=12850 866.85/867.39 c nbDecision=126500 #constraints=12850 869.95/870.42 c nbDecision=127000 #constraints=12864 872.95/873.46 c nbDecision=127500 #constraints=12873 876.55/877.09 c nbDecision=128000 #constraints=12982 879.95/880.46 c nbDecision=128500 #constraints=13050 883.44/883.98 c nbDecision=129000 #constraints=13135 886.74/887.24 c nbDecision=129500 #constraints=13157 890.65/891.11 c nbDecision=130000 #constraints=13229 893.54/894.08 c nbDecision=130500 #constraints=13229 896.54/897.06 c nbDecision=131000 #constraints=13236 900.54/901.04 c nbDecision=131500 #constraints=13401 903.94/904.46 c nbDecision=132000 #constraints=13477 906.94/907.44 c nbDecision=132500 #constraints=13483 909.93/910.45 c nbDecision=133000 #constraints=13484 912.83/913.37 c nbDecision=133500 #constraints=13484 916.13/916.66 c nbDecision=134000 #constraints=13541 919.13/919.61 c nbDecision=134500 #constraints=13554 922.43/922.94 c nbDecision=135000 #constraints=13615 925.32/925.84 c nbDecision=135500 #constraints=13617 929.03/929.53 c nbDecision=136000 #constraints=13707 932.82/933.40 c nbDecision=136500 #constraints=13810 936.43/936.90 c nbDecision=137000 #constraints=13874 939.42/939.91 c nbDecision=137500 #constraints=13890 942.62/943.12 c nbDecision=138000 #constraints=13920 945.52/946.09 c nbDecision=138500 #constraints=13928 948.72/949.23 c nbDecision=139000 #constraints=13954 953.01/953.50 c nbDecision=139500 #constraints=14092 956.51/957.03 c nbDecision=140000 #constraints=14145 959.51/960.08 c nbDecision=140500 #constraints=14158 962.51/963.06 c nbDecision=141000 #constraints=14163 965.50/966.01 c nbDecision=141500 #constraints=14164 968.52/969.03 c nbDecision=142000 #constraints=14182 972.80/973.39 c nbDecision=142500 #constraints=14296 976.00/976.50 c nbDecision=143000 #constraints=14315 979.00/979.51 c nbDecision=143500 #constraints=14321 982.00/982.60 c nbDecision=144000 #constraints=14330 985.70/986.21 c nbDecision=144500 #constraints=14421 989.30/989.86 c nbDecision=145000 #constraints=14507 992.60/993.13 c nbDecision=145500 #constraints=14536 995.69/996.24 c nbDecision=146000 #constraints=14543 998.89/999.42 c nbDecision=146500 #constraints=14567 1002.90/1003.43 c nbDecision=147000 #constraints=14715 1006.10/1006.60 c nbDecision=147500 #constraints=14727 1009.49/1010.01 c nbDecision=148000 #constraints=14772 1013.19/1013.76 c nbDecision=148500 #constraints=14870 1016.49/1017.02 c nbDecision=149000 #constraints=14891 1019.89/1020.48 c nbDecision=149500 #constraints=14943 1023.18/1023.79 c nbDecision=150000 #constraints=14971 1027.28/1027.84 c nbDecision=150500 #constraints=15102 1031.38/1031.92 c nbDecision=151000 #constraints=15241 1034.68/1035.28 c nbDecision=151500 #constraints=15258 1038.17/1038.73 c nbDecision=152000 #constraints=15290 1041.38/1041.94 c nbDecision=152500 #constraints=15293 1044.48/1045.08 c nbDecision=153000 #constraints=15294 1048.48/1049.05 c nbDecision=153500 #constraints=15430 1051.97/1052.55 c nbDecision=154000 #constraints=15495 1055.27/1055.82 c nbDecision=154500 #constraints=15535 1058.47/1059.05 c nbDecision=155000 #constraints=15563 1061.67/1062.24 c nbDecision=155500 #constraints=15602 1064.76/1065.31 c nbDecision=156000 #constraints=15623 1068.27/1068.80 c nbDecision=156500 #constraints=15687 1071.17/1071.79 c nbDecision=157000 #constraints=15699 1074.07/1074.67 c nbDecision=157500 #constraints=15702 1077.26/1077.82 c nbDecision=158000 #constraints=15726 1080.16/1080.80 c nbDecision=158500 #constraints=15735 1084.65/1085.21 c nbDecision=159000 #constraints=15895 1088.15/1088.76 c nbDecision=159500 #constraints=15906 1091.76/1092.36 c nbDecision=160000 #constraints=15993 1095.75/1096.33 c nbDecision=160500 #constraints=16099 1099.35/1099.94 c nbDecision=161000 #constraints=16152 1102.65/1103.27 c nbDecision=161500 #constraints=16163 1106.65/1107.20 c nbDecision=162000 #constraints=16250 1110.35/1110.96 c nbDecision=162500 #constraints=16308 1114.35/1114.97 c nbDecision=163000 #constraints=16394 1117.74/1118.33 c nbDecision=163500 #constraints=16406 1121.64/1122.23 c nbDecision=164000 #constraints=16465 1125.04/1125.69 c nbDecision=164500 #constraints=16492 1128.44/1129.05 c nbDecision=165000 #constraints=16528 1131.44/1132.09 c nbDecision=165500 #constraints=16535 1134.54/1135.17 c nbDecision=166000 #constraints=16539 1137.74/1138.38 c nbDecision=166500 #constraints=16574 1141.14/1141.71 c nbDecision=167000 #constraints=16626 1144.04/1144.69 c nbDecision=167500 #constraints=16637 1147.13/1147.73 c nbDecision=168000 #constraints=16649 1150.83/1151.45 c nbDecision=168500 #constraints=16726 1154.13/1154.72 c nbDecision=169000 #constraints=16765 1157.64/1158.25 c nbDecision=169500 #constraints=16825 1160.93/1161.51 c nbDecision=170000 #constraints=16864 1163.83/1164.42 c nbDecision=170500 #constraints=16866 1166.83/1167.47 c nbDecision=171000 #constraints=16885 1170.52/1171.18 c nbDecision=171500 #constraints=16909 1173.62/1174.21 c nbDecision=172000 #constraints=16912 1177.12/1177.77 c nbDecision=172500 #constraints=16967 1180.31/1180.92 c nbDecision=173000 #constraints=16980 1183.41/1184.02 c nbDecision=173500 #constraints=16990 1186.61/1187.21 c nbDecision=174000 #constraints=17010 1189.81/1190.50 c nbDecision=174500 #constraints=17038 1193.42/1194.02 c nbDecision=175000 #constraints=17106 1197.02/1197.66 c nbDecision=175500 #constraints=17188 1200.91/1201.54 c nbDecision=176000 #constraints=17295 1204.21/1204.87 c nbDecision=176500 #constraints=17338 1207.91/1208.51 c nbDecision=177000 #constraints=17405 1211.41/1212.08 c nbDecision=177500 #constraints=17465 1214.91/1215.54 c nbDecision=178000 #constraints=17512 1219.21/1219.82 c nbDecision=178500 #constraints=17635 1222.61/1223.28 c nbDecision=179000 #constraints=17678 1226.10/1226.72 c nbDecision=179500 #constraints=17730 1229.00/1229.62 c nbDecision=180000 #constraints=17730 1231.90/1232.50 c nbDecision=180500 #constraints=17733 1235.70/1236.31 c nbDecision=181000 #constraints=17753 1239.10/1239.77 c nbDecision=181500 #constraints=17798 1243.10/1243.74 c nbDecision=182000 #constraints=17891 1246.20/1246.83 c nbDecision=182500 #constraints=17891 1249.79/1250.45 c nbDecision=183000 #constraints=17956 1253.69/1254.36 c nbDecision=183500 #constraints=18057 1256.79/1257.44 c nbDecision=184000 #constraints=18067 1259.69/1260.38 c nbDecision=184500 #constraints=18067 1263.19/1263.80 c nbDecision=185000 #constraints=18123 1267.09/1267.71 c nbDecision=185500 #constraints=18218 1270.19/1270.80 c nbDecision=186000 #constraints=18235 1273.88/1274.54 c nbDecision=186500 #constraints=18310 1276.88/1277.55 c nbDecision=187000 #constraints=18323 1280.18/1280.86 c nbDecision=187500 #constraints=18367 1283.78/1284.48 c nbDecision=188000 #constraints=18375 1286.98/1287.63 c nbDecision=188500 #constraints=18391 1290.58/1291.22 c nbDecision=189000 #constraints=18434 1293.98/1294.60 c nbDecision=189500 #constraints=18468 1298.37/1299.06 c nbDecision=190000 #constraints=18634 1301.67/1302.38 c nbDecision=190500 #constraints=18671 1305.08/1305.79 c nbDecision=191000 #constraints=18704 1308.07/1308.76 c nbDecision=191500 #constraints=18704 1311.17/1311.84 c nbDecision=192000 #constraints=18715 1314.07/1314.79 c nbDecision=192500 #constraints=18715 1317.47/1318.12 c nbDecision=193000 #constraints=18753 1320.37/1321.10 c nbDecision=193500 #constraints=18760 1323.96/1324.68 c nbDecision=194000 #constraints=18821 1327.16/1327.81 c nbDecision=194500 #constraints=18844 1330.96/1331.62 c nbDecision=195000 #constraints=18930 1334.76/1335.43 c nbDecision=195500 #constraints=19022 1337.95/1338.61 c nbDecision=196000 #constraints=19061 1340.76/1341.48 c nbDecision=196500 #constraints=19070 1344.56/1345.30 c nbDecision=197000 #constraints=19162 1348.35/1349.06 c nbDecision=197500 #constraints=19163 1352.45/1353.11 c nbDecision=198000 #constraints=19265 1355.85/1356.51 c nbDecision=198500 #constraints=19284 1359.85/1360.50 c nbDecision=199000 #constraints=19400 1363.04/1363.76 c nbDecision=199500 #constraints=19425 1366.14/1366.86 c nbDecision=200000 #constraints=19426 1369.54/1370.24 c nbDecision=200500 #constraints=19459 1373.14/1373.84 c nbDecision=201000 #constraints=19520 1376.64/1377.33 c nbDecision=201500 #constraints=19574 1380.24/1380.97 c nbDecision=202000 #constraints=19645 1383.24/1383.95 c nbDecision=202500 #constraints=19650 1386.83/1387.52 c nbDecision=203000 #constraints=19707 1391.23/1391.91 c nbDecision=203500 #constraints=19830 1394.93/1395.64 c nbDecision=204000 #constraints=19912 1398.03/1398.70 c nbDecision=204500 #constraints=19934 1399.63/1400.39 c restart after 204801 decisions 1402.93/1403.62 c nbDecision=205000 #constraints=19934 1406.43/1407.12 c nbDecision=205500 #constraints=19934 1409.92/1410.60 c nbDecision=206000 #constraints=19934 1413.22/1413.99 c nbDecision=206500 #constraints=19934 1416.62/1417.37 c nbDecision=207000 #constraints=19935 1420.02/1420.70 c nbDecision=207500 #constraints=19935 1423.32/1424.05 c nbDecision=208000 #constraints=19935 1426.72/1427.42 c nbDecision=208500 #constraints=19936 1430.01/1430.75 c nbDecision=209000 #constraints=19936 1434.11/1434.83 c nbDecision=209500 #constraints=19985 1438.12/1438.88 c nbDecision=210000 #constraints=20033 1441.51/1442.28 c nbDecision=210500 #constraints=20042 1445.31/1446.08 c nbDecision=211000 #constraints=20079 1448.91/1449.66 c nbDecision=211500 #constraints=20103 1453.81/1454.54 c nbDecision=212000 #constraints=20228 1458.30/1459.02 c nbDecision=212500 #constraints=20335 1461.61/1462.33 c nbDecision=213000 #constraints=20343 1465.40/1466.14 c nbDecision=213500 #constraints=20392 1468.70/1469.43 c nbDecision=214000 #constraints=20398 1472.00/1472.73 c nbDecision=214500 #constraints=20400 1476.10/1476.83 c nbDecision=215000 #constraints=20474 1479.29/1480.00 c nbDecision=215500 #constraints=20474 1483.00/1483.77 c nbDecision=216000 #constraints=20523 1487.10/1487.80 c nbDecision=216500 #constraints=20593 1491.19/1491.98 c nbDecision=217000 #constraints=20677 1495.19/1495.99 c nbDecision=217500 #constraints=20750 1498.60/1499.31 c nbDecision=218000 #constraints=20763 1502.19/1502.96 c nbDecision=218500 #constraints=20804 1505.69/1506.41 c nbDecision=219000 #constraints=20829 1508.89/1509.69 c nbDecision=219500 #constraints=20843 1511.98/1512.77 c nbDecision=220000 #constraints=20843 1516.09/1516.89 c nbDecision=220500 #constraints=20928 1519.28/1520.04 c nbDecision=221000 #constraints=20939 1522.98/1523.76 c nbDecision=221500 #constraints=20994 1525.99/1526.80 c nbDecision=222000 #constraints=20994 1529.48/1530.26 c nbDecision=222500 #constraints=21001 1533.18/1533.97 c nbDecision=223000 #constraints=21047 1537.87/1538.64 c nbDecision=223500 #constraints=21165 1541.98/1542.76 c nbDecision=224000 #constraints=21241 1545.07/1545.89 c nbDecision=224500 #constraints=21241 1548.87/1549.65 c nbDecision=225000 #constraints=21291 1552.37/1553.11 c nbDecision=225500 #constraints=21316 1556.07/1556.89 c nbDecision=226000 #constraints=21379 1560.46/1561.28 c nbDecision=226500 #constraints=21488 1563.67/1564.45 c nbDecision=227000 #constraints=21495 1567.67/1568.45 c nbDecision=227500 #constraints=21574 1570.77/1571.50 c nbDecision=228000 #constraints=21574 1574.47/1575.26 c nbDecision=228500 #constraints=21634 1577.46/1578.29 c nbDecision=229000 #constraints=21635 1581.26/1582.05 c nbDecision=229500 #constraints=21714 1584.55/1585.30 c nbDecision=230000 #constraints=21714 1587.66/1588.47 c nbDecision=230500 #constraints=21714 1592.56/1593.30 c nbDecision=231000 #constraints=21889 1595.56/1596.35 c nbDecision=231500 #constraints=21889 1599.55/1600.35 c nbDecision=232000 #constraints=21979 1603.05/1603.84 c nbDecision=232500 #constraints=22025 1606.25/1607.08 c nbDecision=233000 #constraints=22044 1611.45/1612.20 c nbDecision=233500 #constraints=22174 1614.95/1615.78 c nbDecision=234000 #constraints=22213 1618.15/1618.94 c nbDecision=234500 #constraints=22221 1621.65/1622.41 c nbDecision=235000 #constraints=22247 1624.95/1625.79 c nbDecision=235500 #constraints=22263 1628.04/1628.89 c nbDecision=236000 #constraints=22263 1631.34/1632.11 c nbDecision=236500 #constraints=22272 1635.23/1636.10 c nbDecision=237000 #constraints=22356 1638.43/1639.27 c nbDecision=237500 #constraints=22376 1642.13/1642.95 c nbDecision=238000 #constraints=22440 1645.13/1645.95 c nbDecision=238500 #constraints=22440 1649.03/1649.82 c nbDecision=239000 #constraints=22512 1652.43/1653.27 c nbDecision=239500 #constraints=22553 1655.73/1656.52 c nbDecision=240000 #constraints=22583 1659.22/1660.03 c nbDecision=240500 #constraints=22636 1662.83/1663.64 c nbDecision=241000 #constraints=22700 1666.13/1666.95 c nbDecision=241500 #constraints=22739 1668.93/1669.78 c nbDecision=242000 #constraints=22740 1673.43/1674.21 c nbDecision=242500 #constraints=22754 1678.01/1678.85 c nbDecision=243000 #constraints=22865 1681.52/1682.33 c nbDecision=243500 #constraints=22890 1685.82/1686.61 c nbDecision=244000 #constraints=22970 1691.11/1691.98 c nbDecision=244500 #constraints=23135 1694.71/1695.50 c nbDecision=245000 #constraints=23167 1697.81/1698.62 c nbDecision=245500 #constraints=23170 1700.81/1701.68 c nbDecision=246000 #constraints=23170 1704.71/1705.52 c nbDecision=246500 #constraints=23228 1708.21/1709.09 c nbDecision=247000 #constraints=23269 1711.31/1712.15 c nbDecision=247500 #constraints=23270 1714.31/1715.17 c nbDecision=248000 #constraints=23271 1717.80/1718.60 c nbDecision=248500 #constraints=23300 1722.10/1722.95 c nbDecision=249000 #constraints=23378 1726.49/1727.33 c nbDecision=249500 #constraints=23491 1730.19/1731.00 c nbDecision=250000 #constraints=23546 1734.30/1735.19 c nbDecision=250500 #constraints=23655 1737.49/1738.38 c nbDecision=251000 #constraints=23665 1741.39/1742.28 c nbDecision=251500 #constraints=23746 1744.69/1745.55 c nbDecision=252000 #constraints=23757 1747.89/1748.75 c nbDecision=252500 #constraints=23774 1751.08/1751.96 c nbDecision=253000 #constraints=23788 1754.48/1755.34 c nbDecision=253500 #constraints=23823 1757.68/1758.54 c nbDecision=254000 #constraints=23846 1760.59/1761.48 c nbDecision=254500 #constraints=23846 1763.79/1764.69 c nbDecision=255000 #constraints=23868 1766.69/1767.57 c nbDecision=255500 #constraints=23868 1769.88/1770.76 c nbDecision=256000 #constraints=23894 1772.78/1773.61 c nbDecision=256500 #constraints=23895 1775.48/1776.39 c nbDecision=257000 #constraints=23896 1778.48/1779.37 c nbDecision=257500 #constraints=23913 1781.48/1782.39 c nbDecision=258000 #constraints=23933 1785.17/1786.01 c nbDecision=258500 #constraints=24004 1788.17/1789.05 c nbDecision=259000 #constraints=24028 1790.97/1791.85 c nbDecision=259500 #constraints=24033 1794.17/1795.04 c nbDecision=260000 #constraints=24072 1796.97/1797.85 c nbDecision=260500 #constraints=24080 1800.07/1800.90 Received signal 15 1800.07/1800.90 1800.07/1800.90 s UNKNOWN 1800.07/1800.90 1800.07/1800.90 c user time= 1799 s 1800.07/1800.90 c system time= 1.08883 s 1800.07/1800.90 c wall clock time=1800.91
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node13/watcher-357333-1176994830 -o ROOT/results/node13/solver-357333-1176994830 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357333-1176994830/instance-357333-1176994830.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.98 0.99 3/77 11063 /proc/meminfo: memFree=1590968/2055920 swapFree=4159420/4192956 [pid=11063] ppid=11061 vsize=1468 CPUtime=0 /proc/11063/stat : 11063 (oree) R 11061 11063 10675 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 147401034 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11063/statm: 367 161 126 317 0 46 0 [startup+0.0256799 s] /proc/loadavg: 0.99 0.98 0.99 3/77 11063 /proc/meminfo: memFree=1590968/2055920 swapFree=4159420/4192956 [pid=11063] ppid=11061 vsize=1880 CPUtime=0.02 /proc/11063/stat : 11063 (oree) R 11061 11063 10675 0 -1 4194304 297 0 0 0 2 0 0 0 18 0 1 0 147401034 1925120 246 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715025 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11063/statm: 470 247 126 317 0 149 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 1880 [startup+0.101695 s] /proc/loadavg: 0.99 0.98 0.99 3/77 11063 /proc/meminfo: memFree=1590968/2055920 swapFree=4159420/4192956 [pid=11063] ppid=11061 vsize=3440 CPUtime=0.09 /proc/11063/stat : 11063 (oree) R 11061 11063 10675 0 -1 4194304 810 0 0 0 9 0 0 0 18 0 1 0 147401034 3522560 565 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11063/statm: 860 565 126 317 0 539 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3440 [startup+0.301738 s] /proc/loadavg: 0.99 0.98 0.99 3/77 11063 /proc/meminfo: memFree=1590968/2055920 swapFree=4159420/4192956 [pid=11063] ppid=11061 vsize=9884 CPUtime=0.29 /proc/11063/stat : 11063 (oree) R 11061 11063 10675 0 -1 4194304 1830 0 0 0 29 0 0 0 19 0 1 0 147401034 10121216 1328 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11063/statm: 2471 1330 126 317 0 2150 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9884 [startup+0.701823 s] /proc/loadavg: 0.99 0.98 0.99 3/77 11063 /proc/meminfo: memFree=1590968/2055920 swapFree=4159420/4192956 [pid=11063] ppid=11061 vsize=10100 CPUtime=0.69 /proc/11063/stat : 11063 (oree) R 11061 11063 10675 0 -1 4194304 3056 0 0 0 68 1 0 0 22 0 1 0 147401034 10342400 2041 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11063/statm: 2525 2041 131 317 0 2204 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10100 [startup+1.50199 s] /proc/loadavg: 0.99 0.98 0.99 2/78 11064 /proc/meminfo: memFree=1577904/2055920 swapFree=4159420/4192956 [pid=11063] ppid=11061 vsize=24916 CPUtime=1.49 /proc/11063/stat : 11063 (oree) R 11061 11063 10675 0 -1 4194304 6632 0 0 0 146 3 0 0 25 0 1 0 147401034 25513984 5617 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11063/statm: 6229 5617 131 317 0 5908 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 24916 [startup+3.10134 s] /proc/loadavg: 0.99 0.98 0.99 2/78 11064 /proc/meminfo: memFree=1556656/2055920 swapFree=4159420/4192956 [pid=11063] ppid=11061 vsize=54140 CPUtime=3.09 /proc/11063/stat : 11063 (oree) R 11061 11063 10675 0 -1 4194304 13753 0 0 0 302 7 0 0 25 0 1 0 147401034 55439360 12738 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284223 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11063/statm: 13535 12738 131 317 0 13214 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 54140 [startup+6.30202 s] /proc/loadavg: 0.99 0.98 0.99 2/78 11064 /proc/meminfo: memFree=1499760/2055920 swapFree=4159420/4192956 [pid=11063] ppid=11061 vsize=112444 CPUtime=6.29 /proc/11063/stat : 11063 (oree) R 11061 11063 10675 0 -1 4194304 27991 0 0 0 614 15 0 0 25 0 1 0 147401034 115142656 26976 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11063/statm: 28111 26976 131 317 0 27790 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 112444 [startup+12.7014 s] /proc/loadavg: 0.99 0.98 0.99 2/78 11064 /proc/meminfo: memFree=1375664/2055920 swapFree=4159420/4192956 [pid=11063] ppid=11061 vsize=248244 CPUtime=12.69 /proc/11063/stat : 11063 (oree) R 11061 11063 10675 0 -1 4194304 61411 0 0 0 1238 31 0 0 25 0 1 0 147401034 254201856 60396 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11063/statm: 62061 60397 137 317 0 61740 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 248244 [startup+25.5011 s] /proc/loadavg: 0.99 0.98 0.99 2/78 11064 /proc/meminfo: memFree=1329008/2055920 swapFree=4159420/4192956 [pid=11063] ppid=11061 vsize=269272 CPUtime=25.48 /proc/11063/stat : 11063 (oree) R 11061 11063 10675 0 -1 4194304 66686 0 0 0 2515 33 0 0 25 0 1 0 147401034 275734528 65628 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11063/statm: 67318 65628 139 317 0 66997 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 269272 [startup+51.1016 s] /proc/loadavg: 0.99 0.98 0.99 2/84 11186 /proc/meminfo: memFree=1327872/2055920 swapFree=4159420/4192956 [pid=11063] ppid=11061 vsize=269272 CPUtime=51.01 /proc/11063/stat : 11063 (oree) R 11061 11063 10675 0 -1 4194304 66686 0 0 0 5068 33 0 0 25 0 1 0 147401034 275734528 65628 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606848 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11063/statm: 67318 65628 139 317 0 66997 0 Current children cumulated CPU time (s) 51.01 Current children cumulated vsize (KiB) 269272 [startup+102.305 s] /proc/loadavg: 0.99 0.98 0.99 2/78 11262 /proc/meminfo: memFree=1326704/2055920 swapFree=4159420/4192956 [pid=11063] ppid=11061 vsize=271808 CPUtime=102.16 /proc/11063/stat : 11063 (oree) R 11061 11063 10675 0 -1 4194304 67295 0 0 0 10182 34 0 0 25 0 1 0 147401034 278331392 66237 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11063/statm: 67952 66237 170 317 0 67631 0 Current children cumulated CPU time (s) 102.16 Current children cumulated vsize (KiB) 271808 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 11262 /proc/meminfo: memFree=1322928/2055920 swapFree=4159420/4192956 [pid=11063] ppid=11061 vsize=275732 CPUtime=162.13 /proc/11063/stat : 11063 (oree) R 11061 11063 10675 0 -1 4194304 68233 0 0 0 16178 35 0 0 25 0 1 0 147401034 282349568 67175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11063/statm: 68933 67175 170 317 0 68612 0 Current children cumulated CPU time (s) 162.13 Current children cumulated vsize (KiB) 275732 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 11262 /proc/meminfo: memFree=1312304/2055920 swapFree=4159420/4192956 [pid=11063] ppid=11061 vsize=286488 CPUtime=222.11 /proc/11063/stat : 11063 (oree) R 11061 11063 10675 0 -1 4194304 70891 0 0 0 22174 37 0 0 25 0 1 0 147401034 293363712 69833 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11063/statm: 71622 69833 170 317 0 71301 0 Current children cumulated CPU time (s) 222.11 Current children cumulated vsize (KiB) 286488 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 11262 /proc/meminfo: memFree=1281008/2055920 swapFree=4159420/4192956 [pid=11063] ppid=11061 vsize=318388 CPUtime=282.08 /proc/11063/stat : 11063 (oree) R 11061 11063 10675 0 -1 4194304 78716 0 0 0 28168 40 0 0 25 0 1 0 147401034 326029312 77658 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11063/statm: 79597 77658 170 317 0 79276 0 Current children cumulated CPU time (s) 282.08 Current children cumulated vsize (KiB) 318388 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 11262 /proc/meminfo: memFree=1261296/2055920 swapFree=4159420/4192956 [pid=11063] ppid=11061 vsize=338400 CPUtime=342.07 /proc/11063/stat : 11063 (oree) R 11061 11063 10675 0 -1 4194304 83611 0 0 0 34164 43 0 0 25 0 1 0 147401034 346521600 82553 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135194616 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11063/statm: 84600 82553 170 317 0 84279 0 Current children cumulated CPU time (s) 342.07 Current children cumulated vsize (KiB) 338400 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 11262 /proc/meminfo: memFree=1255536/2055920 swapFree=4159420/4192956 [pid=11063] ppid=11061 vsize=344248 CPUtime=402.04 /proc/11063/stat : 11063 (oree) R 11061 11063 10675 0 -1 4194304 85036 0 0 0 40160 44 0 0 25 0 1 0 147401034 352509952 83978 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11063/statm: 86062 83978 170 317 0 85741 0 Current children cumulated CPU time (s) 402.04 Current children cumulated vsize (KiB) 344248 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 11262 /proc/meminfo: memFree=1232880/2055920 swapFree=4159420/4192956 [pid=11063] ppid=11061 vsize=367520 CPUtime=462.02 /proc/11063/stat : 11063 (oree) R 11061 11063 10675 0 -1 4194304 90724 0 0 0 46154 48 0 0 25 0 1 0 147401034 376340480 89666 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11063/statm: 91880 89666 170 317 0 91559 0 Current children cumulated CPU time (s) 462.02 Current children cumulated vsize (KiB) 367520 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 3/78 11262 /proc/meminfo: memFree=1214960/2055920 swapFree=4159420/4192956 [pid=11063] ppid=11061 vsize=387572 CPUtime=521.99 /proc/11063/stat : 11063 (oree) R 11061 11063 10675 0 -1 4194304 95674 0 0 0 52149 50 0 0 25 0 1 0 147401034 396873728 94616 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606698 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11063/statm: 96893 94616 170 317 0 96572 0 Current children cumulated CPU time (s) 521.99 Current children cumulated vsize (KiB) 387572 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 11262 /proc/meminfo: memFree=1199856/2055920 swapFree=4159420/4192956 [pid=11063] ppid=11061 vsize=401068 CPUtime=581.97 /proc/11063/stat : 11063 (oree) R 11061 11063 10675 0 -1 4194304 99032 0 0 0 58144 53 0 0 25 0 1 0 147401034 410693632 97974 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11063/statm: 100267 97974 170 317 0 99946 0 Current children cumulated CPU time (s) 581.97 Current children cumulated vsize (KiB) 401068 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 11262 /proc/meminfo: memFree=1174128/2055920 swapFree=4159420/4192956 [pid=11063] ppid=11061 vsize=427080 CPUtime=641.95 /proc/11063/stat : 11063 (oree) R 11061 11063 10675 0 -1 4194304 105406 0 0 0 64138 57 0 0 25 0 1 0 147401034 437329920 104348 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11063/statm: 106770 104348 170 317 0 106449 0 Current children cumulated CPU time (s) 641.95 Current children cumulated vsize (KiB) 427080 ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.99 3/78 11262 /proc/meminfo: memFree=1088432/2055920 swapFree=4159420/4192956 [pid=11063] ppid=11061 vsize=514460 CPUtime=941.82 /proc/11063/stat : 11063 (oree) R 11061 11063 10675 0 -1 4194304 126871 0 0 0 94113 69 0 0 25 0 1 0 147401034 526807040 125727 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135194616 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11063/statm: 128615 125727 170 317 0 128294 0 Current children cumulated CPU time (s) 941.82 Current children cumulated vsize (KiB) 514460 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 11262 /proc/meminfo: memFree=1069936/2055920 swapFree=4159420/4192956 [pid=11063] ppid=11061 vsize=533256 CPUtime=1001.8 /proc/11063/stat : 11063 (oree) R 11061 11063 10675 0 -1 4194304 131484 0 0 0 100107 73 0 0 25 0 1 0 147401034 546054144 130340 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11063/statm: 133314 130340 170 317 0 132993 0 Current children cumulated CPU time (s) 1001.8 Current children cumulated vsize (KiB) 533256 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 11262 /proc/meminfo: memFree=1056176/2055920 swapFree=4159420/4192956 [pid=11063] ppid=11061 vsize=547124 CPUtime=1061.77 /proc/11063/stat : 11063 (oree) R 11061 11063 10675 0 -1 4194304 134910 0 0 0 106103 74 0 0 25 0 1 0 147401034 560254976 133766 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606848 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11063/statm: 136781 133766 170 317 0 136460 0 Current children cumulated CPU time (s) 1061.77 Current children cumulated vsize (KiB) 547124 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 11262 /proc/meminfo: memFree=1038320/2055920 swapFree=4159420/4192956 [pid=11063] ppid=11061 vsize=565152 CPUtime=1121.74 /proc/11063/stat : 11063 (oree) R 11061 11063 10675 0 -1 4194304 139367 0 0 0 112097 77 0 0 25 0 1 0 147401034 578715648 138223 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11063/statm: 141288 138223 170 317 0 140967 0 Current children cumulated CPU time (s) 1121.74 Current children cumulated vsize (KiB) 565152 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 11262 /proc/meminfo: memFree=1024944/2055920 swapFree=4159420/4192956 [pid=11063] ppid=11061 vsize=578940 CPUtime=1181.71 /proc/11063/stat : 11063 (oree) R 11061 11063 10675 0 -1 4194304 142712 0 0 0 118092 79 0 0 25 0 1 0 147401034 592834560 141568 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11063/statm: 144735 141568 170 317 0 144414 0 Current children cumulated CPU time (s) 1181.71 Current children cumulated vsize (KiB) 578940 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 11262 /proc/meminfo: memFree=1000816/2055920 swapFree=4159420/4192956 [pid=11063] ppid=11061 vsize=603896 CPUtime=1241.69 /proc/11063/stat : 11063 (oree) R 11061 11063 10675 0 -1 4194304 148738 0 0 0 124087 82 0 0 25 0 1 0 147401034 618389504 147594 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11063/statm: 150974 147594 170 317 0 150653 0 Current children cumulated CPU time (s) 1241.69 Current children cumulated vsize (KiB) 603896 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 11262 /proc/meminfo: memFree=983152/2055920 swapFree=4159420/4192956 [pid=11063] ppid=11061 vsize=621616 CPUtime=1301.67 /proc/11063/stat : 11063 (oree) R 11061 11063 10675 0 -1 4194304 153130 0 0 0 130082 85 0 0 25 0 1 0 147401034 636534784 151986 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11063/statm: 155404 151986 170 317 0 155083 0 Current children cumulated CPU time (s) 1301.67 Current children cumulated vsize (KiB) 621616 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 11262 /proc/meminfo: memFree=963440/2055920 swapFree=4159420/4192956 [pid=11063] ppid=11061 vsize=641860 CPUtime=1361.64 /proc/11063/stat : 11063 (oree) R 11061 11063 10675 0 -1 4194304 158062 0 0 0 136075 89 0 0 25 0 1 0 147401034 657264640 156918 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11063/statm: 160465 156918 170 317 0 160144 0 Current children cumulated CPU time (s) 1361.64 Current children cumulated vsize (KiB) 641860 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/78 11262 /proc/meminfo: memFree=947696/2055920 swapFree=4159420/4192956 [pid=11063] ppid=11061 vsize=658000 CPUtime=1421.62 /proc/11063/stat : 11063 (oree) R 11061 11063 10675 0 -1 4194304 161985 0 0 0 142071 91 0 0 25 0 1 0 147401034 673792000 160841 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606708 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11063/statm: 164500 160841 170 317 0 164179 0 Current children cumulated CPU time (s) 1421.62 Current children cumulated vsize (KiB) 658000 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 11262 /proc/meminfo: memFree=925744/2055920 swapFree=4159420/4192956 [pid=11063] ppid=11061 vsize=680428 CPUtime=1481.6 /proc/11063/stat : 11063 (oree) R 11061 11063 10675 0 -1 4194304 167452 0 0 0 148066 94 0 0 25 0 1 0 147401034 696758272 166308 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11063/statm: 170107 166308 170 317 0 169786 0 Current children cumulated CPU time (s) 1481.6 Current children cumulated vsize (KiB) 680428 [startup+1542.3 s] /proc/loadavg: 1.05 1.00 1.00 2/78 11262 /proc/meminfo: memFree=898288/2055920 swapFree=4159420/4192956 [pid=11063] ppid=11061 vsize=708228 CPUtime=1541.58 /proc/11063/stat : 11063 (oree) R 11061 11063 10675 0 -1 4194304 174310 0 0 0 154061 97 0 0 25 0 1 0 147401034 725225472 173166 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135194616 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11063/statm: 177057 173166 170 317 0 176736 0 Current children cumulated CPU time (s) 1541.58 Current children cumulated vsize (KiB) 708228 [startup+1602.3 s] /proc/loadavg: 1.11 1.03 1.01 2/78 11262 /proc/meminfo: memFree=876528/2055920 swapFree=4159420/4192956 [pid=11063] ppid=11061 vsize=730736 CPUtime=1601.55 /proc/11063/stat : 11063 (oree) R 11061 11063 10675 0 -1 4194304 179810 0 0 0 160055 100 0 0 25 0 1 0 147401034 748273664 178666 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11063/statm: 182684 178666 170 317 0 182363 0 Current children cumulated CPU time (s) 1601.55 Current children cumulated vsize (KiB) 730736 [startup+1662.3 s] /proc/loadavg: 1.08 1.04 1.01 2/78 11262 /proc/meminfo: memFree=860016/2055920 swapFree=4159420/4192956 [pid=11063] ppid=11061 vsize=747760 CPUtime=1661.52 /proc/11063/stat : 11063 (oree) R 11061 11063 10675 0 -1 4194304 183943 0 0 0 166050 102 0 0 25 0 1 0 147401034 765706240 182799 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11063/statm: 186940 182799 170 317 0 186619 0 Current children cumulated CPU time (s) 1661.52 Current children cumulated vsize (KiB) 747760 [startup+1722.3 s] /proc/loadavg: 1.07 1.04 1.01 2/78 11262 /proc/meminfo: memFree=835376/2055920 swapFree=4159420/4192956 [pid=11063] ppid=11061 vsize=772996 CPUtime=1721.5 /proc/11063/stat : 11063 (oree) R 11061 11063 10675 0 -1 4194304 190121 0 0 0 172045 105 0 0 25 0 1 0 147401034 791547904 188977 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385271 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11063/statm: 193249 188977 170 317 0 192928 0 Current children cumulated CPU time (s) 1721.5 Current children cumulated vsize (KiB) 772996 [startup+1782.3 s] /proc/loadavg: 1.02 1.03 1.00 2/78 11262 /proc/meminfo: memFree=824112/2055920 swapFree=4159420/4192956 [pid=11063] ppid=11061 vsize=784112 CPUtime=1781.48 /proc/11063/stat : 11063 (oree) R 11061 11063 10675 0 -1 4194304 192835 0 0 0 178041 107 0 0 25 0 1 0 147401034 802930688 191691 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11063/statm: 196028 191691 170 317 0 195707 0 Current children cumulated CPU time (s) 1781.48 Current children cumulated vsize (KiB) 784112 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.9 s] /proc/loadavg: 1.02 1.03 1.00 2/78 11262 /proc/meminfo: memFree=815600/2055920 swapFree=4159420/4192956 [pid=11063] ppid=11061 vsize=792780 CPUtime=1800.07 /proc/11063/stat : 11063 (oree) R 11061 11063 10675 0 -1 4194304 194936 0 0 0 179899 108 0 0 25 0 1 0 147401034 811806720 193792 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384524 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11063/statm: 198195 193792 170 317 0 197874 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 792780 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801.01 s] /proc/loadavg: 1.02 1.03 1.00 2/78 11262 /proc/meminfo: memFree=815600/2055920 swapFree=4159420/4192956 [pid=11063] ppid=11061 vsize=786576 CPUtime=1800.17 /proc/11063/stat : 11063 (oree) R 11061 11063 10675 0 -1 4194304 194952 0 0 0 179909 108 0 0 25 0 1 0 147401034 805453824 192262 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135266576 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11063/statm: 196644 192262 186 317 0 196323 0 Current children cumulated CPU time (s) 1800.17 Current children cumulated vsize (KiB) 786576 [startup+1801.1 s] /proc/loadavg: 1.02 1.03 1.00 2/78 11262 /proc/meminfo: memFree=815600/2055920 swapFree=4159420/4192956 [pid=11063] ppid=11061 vsize=0 CPUtime=1800.27 /proc/11063/stat : 11063 (oree) R 11061 11063 10675 0 -1 4194308 194952 0 0 0 179909 118 0 0 25 0 1 0 147401034 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11063/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.27 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1801.13 CPU time (s): 1800.31 CPU user time (s): 1799.1 CPU system time (s): 1.21181 CPU usage (%): 99.9542 Max. virtual memory (cumulated for all children) (KiB): 792780 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.1 system time used= 1.21182 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 194952 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= 3036 runsolver used 1.9737 second user time and 4.6193 second system time The end
Begin job on node13 on Thu Apr 19 15:00:32 UTC 2007 IDJOB= 357333 IDBENCH= 2422 IDSOLVER= 172 FILE ID= node13/357333-1176994830 PBS_JOBID= 4630468 Free space on /tmp= 66278 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-maros-r7.opb COMMAND LINE= oree /tmp/evaluation/357333-1176994830/instance-357333-1176994830.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-357333-1176994830 -o ROOT/results/node13/solver-357333-1176994830 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357333-1176994830/instance-357333-1176994830.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 0981750c20a5ad85ded6bb04bf23d130 RANDOM SEED= 345164351 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node13.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.259 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.259 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: 1591440 kB Buffers: 36968 kB Cached: 361424 kB SwapCached: 12736 kB Active: 117156 kB Inactive: 304408 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1591440 kB SwapTotal: 4192956 kB SwapFree: 4159420 kB Dirty: 43648 kB Writeback: 0 kB Mapped: 30120 kB Slab: 28360 kB Committed_AS: 6648328 kB PageTables: 1872 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= 66278 MiB End job on node13 on Thu Apr 19 15:30:35 UTC 2007