Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.26 | 1800.72 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-bienst2.opb |
MD5SUM | 0af97c6a7a59a4d1015a4f591401bda7 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 13736 |
Total number of constraints | 597 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 5 |
Number of constraints which are nor clauses,nor cardinality constraints | 592 |
Minimum length of a constraint | 7 |
Maximum length of a constraint | 390 |
Number of terms in the objective function | 30 |
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 | 1073741823 |
Number of bits of the sum of numbers in the objective function | 30 |
Biggest number in a constraint | 536870912 |
Number of bits of the biggest number in a constraint | 30 |
Biggest sum of numbers in a constraint | 13958659059 |
Number of bits of the biggest sum of numbers | 34 |
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.09/0.19 c ...done 0.09/0.19 c #vars=13736 #constraints=726 hasObjective=yes 0.19/0.23 c res. mode=mod 0.19/0.23 c VSIDS like heuristics 0.19/0.23 c complete search running 0.49/0.53 c restart after 401 decisions 0.49/0.60 c nbDecision=500 #constraints=967 0.89/0.90 c restart after 801 decisions 1.00/1.01 c nbDecision=1000 #constraints=1100 1.39/1.42 c nbDecision=1500 #constraints=1268 1.49/1.51 c restart after 1601 decisions 1.69/1.75 c nbDecision=2000 #constraints=1380 2.39/2.44 c nbDecision=2500 #constraints=1678 3.79/3.81 c nbDecision=3000 #constraints=2145 4.49/4.51 c restart after 3201 decisions 4.79/4.86 c nbDecision=3500 #constraints=2360 6.09/6.10 c nbDecision=4000 #constraints=2639 7.69/7.76 c nbDecision=4500 #constraints=3090 9.99/10.08 c nbDecision=5000 #constraints=3570 13.09/13.17 c nbDecision=5500 #constraints=3974 13.99/14.00 c nbDecision=6000 #constraints=4015 15.89/15.94 c restart after 6401 decisions 16.19/16.24 c nbDecision=6500 #constraints=4126 16.89/16.96 c nbDecision=7000 #constraints=4160 17.69/17.78 c nbDecision=7500 #constraints=4182 18.39/18.43 c nbDecision=8000 #constraints=4203 18.49/18.59 c nbDecision=8500 #constraints=4239 22.89/22.96 c nbDecision=9000 #constraints=4550 31.28/31.36 c nbDecision=9500 #constraints=5045 40.59/40.62 c nbDecision=10000 #constraints=5541 52.48/52.55 c nbDecision=10500 #constraints=6034 66.47/66.54 c nbDecision=11000 #constraints=6521 80.97/81.02 c nbDecision=11500 #constraints=7020 97.36/97.48 c nbDecision=12000 #constraints=7510 117.67/117.71 c nbDecision=12500 #constraints=7998 130.15/130.27 c restart after 12801 decisions 131.86/131.92 c nbDecision=13000 #constraints=8304 131.96/132.04 c nbDecision=13500 #constraints=8334 139.96/140.01 c nbDecision=14000 #constraints=8526 157.85/157.95 c nbDecision=14500 #constraints=9016 176.45/176.59 c nbDecision=15000 #constraints=9495 196.34/196.41 c nbDecision=15500 #constraints=9967 215.03/215.10 c nbDecision=16000 #constraints=10404 235.14/235.24 c nbDecision=16500 #constraints=10852 254.63/254.79 c nbDecision=17000 #constraints=11298 276.92/277.09 c nbDecision=17500 #constraints=11745 299.02/299.15 c nbDecision=18000 #constraints=12139 321.11/321.23 c nbDecision=18500 #constraints=12496 336.71/336.84 c nbDecision=19000 #constraints=12857 344.11/344.27 c nbDecision=19500 #constraints=12996 362.00/362.11 c nbDecision=20000 #constraints=13448 380.99/381.12 c nbDecision=20500 #constraints=13906 400.69/400.85 c nbDecision=21000 #constraints=14320 417.48/417.67 c nbDecision=21500 #constraints=14684 433.08/433.27 c nbDecision=22000 #constraints=14966 440.38/440.50 c nbDecision=22500 #constraints=15069 440.48/440.63 c nbDecision=23000 #constraints=15096 440.58/440.77 c nbDecision=23500 #constraints=15121 442.77/442.98 c nbDecision=24000 #constraints=15155 455.88/456.06 c nbDecision=24500 #constraints=15387 481.57/481.75 c nbDecision=25000 #constraints=15867 505.46/505.68 c nbDecision=25500 #constraints=16327 510.16/510.40 c restart after 25601 decisions 534.25/534.43 c nbDecision=26000 #constraints=16729 568.34/568.53 c nbDecision=26500 #constraints=17174 601.64/601.80 c nbDecision=27000 #constraints=17585 632.13/632.38 c nbDecision=27500 #constraints=18021 659.52/659.77 c nbDecision=28000 #constraints=18385 687.42/687.67 c nbDecision=28500 #constraints=18823 710.71/710.93 c nbDecision=29000 #constraints=19277 735.51/735.71 c nbDecision=29500 #constraints=19738 749.30/749.54 c nbDecision=30000 #constraints=19857 753.70/753.90 c nbDecision=30500 #constraints=19931 753.70/753.99 c nbDecision=31000 #constraints=19940 753.80/754.07 c nbDecision=31500 #constraints=19946 753.90/754.18 c nbDecision=32000 #constraints=19959 753.99/754.27 c nbDecision=32500 #constraints=19968 754.09/754.35 c nbDecision=33000 #constraints=19974 754.19/754.46 c nbDecision=33500 #constraints=19991 754.30/754.55 c nbDecision=34000 #constraints=19998 754.40/754.63 c nbDecision=34500 #constraints=20003 754.49/754.72 c nbDecision=35000 #constraints=20013 754.59/754.81 c nbDecision=35500 #constraints=20021 754.69/754.90 c nbDecision=36000 #constraints=20028 754.80/755.00 c nbDecision=36500 #constraints=20041 754.90/755.10 c nbDecision=37000 #constraints=20052 754.90/755.18 c nbDecision=37500 #constraints=20057 755.00/755.26 c nbDecision=38000 #constraints=20060 755.10/755.35 c nbDecision=38500 #constraints=20069 755.30/755.52 c nbDecision=39000 #constraints=20103 755.41/755.63 c nbDecision=39500 #constraints=20118 755.51/755.74 c nbDecision=40000 #constraints=20135 755.60/755.84 c nbDecision=40500 #constraints=20148 755.70/755.99 c nbDecision=41000 #constraints=20179 755.90/756.11 c nbDecision=41500 #constraints=20199 756.00/756.26 c nbDecision=42000 #constraints=20225 756.10/756.37 c nbDecision=42500 #constraints=20242 756.40/756.61 c nbDecision=43000 #constraints=20295 756.80/757.09 c nbDecision=43500 #constraints=20424 757.10/757.34 c nbDecision=44000 #constraints=20472 757.20/757.46 c nbDecision=44500 #constraints=20484 757.40/757.62 c nbDecision=45000 #constraints=20504 757.50/757.73 c nbDecision=45500 #constraints=20514 757.60/757.83 c nbDecision=46000 #constraints=20522 757.70/757.99 c nbDecision=46500 #constraints=20543 757.99/758.27 c nbDecision=47000 #constraints=20589 758.19/758.45 c nbDecision=47500 #constraints=20611 758.39/758.64 c nbDecision=48000 #constraints=20637 758.49/758.75 c nbDecision=48500 #constraints=20646 758.59/758.88 c nbDecision=49000 #constraints=20657 758.70/758.99 c nbDecision=49500 #constraints=20667 759.00/759.22 c nbDecision=50000 #constraints=20700 759.50/759.71 c nbDecision=50500 #constraints=20774 760.90/761.16 c nbDecision=51000 #constraints=21003 761.30/761.53 c restart after 51201 decisions 770.39/770.67 c nbDecision=51500 #constraints=21140 770.49/770.79 c nbDecision=52000 #constraints=21154 770.70/770.99 c nbDecision=52500 #constraints=21188 770.90/771.19 c nbDecision=53000 #constraints=21222 771.10/771.32 c nbDecision=53500 #constraints=21237 771.20/771.45 c nbDecision=54000 #constraints=21252 771.40/771.61 c nbDecision=54500 #constraints=21273 771.60/771.82 c nbDecision=55000 #constraints=21302 771.80/772.00 c nbDecision=55500 #constraints=21324 771.90/772.16 c nbDecision=56000 #constraints=21344 772.09/772.33 c nbDecision=56500 #constraints=21362 772.29/772.52 c nbDecision=57000 #constraints=21384 772.49/772.75 c nbDecision=57500 #constraints=21408 772.59/772.90 c nbDecision=58000 #constraints=21423 772.79/773.05 c nbDecision=58500 #constraints=21438 773.00/773.24 c nbDecision=59000 #constraints=21460 773.09/773.38 c nbDecision=59500 #constraints=21473 773.29/773.55 c nbDecision=60000 #constraints=21491 773.49/773.77 c nbDecision=60500 #constraints=21517 773.69/773.97 c nbDecision=61000 #constraints=21540 773.89/774.14 c nbDecision=61500 #constraints=21558 774.09/774.32 c nbDecision=62000 #constraints=21577 774.19/774.48 c nbDecision=62500 #constraints=21595 774.50/774.71 c nbDecision=63000 #constraints=21616 774.60/774.88 c nbDecision=63500 #constraints=21631 774.90/775.10 c nbDecision=64000 #constraints=21652 775.10/775.32 c nbDecision=64500 #constraints=21673 775.39/775.60 c nbDecision=65000 #constraints=21701 775.59/775.83 c nbDecision=65500 #constraints=21722 777.19/777.47 c nbDecision=66000 #constraints=21740 777.29/777.58 c nbDecision=66500 #constraints=21745 777.50/777.76 c nbDecision=67000 #constraints=21764 777.59/777.88 c nbDecision=67500 #constraints=21769 777.79/778.02 c nbDecision=68000 #constraints=21777 777.89/778.13 c nbDecision=68500 #constraints=21783 777.99/778.25 c nbDecision=69000 #constraints=21787 778.09/778.37 c nbDecision=69500 #constraints=21792 778.39/778.63 c nbDecision=70000 #constraints=21821 778.60/778.82 c nbDecision=70500 #constraints=21836 778.79/779.09 c nbDecision=71000 #constraints=21860 779.89/780.14 c nbDecision=71500 #constraints=21966 780.49/780.73 c nbDecision=72000 #constraints=22034 781.39/781.66 c nbDecision=72500 #constraints=22152 782.00/782.28 c nbDecision=73000 #constraints=22220 783.29/783.57 c nbDecision=73500 #constraints=22359 784.69/784.99 c nbDecision=74000 #constraints=22514 786.30/786.58 c nbDecision=74500 #constraints=22665 788.19/788.45 c nbDecision=75000 #constraints=22834 790.69/790.91 c nbDecision=75500 #constraints=23041 792.99/793.22 c nbDecision=76000 #constraints=23219 794.39/794.62 c nbDecision=76500 #constraints=23312 795.79/796.07 c nbDecision=77000 #constraints=23411 798.09/798.33 c nbDecision=77500 #constraints=23557 800.79/801.02 c nbDecision=78000 #constraints=23776 802.39/802.65 c nbDecision=78500 #constraints=23870 804.29/804.50 c nbDecision=79000 #constraints=23982 805.99/806.29 c nbDecision=79500 #constraints=24088 809.29/809.59 c nbDecision=80000 #constraints=24279 812.39/812.60 c nbDecision=80500 #constraints=24450 814.68/814.94 c nbDecision=81000 #constraints=24579 816.79/817.08 c nbDecision=81500 #constraints=24701 818.88/819.14 c nbDecision=82000 #constraints=24808 821.38/821.69 c nbDecision=82500 #constraints=24929 823.98/824.22 c nbDecision=83000 #constraints=25050 826.58/826.88 c nbDecision=83500 #constraints=25164 829.19/829.44 c nbDecision=84000 #constraints=25281 831.98/832.23 c nbDecision=84500 #constraints=25402 835.18/835.44 c nbDecision=85000 #constraints=25560 836.88/837.16 c nbDecision=85500 #constraints=25623 839.98/840.21 c nbDecision=86000 #constraints=25723 842.68/842.98 c nbDecision=86500 #constraints=25831 845.78/846.01 c nbDecision=87000 #constraints=25944 848.98/849.29 c nbDecision=87500 #constraints=26062 852.07/852.33 c nbDecision=88000 #constraints=26177 855.28/855.53 c nbDecision=88500 #constraints=26306 859.07/859.34 c nbDecision=89000 #constraints=26466 863.28/863.59 c nbDecision=89500 #constraints=26639 867.58/867.83 c nbDecision=90000 #constraints=26807 871.57/871.90 c nbDecision=90500 #constraints=26952 873.37/873.67 c nbDecision=91000 #constraints=26997 877.06/877.35 c nbDecision=91500 #constraints=27108 880.47/880.75 c nbDecision=92000 #constraints=27213 885.27/885.55 c nbDecision=92500 #constraints=27407 890.36/890.64 c nbDecision=93000 #constraints=27595 895.06/895.33 c nbDecision=93500 #constraints=27769 898.96/899.28 c nbDecision=94000 #constraints=27876 901.26/901.52 c nbDecision=94500 #constraints=27926 905.36/905.60 c nbDecision=95000 #constraints=28025 908.76/909.04 c nbDecision=95500 #constraints=28109 912.86/913.10 c nbDecision=96000 #constraints=28212 917.86/918.11 c nbDecision=96500 #constraints=28351 922.86/923.10 c nbDecision=97000 #constraints=28507 928.06/928.33 c nbDecision=97500 #constraints=28662 933.15/933.49 c nbDecision=98000 #constraints=28793 938.46/938.79 c nbDecision=98500 #constraints=28923 944.25/944.57 c nbDecision=99000 #constraints=29070 949.25/949.54 c nbDecision=99500 #constraints=29207 953.74/954.01 c nbDecision=100000 #constraints=29322 958.54/958.86 c nbDecision=100500 #constraints=29431 964.25/964.53 c nbDecision=101000 #constraints=29565 967.94/968.25 c nbDecision=101500 #constraints=29669 972.65/972.97 c nbDecision=102000 #constraints=29785 976.74/977.04 c restart after 102401 decisions 985.74/986.07 c nbDecision=102500 #constraints=29880 986.14/986.47 c nbDecision=103000 #constraints=29894 986.54/986.86 c nbDecision=103500 #constraints=29910 986.94/987.28 c nbDecision=104000 #constraints=29926 987.34/987.61 c nbDecision=104500 #constraints=29939 987.84/988.13 c nbDecision=105000 #constraints=29961 988.14/988.48 c nbDecision=105500 #constraints=29979 988.84/989.14 c nbDecision=106000 #constraints=29995 989.34/989.61 c nbDecision=106500 #constraints=30012 989.84/990.15 c nbDecision=107000 #constraints=30033 990.24/990.51 c nbDecision=107500 #constraints=30052 991.34/991.69 c nbDecision=108000 #constraints=30081 991.94/992.22 c nbDecision=108500 #constraints=30093 992.34/992.69 c nbDecision=109000 #constraints=30113 992.94/993.22 c nbDecision=109500 #constraints=30139 993.24/993.58 c nbDecision=110000 #constraints=30155 993.74/994.05 c nbDecision=110500 #constraints=30174 994.14/994.47 c nbDecision=111000 #constraints=30190 994.54/994.87 c nbDecision=111500 #constraints=30201 994.84/995.14 c nbDecision=112000 #constraints=30213 995.24/995.55 c nbDecision=112500 #constraints=30233 995.63/995.97 c nbDecision=113000 #constraints=30248 995.93/996.29 c nbDecision=113500 #constraints=30260 996.63/996.94 c nbDecision=114000 #constraints=30275 997.44/997.70 c nbDecision=114500 #constraints=30291 998.03/998.39 c nbDecision=115000 #constraints=30302 999.04/999.39 c nbDecision=115500 #constraints=30317 999.54/999.90 c nbDecision=116000 #constraints=30325 1000.24/1000.50 c nbDecision=116500 #constraints=30339 1000.74/1001.04 c nbDecision=117000 #constraints=30349 1001.34/1001.65 c nbDecision=117500 #constraints=30363 1001.64/1001.93 c nbDecision=118000 #constraints=30368 1002.04/1002.36 c nbDecision=118500 #constraints=30376 1002.64/1002.99 c nbDecision=119000 #constraints=30390 1003.64/1003.90 c nbDecision=119500 #constraints=30412 1004.04/1004.39 c nbDecision=120000 #constraints=30427 1004.64/1004.94 c nbDecision=120500 #constraints=30446 1005.14/1005.46 c nbDecision=121000 #constraints=30463 1005.84/1006.14 c nbDecision=121500 #constraints=30484 1006.43/1006.74 c nbDecision=122000 #constraints=30503 1007.03/1007.36 c nbDecision=122500 #constraints=30522 1007.63/1007.91 c nbDecision=123000 #constraints=30538 1008.03/1008.38 c nbDecision=123500 #constraints=30550 1008.84/1009.14 c nbDecision=124000 #constraints=30576 1009.14/1009.47 c nbDecision=124500 #constraints=30586 1009.83/1010.13 c nbDecision=125000 #constraints=30603 1010.43/1010.78 c nbDecision=125500 #constraints=30619 1011.03/1011.32 c nbDecision=126000 #constraints=30628 1011.83/1012.17 c nbDecision=126500 #constraints=30651 1012.23/1012.54 c nbDecision=127000 #constraints=30657 1012.84/1013.18 c nbDecision=127500 #constraints=30671 1013.83/1014.14 c nbDecision=128000 #constraints=30688 1014.63/1014.96 c nbDecision=128500 #constraints=30700 1015.53/1015.86 c nbDecision=129000 #constraints=30712 1017.33/1017.62 c nbDecision=129500 #constraints=30744 1018.03/1018.33 c nbDecision=130000 #constraints=30751 1018.83/1019.10 c nbDecision=130500 #constraints=30760 1019.33/1019.68 c nbDecision=131000 #constraints=30769 1019.93/1020.29 c nbDecision=131500 #constraints=30782 1020.54/1020.85 c nbDecision=132000 #constraints=30793 1021.23/1021.52 c nbDecision=132500 #constraints=30803 1022.13/1022.50 c nbDecision=133000 #constraints=30815 1023.03/1023.32 c nbDecision=133500 #constraints=30825 1023.73/1024.03 c nbDecision=134000 #constraints=30835 1024.63/1024.98 c nbDecision=134500 #constraints=30843 1025.43/1025.79 c nbDecision=135000 #constraints=30856 1026.23/1026.56 c nbDecision=135500 #constraints=30868 1027.53/1027.84 c nbDecision=136000 #constraints=30900 1028.13/1028.44 c nbDecision=136500 #constraints=30914 1029.92/1030.21 c nbDecision=137000 #constraints=30952 1030.33/1030.66 c nbDecision=137500 #constraints=30960 1031.33/1031.63 c nbDecision=138000 #constraints=30974 1032.23/1032.51 c nbDecision=138500 #constraints=30989 1033.13/1033.42 c nbDecision=139000 #constraints=31002 1034.03/1034.30 c nbDecision=139500 #constraints=31017 1034.43/1034.77 c nbDecision=140000 #constraints=31029 1034.93/1035.24 c nbDecision=140500 #constraints=31036 1035.23/1035.51 c nbDecision=141000 #constraints=31042 1035.73/1036.08 c nbDecision=141500 #constraints=31061 1036.13/1036.41 c nbDecision=142000 #constraints=31071 1036.73/1037.09 c nbDecision=142500 #constraints=31085 1037.63/1037.92 c nbDecision=143000 #constraints=31094 1038.23/1038.51 c nbDecision=143500 #constraints=31103 1038.73/1039.00 c nbDecision=144000 #constraints=31119 1039.53/1039.81 c nbDecision=144500 #constraints=31139 1040.03/1040.36 c nbDecision=145000 #constraints=31154 1040.33/1040.68 c nbDecision=145500 #constraints=31162 1041.02/1041.32 c nbDecision=146000 #constraints=31179 1041.43/1041.73 c nbDecision=146500 #constraints=31189 1041.82/1042.16 c nbDecision=147000 #constraints=31199 1042.12/1042.46 c nbDecision=147500 #constraints=31205 1042.43/1042.70 c nbDecision=148000 #constraints=31210 1043.22/1043.58 c nbDecision=148500 #constraints=31233 1043.82/1044.10 c nbDecision=149000 #constraints=31248 1044.32/1044.66 c nbDecision=149500 #constraints=31256 1045.62/1045.90 c nbDecision=150000 #constraints=31280 1046.02/1046.30 c nbDecision=150500 #constraints=31284 1046.62/1046.93 c nbDecision=151000 #constraints=31294 1047.12/1047.46 c nbDecision=151500 #constraints=31300 1048.82/1049.15 c nbDecision=152000 #constraints=31338 1049.43/1049.74 c nbDecision=152500 #constraints=31347 1050.13/1050.44 c nbDecision=153000 #constraints=31358 1050.63/1050.95 c nbDecision=153500 #constraints=31368 1051.43/1051.78 c nbDecision=154000 #constraints=31378 1051.73/1052.08 c nbDecision=154500 #constraints=31385 1052.23/1052.57 c nbDecision=155000 #constraints=31393 1052.83/1053.13 c nbDecision=155500 #constraints=31399 1053.33/1053.63 c nbDecision=156000 #constraints=31406 1053.63/1053.99 c nbDecision=156500 #constraints=31412 1054.22/1054.58 c nbDecision=157000 #constraints=31423 1055.32/1055.61 c nbDecision=157500 #constraints=31433 1055.73/1056.05 c nbDecision=158000 #constraints=31439 1056.22/1056.58 c nbDecision=158500 #constraints=31450 1056.92/1057.21 c nbDecision=159000 #constraints=31464 1057.42/1057.73 c nbDecision=159500 #constraints=31469 1058.12/1058.44 c nbDecision=160000 #constraints=31481 1058.72/1059.00 c nbDecision=160500 #constraints=31485 1059.62/1059.94 c nbDecision=161000 #constraints=31497 1060.02/1060.39 c nbDecision=161500 #constraints=31505 1060.52/1060.86 c nbDecision=162000 #constraints=31513 1061.72/1062.05 c nbDecision=162500 #constraints=31526 1062.12/1062.46 c nbDecision=163000 #constraints=31535 1062.42/1062.73 c nbDecision=163500 #constraints=31541 1062.82/1063.15 c nbDecision=164000 #constraints=31548 1063.62/1063.96 c nbDecision=164500 #constraints=31558 1063.92/1064.27 c nbDecision=165000 #constraints=31565 1064.43/1064.77 c nbDecision=165500 #constraints=31574 1065.12/1065.44 c nbDecision=166000 #constraints=31582 1065.82/1066.17 c nbDecision=166500 #constraints=31599 1066.72/1067.01 c nbDecision=167000 #constraints=31617 1067.32/1067.67 c nbDecision=167500 #constraints=31629 1068.62/1068.90 c nbDecision=168000 #constraints=31643 1069.22/1069.50 c nbDecision=168500 #constraints=31649 1069.52/1069.90 c nbDecision=169000 #constraints=31658 1070.02/1070.33 c nbDecision=169500 #constraints=31667 1070.42/1070.77 c nbDecision=170000 #constraints=31675 1071.02/1071.37 c nbDecision=170500 #constraints=31683 1071.32/1071.70 c nbDecision=171000 #constraints=31688 1072.22/1072.57 c nbDecision=171500 #constraints=31695 1073.12/1073.42 c nbDecision=172000 #constraints=31703 1074.42/1074.72 c nbDecision=172500 #constraints=31725 1075.11/1075.45 c nbDecision=173000 #constraints=31733 1075.81/1076.14 c nbDecision=173500 #constraints=31739 1076.41/1076.75 c nbDecision=174000 #constraints=31743 1077.21/1077.59 c nbDecision=174500 #constraints=31752 1078.01/1078.37 c nbDecision=175000 #constraints=31765 1079.32/1079.63 c nbDecision=175500 #constraints=31786 1080.12/1080.48 c nbDecision=176000 #constraints=31800 1080.92/1081.22 c nbDecision=176500 #constraints=31811 1081.62/1081.91 c nbDecision=177000 #constraints=31816 1082.42/1082.73 c nbDecision=177500 #constraints=31824 1083.32/1083.60 c nbDecision=178000 #constraints=31834 1083.92/1084.28 c nbDecision=178500 #constraints=31840 1084.62/1084.95 c nbDecision=179000 #constraints=31845 1085.32/1085.63 c nbDecision=179500 #constraints=31852 1086.21/1086.51 c nbDecision=180000 #constraints=31864 1086.52/1086.87 c nbDecision=180500 #constraints=31872 1087.01/1087.36 c nbDecision=181000 #constraints=31876 1087.81/1088.16 c nbDecision=181500 #constraints=31889 1088.72/1089.07 c nbDecision=182000 #constraints=31901 1089.51/1089.82 c nbDecision=182500 #constraints=31908 1090.41/1090.75 c nbDecision=183000 #constraints=31923 1091.01/1091.30 c nbDecision=183500 #constraints=31934 1091.81/1092.19 c nbDecision=184000 #constraints=31948 1092.61/1092.95 c nbDecision=184500 #constraints=31958 1093.41/1093.72 c nbDecision=185000 #constraints=31974 1094.21/1094.60 c nbDecision=185500 #constraints=31991 1095.11/1095.47 c nbDecision=186000 #constraints=32002 1095.71/1096.06 c nbDecision=186500 #constraints=32008 1096.31/1096.67 c nbDecision=187000 #constraints=32017 1097.11/1097.41 c nbDecision=187500 #constraints=32028 1097.81/1098.18 c nbDecision=188000 #constraints=32034 1098.41/1098.76 c nbDecision=188500 #constraints=32041 1099.31/1099.61 c nbDecision=189000 #constraints=32054 1100.01/1100.34 c nbDecision=189500 #constraints=32058 1100.41/1100.79 c nbDecision=190000 #constraints=32067 1101.11/1101.47 c nbDecision=190500 #constraints=32079 1102.11/1102.40 c nbDecision=191000 #constraints=32088 1102.71/1103.09 c nbDecision=191500 #constraints=32095 1103.61/1103.94 c nbDecision=192000 #constraints=32104 1104.41/1104.73 c nbDecision=192500 #constraints=32114 1105.11/1105.46 c nbDecision=193000 #constraints=32123 1105.81/1106.17 c nbDecision=193500 #constraints=32130 1106.61/1106.91 c nbDecision=194000 #constraints=32140 1107.01/1107.32 c nbDecision=194500 #constraints=32151 1107.81/1108.10 c nbDecision=195000 #constraints=32165 1108.21/1108.55 c nbDecision=195500 #constraints=32173 1109.01/1109.33 c nbDecision=196000 #constraints=32181 1109.71/1110.06 c nbDecision=196500 #constraints=32192 1110.41/1110.77 c nbDecision=197000 #constraints=32201 1111.31/1111.65 c nbDecision=197500 #constraints=32209 1112.21/1112.58 c nbDecision=198000 #constraints=32222 1112.81/1113.16 c nbDecision=198500 #constraints=32227 1113.50/1113.82 c nbDecision=199000 #constraints=32232 1114.20/1114.57 c nbDecision=199500 #constraints=32240 1115.01/1115.37 c nbDecision=200000 #constraints=32247 1115.80/1116.10 c nbDecision=200500 #constraints=32252 1116.40/1116.70 c nbDecision=201000 #constraints=32257 1116.90/1117.22 c nbDecision=201500 #constraints=32261 1117.60/1117.92 c nbDecision=202000 #constraints=32272 1118.21/1118.57 c nbDecision=202500 #constraints=32288 1119.20/1119.52 c nbDecision=203000 #constraints=32302 1120.00/1120.32 c nbDecision=203500 #constraints=32309 1120.51/1120.87 c nbDecision=204000 #constraints=32313 1121.20/1121.56 c nbDecision=204500 #constraints=32320 1121.80/1122.12 c restart after 204801 decisions 1144.39/1144.77 c nbDecision=205000 #constraints=32428 1146.90/1147.28 c nbDecision=205500 #constraints=32436 1147.89/1148.26 c nbDecision=206000 #constraints=32452 1148.69/1149.08 c nbDecision=206500 #constraints=32460 1149.50/1149.86 c nbDecision=207000 #constraints=32470 1150.40/1150.75 c nbDecision=207500 #constraints=32481 1151.31/1151.61 c nbDecision=208000 #constraints=32494 1152.20/1152.58 c nbDecision=208500 #constraints=32511 1153.10/1153.42 c nbDecision=209000 #constraints=32523 1153.99/1154.38 c nbDecision=209500 #constraints=32538 1154.79/1155.19 c nbDecision=210000 #constraints=32546 1155.99/1156.35 c nbDecision=210500 #constraints=32566 1156.69/1157.08 c nbDecision=211000 #constraints=32577 1157.90/1158.27 c nbDecision=211500 #constraints=32596 1158.69/1159.01 c nbDecision=212000 #constraints=32605 1159.80/1160.15 c nbDecision=212500 #constraints=32624 1160.70/1161.07 c nbDecision=213000 #constraints=32640 1162.00/1162.32 c nbDecision=213500 #constraints=32662 1162.80/1163.17 c nbDecision=214000 #constraints=32674 1163.80/1164.19 c nbDecision=214500 #constraints=32689 1164.50/1164.89 c nbDecision=215000 #constraints=32695 1165.29/1165.62 c nbDecision=215500 #constraints=32704 1166.39/1166.72 c nbDecision=216000 #constraints=32720 1167.19/1167.59 c nbDecision=216500 #constraints=32732 1167.99/1168.38 c nbDecision=217000 #constraints=32741 1169.00/1169.33 c nbDecision=217500 #constraints=32756 1170.29/1170.66 c nbDecision=218000 #constraints=32779 1171.19/1171.54 c nbDecision=218500 #constraints=32793 1172.09/1172.47 c nbDecision=219000 #constraints=32806 1172.89/1173.22 c nbDecision=219500 #constraints=32817 1174.19/1174.59 c nbDecision=220000 #constraints=32840 1174.89/1175.23 c nbDecision=220500 #constraints=32846 1176.19/1176.50 c nbDecision=221000 #constraints=32866 1177.09/1177.47 c nbDecision=221500 #constraints=32881 1178.39/1178.73 c nbDecision=222000 #constraints=32899 1178.99/1179.37 c nbDecision=222500 #constraints=32907 1179.99/1180.33 c nbDecision=223000 #constraints=32919 1180.59/1180.95 c nbDecision=223500 #constraints=32925 1181.59/1181.91 c nbDecision=224000 #constraints=32938 1182.38/1182.77 c nbDecision=224500 #constraints=32949 1183.38/1183.72 c nbDecision=225000 #constraints=32961 1184.08/1184.48 c nbDecision=225500 #constraints=32970 1185.28/1185.66 c nbDecision=226000 #constraints=32987 1186.49/1186.84 c nbDecision=226500 #constraints=33005 1187.28/1187.65 c nbDecision=227000 #constraints=33014 1187.89/1188.22 c nbDecision=227500 #constraints=33020 1188.99/1189.33 c nbDecision=228000 #constraints=33034 1189.90/1190.29 c nbDecision=228500 #constraints=33051 1190.79/1191.11 c nbDecision=229000 #constraints=33061 1191.89/1192.29 c nbDecision=229500 #constraints=33080 1193.19/1193.55 c nbDecision=230000 #constraints=33097 1193.89/1194.22 c nbDecision=230500 #constraints=33103 1194.89/1195.29 c nbDecision=231000 #constraints=33115 1195.59/1195.98 c nbDecision=231500 #constraints=33123 1197.39/1197.74 c nbDecision=232000 #constraints=33152 1198.59/1198.90 c nbDecision=232500 #constraints=33172 1199.39/1199.77 c nbDecision=233000 #constraints=33181 1200.19/1200.55 c nbDecision=233500 #constraints=33193 1201.48/1201.88 c nbDecision=234000 #constraints=33217 1202.68/1203.04 c nbDecision=234500 #constraints=33232 1203.88/1204.21 c nbDecision=235000 #constraints=33249 1204.48/1204.89 c nbDecision=235500 #constraints=33257 1205.38/1205.73 c nbDecision=236000 #constraints=33266 1205.98/1206.38 c nbDecision=236500 #constraints=33274 1206.78/1207.18 c nbDecision=237000 #constraints=33284 1207.68/1208.02 c nbDecision=237500 #constraints=33296 1208.58/1208.94 c nbDecision=238000 #constraints=33306 1209.38/1209.78 c nbDecision=238500 #constraints=33319 1210.08/1210.43 c nbDecision=239000 #constraints=33330 1210.68/1211.06 c nbDecision=239500 #constraints=33339 1211.69/1212.05 c nbDecision=240000 #constraints=33350 1212.69/1213.02 c nbDecision=240500 #constraints=33364 1213.38/1213.76 c nbDecision=241000 #constraints=33375 1214.09/1214.46 c nbDecision=241500 #constraints=33380 1214.88/1215.20 c nbDecision=242000 #constraints=33389 1215.58/1215.94 c nbDecision=242500 #constraints=33399 1216.48/1216.81 c nbDecision=243000 #constraints=33413 1217.18/1217.59 c nbDecision=243500 #constraints=33424 1217.98/1218.36 c nbDecision=244000 #constraints=33434 1218.78/1219.20 c nbDecision=244500 #constraints=33446 1219.59/1219.91 c nbDecision=245000 #constraints=33458 1220.28/1220.64 c nbDecision=245500 #constraints=33467 1221.08/1221.42 c nbDecision=246000 #constraints=33479 1221.78/1222.15 c nbDecision=246500 #constraints=33487 1222.68/1223.01 c nbDecision=247000 #constraints=33499 1223.58/1223.95 c nbDecision=247500 #constraints=33511 1224.28/1224.64 c nbDecision=248000 #constraints=33517 1225.17/1225.51 c nbDecision=248500 #constraints=33527 1226.18/1226.52 c nbDecision=249000 #constraints=33541 1227.37/1227.75 c nbDecision=249500 #constraints=33560 1228.38/1228.71 c nbDecision=250000 #constraints=33573 1228.97/1229.35 c nbDecision=250500 #constraints=33580 1230.08/1230.46 c nbDecision=251000 #constraints=33593 1237.48/1237.86 c nbDecision=251500 #constraints=33768 1254.47/1254.85 c nbDecision=252000 #constraints=34157 1273.17/1273.54 c nbDecision=252500 #constraints=34530 1295.86/1296.24 c nbDecision=253000 #constraints=34890 1317.85/1318.21 c nbDecision=253500 #constraints=35293 1324.96/1325.32 c nbDecision=254000 #constraints=35465 1335.35/1335.74 c nbDecision=254500 #constraints=35753 1352.45/1352.87 c nbDecision=255000 #constraints=36159 1367.74/1368.15 c nbDecision=255500 #constraints=36540 1385.64/1386.04 c nbDecision=256000 #constraints=36877 1410.03/1410.40 c nbDecision=256500 #constraints=37267 1432.13/1432.54 c nbDecision=257000 #constraints=37619 1454.83/1455.29 c nbDecision=257500 #constraints=37954 1479.91/1480.34 c nbDecision=258000 #constraints=38292 1506.01/1506.41 c nbDecision=258500 #constraints=38638 1532.10/1532.57 c nbDecision=259000 #constraints=38957 1566.40/1566.86 c nbDecision=259500 #constraints=39271 1599.68/1600.18 c nbDecision=260000 #constraints=39591 1627.77/1628.27 c nbDecision=260500 #constraints=39914 1660.66/1661.16 c nbDecision=261000 #constraints=40245 1694.06/1694.55 c nbDecision=261500 #constraints=40570 1730.35/1730.88 c nbDecision=262000 #constraints=40878 1768.74/1769.24 c nbDecision=262500 #constraints=41209 1800.03/1800.50 Received signal 15 1800.03/1800.57 1800.03/1800.57 s UNKNOWN 1800.03/1800.57 1800.03/1800.57 c user time= 1798.9 s 1800.03/1800.57 c system time= 1.21881 s 1800.03/1800.57 c wall clock time=1800.57
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node44/watcher-357259-1176992680 -o ROOT/results/node44/solver-357259-1176992680 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357259-1176992680/instance-357259-1176992680.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.92 0.98 0.99 3/77 4312 /proc/meminfo: memFree=1694072/2055920 swapFree=4150992/4192956 [pid=4312] ppid=4310 vsize=1468 CPUtime=0 /proc/4312/stat : 4312 (oree) R 4310 4312 3969 0 -1 4194304 184 0 0 0 0 0 0 0 18 0 1 0 147179762 1503232 166 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4312/statm: 367 166 131 317 0 46 0 [startup+0.070776 s] /proc/loadavg: 0.92 0.98 0.99 3/77 4312 /proc/meminfo: memFree=1694072/2055920 swapFree=4150992/4192956 [pid=4312] ppid=4310 vsize=2932 CPUtime=0.06 /proc/4312/stat : 4312 (oree) R 4310 4312 3969 0 -1 4194304 538 0 0 0 6 0 0 0 18 0 1 0 147179762 3002368 520 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4312/statm: 733 520 131 317 0 412 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 2932 [startup+0.101778 s] /proc/loadavg: 0.92 0.98 0.99 3/77 4312 /proc/meminfo: memFree=1694072/2055920 swapFree=4150992/4192956 [pid=4312] ppid=4310 vsize=3460 CPUtime=0.09 /proc/4312/stat : 4312 (oree) R 4310 4312 3969 0 -1 4194304 674 0 0 0 9 0 0 0 18 0 1 0 147179762 3543040 656 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4312/statm: 865 656 131 317 0 544 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3460 [startup+0.301799 s] /proc/loadavg: 0.92 0.98 0.99 3/77 4312 /proc/meminfo: memFree=1694072/2055920 swapFree=4150992/4192956 [pid=4312] ppid=4310 vsize=6952 CPUtime=0.29 /proc/4312/stat : 4312 (oree) R 4310 4312 3969 0 -1 4194304 1557 0 0 0 29 0 0 0 19 0 1 0 147179762 7118848 1539 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563935 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4312/statm: 1738 1539 139 317 0 1417 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6952 [startup+0.70184 s] /proc/loadavg: 0.92 0.98 0.99 3/77 4312 /proc/meminfo: memFree=1694072/2055920 swapFree=4150992/4192956 [pid=4312] ppid=4310 vsize=7468 CPUtime=0.69 /proc/4312/stat : 4312 (oree) R 4310 4312 3969 0 -1 4194304 1710 0 0 0 68 1 0 0 23 0 1 0 147179762 7647232 1692 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718451 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4312/statm: 1867 1692 170 317 0 1546 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7468 [startup+1.50192 s] /proc/loadavg: 0.92 0.98 0.99 2/78 4313 /proc/meminfo: memFree=1687720/2055920 swapFree=4150992/4192956 [pid=4312] ppid=4310 vsize=8120 CPUtime=1.49 /proc/4312/stat : 4312 (oree) R 4310 4312 3969 0 -1 4194304 1885 0 0 0 148 1 0 0 25 0 1 0 147179762 8314880 1867 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712505 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4312/statm: 2030 1867 170 317 0 1709 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8120 [startup+3.10113 s] /proc/loadavg: 0.93 0.98 0.99 2/78 4313 /proc/meminfo: memFree=1686312/2055920 swapFree=4150992/4192956 [pid=4312] ppid=4310 vsize=10880 CPUtime=3.09 /proc/4312/stat : 4312 (oree) R 4310 4312 3969 0 -1 4194304 2577 0 0 0 308 1 0 0 25 0 1 0 147179762 11141120 2559 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134558551 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4312/statm: 2720 2559 170 317 0 2399 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10880 [startup+6.30141 s] /proc/loadavg: 0.93 0.98 0.99 2/78 4313 /proc/meminfo: memFree=1681896/2055920 swapFree=4150992/4192956 [pid=4312] ppid=4310 vsize=13988 CPUtime=6.29 /proc/4312/stat : 4312 (oree) R 4310 4312 3969 0 -1 4194304 3338 0 0 0 626 3 0 0 25 0 1 0 147179762 14323712 3320 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134593289 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4312/statm: 3497 3320 170 317 0 3176 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13988 [startup+12.7011 s] /proc/loadavg: 0.94 0.98 0.99 2/78 4313 /proc/meminfo: memFree=1675752/2055920 swapFree=4150992/4192956 [pid=4312] ppid=4310 vsize=20000 CPUtime=12.68 /proc/4312/stat : 4312 (oree) R 4310 4312 3969 0 -1 4194304 4798 0 0 0 1265 3 0 0 25 0 1 0 147179762 20480000 4780 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4312/statm: 5000 4780 170 317 0 4679 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 20000 [startup+25.5014 s] /proc/loadavg: 0.95 0.98 0.99 2/78 4313 /proc/meminfo: memFree=1671720/2055920 swapFree=4150992/4192956 [pid=4312] ppid=4310 vsize=24024 CPUtime=25.49 /proc/4312/stat : 4312 (oree) R 4310 4312 3969 0 -1 4194304 5727 0 0 0 2544 5 0 0 25 0 1 0 147179762 24600576 5709 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4312/statm: 6006 5709 170 317 0 5685 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 24024 [startup+51.102 s] /proc/loadavg: 0.96 0.98 0.99 2/78 4313 /proc/meminfo: memFree=1665640/2055920 swapFree=4150992/4192956 [pid=4312] ppid=4310 vsize=30116 CPUtime=51.08 /proc/4312/stat : 4312 (oree) R 4310 4312 3969 0 -1 4194304 7260 0 0 0 5101 7 0 0 25 0 1 0 147179762 30838784 7242 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4312/statm: 7529 7242 170 317 0 7208 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 30116 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.99 2/78 4313 /proc/meminfo: memFree=1657640/2055920 swapFree=4150992/4192956 [pid=4312] ppid=4310 vsize=38660 CPUtime=102.27 /proc/4312/stat : 4312 (oree) R 4310 4312 3969 0 -1 4194304 9229 0 0 0 10217 10 0 0 25 0 1 0 147179762 39587840 9211 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4312/statm: 9665 9211 170 317 0 9344 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 38660 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 4313 /proc/meminfo: memFree=1650408/2055920 swapFree=4150992/4192956 [pid=4312] ppid=4310 vsize=46540 CPUtime=162.25 /proc/4312/stat : 4312 (oree) R 4310 4312 3969 0 -1 4194304 11109 0 0 0 16213 12 0 0 25 0 1 0 147179762 47656960 11033 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4312/statm: 11635 11033 170 317 0 11314 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 46540 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 4313 /proc/meminfo: memFree=1643944/2055920 swapFree=4150992/4192956 [pid=4312] ppid=4310 vsize=52704 CPUtime=222.23 /proc/4312/stat : 4312 (oree) R 4310 4312 3969 0 -1 4194304 12692 0 0 0 22209 14 0 0 25 0 1 0 147179762 53968896 12616 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4312/statm: 13176 12616 170 317 0 12855 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 52704 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 4313 /proc/meminfo: memFree=1638760/2055920 swapFree=4150992/4192956 [pid=4312] ppid=4310 vsize=59208 CPUtime=282.21 /proc/4312/stat : 4312 (oree) R 4310 4312 3969 0 -1 4194304 13989 0 0 0 28206 15 0 0 25 0 1 0 147179762 60628992 13913 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604226 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4312/statm: 14802 13913 170 317 0 14481 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 59208 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 4313 /proc/meminfo: memFree=1634728/2055920 swapFree=4150992/4192956 [pid=4312] ppid=4310 vsize=63260 CPUtime=342.2 /proc/4312/stat : 4312 (oree) R 4310 4312 3969 0 -1 4194304 14983 0 0 0 34203 17 0 0 25 0 1 0 147179762 64778240 14907 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4312/statm: 15815 14907 170 317 0 15494 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 63260 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 4313 /proc/meminfo: memFree=1628840/2055920 swapFree=4150992/4192956 [pid=4312] ppid=4310 vsize=69292 CPUtime=402.19 /proc/4312/stat : 4312 (oree) R 4310 4312 3969 0 -1 4194304 16479 0 0 0 40200 19 0 0 25 0 1 0 147179762 70955008 16403 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4312/statm: 17323 16403 170 317 0 17002 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 69292 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 4313 /proc/meminfo: memFree=1622504/2055920 swapFree=4150992/4192956 [pid=4312] ppid=4310 vsize=74964 CPUtime=462.17 /proc/4312/stat : 4312 (oree) R 4310 4312 3969 0 -1 4194304 18037 0 0 0 46197 20 0 0 25 0 1 0 147179762 76763136 17961 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563441 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4312/statm: 18741 17961 170 317 0 18420 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 74964 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 4313 /proc/meminfo: memFree=1616296/2055920 swapFree=4150992/4192956 [pid=4312] ppid=4310 vsize=83096 CPUtime=522.15 /proc/4312/stat : 4312 (oree) R 4310 4312 3969 0 -1 4194304 19592 0 0 0 52194 21 0 0 25 0 1 0 147179762 85090304 19516 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4312/statm: 20774 19516 170 317 0 20453 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 83096 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 4313 /proc/meminfo: memFree=1612392/2055920 swapFree=4150992/4192956 [pid=4312] ppid=4310 vsize=87096 CPUtime=582.14 /proc/4312/stat : 4312 (oree) R 4310 4312 3969 0 -1 4194304 20661 0 0 0 58192 22 0 0 25 0 1 0 147179762 89186304 20471 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4312/statm: 21774 20471 170 317 0 21453 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 87096 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 4313 /proc/meminfo: memFree=1607976/2055920 swapFree=4150992/4192956 [pid=4312] ppid=4310 vsize=91336 CPUtime=642.13 /proc/4312/stat : 4312 (oree) R 4310 4312 3969 0 -1 4194304 21779 0 0 0 64189 24 0 0 25 0 1 0 147179762 93528064 21589 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4312/statm: 22834 21589 170 317 0 22513 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 91336 ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 4315 /proc/meminfo: memFree=1306728/2055920 swapFree=4150992/4192956 [pid=4312] ppid=4310 vsize=410264 CPUtime=942.05 /proc/4312/stat : 4312 (oree) R 4310 4312 3969 0 -1 4194304 97495 0 0 0 94143 62 0 0 25 0 1 0 147179762 420110336 96876 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4312/statm: 102566 96876 170 317 0 102245 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 410264 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 4315 /proc/meminfo: memFree=1257384/2055920 swapFree=4150992/4192956 [pid=4312] ppid=4310 vsize=468872 CPUtime=1002.04 /proc/4312/stat : 4312 (oree) R 4310 4312 3969 0 -1 4194304 109759 0 0 0 100135 69 0 0 25 0 1 0 147179762 480124928 109107 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4312/statm: 117218 109107 170 317 0 116897 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 468872 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 4315 /proc/meminfo: memFree=1226408/2055920 swapFree=4150992/4192956 [pid=4312] ppid=4310 vsize=502612 CPUtime=1062.02 /proc/4312/stat : 4312 (oree) R 4310 4312 3969 0 -1 4194304 117557 0 0 0 106129 73 0 0 25 0 1 0 147179762 514674688 116905 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4312/statm: 125653 116905 170 317 0 125332 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 502612 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 4315 /proc/meminfo: memFree=1201640/2055920 swapFree=4150992/4192956 [pid=4312] ppid=4310 vsize=527716 CPUtime=1122 /proc/4312/stat : 4312 (oree) R 4310 4312 3969 0 -1 4194304 123653 0 0 0 112123 77 0 0 25 0 1 0 147179762 540381184 122968 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4312/statm: 131929 122968 170 317 0 131608 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 527716 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 4315 /proc/meminfo: memFree=1190248/2055920 swapFree=4150992/4192956 [pid=4312] ppid=4310 vsize=539492 CPUtime=1181.99 /proc/4312/stat : 4312 (oree) R 4310 4312 3969 0 -1 4194304 126586 0 0 0 118119 80 0 0 25 0 1 0 147179762 552439808 125868 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4312/statm: 134873 125868 170 317 0 134552 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 539492 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 4315 /proc/meminfo: memFree=1169192/2055920 swapFree=4150992/4192956 [pid=4312] ppid=4310 vsize=561540 CPUtime=1241.97 /proc/4312/stat : 4312 (oree) R 4310 4312 3969 0 -1 4194304 132089 0 0 0 124114 83 0 0 25 0 1 0 147179762 575016960 131144 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4312/statm: 140385 131144 170 317 0 140064 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 561540 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 4315 /proc/meminfo: memFree=1135336/2055920 swapFree=4150992/4192956 [pid=4312] ppid=4310 vsize=598472 CPUtime=1301.97 /proc/4312/stat : 4312 (oree) R 4310 4312 3969 0 -1 4194304 140406 0 0 0 130109 88 0 0 25 0 1 0 147179762 612835328 139461 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4312/statm: 149618 139461 170 317 0 149297 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 598472 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 4315 /proc/meminfo: memFree=1079080/2055920 swapFree=4150992/4192956 [pid=4312] ppid=4310 vsize=663036 CPUtime=1361.94 /proc/4312/stat : 4312 (oree) R 4310 4312 3969 0 -1 4194304 154647 0 0 0 136099 95 0 0 25 0 1 0 147179762 678948864 153669 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4312/statm: 165759 153669 170 317 0 165438 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 663036 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/78 4315 /proc/meminfo: memFree=1037416/2055920 swapFree=4150992/4192956 [pid=4312] ppid=4310 vsize=704888 CPUtime=1421.93 /proc/4312/stat : 4312 (oree) R 4310 4312 3969 0 -1 4194304 165136 0 0 0 142093 100 0 0 25 0 1 0 147179762 721805312 163894 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4312/statm: 176222 163894 170 317 0 175901 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 704888 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 4315 /proc/meminfo: memFree=998696/2055920 swapFree=4150992/4192956 [pid=4312] ppid=4310 vsize=757104 CPUtime=1481.91 /proc/4312/stat : 4312 (oree) R 4310 4312 3969 0 -1 4194304 177237 0 0 0 148085 106 0 0 25 0 1 0 147179762 775274496 173586 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4312/statm: 189276 173586 170 317 0 188955 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 757104 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 4315 /proc/meminfo: memFree=968360/2055920 swapFree=4150992/4192956 [pid=4312] ppid=4310 vsize=786612 CPUtime=1541.89 /proc/4312/stat : 4312 (oree) R 4310 4312 3969 0 -1 4194304 184782 0 0 0 154080 109 0 0 25 0 1 0 147179762 805490688 181098 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4312/statm: 196653 181098 170 317 0 196332 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 786612 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 4315 /proc/meminfo: memFree=947432/2055920 swapFree=4150992/4192956 [pid=4312] ppid=4310 vsize=806036 CPUtime=1601.88 /proc/4312/stat : 4312 (oree) R 4310 4312 3969 0 -1 4194304 190068 0 0 0 160076 112 0 0 25 0 1 0 147179762 825380864 186384 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4312/statm: 201509 186384 170 317 0 201188 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 806036 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 4315 /proc/meminfo: memFree=915432/2055920 swapFree=4150992/4192956 [pid=4312] ppid=4310 vsize=843840 CPUtime=1661.86 /proc/4312/stat : 4312 (oree) R 4310 4312 3969 0 -1 4194304 198272 0 0 0 166071 115 0 0 25 0 1 0 147179762 864092160 194324 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4312/statm: 210960 194324 170 317 0 210639 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 843840 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 4315 /proc/meminfo: memFree=893544/2055920 swapFree=4150992/4192956 [pid=4312] ppid=4310 vsize=867044 CPUtime=1721.86 /proc/4312/stat : 4312 (oree) R 4310 4312 3969 0 -1 4194304 204308 0 0 0 172067 119 0 0 25 0 1 0 147179762 887853056 199832 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4312/statm: 216761 199832 170 317 0 216440 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 867044 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 4315 /proc/meminfo: memFree=871144/2055920 swapFree=4150992/4192956 [pid=4312] ppid=4310 vsize=887624 CPUtime=1781.84 /proc/4312/stat : 4312 (oree) R 4310 4312 3969 0 -1 4194304 209841 0 0 0 178063 121 0 0 25 0 1 0 147179762 908926976 205365 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564062 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4312/statm: 221906 205365 170 317 0 221585 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 887624 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 0.98 0.99 2/78 4315 /proc/meminfo: memFree=865448/2055920 swapFree=4150992/4192956 [pid=4312] ppid=4310 vsize=893468 CPUtime=1800.03 /proc/4312/stat : 4312 (oree) R 4310 4312 3969 0 -1 4194304 211239 0 0 0 179882 121 0 0 25 0 1 0 147179762 914911232 206763 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4312/statm: 223367 206763 170 317 0 223046 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 893468 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 0.99 0.98 0.99 2/79 4316 /proc/meminfo: memFree=996512/2055920 swapFree=4150992/4192956 [pid=4312] ppid=4310 vsize=0 CPUtime=1800.14 /proc/4312/stat : 4312 (oree) R 4310 4312 3969 0 -1 4194308 211257 0 0 0 179890 124 0 0 25 0 1 0 147179762 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4312/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 0 [startup+1800.71 s] /proc/loadavg: 0.99 0.98 0.99 2/79 4316 /proc/meminfo: memFree=996512/2055920 swapFree=4150992/4192956 [pid=4312] ppid=4310 vsize=0 CPUtime=1800.24 /proc/4312/stat : 4312 (oree) R 4310 4312 3969 0 -1 4194308 211257 0 0 0 179890 134 0 0 25 0 1 0 147179762 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4312/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.24 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.72 CPU time (s): 1800.26 CPU user time (s): 1798.9 CPU system time (s): 1.35479 CPU usage (%): 99.9744 Max. virtual memory (cumulated for all children) (KiB): 893468 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.9 system time used= 1.35479 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 211257 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= 37161 runsolver used 2.19667 second user time and 4.34034 second system time The end
Begin job on node44 on Thu Apr 19 14:24:41 UTC 2007 IDJOB= 357259 IDBENCH= 2322 IDSOLVER= 172 FILE ID= node44/357259-1176992680 PBS_JOBID= 4630462 Free space on /tmp= 66413 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-bienst2.opb COMMAND LINE= oree /tmp/evaluation/357259-1176992680/instance-357259-1176992680.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node44/watcher-357259-1176992680 -o ROOT/results/node44/solver-357259-1176992680 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357259-1176992680/instance-357259-1176992680.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 0af97c6a7a59a4d1015a4f591401bda7 RANDOM SEED= 31709370 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node44.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1694600 kB Buffers: 42000 kB Cached: 226400 kB SwapCached: 18832 kB Active: 82644 kB Inactive: 215028 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1694600 kB SwapTotal: 4192956 kB SwapFree: 4150992 kB Dirty: 2080 kB Writeback: 0 kB Mapped: 32332 kB Slab: 49132 kB Committed_AS: 498744 kB PageTables: 1736 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= 66413 MiB End job on node44 on Thu Apr 19 14:54:43 UTC 2007