Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.26 | 1800.9 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-roll3000.opb |
MD5SUM | 553e03f28bab227c11d33a47edd1fb32 |
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 | 8902 |
Total number of constraints | 2864 |
Number of constraints which are clauses | 143 |
Number of constraints which are cardinality constraints (but not clauses) | 31 |
Number of constraints which are nor clauses,nor cardinality constraints | 2690 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2407 |
Number of terms in the objective function | 31 |
Biggest coefficient in the objective function | 1073741824 |
Number of bits for the biggest coefficient in the objective function | 31 |
Sum of the numbers in the objective function | 2147483647 |
Number of bits of the sum of numbers in the objective function | 31 |
Biggest number in a constraint | 1024000000000 |
Number of bits of the biggest number in a constraint | 40 |
Biggest sum of numbers in a constraint | 2123511627775 |
Number of bits of the biggest sum of numbers | 41 |
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.19/0.26 c ...done 0.19/0.26 c #vars=8902 #constraints=3039 hasObjective=yes 0.19/0.29 c res. mode=mod 0.19/0.29 c VSIDS like heuristics 0.19/0.29 c complete search running 0.49/0.52 c restart after 401 decisions 0.49/0.54 c nbDecision=500 #constraints=3081 0.69/0.71 c restart after 801 decisions 0.79/0.82 c nbDecision=1000 #constraints=3146 1.09/1.17 c nbDecision=1500 #constraints=3226 1.19/1.23 c restart after 1601 decisions 1.39/1.49 c nbDecision=2000 #constraints=3278 1.89/1.93 c nbDecision=2500 #constraints=3355 2.19/2.26 c nbDecision=3000 #constraints=3409 2.29/2.37 c restart after 3201 decisions 2.39/2.49 c nbDecision=3500 #constraints=3447 2.88/2.91 c nbDecision=4000 #constraints=3545 3.29/3.32 c nbDecision=4500 #constraints=3632 3.69/3.75 c nbDecision=5000 #constraints=3717 4.29/4.31 c nbDecision=5500 #constraints=3820 4.79/4.85 c nbDecision=6000 #constraints=3920 5.09/5.19 c restart after 6401 decisions 5.19/5.24 c nbDecision=6500 #constraints=3979 5.59/5.65 c nbDecision=7000 #constraints=4054 5.89/5.99 c nbDecision=7500 #constraints=4116 6.28/6.37 c nbDecision=8000 #constraints=4185 6.78/6.84 c nbDecision=8500 #constraints=4274 7.18/7.27 c nbDecision=9000 #constraints=4349 7.59/7.68 c nbDecision=9500 #constraints=4410 8.19/8.25 c nbDecision=10000 #constraints=4498 8.59/8.66 c nbDecision=10500 #constraints=4552 9.09/9.11 c nbDecision=11000 #constraints=4612 9.49/9.58 c nbDecision=11500 #constraints=4671 9.99/10.06 c nbDecision=12000 #constraints=4728 10.49/10.51 c nbDecision=12500 #constraints=4778 10.69/10.76 c restart after 12801 decisions 10.89/10.94 c nbDecision=13000 #constraints=4822 11.49/11.56 c nbDecision=13500 #constraints=4875 12.18/12.25 c nbDecision=14000 #constraints=4932 12.98/13.05 c nbDecision=14500 #constraints=5002 13.88/13.94 c nbDecision=15000 #constraints=5090 14.78/14.85 c nbDecision=15500 #constraints=5189 15.39/15.41 c nbDecision=16000 #constraints=5274 16.28/16.40 c nbDecision=16500 #constraints=5376 17.18/17.27 c nbDecision=17000 #constraints=5470 19.19/19.22 c nbDecision=17500 #constraints=5718 20.68/20.70 c nbDecision=18000 #constraints=5918 21.89/21.91 c nbDecision=18500 #constraints=6030 23.68/23.71 c nbDecision=19000 #constraints=6218 25.88/25.94 c nbDecision=19500 #constraints=6445 28.08/28.18 c nbDecision=20000 #constraints=6643 30.08/30.13 c nbDecision=20500 #constraints=6814 32.28/32.33 c nbDecision=21000 #constraints=7028 35.08/35.17 c nbDecision=21500 #constraints=7218 38.38/38.47 c nbDecision=22000 #constraints=7462 41.97/42.07 c nbDecision=22500 #constraints=7714 45.88/45.97 c nbDecision=23000 #constraints=8006 50.27/50.31 c nbDecision=23500 #constraints=8333 54.37/54.40 c nbDecision=24000 #constraints=8599 58.97/59.07 c nbDecision=24500 #constraints=8894 62.57/62.60 c nbDecision=25000 #constraints=9109 67.56/67.61 c nbDecision=25500 #constraints=9499 68.66/68.72 c restart after 25601 decisions 70.87/70.91 c nbDecision=26000 #constraints=9651 73.77/73.80 c nbDecision=26500 #constraints=9718 76.17/76.26 c nbDecision=27000 #constraints=9797 78.67/78.78 c nbDecision=27500 #constraints=9867 81.86/81.91 c nbDecision=28000 #constraints=9963 84.57/84.67 c nbDecision=28500 #constraints=10042 87.86/87.95 c nbDecision=29000 #constraints=10139 91.06/91.12 c nbDecision=29500 #constraints=10231 93.56/93.66 c nbDecision=30000 #constraints=10292 96.76/96.84 c nbDecision=30500 #constraints=10371 99.25/99.39 c nbDecision=31000 #constraints=10441 101.86/101.96 c nbDecision=31500 #constraints=10510 104.16/104.22 c nbDecision=32000 #constraints=10561 107.25/107.34 c nbDecision=32500 #constraints=10638 109.75/109.81 c nbDecision=33000 #constraints=10697 112.85/112.95 c nbDecision=33500 #constraints=10778 115.75/115.82 c nbDecision=34000 #constraints=10851 118.04/118.14 c nbDecision=34500 #constraints=10902 120.85/120.96 c nbDecision=35000 #constraints=10967 123.65/123.72 c nbDecision=35500 #constraints=11026 126.05/126.11 c nbDecision=36000 #constraints=11081 128.85/128.97 c nbDecision=36500 #constraints=11143 131.25/131.32 c nbDecision=37000 #constraints=11190 134.15/134.28 c nbDecision=37500 #constraints=11249 136.84/136.93 c nbDecision=38000 #constraints=11307 139.34/139.49 c nbDecision=38500 #constraints=11369 142.64/142.79 c nbDecision=39000 #constraints=11449 144.94/145.04 c nbDecision=39500 #constraints=11500 147.04/147.12 c nbDecision=40000 #constraints=11544 149.34/149.46 c nbDecision=40500 #constraints=11597 151.24/151.36 c nbDecision=41000 #constraints=11630 154.03/154.18 c nbDecision=41500 #constraints=11676 156.83/156.93 c nbDecision=42000 #constraints=11743 160.24/160.36 c nbDecision=42500 #constraints=11812 163.04/163.14 c nbDecision=43000 #constraints=11868 165.84/165.97 c nbDecision=43500 #constraints=11923 168.14/168.25 c nbDecision=44000 #constraints=11974 170.83/170.93 c nbDecision=44500 #constraints=12032 173.83/173.94 c nbDecision=45000 #constraints=12094 176.53/176.66 c nbDecision=45500 #constraints=12151 179.73/179.80 c nbDecision=46000 #constraints=12215 182.73/182.82 c nbDecision=46500 #constraints=12282 185.73/185.86 c nbDecision=47000 #constraints=12346 188.52/188.61 c nbDecision=47500 #constraints=12403 191.62/191.70 c nbDecision=48000 #constraints=12470 194.12/194.26 c nbDecision=48500 #constraints=12526 196.62/196.73 c nbDecision=49000 #constraints=12582 199.12/199.22 c nbDecision=49500 #constraints=12633 202.22/202.32 c nbDecision=50000 #constraints=12698 204.81/204.97 c nbDecision=50500 #constraints=12748 207.92/208.01 c nbDecision=51000 #constraints=12809 209.52/209.66 c restart after 51201 decisions 211.12/211.26 c nbDecision=51500 #constraints=12861 213.52/213.61 c nbDecision=52000 #constraints=12904 216.52/216.62 c nbDecision=52500 #constraints=12962 219.42/219.52 c nbDecision=53000 #constraints=13014 222.02/222.14 c nbDecision=53500 #constraints=13062 224.31/224.45 c nbDecision=54000 #constraints=13105 227.11/227.28 c nbDecision=54500 #constraints=13158 229.71/229.88 c nbDecision=55000 #constraints=13201 232.30/232.46 c nbDecision=55500 #constraints=13243 235.21/235.35 c nbDecision=56000 #constraints=13294 237.61/237.73 c nbDecision=56500 #constraints=13333 240.11/240.29 c nbDecision=57000 #constraints=13379 242.71/242.81 c nbDecision=57500 #constraints=13424 245.11/245.22 c nbDecision=58000 #constraints=13465 247.71/247.81 c nbDecision=58500 #constraints=13506 250.61/250.76 c nbDecision=59000 #constraints=13561 253.91/254.04 c nbDecision=59500 #constraints=13622 257.10/257.29 c nbDecision=60000 #constraints=13678 260.80/260.96 c nbDecision=60500 #constraints=13759 264.30/264.44 c nbDecision=61000 #constraints=13826 267.50/267.68 c nbDecision=61500 #constraints=13890 270.69/270.80 c nbDecision=62000 #constraints=13943 273.70/273.89 c nbDecision=62500 #constraints=14006 277.10/277.22 c nbDecision=63000 #constraints=14066 280.20/280.34 c nbDecision=63500 #constraints=14130 284.19/284.35 c nbDecision=64000 #constraints=14207 288.19/288.31 c nbDecision=64500 #constraints=14293 291.59/291.70 c nbDecision=65000 #constraints=14354 294.69/294.84 c nbDecision=65500 #constraints=14414 298.49/298.62 c nbDecision=66000 #constraints=14487 302.18/302.31 c nbDecision=66500 #constraints=14556 305.88/306.06 c nbDecision=67000 #constraints=14630 309.88/310.05 c nbDecision=67500 #constraints=14717 313.69/313.80 c nbDecision=68000 #constraints=14792 316.78/316.99 c nbDecision=68500 #constraints=14849 320.48/320.65 c nbDecision=69000 #constraints=14916 324.58/324.74 c nbDecision=69500 #constraints=14996 329.27/329.41 c nbDecision=70000 #constraints=15083 334.57/334.76 c nbDecision=70500 #constraints=15185 338.97/339.11 c nbDecision=71000 #constraints=15256 342.47/342.69 c nbDecision=71500 #constraints=15323 346.56/346.75 c nbDecision=72000 #constraints=15394 350.46/350.61 c nbDecision=72500 #constraints=15462 354.86/355.03 c nbDecision=73000 #constraints=15539 358.46/358.62 c nbDecision=73500 #constraints=15600 362.66/362.84 c nbDecision=74000 #constraints=15680 366.26/366.49 c nbDecision=74500 #constraints=15749 370.16/370.32 c nbDecision=75000 #constraints=15815 373.76/373.93 c nbDecision=75500 #constraints=15868 377.25/377.49 c nbDecision=76000 #constraints=15930 380.75/380.98 c nbDecision=76500 #constraints=15987 384.15/384.36 c nbDecision=77000 #constraints=16038 388.25/388.41 c nbDecision=77500 #constraints=16113 391.46/391.66 c nbDecision=78000 #constraints=16163 394.76/394.93 c nbDecision=78500 #constraints=16222 398.25/398.40 c nbDecision=79000 #constraints=16273 401.85/402.06 c nbDecision=79500 #constraints=16339 405.55/405.70 c nbDecision=80000 #constraints=16399 409.34/409.55 c nbDecision=80500 #constraints=16474 413.45/413.67 c nbDecision=81000 #constraints=16557 417.24/417.42 c nbDecision=81500 #constraints=16625 421.74/421.99 c nbDecision=82000 #constraints=16702 425.23/425.48 c nbDecision=82500 #constraints=16763 428.34/428.56 c nbDecision=83000 #constraints=16812 433.34/433.59 c nbDecision=83500 #constraints=16907 437.94/438.13 c nbDecision=84000 #constraints=16988 441.94/442.14 c nbDecision=84500 #constraints=17064 446.13/446.35 c nbDecision=85000 #constraints=17139 450.03/450.22 c nbDecision=85500 #constraints=17194 453.23/453.42 c nbDecision=86000 #constraints=17239 456.93/457.13 c nbDecision=86500 #constraints=17305 460.23/460.46 c nbDecision=87000 #constraints=17363 463.82/464.03 c nbDecision=87500 #constraints=17423 468.33/468.57 c nbDecision=88000 #constraints=17507 472.43/472.66 c nbDecision=88500 #constraints=17580 475.82/476.07 c nbDecision=89000 #constraints=17633 479.52/479.75 c nbDecision=89500 #constraints=17697 484.42/484.64 c nbDecision=90000 #constraints=17777 489.02/489.21 c nbDecision=90500 #constraints=17855 491.92/492.17 c nbDecision=91000 #constraints=17912 495.72/495.96 c nbDecision=91500 #constraints=17974 500.11/500.39 c nbDecision=92000 #constraints=18042 503.71/503.90 c nbDecision=92500 #constraints=18107 507.21/507.42 c nbDecision=93000 #constraints=18163 511.81/512.07 c nbDecision=93500 #constraints=18238 517.01/517.27 c nbDecision=94000 #constraints=18322 521.80/522.01 c nbDecision=94500 #constraints=18399 526.11/526.36 c nbDecision=95000 #constraints=18466 530.81/531.05 c nbDecision=95500 #constraints=18540 534.80/535.03 c nbDecision=96000 #constraints=18600 538.20/538.49 c nbDecision=96500 #constraints=18657 541.00/541.29 c nbDecision=97000 #constraints=18707 543.60/543.89 c nbDecision=97500 #constraints=18750 546.89/547.16 c nbDecision=98000 #constraints=18790 550.39/550.69 c nbDecision=98500 #constraints=18839 553.29/553.54 c nbDecision=99000 #constraints=18869 556.89/557.13 c nbDecision=99500 #constraints=18918 561.09/561.30 c nbDecision=100000 #constraints=18977 564.59/564.89 c nbDecision=100500 #constraints=19035 567.59/567.85 c nbDecision=101000 #constraints=19070 571.28/571.59 c nbDecision=101500 #constraints=19122 575.28/575.57 c nbDecision=102000 #constraints=19188 578.69/578.94 c restart after 102401 decisions 579.59/579.85 c nbDecision=102500 #constraints=19242 583.49/583.74 c nbDecision=103000 #constraints=19312 586.58/586.85 c nbDecision=103500 #constraints=19368 589.88/590.16 c nbDecision=104000 #constraints=19424 594.28/594.55 c nbDecision=104500 #constraints=19495 597.88/598.18 c nbDecision=105000 #constraints=19548 601.88/602.16 c nbDecision=105500 #constraints=19607 605.67/605.97 c nbDecision=106000 #constraints=19657 609.97/610.22 c nbDecision=106500 #constraints=19723 613.97/614.21 c nbDecision=107000 #constraints=19781 617.77/618.04 c nbDecision=107500 #constraints=19839 621.07/621.33 c nbDecision=108000 #constraints=19886 624.77/625.00 c nbDecision=108500 #constraints=19939 628.77/629.09 c nbDecision=109000 #constraints=20004 632.87/633.12 c nbDecision=109500 #constraints=20063 637.17/637.49 c nbDecision=110000 #constraints=20122 640.97/641.29 c nbDecision=110500 #constraints=20182 644.27/644.60 c nbDecision=111000 #constraints=20231 648.46/648.73 c nbDecision=111500 #constraints=20292 651.96/652.26 c nbDecision=112000 #constraints=20336 655.06/655.38 c nbDecision=112500 #constraints=20369 658.96/659.21 c nbDecision=113000 #constraints=20416 662.05/662.36 c nbDecision=113500 #constraints=20450 665.35/665.66 c nbDecision=114000 #constraints=20488 668.75/669.05 c nbDecision=114500 #constraints=20525 672.25/672.54 c nbDecision=115000 #constraints=20566 676.05/676.37 c nbDecision=115500 #constraints=20615 679.95/680.21 c nbDecision=116000 #constraints=20664 683.96/684.21 c nbDecision=116500 #constraints=20727 688.65/688.95 c nbDecision=117000 #constraints=20799 691.65/691.97 c nbDecision=117500 #constraints=20842 696.55/696.80 c nbDecision=118000 #constraints=20919 701.84/702.17 c nbDecision=118500 #constraints=20998 706.74/707.07 c nbDecision=119000 #constraints=21072 711.64/711.98 c nbDecision=119500 #constraints=21142 715.85/716.13 c nbDecision=120000 #constraints=21199 721.14/721.42 c nbDecision=120500 #constraints=21278 725.24/725.53 c nbDecision=121000 #constraints=21333 729.14/729.46 c nbDecision=121500 #constraints=21391 733.04/733.39 c nbDecision=122000 #constraints=21439 736.74/737.09 c nbDecision=122500 #constraints=21483 741.14/741.41 c nbDecision=123000 #constraints=21547 745.23/745.50 c nbDecision=123500 #constraints=21610 748.63/749.00 c nbDecision=124000 #constraints=21661 752.93/753.28 c nbDecision=124500 #constraints=21712 757.02/757.33 c nbDecision=125000 #constraints=21762 760.22/760.57 c nbDecision=125500 #constraints=21799 764.02/764.38 c nbDecision=126000 #constraints=21850 768.02/768.36 c nbDecision=126500 #constraints=21898 771.51/771.82 c nbDecision=127000 #constraints=21937 774.71/775.05 c nbDecision=127500 #constraints=21971 778.71/779.05 c nbDecision=128000 #constraints=22015 783.02/783.31 c nbDecision=128500 #constraints=22077 787.02/787.34 c nbDecision=129000 #constraints=22125 791.31/791.67 c nbDecision=129500 #constraints=22176 795.61/795.91 c nbDecision=130000 #constraints=22236 799.42/799.79 c nbDecision=130500 #constraints=22290 803.61/803.92 c nbDecision=131000 #constraints=22348 807.41/807.79 c nbDecision=131500 #constraints=22394 811.60/811.90 c nbDecision=132000 #constraints=22447 816.91/817.30 c nbDecision=132500 #constraints=22525 821.00/821.38 c nbDecision=133000 #constraints=22576 827.30/827.63 c nbDecision=133500 #constraints=22641 832.09/832.42 c nbDecision=134000 #constraints=22715 837.30/837.60 c nbDecision=134500 #constraints=22791 841.60/841.99 c nbDecision=135000 #constraints=22858 846.29/846.64 c nbDecision=135500 #constraints=22934 850.89/851.22 c nbDecision=136000 #constraints=23010 855.79/856.15 c nbDecision=136500 #constraints=23091 860.49/860.80 c nbDecision=137000 #constraints=23152 866.49/866.84 c nbDecision=137500 #constraints=23242 871.19/871.56 c nbDecision=138000 #constraints=23297 876.39/876.73 c nbDecision=138500 #constraints=23365 881.28/881.61 c nbDecision=139000 #constraints=23439 885.98/886.37 c nbDecision=139500 #constraints=23505 891.38/891.76 c nbDecision=140000 #constraints=23595 896.18/896.54 c nbDecision=140500 #constraints=23657 902.37/902.73 c nbDecision=141000 #constraints=23756 907.47/907.88 c nbDecision=141500 #constraints=23831 912.47/912.85 c nbDecision=142000 #constraints=23905 918.08/918.43 c nbDecision=142500 #constraints=23981 923.27/923.60 c nbDecision=143000 #constraints=24053 928.57/928.97 c nbDecision=143500 #constraints=24123 934.86/935.26 c nbDecision=144000 #constraints=24236 940.46/940.80 c nbDecision=144500 #constraints=24316 945.76/946.10 c nbDecision=145000 #constraints=24382 951.25/951.60 c nbDecision=145500 #constraints=24455 955.85/956.21 c nbDecision=146000 #constraints=24529 961.25/961.68 c nbDecision=146500 #constraints=24627 968.15/968.56 c nbDecision=147000 #constraints=24720 973.74/974.20 c nbDecision=147500 #constraints=24791 980.75/981.13 c nbDecision=148000 #constraints=24896 985.95/986.39 c nbDecision=148500 #constraints=24998 990.15/990.51 c nbDecision=149000 #constraints=25073 995.84/996.28 c nbDecision=149500 #constraints=25174 1000.74/1001.16 c nbDecision=150000 #constraints=25256 1006.34/1006.78 c nbDecision=150500 #constraints=25328 1011.13/1011.59 c nbDecision=151000 #constraints=25409 1017.73/1018.15 c nbDecision=151500 #constraints=25493 1022.63/1023.08 c nbDecision=152000 #constraints=25572 1027.93/1028.32 c nbDecision=152500 #constraints=25664 1033.93/1034.35 c nbDecision=153000 #constraints=25766 1038.03/1038.48 c nbDecision=153500 #constraints=25829 1043.82/1044.22 c nbDecision=154000 #constraints=25917 1049.52/1049.98 c nbDecision=154500 #constraints=26004 1055.72/1056.17 c nbDecision=155000 #constraints=26097 1059.22/1059.69 c nbDecision=155500 #constraints=26160 1063.91/1064.36 c nbDecision=156000 #constraints=26244 1068.31/1068.72 c nbDecision=156500 #constraints=26323 1073.41/1073.89 c nbDecision=157000 #constraints=26425 1081.60/1082.04 c nbDecision=157500 #constraints=26547 1087.40/1087.88 c nbDecision=158000 #constraints=26627 1094.50/1094.95 c nbDecision=158500 #constraints=26732 1099.30/1099.78 c nbDecision=159000 #constraints=26801 1105.10/1105.53 c nbDecision=159500 #constraints=26884 1109.60/1110.08 c nbDecision=160000 #constraints=26936 1115.89/1116.31 c nbDecision=160500 #constraints=27039 1122.59/1123.04 c nbDecision=161000 #constraints=27121 1127.38/1127.84 c nbDecision=161500 #constraints=27172 1133.28/1133.71 c nbDecision=162000 #constraints=27249 1139.68/1140.11 c nbDecision=162500 #constraints=27334 1145.99/1146.42 c nbDecision=163000 #constraints=27421 1152.88/1153.30 c nbDecision=163500 #constraints=27507 1158.78/1159.21 c nbDecision=164000 #constraints=27583 1164.28/1164.74 c nbDecision=164500 #constraints=27662 1168.67/1169.19 c nbDecision=165000 #constraints=27726 1173.28/1173.76 c nbDecision=165500 #constraints=27781 1179.47/1179.95 c nbDecision=166000 #constraints=27845 1185.17/1185.62 c nbDecision=166500 #constraints=27908 1190.96/1191.48 c nbDecision=167000 #constraints=27979 1197.47/1197.97 c nbDecision=167500 #constraints=28070 1204.16/1204.67 c nbDecision=168000 #constraints=28159 1210.06/1210.57 c nbDecision=168500 #constraints=28226 1216.06/1216.56 c nbDecision=169000 #constraints=28297 1221.56/1222.01 c nbDecision=169500 #constraints=28371 1226.05/1226.55 c nbDecision=170000 #constraints=28424 1231.15/1231.67 c nbDecision=170500 #constraints=28483 1237.65/1238.17 c nbDecision=171000 #constraints=28562 1244.15/1244.66 c nbDecision=171500 #constraints=28641 1249.85/1250.34 c nbDecision=172000 #constraints=28715 1256.75/1257.26 c nbDecision=172500 #constraints=28787 1261.84/1262.36 c nbDecision=173000 #constraints=28853 1266.24/1266.77 c nbDecision=173500 #constraints=28909 1271.64/1272.18 c nbDecision=174000 #constraints=28995 1277.44/1277.99 c nbDecision=174500 #constraints=29072 1282.93/1283.47 c nbDecision=175000 #constraints=29160 1288.33/1288.88 c nbDecision=175500 #constraints=29247 1293.53/1294.09 c nbDecision=176000 #constraints=29330 1302.42/1302.92 c nbDecision=176500 #constraints=29446 1309.03/1309.56 c nbDecision=177000 #constraints=29514 1315.43/1315.90 c nbDecision=177500 #constraints=29590 1321.42/1321.94 c nbDecision=178000 #constraints=29664 1327.52/1328.06 c nbDecision=178500 #constraints=29728 1333.32/1333.81 c nbDecision=179000 #constraints=29797 1339.81/1340.39 c nbDecision=179500 #constraints=29873 1346.61/1347.13 c nbDecision=180000 #constraints=29943 1352.81/1353.31 c nbDecision=180500 #constraints=30014 1359.02/1359.53 c nbDecision=181000 #constraints=30069 1365.61/1366.14 c nbDecision=181500 #constraints=30150 1372.21/1372.72 c nbDecision=182000 #constraints=30234 1379.00/1379.52 c nbDecision=182500 #constraints=30327 1387.30/1387.86 c nbDecision=183000 #constraints=30427 1394.69/1395.26 c nbDecision=183500 #constraints=30518 1401.39/1401.93 c nbDecision=184000 #constraints=30589 1408.50/1409.02 c nbDecision=184500 #constraints=30684 1416.39/1416.94 c nbDecision=185000 #constraints=30767 1423.08/1423.64 c nbDecision=185500 #constraints=30837 1430.68/1431.21 c nbDecision=186000 #constraints=30918 1435.08/1435.68 c nbDecision=186500 #constraints=30968 1439.78/1440.39 c nbDecision=187000 #constraints=31017 1447.48/1448.01 c nbDecision=187500 #constraints=31090 1454.78/1455.38 c nbDecision=188000 #constraints=31168 1461.07/1461.65 c nbDecision=188500 #constraints=31244 1468.27/1468.86 c nbDecision=189000 #constraints=31336 1475.87/1476.48 c nbDecision=189500 #constraints=31416 1483.06/1483.62 c nbDecision=190000 #constraints=31489 1490.16/1490.72 c nbDecision=190500 #constraints=31572 1497.66/1498.21 c nbDecision=191000 #constraints=31672 1504.16/1504.71 c nbDecision=191500 #constraints=31755 1511.26/1511.86 c nbDecision=192000 #constraints=31831 1518.95/1519.57 c nbDecision=192500 #constraints=31911 1523.75/1524.38 c nbDecision=193000 #constraints=31965 1528.94/1529.50 c nbDecision=193500 #constraints=32017 1534.95/1535.53 c nbDecision=194000 #constraints=32077 1540.64/1541.20 c nbDecision=194500 #constraints=32137 1549.44/1550.06 c nbDecision=195000 #constraints=32246 1555.54/1556.18 c nbDecision=195500 #constraints=32304 1561.14/1561.77 c nbDecision=196000 #constraints=32375 1568.83/1569.48 c nbDecision=196500 #constraints=32453 1577.83/1578.45 c nbDecision=197000 #constraints=32545 1586.13/1586.71 c nbDecision=197500 #constraints=32645 1592.92/1593.56 c nbDecision=198000 #constraints=32715 1600.03/1600.64 c nbDecision=198500 #constraints=32796 1605.43/1606.07 c nbDecision=199000 #constraints=32862 1613.42/1614.09 c nbDecision=199500 #constraints=32983 1620.12/1620.74 c nbDecision=200000 #constraints=33070 1626.91/1627.50 c nbDecision=200500 #constraints=33149 1634.11/1634.70 c nbDecision=201000 #constraints=33218 1641.61/1642.27 c nbDecision=201500 #constraints=33286 1649.20/1649.88 c nbDecision=202000 #constraints=33369 1658.00/1658.70 c nbDecision=202500 #constraints=33451 1666.40/1667.08 c nbDecision=203000 #constraints=33537 1673.40/1674.05 c nbDecision=203500 #constraints=33592 1682.79/1683.45 c nbDecision=204000 #constraints=33692 1690.39/1691.01 c nbDecision=204500 #constraints=33758 1694.29/1694.90 c restart after 204801 decisions 1696.99/1697.64 c nbDecision=205000 #constraints=33806 1706.79/1707.49 c nbDecision=205500 #constraints=33906 1713.38/1714.07 c nbDecision=206000 #constraints=33970 1719.48/1720.12 c nbDecision=206500 #constraints=34034 1726.87/1727.51 c nbDecision=207000 #constraints=34122 1733.07/1733.70 c nbDecision=207500 #constraints=34199 1740.47/1741.18 c nbDecision=208000 #constraints=34270 1750.17/1750.87 c nbDecision=208500 #constraints=34359 1756.47/1757.14 c nbDecision=209000 #constraints=34403 1762.87/1763.51 c nbDecision=209500 #constraints=34460 1768.76/1769.40 c nbDecision=210000 #constraints=34511 1776.86/1777.59 c nbDecision=210500 #constraints=34596 1786.76/1787.44 c nbDecision=211000 #constraints=34695 1795.95/1796.62 c nbDecision=211500 #constraints=34791 1800.06/1800.70 Received signal 15 1800.15/1800.87 1800.15/1800.87 s UNKNOWN 1800.15/1800.87 1800.15/1800.87 c user time= 1799.78 s 1800.15/1800.87 c system time= 0.447931 s 1800.15/1800.87 c wall clock time=1800.87
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node3/watcher-357387-1176996458 -o ROOT/results/node3/solver-357387-1176996458 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357387-1176996458/instance-357387-1176996458.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: 1.00 1.00 1.00 3/77 15284 /proc/meminfo: memFree=1662432/2055920 swapFree=4140688/4192956 [pid=15284] ppid=15282 vsize=1468 CPUtime=0 /proc/15284/stat : 15284 (oree) R 15282 15284 14612 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 175683565 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15284/statm: 367 161 131 317 0 46 0 [startup+0.0900819 s] /proc/loadavg: 1.00 1.00 1.00 3/77 15284 /proc/meminfo: memFree=1662432/2055920 swapFree=4140688/4192956 [pid=15284] ppid=15282 vsize=3184 CPUtime=0.08 /proc/15284/stat : 15284 (oree) R 15282 15284 14612 0 -1 4194304 596 0 0 0 8 0 0 0 18 0 1 0 175683565 3260416 578 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15284/statm: 796 579 131 317 0 475 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 3184 [startup+0.102083 s] /proc/loadavg: 1.00 1.00 1.00 3/77 15284 /proc/meminfo: memFree=1662432/2055920 swapFree=4140688/4192956 [pid=15284] ppid=15282 vsize=3448 CPUtime=0.09 /proc/15284/stat : 15284 (oree) R 15282 15284 14612 0 -1 4194304 660 0 0 0 9 0 0 0 18 0 1 0 175683565 3530752 642 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15284/statm: 862 642 131 317 0 541 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3448 [startup+0.302115 s] /proc/loadavg: 1.00 1.00 1.00 3/77 15284 /proc/meminfo: memFree=1662432/2055920 swapFree=4140688/4192956 [pid=15284] ppid=15282 vsize=8644 CPUtime=0.29 /proc/15284/stat : 15284 (oree) R 15282 15284 14612 0 -1 4194304 1945 0 0 0 29 0 0 0 20 0 1 0 175683565 8851456 1927 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15284/statm: 2161 1927 137 317 0 1840 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8644 [startup+0.701179 s] /proc/loadavg: 1.00 1.00 1.00 3/77 15284 /proc/meminfo: memFree=1662432/2055920 swapFree=4140688/4192956 [pid=15284] ppid=15282 vsize=8812 CPUtime=0.69 /proc/15284/stat : 15284 (oree) R 15282 15284 14612 0 -1 4194304 2016 0 0 0 69 0 0 0 23 0 1 0 175683565 9023488 1998 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385247 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15284/statm: 2203 1998 170 317 0 1882 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8812 [startup+1.50131 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15285 /proc/meminfo: memFree=1654872/2055920 swapFree=4140688/4192956 [pid=15284] ppid=15282 vsize=9204 CPUtime=1.49 /proc/15284/stat : 15284 (oree) R 15282 15284 14612 0 -1 4194304 2112 0 0 0 149 0 0 0 25 0 1 0 175683565 9424896 2094 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284171 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15284/statm: 2301 2094 170 317 0 1980 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9204 [startup+3.10157 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15285 /proc/meminfo: memFree=1654168/2055920 swapFree=4140688/4192956 [pid=15284] ppid=15282 vsize=10120 CPUtime=3.08 /proc/15284/stat : 15284 (oree) R 15282 15284 14612 0 -1 4194304 2340 0 0 0 308 0 0 0 25 0 1 0 175683565 10362880 2322 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15284/statm: 2530 2322 170 317 0 2209 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 10120 [startup+6.30109 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15285 /proc/meminfo: memFree=1652248/2055920 swapFree=4140688/4192956 [pid=15284] ppid=15282 vsize=11696 CPUtime=6.28 /proc/15284/stat : 15284 (oree) R 15282 15284 14612 0 -1 4194304 2746 0 0 0 627 1 0 0 25 0 1 0 175683565 11976704 2728 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15284/statm: 2924 2728 170 317 0 2603 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 11696 [startup+12.7011 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15285 /proc/meminfo: memFree=1649304/2055920 swapFree=4140688/4192956 [pid=15284] ppid=15282 vsize=14344 CPUtime=12.68 /proc/15284/stat : 15284 (oree) R 15282 15284 14612 0 -1 4194304 3398 0 0 0 1266 2 0 0 25 0 1 0 175683565 14688256 3380 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384551 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15284/statm: 3586 3380 170 317 0 3265 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 14344 [startup+25.5012 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15285 /proc/meminfo: memFree=1643800/2055920 swapFree=4140688/4192956 [pid=15284] ppid=15282 vsize=20156 CPUtime=25.48 /proc/15284/stat : 15284 (oree) R 15282 15284 14612 0 -1 4194304 4804 0 0 0 2545 3 0 0 25 0 1 0 175683565 20639744 4745 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15284/statm: 5039 4745 170 317 0 4718 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 20156 [startup+51.1024 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15285 /proc/meminfo: memFree=1635480/2055920 swapFree=4140688/4192956 [pid=15284] ppid=15282 vsize=29024 CPUtime=51.07 /proc/15284/stat : 15284 (oree) R 15282 15284 14612 0 -1 4194304 6908 0 0 0 5102 5 0 0 25 0 1 0 175683565 29720576 6849 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15284/statm: 7256 6849 170 317 0 6935 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 29024 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15285 /proc/meminfo: memFree=1626584/2055920 swapFree=4140688/4192956 [pid=15284] ppid=15282 vsize=37876 CPUtime=102.26 /proc/15284/stat : 15284 (oree) R 15282 15284 14612 0 -1 4194304 9101 0 0 0 10218 8 0 0 25 0 1 0 175683565 38785024 9042 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15284/statm: 9469 9042 170 317 0 9148 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 37876 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15285 /proc/meminfo: memFree=1621400/2055920 swapFree=4140688/4192956 [pid=15284] ppid=15282 vsize=43592 CPUtime=162.24 /proc/15284/stat : 15284 (oree) R 15282 15284 14612 0 -1 4194304 10479 0 0 0 16214 10 0 0 25 0 1 0 175683565 44638208 10341 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15284/statm: 10898 10341 170 317 0 10577 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 43592 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15287 /proc/meminfo: memFree=1616536/2055920 swapFree=4140688/4192956 [pid=15284] ppid=15282 vsize=49300 CPUtime=222.21 /proc/15284/stat : 15284 (oree) R 15282 15284 14612 0 -1 4194304 11668 0 0 0 22210 11 0 0 25 0 1 0 175683565 50483200 11530 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15284/statm: 12325 11530 170 317 0 12004 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 49300 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15287 /proc/meminfo: memFree=1611992/2055920 swapFree=4140688/4192956 [pid=15284] ppid=15282 vsize=53904 CPUtime=282.19 /proc/15284/stat : 15284 (oree) R 15282 15284 14612 0 -1 4194304 12795 0 0 0 28206 13 0 0 25 0 1 0 175683565 55197696 12657 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271329 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15284/statm: 13476 12657 170 317 0 13155 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 53904 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15287 /proc/meminfo: memFree=1607448/2055920 swapFree=4140688/4192956 [pid=15284] ppid=15282 vsize=58380 CPUtime=342.17 /proc/15284/stat : 15284 (oree) R 15282 15284 14612 0 -1 4194304 13920 0 0 0 34203 14 0 0 25 0 1 0 175683565 59781120 13782 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15284/statm: 14595 13782 170 317 0 14274 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 58380 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15287 /proc/meminfo: memFree=1603416/2055920 swapFree=4140688/4192956 [pid=15284] ppid=15282 vsize=62616 CPUtime=402.15 /proc/15284/stat : 15284 (oree) R 15282 15284 14612 0 -1 4194304 14935 0 0 0 40199 16 0 0 25 0 1 0 175683565 64118784 14797 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15284/statm: 15654 14797 170 317 0 15333 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 62616 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15287 /proc/meminfo: memFree=1599320/2055920 swapFree=4140688/4192956 [pid=15284] ppid=15282 vsize=67004 CPUtime=462.12 /proc/15284/stat : 15284 (oree) R 15282 15284 14612 0 -1 4194304 15986 0 0 0 46195 17 0 0 25 0 1 0 175683565 68612096 15848 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15284/statm: 16751 15848 170 317 0 16430 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 67004 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15287 /proc/meminfo: memFree=1595736/2055920 swapFree=4140688/4192956 [pid=15284] ppid=15282 vsize=70464 CPUtime=522.1 /proc/15284/stat : 15284 (oree) R 15282 15284 14612 0 -1 4194304 16898 0 0 0 52192 18 0 0 25 0 1 0 175683565 72155136 16760 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15284/statm: 17616 16760 170 317 0 17295 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 70464 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15287 /proc/meminfo: memFree=1592472/2055920 swapFree=4140688/4192956 [pid=15284] ppid=15282 vsize=73928 CPUtime=582.09 /proc/15284/stat : 15284 (oree) R 15282 15284 14612 0 -1 4194304 17697 0 0 0 58189 20 0 0 25 0 1 0 175683565 75702272 17559 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15284/statm: 18482 17559 170 317 0 18161 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 73928 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15287 /proc/meminfo: memFree=1589144/2055920 swapFree=4140688/4192956 [pid=15284] ppid=15282 vsize=77716 CPUtime=642.07 /proc/15284/stat : 15284 (oree) R 15282 15284 14612 0 -1 4194304 18754 0 0 0 64186 21 0 0 25 0 1 0 175683565 79581184 18385 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384551 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15284/statm: 19429 18385 170 317 0 19108 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 77716 ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15287 /proc/meminfo: memFree=1573464/2055920 swapFree=4140688/4192956 [pid=15284] ppid=15282 vsize=94084 CPUtime=941.96 /proc/15284/stat : 15284 (oree) R 15282 15284 14612 0 -1 4194304 23113 0 0 0 94169 27 0 0 25 0 1 0 175683565 96342016 22257 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15284/statm: 23521 22257 170 317 0 23200 0 Current children cumulated CPU time (s) 941.96 Current children cumulated vsize (KiB) 94084 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15287 /proc/meminfo: memFree=1569880/2055920 swapFree=4140688/4192956 [pid=15284] ppid=15282 vsize=99420 CPUtime=1001.94 /proc/15284/stat : 15284 (oree) R 15282 15284 14612 0 -1 4194304 24472 0 0 0 100166 28 0 0 25 0 1 0 175683565 101806080 23187 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718451 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15284/statm: 24855 23187 170 317 0 24534 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 99420 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15287 /proc/meminfo: memFree=1566104/2055920 swapFree=4140688/4192956 [pid=15284] ppid=15282 vsize=104280 CPUtime=1061.91 /proc/15284/stat : 15284 (oree) R 15282 15284 14612 0 -1 4194304 25669 0 0 0 106161 30 0 0 25 0 1 0 175683565 106782720 24153 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15284/statm: 26070 24153 170 317 0 25749 0 Current children cumulated CPU time (s) 1061.91 Current children cumulated vsize (KiB) 104280 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15287 /proc/meminfo: memFree=1562328/2055920 swapFree=4140688/4192956 [pid=15284] ppid=15282 vsize=107948 CPUtime=1121.89 /proc/15284/stat : 15284 (oree) R 15282 15284 14612 0 -1 4194304 26697 0 0 0 112158 31 0 0 25 0 1 0 175683565 110538752 25082 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15284/statm: 26987 25082 170 317 0 26666 0 Current children cumulated CPU time (s) 1121.89 Current children cumulated vsize (KiB) 107948 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15287 /proc/meminfo: memFree=1559384/2055920 swapFree=4140688/4192956 [pid=15284] ppid=15282 vsize=110964 CPUtime=1181.87 /proc/15284/stat : 15284 (oree) R 15282 15284 14612 0 -1 4194304 27500 0 0 0 118155 32 0 0 25 0 1 0 175683565 113627136 25819 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15284/statm: 27741 25819 170 317 0 27420 0 Current children cumulated CPU time (s) 1181.87 Current children cumulated vsize (KiB) 110964 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15287 /proc/meminfo: memFree=1556440/2055920 swapFree=4140688/4192956 [pid=15284] ppid=15282 vsize=113452 CPUtime=1241.85 /proc/15284/stat : 15284 (oree) R 15282 15284 14612 0 -1 4194304 28221 0 0 0 124151 34 0 0 25 0 1 0 175683565 116174848 26540 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15284/statm: 28363 26540 170 317 0 28042 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 113452 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15287 /proc/meminfo: memFree=1553240/2055920 swapFree=4140688/4192956 [pid=15284] ppid=15282 vsize=117544 CPUtime=1301.83 /proc/15284/stat : 15284 (oree) R 15282 15284 14612 0 -1 4194304 29292 0 0 0 130149 34 0 0 25 0 1 0 175683565 120365056 27314 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15284/statm: 29386 27314 170 317 0 29065 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 117544 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15287 /proc/meminfo: memFree=1550808/2055920 swapFree=4140688/4192956 [pid=15284] ppid=15282 vsize=119820 CPUtime=1361.81 /proc/15284/stat : 15284 (oree) R 15282 15284 14612 0 -1 4194304 29909 0 0 0 136145 36 0 0 25 0 1 0 175683565 122695680 27931 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712567 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15284/statm: 29955 27931 170 317 0 29634 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 119820 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15287 /proc/meminfo: memFree=1548184/2055920 swapFree=4140688/4192956 [pid=15284] ppid=15282 vsize=122100 CPUtime=1421.79 /proc/15284/stat : 15284 (oree) R 15282 15284 14612 0 -1 4194304 30554 0 0 0 142142 37 0 0 25 0 1 0 175683565 125030400 28576 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15284/statm: 30525 28576 170 317 0 30204 0 Current children cumulated CPU time (s) 1421.79 Current children cumulated vsize (KiB) 122100 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15287 /proc/meminfo: memFree=1545880/2055920 swapFree=4140688/4192956 [pid=15284] ppid=15282 vsize=124184 CPUtime=1481.76 /proc/15284/stat : 15284 (oree) R 15282 15284 14612 0 -1 4194304 31131 0 0 0 148138 38 0 0 25 0 1 0 175683565 127164416 29120 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15284/statm: 31046 29120 170 317 0 30725 0 Current children cumulated CPU time (s) 1481.76 Current children cumulated vsize (KiB) 124184 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15287 /proc/meminfo: memFree=1543128/2055920 swapFree=4140688/4192956 [pid=15284] ppid=15282 vsize=126804 CPUtime=1541.74 /proc/15284/stat : 15284 (oree) R 15282 15284 14612 0 -1 4194304 31896 0 0 0 154135 39 0 0 25 0 1 0 175683565 129847296 29819 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15284/statm: 31701 29819 170 317 0 31380 0 Current children cumulated CPU time (s) 1541.74 Current children cumulated vsize (KiB) 126804 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15287 /proc/meminfo: memFree=1540568/2055920 swapFree=4140688/4192956 [pid=15284] ppid=15282 vsize=129144 CPUtime=1601.73 /proc/15284/stat : 15284 (oree) R 15282 15284 14612 0 -1 4194304 32562 0 0 0 160132 41 0 0 25 0 1 0 175683565 132243456 30452 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718451 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15284/statm: 32286 30452 170 317 0 31965 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 129144 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15287 /proc/meminfo: memFree=1537816/2055920 swapFree=4140688/4192956 [pid=15284] ppid=15282 vsize=131628 CPUtime=1661.7 /proc/15284/stat : 15284 (oree) R 15282 15284 14612 0 -1 4194304 33276 0 0 0 166129 41 0 0 25 0 1 0 175683565 134787072 31133 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15284/statm: 32907 31133 170 317 0 32586 0 Current children cumulated CPU time (s) 1661.7 Current children cumulated vsize (KiB) 131628 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15287 /proc/meminfo: memFree=1535448/2055920 swapFree=4140688/4192956 [pid=15284] ppid=15282 vsize=133984 CPUtime=1721.68 /proc/15284/stat : 15284 (oree) R 15282 15284 14612 0 -1 4194304 33882 0 0 0 172125 43 0 0 25 0 1 0 175683565 137199616 31739 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15284/statm: 33496 31739 170 317 0 33175 0 Current children cumulated CPU time (s) 1721.68 Current children cumulated vsize (KiB) 133984 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15287 /proc/meminfo: memFree=1533016/2055920 swapFree=4140688/4192956 [pid=15284] ppid=15282 vsize=136072 CPUtime=1781.66 /proc/15284/stat : 15284 (oree) R 15282 15284 14612 0 -1 4194304 34486 0 0 0 178122 44 0 0 25 0 1 0 175683565 139337728 32343 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15284/statm: 34018 32343 170 317 0 33697 0 Current children cumulated CPU time (s) 1781.66 Current children cumulated vsize (KiB) 136072 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15287 /proc/meminfo: memFree=1532184/2055920 swapFree=4140688/4192956 [pid=15284] ppid=15282 vsize=136852 CPUtime=1800.06 /proc/15284/stat : 15284 (oree) R 15282 15284 14612 0 -1 4194304 34692 0 0 0 179962 44 0 0 25 0 1 0 175683565 140136448 32549 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15284/statm: 34213 32549 170 317 0 33892 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 136852 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15287 /proc/meminfo: memFree=1532184/2055920 swapFree=4140688/4192956 [pid=15284] ppid=15282 vsize=136852 CPUtime=1800.15 /proc/15284/stat : 15284 (oree) R 15282 15284 14612 0 -1 4194304 34693 0 0 0 179971 44 0 0 25 0 1 0 175683565 140136448 32550 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15284/statm: 34213 32550 170 317 0 33892 0 Current children cumulated CPU time (s) 1800.15 Current children cumulated vsize (KiB) 136852 [startup+1800.9 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15287 /proc/meminfo: memFree=1532184/2055920 swapFree=4140688/4192956 [pid=15284] ppid=15282 vsize=0 CPUtime=1800.26 /proc/15284/stat : 15284 (oree) D 15282 15284 14612 0 -1 4194308 34710 0 0 0 179979 47 0 0 24 0 1 0 175683565 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 18446744072100051646 0 0 17 0 0 0 /proc/15284/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.26 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.9 CPU time (s): 1800.26 CPU user time (s): 1799.79 CPU system time (s): 0.471928 CPU usage (%): 99.9645 Max. virtual memory (cumulated for all children) (KiB): 136852 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.79 system time used= 0.471928 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 34710 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= 37439 runsolver used 2.14567 second user time and 4.40333 second system time The end
Begin job on node3 on Thu Apr 19 15:27:38 UTC 2007 IDJOB= 357387 IDBENCH= 2508 IDSOLVER= 172 FILE ID= node3/357387-1176996458 PBS_JOBID= 4630443 Free space on /tmp= 66357 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-roll3000.opb COMMAND LINE= oree /tmp/evaluation/357387-1176996458/instance-357387-1176996458.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node3/watcher-357387-1176996458 -o ROOT/results/node3/solver-357387-1176996458 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357387-1176996458/instance-357387-1176996458.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 553e03f28bab227c11d33a47edd1fb32 RANDOM SEED= 978082125 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node3.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.270 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.270 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: 1662776 kB Buffers: 36928 kB Cached: 288916 kB SwapCached: 15176 kB Active: 49484 kB Inactive: 300608 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1662776 kB SwapTotal: 4192956 kB SwapFree: 4140688 kB Dirty: 2244 kB Writeback: 0 kB Mapped: 31252 kB Slab: 28556 kB Committed_AS: 5299876 kB PageTables: 1784 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= 66357 MiB End job on node3 on Thu Apr 19 15:57:41 UTC 2007