Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.1 | 1800.83 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-blp-ar98.opb |
MD5SUM | 24f5fdc248e1411d713d304748099da5 |
Bench Category | OPT-SMALLINT (optimisation, small 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 | 20024 |
Total number of constraints | 1258 |
Number of constraints which are clauses | 1 |
Number of constraints which are cardinality constraints (but not clauses) | 912 |
Number of constraints which are nor clauses,nor cardinality constraints | 345 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 15837 |
Number of terms in the objective function | 31 |
Biggest coefficient in the objective function | 262145 |
Number of bits for the biggest coefficient in the objective function | 19 |
Sum of the numbers in the objective function | 524318 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 532272 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 0.79/0.82 c ...done 0.79/0.82 c #vars=20024 #constraints=1474 hasObjective=yes 0.89/0.92 c res. mode=mod 0.89/0.92 c VSIDS like heuristics 0.89/0.92 c complete search running 2.59/2.61 c restart after 401 decisions 2.99/3.03 c nbDecision=500 #constraints=1574 4.19/4.24 c restart after 801 decisions 4.99/5.05 c nbDecision=1000 #constraints=1676 7.09/7.18 c nbDecision=1500 #constraints=1787 7.49/7.55 c restart after 1601 decisions 9.09/9.17 c nbDecision=2000 #constraints=1879 16.19/16.27 c nbDecision=2500 #constraints=2007 26.18/26.26 c nbDecision=3000 #constraints=2153 29.18/29.27 c restart after 3201 decisions 34.27/34.35 c nbDecision=3500 #constraints=2257 39.77/39.83 c nbDecision=4000 #constraints=2363 46.47/46.50 c nbDecision=4500 #constraints=2483 54.97/55.07 c nbDecision=5000 #constraints=2622 57.87/57.99 c nbDecision=5500 #constraints=2716 62.16/62.26 c nbDecision=6000 #constraints=2824 70.47/70.56 c restart after 6401 decisions 70.97/71.02 c nbDecision=6500 #constraints=2971 73.17/73.25 c nbDecision=7000 #constraints=3074 75.36/75.49 c nbDecision=7500 #constraints=3174 82.26/82.34 c nbDecision=8000 #constraints=3301 92.36/92.48 c nbDecision=8500 #constraints=3459 98.65/98.75 c nbDecision=9000 #constraints=3547 102.16/102.30 c nbDecision=9500 #constraints=3627 106.15/106.28 c nbDecision=10000 #constraints=3706 108.25/108.38 c nbDecision=10500 #constraints=3800 117.44/117.60 c nbDecision=11000 #constraints=3940 125.54/125.66 c nbDecision=11500 #constraints=4051 129.74/129.84 c nbDecision=12000 #constraints=4122 135.74/135.80 c nbDecision=12500 #constraints=4218 139.13/139.23 c restart after 12801 decisions 142.13/142.21 c nbDecision=13000 #constraints=4354 146.83/146.94 c nbDecision=13500 #constraints=4426 149.63/149.80 c nbDecision=14000 #constraints=4508 157.02/157.17 c nbDecision=14500 #constraints=4597 165.43/165.59 c nbDecision=15000 #constraints=4711 168.93/169.02 c nbDecision=15500 #constraints=4791 177.22/177.39 c nbDecision=16000 #constraints=4921 184.22/184.34 c nbDecision=16500 #constraints=5018 186.42/186.55 c nbDecision=17000 #constraints=5111 195.62/195.74 c nbDecision=17500 #constraints=5251 204.81/204.92 c nbDecision=18000 #constraints=5388 210.41/210.57 c nbDecision=18500 #constraints=5490 214.81/214.95 c nbDecision=19000 #constraints=5596 224.30/224.41 c nbDecision=19500 #constraints=5741 232.20/232.33 c nbDecision=20000 #constraints=5845 236.70/236.87 c nbDecision=20500 #constraints=5949 243.19/243.36 c nbDecision=21000 #constraints=6036 246.39/246.52 c nbDecision=21500 #constraints=6125 256.49/256.62 c nbDecision=22000 #constraints=6279 262.98/263.10 c nbDecision=22500 #constraints=6396 266.68/266.81 c nbDecision=23000 #constraints=6472 271.79/271.96 c nbDecision=23500 #constraints=6542 275.99/276.19 c nbDecision=24000 #constraints=6624 280.08/280.27 c nbDecision=24500 #constraints=6703 283.48/283.64 c nbDecision=25000 #constraints=6776 285.89/286.02 c nbDecision=25500 #constraints=6856 286.28/286.41 c restart after 25601 decisions 290.38/290.53 c nbDecision=26000 #constraints=6951 294.58/294.73 c nbDecision=26500 #constraints=7023 299.47/299.69 c nbDecision=27000 #constraints=7122 304.77/304.95 c nbDecision=27500 #constraints=7188 311.77/311.95 c nbDecision=28000 #constraints=7308 317.27/317.42 c nbDecision=28500 #constraints=7392 322.56/322.72 c nbDecision=29000 #constraints=7483 326.66/326.87 c nbDecision=29500 #constraints=7616 328.36/328.55 c nbDecision=30000 #constraints=7840 330.76/330.99 c nbDecision=30500 #constraints=7913 333.16/333.33 c nbDecision=31000 #constraints=7987 335.16/335.38 c nbDecision=31500 #constraints=8052 337.26/337.41 c nbDecision=32000 #constraints=8117 339.25/339.49 c nbDecision=32500 #constraints=8191 341.25/341.45 c nbDecision=33000 #constraints=8462 343.55/343.76 c nbDecision=33500 #constraints=8522 345.55/345.76 c nbDecision=34000 #constraints=8592 346.15/346.35 c nbDecision=34500 #constraints=8815 347.16/347.31 c nbDecision=35000 #constraints=9032 348.46/348.65 c nbDecision=35500 #constraints=9327 349.06/349.21 c nbDecision=36000 #constraints=9579 349.66/349.87 c nbDecision=36500 #constraints=9802 350.36/350.50 c nbDecision=37000 #constraints=10023 351.46/351.68 c nbDecision=37500 #constraints=10209 353.85/354.01 c nbDecision=38000 #constraints=10267 355.16/355.31 c nbDecision=38500 #constraints=10427 355.75/356.00 c nbDecision=39000 #constraints=10659 356.45/356.67 c nbDecision=39500 #constraints=10912 358.36/358.52 c nbDecision=40000 #constraints=11231 360.45/360.63 c nbDecision=40500 #constraints=11471 361.45/361.68 c nbDecision=41000 #constraints=11683 363.25/363.45 c nbDecision=41500 #constraints=11971 365.35/365.59 c nbDecision=42000 #constraints=12148 367.74/367.95 c nbDecision=42500 #constraints=12205 369.84/370.06 c nbDecision=43000 #constraints=12386 372.44/372.60 c nbDecision=43500 #constraints=12451 374.64/374.88 c nbDecision=44000 #constraints=12590 376.74/376.99 c nbDecision=44500 #constraints=12915 378.04/378.21 c nbDecision=45000 #constraints=13116 380.24/380.40 c nbDecision=45500 #constraints=13420 382.74/382.97 c nbDecision=46000 #constraints=13723 384.33/384.50 c nbDecision=46500 #constraints=14021 385.24/385.41 c nbDecision=47000 #constraints=14256 387.74/387.94 c nbDecision=47500 #constraints=14568 389.44/389.61 c nbDecision=48000 #constraints=14879 390.54/390.74 c nbDecision=48500 #constraints=15087 392.74/392.92 c nbDecision=49000 #constraints=15477 395.63/395.87 c nbDecision=49500 #constraints=15766 397.83/398.02 c nbDecision=50000 #constraints=16096 400.93/401.14 c nbDecision=50500 #constraints=16220 403.53/403.71 c nbDecision=51000 #constraints=16284 403.83/404.05 c restart after 51201 decisions 405.83/406.04 c nbDecision=51500 #constraints=16414 412.02/412.23 c nbDecision=52000 #constraints=16496 416.12/416.36 c nbDecision=52500 #constraints=16566 419.82/420.07 c nbDecision=53000 #constraints=16645 422.22/422.41 c nbDecision=53500 #constraints=16711 425.22/425.46 c nbDecision=54000 #constraints=16768 428.42/428.70 c nbDecision=54500 #constraints=16862 433.72/433.91 c nbDecision=55000 #constraints=16926 437.31/437.54 c nbDecision=55500 #constraints=16999 439.51/439.78 c nbDecision=56000 #constraints=17061 443.31/443.56 c nbDecision=56500 #constraints=17125 445.52/445.75 c nbDecision=57000 #constraints=17249 446.62/446.83 c nbDecision=57500 #constraints=17504 448.22/448.42 c nbDecision=58000 #constraints=17717 453.11/453.34 c nbDecision=58500 #constraints=17783 456.81/457.03 c nbDecision=59000 #constraints=17855 459.41/459.69 c nbDecision=59500 #constraints=17913 462.61/462.85 c nbDecision=60000 #constraints=17974 465.41/465.63 c nbDecision=60500 #constraints=18055 466.50/466.77 c nbDecision=61000 #constraints=18287 468.31/468.58 c nbDecision=61500 #constraints=18425 470.00/470.28 c nbDecision=62000 #constraints=18575 471.10/471.36 c nbDecision=62500 #constraints=18811 472.80/473.02 c nbDecision=63000 #constraints=18969 474.10/474.31 c nbDecision=63500 #constraints=19200 478.70/478.90 c nbDecision=64000 #constraints=19313 482.19/482.47 c nbDecision=64500 #constraints=19393 485.29/485.55 c nbDecision=65000 #constraints=19456 488.49/488.75 c nbDecision=65500 #constraints=19518 491.30/491.57 c nbDecision=66000 #constraints=19586 493.60/493.84 c nbDecision=66500 #constraints=19734 495.30/495.51 c nbDecision=67000 #constraints=19905 496.90/497.14 c nbDecision=67500 #constraints=20054 498.19/498.46 c nbDecision=68000 #constraints=20310 499.49/499.77 c nbDecision=68500 #constraints=20534 501.40/501.69 c nbDecision=69000 #constraints=20671 502.79/503.02 c nbDecision=69500 #constraints=20900 507.69/507.93 c nbDecision=70000 #constraints=20964 509.69/509.93 c nbDecision=70500 #constraints=21087 511.39/511.69 c nbDecision=71000 #constraints=21253 512.68/512.94 c nbDecision=71500 #constraints=21485 513.98/514.25 c nbDecision=72000 #constraints=21718 515.08/515.36 c nbDecision=72500 #constraints=21945 517.38/517.63 c nbDecision=73000 #constraints=22024 519.08/519.30 c nbDecision=73500 #constraints=22213 522.38/522.60 c nbDecision=74000 #constraints=22372 526.78/527.09 c nbDecision=74500 #constraints=22440 530.17/530.46 c nbDecision=75000 #constraints=22505 533.97/534.27 c nbDecision=75500 #constraints=22572 535.77/536.04 c nbDecision=76000 #constraints=22778 537.17/537.43 c nbDecision=76500 #constraints=23001 538.68/538.90 c nbDecision=77000 #constraints=23228 540.07/540.37 c nbDecision=77500 #constraints=23414 541.77/542.03 c nbDecision=78000 #constraints=23646 543.47/543.74 c nbDecision=78500 #constraints=23799 546.27/546.58 c nbDecision=79000 #constraints=23926 550.06/550.37 c nbDecision=79500 #constraints=23989 553.16/553.42 c nbDecision=80000 #constraints=24136 554.46/554.76 c nbDecision=80500 #constraints=24334 556.16/556.41 c nbDecision=81000 #constraints=24541 558.16/558.41 c nbDecision=81500 #constraints=24666 560.06/560.33 c nbDecision=82000 #constraints=24783 561.96/562.27 c nbDecision=82500 #constraints=24904 563.66/563.92 c nbDecision=83000 #constraints=25148 565.27/565.55 c nbDecision=83500 #constraints=25374 567.06/567.31 c nbDecision=84000 #constraints=25525 569.36/569.69 c nbDecision=84500 #constraints=25603 571.16/571.41 c nbDecision=85000 #constraints=25735 573.96/574.27 c nbDecision=85500 #constraints=25889 576.46/576.71 c nbDecision=86000 #constraints=26011 578.06/578.40 c nbDecision=86500 #constraints=26219 579.76/580.09 c nbDecision=87000 #constraints=26445 581.25/581.58 c nbDecision=87500 #constraints=26671 583.15/583.43 c nbDecision=88000 #constraints=26883 585.05/585.36 c nbDecision=88500 #constraints=27098 586.95/587.20 c nbDecision=89000 #constraints=27270 588.55/588.86 c nbDecision=89500 #constraints=27503 590.75/591.01 c nbDecision=90000 #constraints=27708 592.35/592.69 c nbDecision=90500 #constraints=27963 594.65/594.90 c nbDecision=91000 #constraints=28152 601.45/601.70 c nbDecision=91500 #constraints=28250 605.85/606.12 c nbDecision=92000 #constraints=28316 609.15/609.49 c nbDecision=92500 #constraints=28387 612.35/612.62 c nbDecision=93000 #constraints=28448 615.44/615.71 c nbDecision=93500 #constraints=28599 617.85/618.15 c nbDecision=94000 #constraints=28812 620.34/620.64 c nbDecision=94500 #constraints=29061 622.74/623.08 c nbDecision=95000 #constraints=29263 624.64/624.96 c nbDecision=95500 #constraints=29481 627.24/627.51 c nbDecision=96000 #constraints=29626 628.64/628.96 c nbDecision=96500 #constraints=29867 630.43/630.70 c nbDecision=97000 #constraints=30084 631.93/632.27 c nbDecision=97500 #constraints=30317 634.44/634.74 c nbDecision=98000 #constraints=30467 637.13/637.49 c nbDecision=98500 #constraints=30564 638.63/638.95 c nbDecision=99000 #constraints=30724 640.83/641.16 c nbDecision=99500 #constraints=30937 642.73/643.09 c nbDecision=100000 #constraints=31162 644.23/644.59 c nbDecision=100500 #constraints=31323 647.53/647.83 c nbDecision=101000 #constraints=31500 650.42/650.75 c nbDecision=101500 #constraints=31662 652.42/652.75 c nbDecision=102000 #constraints=31859 653.92/654.23 c restart after 102401 decisions 654.62/654.92 c nbDecision=102500 #constraints=32047 658.92/659.24 c nbDecision=103000 #constraints=32124 664.13/664.41 c nbDecision=103500 #constraints=32199 671.32/671.60 c nbDecision=104000 #constraints=32307 674.42/674.76 c nbDecision=104500 #constraints=32406 681.52/681.82 c nbDecision=105000 #constraints=32529 690.81/691.10 c nbDecision=105500 #constraints=32649 697.31/697.64 c nbDecision=106000 #constraints=32733 703.10/703.44 c nbDecision=106500 #constraints=32845 712.90/713.23 c nbDecision=107000 #constraints=32973 722.80/723.13 c nbDecision=107500 #constraints=33103 729.39/729.70 c nbDecision=108000 #constraints=33167 734.19/734.51 c nbDecision=108500 #constraints=33231 738.99/739.35 c nbDecision=109000 #constraints=33288 744.69/745.01 c nbDecision=109500 #constraints=33343 747.69/748.02 c nbDecision=110000 #constraints=33411 753.28/753.65 c nbDecision=110500 #constraints=33461 759.58/759.99 c nbDecision=111000 #constraints=33518 764.08/764.46 c nbDecision=111500 #constraints=33580 768.08/768.43 c nbDecision=112000 #constraints=33639 771.98/772.31 c nbDecision=112500 #constraints=33780 775.19/775.58 c nbDecision=113000 #constraints=33885 778.08/778.46 c nbDecision=113500 #constraints=33984 780.38/780.77 c nbDecision=114000 #constraints=34168 782.28/782.68 c nbDecision=114500 #constraints=34397 784.78/785.13 c nbDecision=115000 #constraints=34528 787.18/787.55 c nbDecision=115500 #constraints=34740 792.87/793.26 c nbDecision=116000 #constraints=34802 796.87/797.23 c nbDecision=116500 #constraints=34884 799.57/799.96 c nbDecision=117000 #constraints=34947 803.67/804.08 c nbDecision=117500 #constraints=34998 806.57/806.90 c nbDecision=118000 #constraints=35088 809.06/809.48 c nbDecision=118500 #constraints=35223 811.36/811.75 c nbDecision=119000 #constraints=35444 816.26/816.62 c nbDecision=119500 #constraints=35499 820.26/820.66 c nbDecision=120000 #constraints=35559 823.35/823.73 c nbDecision=120500 #constraints=35733 826.05/826.49 c nbDecision=121000 #constraints=35949 828.35/828.72 c nbDecision=121500 #constraints=36154 830.35/830.72 c nbDecision=122000 #constraints=36421 833.05/833.44 c nbDecision=122500 #constraints=36514 836.35/836.74 c nbDecision=123000 #constraints=36693 838.65/839.09 c nbDecision=123500 #constraints=36913 841.05/841.40 c nbDecision=124000 #constraints=37160 843.84/844.22 c nbDecision=124500 #constraints=37294 846.95/847.37 c nbDecision=125000 #constraints=37435 849.75/850.15 c nbDecision=125500 #constraints=37549 851.95/852.32 c nbDecision=126000 #constraints=37725 854.15/854.51 c nbDecision=126500 #constraints=37953 856.55/856.94 c nbDecision=127000 #constraints=38123 859.05/859.46 c nbDecision=127500 #constraints=38362 861.25/861.65 c nbDecision=128000 #constraints=38608 863.74/864.12 c nbDecision=128500 #constraints=38774 865.84/866.25 c nbDecision=129000 #constraints=39000 868.94/869.31 c nbDecision=129500 #constraints=39118 871.94/872.31 c nbDecision=130000 #constraints=39295 874.14/874.57 c nbDecision=130500 #constraints=39384 876.24/876.64 c nbDecision=131000 #constraints=39501 879.84/880.21 c nbDecision=131500 #constraints=39629 884.63/885.06 c nbDecision=132000 #constraints=39761 887.73/888.13 c nbDecision=132500 #constraints=39838 890.54/890.97 c nbDecision=133000 #constraints=39957 894.63/895.00 c nbDecision=133500 #constraints=40040 898.03/898.42 c nbDecision=134000 #constraints=40128 900.23/900.64 c nbDecision=134500 #constraints=40305 901.83/902.28 c nbDecision=135000 #constraints=40469 904.32/904.77 c nbDecision=135500 #constraints=40616 906.72/907.12 c nbDecision=136000 #constraints=40698 909.12/909.59 c nbDecision=136500 #constraints=40783 910.92/911.31 c nbDecision=137000 #constraints=40867 912.52/912.92 c nbDecision=137500 #constraints=40951 916.82/917.24 c nbDecision=138000 #constraints=41080 921.32/921.75 c nbDecision=138500 #constraints=41157 923.72/924.13 c nbDecision=139000 #constraints=41281 928.12/928.59 c nbDecision=139500 #constraints=41405 931.72/932.14 c nbDecision=140000 #constraints=41556 934.02/934.41 c nbDecision=140500 #constraints=41631 934.92/935.38 c nbDecision=141000 #constraints=41704 936.22/936.64 c nbDecision=141500 #constraints=41747 938.22/938.66 c nbDecision=142000 #constraints=41857 940.72/941.11 c nbDecision=142500 #constraints=42101 943.42/943.83 c nbDecision=143000 #constraints=42310 947.11/947.57 c nbDecision=143500 #constraints=42522 949.11/949.56 c nbDecision=144000 #constraints=42576 950.71/951.11 c nbDecision=144500 #constraints=42640 953.01/953.45 c nbDecision=145000 #constraints=42681 959.01/959.49 c nbDecision=145500 #constraints=42739 962.60/963.02 c nbDecision=146000 #constraints=42887 965.00/965.46 c nbDecision=146500 #constraints=42959 967.80/968.21 c nbDecision=147000 #constraints=43084 971.20/971.69 c nbDecision=147500 #constraints=43164 974.40/974.89 c nbDecision=148000 #constraints=43308 976.50/976.93 c nbDecision=148500 #constraints=43363 978.40/978.87 c nbDecision=149000 #constraints=43431 982.09/982.52 c nbDecision=149500 #constraints=43524 984.89/985.30 c nbDecision=150000 #constraints=43618 988.29/988.70 c nbDecision=150500 #constraints=43767 991.69/992.13 c nbDecision=151000 #constraints=43818 994.59/995.03 c nbDecision=151500 #constraints=43900 998.59/999.05 c nbDecision=152000 #constraints=44073 1000.98/1001.49 c nbDecision=152500 #constraints=44292 1004.28/1004.78 c nbDecision=153000 #constraints=44339 1007.48/1007.94 c nbDecision=153500 #constraints=44461 1010.08/1010.54 c nbDecision=154000 #constraints=44705 1013.18/1013.68 c nbDecision=154500 #constraints=44780 1016.68/1017.17 c nbDecision=155000 #constraints=44862 1020.28/1020.75 c nbDecision=155500 #constraints=44922 1022.07/1022.58 c nbDecision=156000 #constraints=44974 1025.48/1025.97 c nbDecision=156500 #constraints=45080 1029.18/1029.70 c nbDecision=157000 #constraints=45265 1031.78/1032.29 c nbDecision=157500 #constraints=45334 1033.18/1033.67 c nbDecision=158000 #constraints=45397 1034.27/1034.76 c nbDecision=158500 #constraints=45440 1035.07/1035.51 c nbDecision=159000 #constraints=45485 1038.17/1038.61 c nbDecision=159500 #constraints=45582 1041.47/1041.92 c nbDecision=160000 #constraints=45678 1043.27/1043.76 c nbDecision=160500 #constraints=45747 1045.07/1045.52 c nbDecision=161000 #constraints=45824 1046.77/1047.21 c nbDecision=161500 #constraints=45881 1049.87/1050.34 c nbDecision=162000 #constraints=45928 1052.77/1053.28 c nbDecision=162500 #constraints=46033 1055.76/1056.24 c nbDecision=163000 #constraints=46274 1058.26/1058.70 c nbDecision=163500 #constraints=46461 1061.26/1061.75 c nbDecision=164000 #constraints=46554 1063.06/1063.55 c nbDecision=164500 #constraints=46781 1066.56/1067.01 c nbDecision=165000 #constraints=46843 1070.46/1070.98 c nbDecision=165500 #constraints=46983 1075.95/1076.46 c nbDecision=166000 #constraints=47132 1080.25/1080.75 c nbDecision=166500 #constraints=47245 1083.45/1083.99 c nbDecision=167000 #constraints=47324 1086.65/1087.17 c nbDecision=167500 #constraints=47432 1090.15/1090.60 c nbDecision=168000 #constraints=47594 1091.85/1092.38 c nbDecision=168500 #constraints=47666 1094.35/1094.88 c nbDecision=169000 #constraints=47771 1097.54/1098.02 c nbDecision=169500 #constraints=47960 1099.14/1099.67 c nbDecision=170000 #constraints=48112 1101.84/1102.32 c nbDecision=170500 #constraints=48284 1103.45/1103.98 c nbDecision=171000 #constraints=48459 1107.65/1108.11 c nbDecision=171500 #constraints=48561 1113.64/1114.12 c nbDecision=172000 #constraints=48627 1119.24/1119.71 c nbDecision=172500 #constraints=48677 1122.84/1123.31 c nbDecision=173000 #constraints=48743 1127.14/1127.65 c nbDecision=173500 #constraints=48801 1130.94/1131.45 c nbDecision=174000 #constraints=48868 1137.03/1137.53 c nbDecision=174500 #constraints=48922 1141.33/1141.87 c nbDecision=175000 #constraints=49000 1145.43/1145.96 c nbDecision=175500 #constraints=49065 1149.43/1149.90 c nbDecision=176000 #constraints=49121 1153.43/1153.94 c nbDecision=176500 #constraints=49181 1158.93/1159.42 c nbDecision=177000 #constraints=49284 1165.02/1165.59 c nbDecision=177500 #constraints=49334 1169.52/1170.07 c nbDecision=178000 #constraints=49391 1175.42/1175.95 c nbDecision=178500 #constraints=49448 1179.11/1179.64 c nbDecision=179000 #constraints=49522 1185.01/1185.50 c nbDecision=179500 #constraints=49621 1190.02/1190.52 c nbDecision=180000 #constraints=49677 1193.71/1194.20 c nbDecision=180500 #constraints=49733 1196.81/1197.33 c nbDecision=181000 #constraints=49831 1200.81/1201.30 c nbDecision=181500 #constraints=49952 1204.81/1205.31 c nbDecision=182000 #constraints=50112 1209.20/1209.73 c nbDecision=182500 #constraints=50257 1212.81/1213.34 c nbDecision=183000 #constraints=50348 1217.50/1218.05 c nbDecision=183500 #constraints=50425 1222.10/1222.60 c nbDecision=184000 #constraints=50511 1227.39/1227.92 c nbDecision=184500 #constraints=50572 1231.89/1232.48 c nbDecision=185000 #constraints=50636 1235.89/1236.48 c nbDecision=185500 #constraints=50715 1239.69/1240.27 c nbDecision=186000 #constraints=50786 1243.39/1243.92 c nbDecision=186500 #constraints=50847 1250.78/1251.40 c nbDecision=187000 #constraints=50939 1257.18/1257.74 c nbDecision=187500 #constraints=50989 1260.68/1261.22 c nbDecision=188000 #constraints=51122 1265.17/1265.77 c nbDecision=188500 #constraints=51188 1271.47/1272.00 c nbDecision=189000 #constraints=51255 1275.17/1275.78 c nbDecision=189500 #constraints=51319 1279.97/1280.54 c nbDecision=190000 #constraints=51376 1282.87/1283.41 c nbDecision=190500 #constraints=51498 1285.56/1286.15 c nbDecision=191000 #constraints=51695 1289.36/1289.97 c nbDecision=191500 #constraints=51907 1293.77/1294.34 c nbDecision=192000 #constraints=51971 1296.77/1297.39 c nbDecision=192500 #constraints=52182 1298.87/1299.40 c nbDecision=193000 #constraints=52350 1301.67/1302.30 c nbDecision=193500 #constraints=52421 1305.66/1306.20 c nbDecision=194000 #constraints=52556 1309.06/1309.68 c nbDecision=194500 #constraints=52717 1312.66/1313.26 c nbDecision=195000 #constraints=52779 1317.36/1317.99 c nbDecision=195500 #constraints=52879 1321.36/1321.93 c nbDecision=196000 #constraints=53051 1324.76/1325.34 c nbDecision=196500 #constraints=53240 1328.45/1329.09 c nbDecision=197000 #constraints=53338 1332.85/1333.48 c nbDecision=197500 #constraints=53448 1335.45/1336.08 c nbDecision=198000 #constraints=53568 1339.65/1340.27 c nbDecision=198500 #constraints=53711 1343.75/1344.34 c nbDecision=199000 #constraints=53767 1347.74/1348.31 c nbDecision=199500 #constraints=53904 1350.14/1350.78 c nbDecision=200000 #constraints=54143 1353.24/1353.86 c nbDecision=200500 #constraints=54254 1357.74/1358.30 c nbDecision=201000 #constraints=54319 1361.03/1361.66 c nbDecision=201500 #constraints=54388 1365.43/1366.00 c nbDecision=202000 #constraints=54411 1370.14/1370.74 c nbDecision=202500 #constraints=54447 1371.84/1372.46 c nbDecision=203000 #constraints=54497 1374.34/1374.97 c nbDecision=203500 #constraints=54530 1378.44/1379.03 c nbDecision=204000 #constraints=54592 1381.93/1382.60 c nbDecision=204500 #constraints=54664 1384.73/1385.37 c restart after 204801 decisions 1386.33/1386.96 c nbDecision=205000 #constraints=54796 1393.73/1394.34 c nbDecision=205500 #constraints=54911 1403.92/1404.54 c nbDecision=206000 #constraints=55032 1410.92/1411.55 c nbDecision=206500 #constraints=55126 1417.52/1418.16 c nbDecision=207000 #constraints=55192 1423.11/1423.76 c nbDecision=207500 #constraints=55264 1427.81/1428.47 c nbDecision=208000 #constraints=55350 1433.61/1434.23 c nbDecision=208500 #constraints=55455 1444.30/1444.94 c nbDecision=209000 #constraints=55587 1452.40/1453.05 c nbDecision=209500 #constraints=55682 1458.90/1459.56 c nbDecision=210000 #constraints=55795 1470.29/1470.97 c nbDecision=210500 #constraints=55943 1478.40/1479.07 c nbDecision=211000 #constraints=56039 1483.69/1484.35 c nbDecision=211500 #constraints=56114 1490.69/1491.39 c nbDecision=212000 #constraints=56170 1495.59/1496.21 c nbDecision=212500 #constraints=56252 1499.69/1500.31 c nbDecision=213000 #constraints=56321 1503.38/1504.10 c nbDecision=213500 #constraints=56379 1506.98/1507.69 c nbDecision=214000 #constraints=56450 1513.48/1514.15 c nbDecision=214500 #constraints=56504 1520.08/1520.74 c nbDecision=215000 #constraints=56556 1526.47/1527.18 c nbDecision=215500 #constraints=56603 1532.87/1533.58 c nbDecision=216000 #constraints=56671 1537.97/1538.61 c nbDecision=216500 #constraints=56723 1542.36/1543.03 c nbDecision=217000 #constraints=56807 1548.17/1548.83 c nbDecision=217500 #constraints=56915 1555.26/1555.96 c nbDecision=218000 #constraints=56969 1561.55/1562.21 c nbDecision=218500 #constraints=57017 1565.67/1566.32 c nbDecision=219000 #constraints=57091 1570.16/1570.83 c nbDecision=219500 #constraints=57159 1576.86/1577.56 c nbDecision=220000 #constraints=57221 1581.95/1582.65 c nbDecision=220500 #constraints=57278 1586.15/1586.88 c nbDecision=221000 #constraints=57340 1590.75/1591.46 c nbDecision=221500 #constraints=57423 1594.45/1595.14 c nbDecision=222000 #constraints=57527 1598.75/1599.44 c nbDecision=222500 #constraints=57570 1602.54/1603.28 c nbDecision=223000 #constraints=57658 1607.45/1608.15 c nbDecision=223500 #constraints=57781 1612.34/1613.06 c nbDecision=224000 #constraints=57901 1617.14/1617.85 c nbDecision=224500 #constraints=58023 1620.64/1621.31 c nbDecision=225000 #constraints=58124 1624.04/1624.75 c nbDecision=225500 #constraints=58186 1628.73/1629.41 c nbDecision=226000 #constraints=58246 1632.33/1633.04 c nbDecision=226500 #constraints=58316 1636.43/1637.17 c nbDecision=227000 #constraints=58539 1640.43/1641.14 c nbDecision=227500 #constraints=58769 1645.23/1645.94 c nbDecision=228000 #constraints=58874 1648.93/1649.69 c nbDecision=228500 #constraints=58947 1652.72/1653.49 c nbDecision=229000 #constraints=59140 1656.32/1657.01 c nbDecision=229500 #constraints=59277 1661.82/1662.54 c nbDecision=230000 #constraints=59372 1664.72/1665.40 c nbDecision=230500 #constraints=59423 1668.82/1669.50 c nbDecision=231000 #constraints=59482 1673.31/1674.03 c nbDecision=231500 #constraints=59554 1677.41/1678.12 c nbDecision=232000 #constraints=59625 1681.91/1682.61 c nbDecision=232500 #constraints=59762 1685.81/1686.51 c nbDecision=233000 #constraints=59808 1689.71/1690.48 c nbDecision=233500 #constraints=59851 1693.70/1694.43 c nbDecision=234000 #constraints=59913 1698.10/1698.89 c nbDecision=234500 #constraints=60107 1702.10/1702.85 c nbDecision=235000 #constraints=60180 1705.10/1705.88 c nbDecision=235500 #constraints=60237 1711.19/1711.99 c nbDecision=236000 #constraints=60322 1718.60/1719.38 c nbDecision=236500 #constraints=60380 1723.09/1723.80 c nbDecision=237000 #constraints=60453 1727.69/1728.49 c nbDecision=237500 #constraints=60510 1731.49/1732.20 c nbDecision=238000 #constraints=60620 1735.99/1736.78 c nbDecision=238500 #constraints=60791 1740.19/1740.97 c nbDecision=239000 #constraints=60899 1745.79/1746.54 c nbDecision=239500 #constraints=61036 1750.39/1751.20 c nbDecision=240000 #constraints=61081 1752.28/1753.06 c nbDecision=240500 #constraints=61123 1755.89/1756.62 c nbDecision=241000 #constraints=61161 1759.48/1760.28 c nbDecision=241500 #constraints=61359 1764.58/1765.38 c nbDecision=242000 #constraints=61448 1768.88/1769.66 c nbDecision=242500 #constraints=61534 1775.47/1776.23 c nbDecision=243000 #constraints=61660 1781.27/1782.09 c nbDecision=243500 #constraints=61739 1784.57/1785.31 c nbDecision=244000 #constraints=61836 1787.67/1788.43 c nbDecision=244500 #constraints=61969 1789.86/1790.70 c nbDecision=245000 #constraints=62043 1793.66/1794.49 c nbDecision=245500 #constraints=62170 1797.76/1798.51 c nbDecision=246000 #constraints=62229 1800.06/1800.80 Received signal 15 1800.06/1800.80 1800.06/1800.80 s UNKNOWN 1800.06/1800.80 1800.06/1800.80 c user time= 1799.82 s 1800.06/1800.80 c system time= 0.25896 s 1800.06/1800.80 c wall clock time=1800.81
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node33/watcher-356905-1176847622 -o ROOT/results/node33/solver-356905-1176847622 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356905-1176847622/instance-356905-1176847622.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.80 0.94 0.96 2/77 20838 /proc/meminfo: memFree=1664944/2055920 swapFree=4174600/4192956 [pid=20838] ppid=20836 vsize=1468 CPUtime=0 /proc/20838/stat : 20838 (oree) R 20836 20838 20781 0 -1 4194304 178 0 0 0 0 0 0 0 18 0 1 0 132677671 1503232 160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20838/statm: 367 160 131 317 0 46 0 [startup+0.0988579 s] /proc/loadavg: 0.80 0.94 0.96 2/77 20838 /proc/meminfo: memFree=1664944/2055920 swapFree=4174600/4192956 [pid=20838] ppid=20836 vsize=3532 CPUtime=0.09 /proc/20838/stat : 20838 (oree) R 20836 20838 20781 0 -1 4194304 633 0 0 0 9 0 0 0 18 0 1 0 132677671 3616768 615 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20838/statm: 883 615 131 317 0 562 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3532 [startup+0.101857 s] /proc/loadavg: 0.80 0.94 0.96 2/77 20838 /proc/meminfo: memFree=1664944/2055920 swapFree=4174600/4192956 [pid=20838] ppid=20836 vsize=3532 CPUtime=0.09 /proc/20838/stat : 20838 (oree) R 20836 20838 20781 0 -1 4194304 658 0 0 0 9 0 0 0 18 0 1 0 132677671 3616768 640 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20838/statm: 883 640 131 317 0 562 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3532 [startup+0.301898 s] /proc/loadavg: 0.80 0.94 0.96 2/77 20838 /proc/meminfo: memFree=1664944/2055920 swapFree=4174600/4192956 [pid=20838] ppid=20836 vsize=7360 CPUtime=0.29 /proc/20838/stat : 20838 (oree) R 20836 20838 20781 0 -1 4194304 1528 0 0 0 29 0 0 0 20 0 1 0 132677671 7536640 1510 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20838/statm: 1840 1510 131 317 0 1519 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7360 [startup+0.701981 s] /proc/loadavg: 0.80 0.94 0.96 2/77 20838 /proc/meminfo: memFree=1664944/2055920 swapFree=4174600/4192956 [pid=20838] ppid=20836 vsize=15364 CPUtime=0.69 /proc/20838/stat : 20838 (oree) R 20836 20838 20781 0 -1 4194304 3425 0 0 0 68 1 0 0 24 0 1 0 132677671 15732736 3341 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20838/statm: 3841 3341 131 317 0 3520 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15364 [startup+1.50114 s] /proc/loadavg: 0.80 0.94 0.96 2/78 20839 /proc/meminfo: memFree=1643496/2055920 swapFree=4174600/4192956 [pid=20838] ppid=20836 vsize=24156 CPUtime=1.49 /proc/20838/stat : 20838 (oree) R 20836 20838 20781 0 -1 4194304 5568 0 0 0 147 2 0 0 25 0 1 0 132677671 24735744 5484 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20838/statm: 6039 5484 139 317 0 5718 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 24156 [startup+3.10147 s] /proc/loadavg: 0.80 0.94 0.96 2/78 20839 /proc/meminfo: memFree=1643368/2055920 swapFree=4174600/4192956 [pid=20838] ppid=20836 vsize=24156 CPUtime=3.09 /proc/20838/stat : 20838 (oree) R 20836 20838 20781 0 -1 4194304 5568 0 0 0 307 2 0 0 25 0 1 0 132677671 24735744 5484 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20838/statm: 6039 5484 139 317 0 5718 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 24156 [startup+6.30113 s] /proc/loadavg: 0.89 0.96 0.97 2/78 20839 /proc/meminfo: memFree=1643240/2055920 swapFree=4174600/4192956 [pid=20838] ppid=20836 vsize=24156 CPUtime=6.29 /proc/20838/stat : 20838 (oree) R 20836 20838 20781 0 -1 4194304 5570 0 0 0 626 3 0 0 25 0 1 0 132677671 24735744 5486 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20838/statm: 6039 5486 139 317 0 5718 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 24156 [startup+12.7014 s] /proc/loadavg: 0.90 0.96 0.97 2/78 20839 /proc/meminfo: memFree=1643112/2055920 swapFree=4174600/4192956 [pid=20838] ppid=20836 vsize=24284 CPUtime=12.69 /proc/20838/stat : 20838 (oree) R 20836 20838 20781 0 -1 4194304 5581 0 0 0 1266 3 0 0 25 0 1 0 132677671 24866816 5497 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564027 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20838/statm: 6071 5497 139 317 0 5750 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 24284 [startup+25.5011 s] /proc/loadavg: 0.92 0.96 0.97 2/78 20839 /proc/meminfo: memFree=1643112/2055920 swapFree=4174600/4192956 [pid=20838] ppid=20836 vsize=24284 CPUtime=25.48 /proc/20838/stat : 20838 (oree) R 20836 20838 20781 0 -1 4194304 5598 0 0 0 2545 3 0 0 25 0 1 0 132677671 24866816 5514 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563625 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20838/statm: 6071 5514 139 317 0 5750 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 24284 [startup+51.1013 s] /proc/loadavg: 0.95 0.96 0.97 2/78 20839 /proc/meminfo: memFree=1643048/2055920 swapFree=4174600/4192956 [pid=20838] ppid=20836 vsize=24412 CPUtime=51.07 /proc/20838/stat : 20838 (oree) R 20836 20838 20781 0 -1 4194304 5639 0 0 0 5104 3 0 0 25 0 1 0 132677671 24997888 5555 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20838/statm: 6103 5555 139 317 0 5782 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 24412 [startup+102.306 s] /proc/loadavg: 0.98 0.97 0.97 2/78 20839 /proc/meminfo: memFree=1642728/2055920 swapFree=4174604/4192956 [pid=20838] ppid=20836 vsize=24948 CPUtime=102.26 /proc/20838/stat : 20838 (oree) R 20836 20838 20781 0 -1 4194304 5740 0 0 0 10222 4 0 0 25 0 1 0 132677671 25546752 5656 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134752702 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20838/statm: 6237 5656 139 317 0 5916 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 24948 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 20839 /proc/meminfo: memFree=1642408/2055920 swapFree=4174604/4192956 [pid=20838] ppid=20836 vsize=25348 CPUtime=162.22 /proc/20838/stat : 20838 (oree) R 20836 20838 20781 0 -1 4194304 5840 0 0 0 16218 4 0 0 25 0 1 0 132677671 25956352 5756 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20838/statm: 6337 5756 139 317 0 6016 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 25348 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 20839 /proc/meminfo: memFree=1641768/2055920 swapFree=4174604/4192956 [pid=20838] ppid=20836 vsize=25884 CPUtime=222.2 /proc/20838/stat : 20838 (oree) R 20836 20838 20781 0 -1 4194304 5985 0 0 0 22215 5 0 0 25 0 1 0 132677671 26505216 5864 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563935 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20838/statm: 6471 5864 139 317 0 6150 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 25884 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 20839 /proc/meminfo: memFree=1641640/2055920 swapFree=4174604/4192956 [pid=20838] ppid=20836 vsize=26140 CPUtime=282.18 /proc/20838/stat : 20838 (oree) R 20836 20838 20781 0 -1 4194304 6079 0 0 0 28212 6 0 0 25 0 1 0 132677671 26767360 5958 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563647 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20838/statm: 6535 5958 139 317 0 6214 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 26140 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 20839 /proc/meminfo: memFree=1640872/2055920 swapFree=4174604/4192956 [pid=20838] ppid=20836 vsize=26828 CPUtime=342.15 /proc/20838/stat : 20838 (oree) R 20836 20838 20781 0 -1 4194304 6253 0 0 0 34209 6 0 0 25 0 1 0 132677671 27471872 6132 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606847 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20838/statm: 6707 6132 139 317 0 6386 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 26828 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 20839 /proc/meminfo: memFree=1637672/2055920 swapFree=4174604/4192956 [pid=20838] ppid=20836 vsize=30256 CPUtime=402.13 /proc/20838/stat : 20838 (oree) R 20836 20838 20781 0 -1 4194304 7146 0 0 0 40205 8 0 0 25 0 1 0 132677671 30982144 6953 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20838/statm: 7564 6953 139 317 0 7243 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 30256 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 20839 /proc/meminfo: memFree=1636968/2055920 swapFree=4174604/4192956 [pid=20838] ppid=20836 vsize=30912 CPUtime=462.11 /proc/20838/stat : 20838 (oree) R 20836 20838 20781 0 -1 4194304 7316 0 0 0 46202 9 0 0 25 0 1 0 132677671 31653888 7123 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20838/statm: 7728 7123 139 317 0 7407 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 30912 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 20839 /proc/meminfo: memFree=1635112/2055920 swapFree=4174604/4192956 [pid=20838] ppid=20836 vsize=33048 CPUtime=522.08 /proc/20838/stat : 20838 (oree) R 20836 20838 20781 0 -1 4194304 7901 0 0 0 52198 10 0 0 25 0 1 0 132677671 33841152 7566 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20838/statm: 8262 7566 139 317 0 7941 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 33048 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 20839 /proc/meminfo: memFree=1633640/2055920 swapFree=4174604/4192956 [pid=20838] ppid=20836 vsize=34628 CPUtime=582.05 /proc/20838/stat : 20838 (oree) R 20836 20838 20781 0 -1 4194304 8310 0 0 0 58194 11 0 0 25 0 1 0 132677671 35459072 7975 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716163 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20838/statm: 8657 7975 139 317 0 8336 0 Current children cumulated CPU time (s) 582.05 Current children cumulated vsize (KiB) 34628 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 20839 /proc/meminfo: memFree=1631976/2055920 swapFree=4174604/4192956 [pid=20838] ppid=20836 vsize=36112 CPUtime=642.03 /proc/20838/stat : 20838 (oree) R 20836 20838 20781 0 -1 4194304 8725 0 0 0 64191 12 0 0 25 0 1 0 132677671 36978688 8390 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20838/statm: 9028 8390 139 317 0 8707 0 Current children cumulated CPU time (s) 642.03 Current children cumulated vsize (KiB) 36112 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 20839 /proc/meminfo: memFree=1630312/2055920 swapFree=4174604/4192956 [pid=20838] ppid=20836 vsize=38080 CPUtime=821.96 /proc/20838/stat : 20838 (oree) R 20836 20838 20781 0 -1 4194304 9207 0 0 0 82182 14 0 0 25 0 1 0 132677671 38993920 8839 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20838/statm: 9520 8839 139 317 0 9199 0 Current children cumulated CPU time (s) 821.96 Current children cumulated vsize (KiB) 38080 [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 20839 /proc/meminfo: memFree=1628776/2055920 swapFree=4174604/4192956 [pid=20838] ppid=20836 vsize=39388 CPUtime=881.94 /proc/20838/stat : 20838 (oree) R 20836 20838 20781 0 -1 4194304 9589 0 0 0 88179 15 0 0 25 0 1 0 132677671 40333312 9221 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20838/statm: 9847 9221 139 317 0 9526 0 Current children cumulated CPU time (s) 881.94 Current children cumulated vsize (KiB) 39388 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 20839 /proc/meminfo: memFree=1626600/2055920 swapFree=4174604/4192956 [pid=20838] ppid=20836 vsize=42516 CPUtime=941.91 /proc/20838/stat : 20838 (oree) R 20836 20838 20781 0 -1 4194304 10371 0 0 0 94175 16 0 0 25 0 1 0 132677671 43536384 9720 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20838/statm: 10629 9720 139 317 0 10308 0 Current children cumulated CPU time (s) 941.91 Current children cumulated vsize (KiB) 42516 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 20839 /proc/meminfo: memFree=1626728/2055920 swapFree=4174604/4192956 [pid=20838] ppid=20836 vsize=42516 CPUtime=1001.88 /proc/20838/stat : 20838 (oree) R 20836 20838 20781 0 -1 4194304 10393 0 0 0 100172 16 0 0 25 0 1 0 132677671 43536384 9742 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712587 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20838/statm: 10629 9742 139 317 0 10308 0 Current children cumulated CPU time (s) 1001.88 Current children cumulated vsize (KiB) 42516 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 20839 /proc/meminfo: memFree=1625960/2055920 swapFree=4174604/4192956 [pid=20838] ppid=20836 vsize=43292 CPUtime=1061.86 /proc/20838/stat : 20838 (oree) R 20836 20838 20781 0 -1 4194304 10601 0 0 0 106169 17 0 0 25 0 1 0 132677671 44331008 9950 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20838/statm: 10823 9950 139 317 0 10502 0 Current children cumulated CPU time (s) 1061.86 Current children cumulated vsize (KiB) 43292 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 20839 /proc/meminfo: memFree=1625064/2055920 swapFree=4174604/4192956 [pid=20838] ppid=20836 vsize=44108 CPUtime=1121.84 /proc/20838/stat : 20838 (oree) R 20836 20838 20781 0 -1 4194304 10823 0 0 0 112166 18 0 0 25 0 1 0 132677671 45166592 10172 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712496 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20838/statm: 11027 10172 139 317 0 10706 0 Current children cumulated CPU time (s) 1121.84 Current children cumulated vsize (KiB) 44108 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 20839 /proc/meminfo: memFree=1624680/2055920 swapFree=4174604/4192956 [pid=20838] ppid=20836 vsize=44364 CPUtime=1181.81 /proc/20838/stat : 20838 (oree) R 20836 20838 20781 0 -1 4194304 10913 0 0 0 118163 18 0 0 25 0 1 0 132677671 45428736 10262 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20838/statm: 11091 10262 139 317 0 10770 0 Current children cumulated CPU time (s) 1181.81 Current children cumulated vsize (KiB) 44364 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 20839 /proc/meminfo: memFree=1624232/2055920 swapFree=4174604/4192956 [pid=20838] ppid=20836 vsize=44872 CPUtime=1241.79 /proc/20838/stat : 20838 (oree) R 20836 20838 20781 0 -1 4194304 11038 0 0 0 124160 19 0 0 25 0 1 0 132677671 45948928 10387 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716050 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20838/statm: 11218 10387 139 317 0 10897 0 Current children cumulated CPU time (s) 1241.79 Current children cumulated vsize (KiB) 44872 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 20839 /proc/meminfo: memFree=1623592/2055920 swapFree=4174604/4192956 [pid=20838] ppid=20836 vsize=45572 CPUtime=1301.77 /proc/20838/stat : 20838 (oree) R 20836 20838 20781 0 -1 4194304 11203 0 0 0 130157 20 0 0 25 0 1 0 132677671 46665728 10552 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20838/statm: 11393 10552 139 317 0 11072 0 Current children cumulated CPU time (s) 1301.77 Current children cumulated vsize (KiB) 45572 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 20839 /proc/meminfo: memFree=1622760/2055920 swapFree=4174604/4192956 [pid=20838] ppid=20836 vsize=46216 CPUtime=1361.73 /proc/20838/stat : 20838 (oree) R 20836 20838 20781 0 -1 4194304 11405 0 0 0 136153 20 0 0 25 0 1 0 132677671 47325184 10754 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20838/statm: 11554 10754 139 317 0 11233 0 Current children cumulated CPU time (s) 1361.73 Current children cumulated vsize (KiB) 46216 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.97 2/78 20839 /proc/meminfo: memFree=1622376/2055920 swapFree=4174604/4192956 [pid=20838] ppid=20836 vsize=46604 CPUtime=1421.72 /proc/20838/stat : 20838 (oree) R 20836 20838 20781 0 -1 4194304 11489 0 0 0 142151 21 0 0 25 0 1 0 132677671 47722496 10838 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563634 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20838/statm: 11651 10838 139 317 0 11330 0 Current children cumulated CPU time (s) 1421.72 Current children cumulated vsize (KiB) 46604 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 20839 /proc/meminfo: memFree=1622056/2055920 swapFree=4174604/4192956 [pid=20838] ppid=20836 vsize=46860 CPUtime=1481.7 /proc/20838/stat : 20838 (oree) R 20836 20838 20781 0 -1 4194304 11566 0 0 0 148148 22 0 0 25 0 1 0 132677671 47984640 10915 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20838/statm: 11715 10915 139 317 0 11394 0 Current children cumulated CPU time (s) 1481.7 Current children cumulated vsize (KiB) 46860 [startup+1542.3 s] /proc/loadavg: 1.05 0.99 0.97 2/78 20839 /proc/meminfo: memFree=1621992/2055920 swapFree=4174604/4192956 [pid=20838] ppid=20836 vsize=47116 CPUtime=1541.66 /proc/20838/stat : 20838 (oree) R 20836 20838 20781 0 -1 4194304 11631 0 0 0 154144 22 0 0 25 0 1 0 132677671 48246784 10980 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715833 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20838/statm: 11779 10980 139 317 0 11458 0 Current children cumulated CPU time (s) 1541.66 Current children cumulated vsize (KiB) 47116 [startup+1602.3 s] /proc/loadavg: 1.02 0.99 0.97 2/78 20839 /proc/meminfo: memFree=1621672/2055920 swapFree=4174604/4192956 [pid=20838] ppid=20836 vsize=47376 CPUtime=1601.64 /proc/20838/stat : 20838 (oree) R 20836 20838 20781 0 -1 4194304 11712 0 0 0 160141 23 0 0 25 0 1 0 132677671 48513024 11061 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20838/statm: 11844 11061 139 317 0 11523 0 Current children cumulated CPU time (s) 1601.64 Current children cumulated vsize (KiB) 47376 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 20839 /proc/meminfo: memFree=1620968/2055920 swapFree=4174604/4192956 [pid=20838] ppid=20836 vsize=48028 CPUtime=1661.62 /proc/20838/stat : 20838 (oree) R 20836 20838 20781 0 -1 4194304 11887 0 0 0 166138 24 0 0 25 0 1 0 132677671 49180672 11236 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20838/statm: 12007 11236 139 317 0 11686 0 Current children cumulated CPU time (s) 1661.62 Current children cumulated vsize (KiB) 48028 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 20839 /proc/meminfo: memFree=1620648/2055920 swapFree=4174604/4192956 [pid=20838] ppid=20836 vsize=48420 CPUtime=1721.59 /proc/20838/stat : 20838 (oree) R 20836 20838 20781 0 -1 4194304 11992 0 0 0 172135 24 0 0 25 0 1 0 132677671 49582080 11341 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20838/statm: 12105 11341 139 317 0 11784 0 Current children cumulated CPU time (s) 1721.59 Current children cumulated vsize (KiB) 48420 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 20839 /proc/meminfo: memFree=1620072/2055920 swapFree=4174604/4192956 [pid=20838] ppid=20836 vsize=48944 CPUtime=1781.57 /proc/20838/stat : 20838 (oree) R 20836 20838 20781 0 -1 4194304 12124 0 0 0 178132 25 0 0 25 0 1 0 132677671 50118656 11473 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20838/statm: 12236 11473 139 317 0 11915 0 Current children cumulated CPU time (s) 1781.57 Current children cumulated vsize (KiB) 48944 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 0.99 0.97 2/78 20839 /proc/meminfo: memFree=1619880/2055920 swapFree=4174604/4192956 [pid=20838] ppid=20836 vsize=49072 CPUtime=1800.06 /proc/20838/stat : 20838 (oree) R 20836 20838 20781 0 -1 4194304 12177 0 0 0 179981 25 0 0 25 0 1 0 132677671 50249728 11526 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20838/statm: 12268 11526 139 317 0 11947 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 49072 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.83 CPU time (s): 1800.1 CPU user time (s): 1799.84 CPU system time (s): 0.266959 CPU usage (%): 99.9595 Max. virtual memory (cumulated for all children) (KiB): 49072 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.84 system time used= 0.266959 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 12193 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= 39385 runsolver used 2.13368 second user time and 4.28535 second system time The end
Begin job on node33 on Tue Apr 17 22:07:02 UTC 2007 IDJOB= 356905 IDBENCH= 1618 IDSOLVER= 172 FILE ID= node33/356905-1176847622 PBS_JOBID= 4590216 Free space on /tmp= 66544 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-blp-ar98.opb COMMAND LINE= oree /tmp/evaluation/356905-1176847622/instance-356905-1176847622.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node33/watcher-356905-1176847622 -o ROOT/results/node33/solver-356905-1176847622 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356905-1176847622/instance-356905-1176847622.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 24f5fdc248e1411d713d304748099da5 RANDOM SEED= 122964986 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node33.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.272 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.272 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: 1665352 kB Buffers: 37216 kB Cached: 206116 kB SwapCached: 2488 kB Active: 113256 kB Inactive: 223280 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1665352 kB SwapTotal: 4192956 kB SwapFree: 4174600 kB Dirty: 3668 kB Writeback: 0 kB Mapped: 108052 kB Slab: 39396 kB Committed_AS: 1642572 kB PageTables: 1992 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= 66544 MiB End job on node33 on Tue Apr 17 22:37:05 UTC 2007