Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.1 | 1800.86 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib/normalized-reduced-mps-v2-20-10-misc04.opb |
MD5SUM | a740df3717a1394bed76c2a490fc20be |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 146276 |
Total number of constraints | 1699 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 10 |
Number of constraints which are nor clauses,nor cardinality constraints | 1689 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 5071 |
Number of terms in the objective function | 31 |
Biggest coefficient in the objective function | 262145 |
Number of bits for the biggest coefficient in the objective function | 19 |
Sum of the numbers in the objective function | 524318 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 528446 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 1.09/1.18 c ...done 1.09/1.18 c #vars=146276 #constraints=2011 hasObjective=yes 1.29/1.39 c res. mode=mod 1.29/1.39 c VSIDS like heuristics 1.29/1.39 c complete search running 3.69/3.75 c restart after 401 decisions 4.29/4.31 c nbDecision=500 #constraints=2018 5.99/6.00 c restart after 801 decisions 7.08/7.11 c nbDecision=1000 #constraints=2033 9.89/9.97 c nbDecision=1500 #constraints=2097 10.49/10.58 c restart after 1601 decisions 12.79/12.82 c nbDecision=2000 #constraints=2146 15.69/15.74 c nbDecision=2500 #constraints=2243 18.48/18.52 c nbDecision=3000 #constraints=2243 19.58/19.66 c restart after 3201 decisions 21.28/21.34 c nbDecision=3500 #constraints=2266 24.19/24.23 c nbDecision=4000 #constraints=2344 26.88/26.99 c nbDecision=4500 #constraints=2344 29.68/29.76 c nbDecision=5000 #constraints=2358 32.48/32.51 c nbDecision=5500 #constraints=2372 35.18/35.29 c nbDecision=6000 #constraints=2414 37.47/37.53 c restart after 6401 decisions 37.97/38.09 c nbDecision=6500 #constraints=2439 40.87/40.95 c nbDecision=7000 #constraints=2478 43.67/43.75 c nbDecision=7500 #constraints=2489 46.47/46.53 c nbDecision=8000 #constraints=2502 49.27/49.32 c nbDecision=8500 #constraints=2547 52.07/52.13 c nbDecision=9000 #constraints=2606 54.87/54.92 c nbDecision=9500 #constraints=2651 57.66/57.73 c nbDecision=10000 #constraints=2698 60.47/60.50 c nbDecision=10500 #constraints=2710 63.16/63.27 c nbDecision=11000 #constraints=2720 65.96/66.04 c nbDecision=11500 #constraints=2745 68.76/68.80 c nbDecision=12000 #constraints=2756 71.46/71.57 c nbDecision=12500 #constraints=2781 73.16/73.24 c restart after 12801 decisions 74.26/74.35 c nbDecision=13000 #constraints=2798 77.15/77.21 c nbDecision=13500 #constraints=2836 79.85/79.99 c nbDecision=14000 #constraints=2836 82.65/82.79 c nbDecision=14500 #constraints=2869 85.45/85.56 c nbDecision=15000 #constraints=2884 88.26/88.36 c nbDecision=15500 #constraints=2945 91.06/91.13 c nbDecision=16000 #constraints=2972 93.76/93.89 c nbDecision=16500 #constraints=2986 96.56/96.68 c nbDecision=17000 #constraints=3002 99.35/99.47 c nbDecision=17500 #constraints=3022 102.16/102.27 c nbDecision=18000 #constraints=3032 104.95/105.03 c nbDecision=18500 #constraints=3034 107.66/107.78 c nbDecision=19000 #constraints=3039 110.45/110.55 c nbDecision=19500 #constraints=3066 113.25/113.32 c nbDecision=20000 #constraints=3086 116.05/116.10 c nbDecision=20500 #constraints=3105 118.85/118.90 c nbDecision=21000 #constraints=3143 121.54/121.68 c nbDecision=21500 #constraints=3152 124.34/124.46 c nbDecision=22000 #constraints=3171 127.14/127.25 c nbDecision=22500 #constraints=3212 129.94/130.02 c nbDecision=23000 #constraints=3239 132.64/132.79 c nbDecision=23500 #constraints=3253 135.44/135.55 c nbDecision=24000 #constraints=3258 138.24/138.32 c nbDecision=24500 #constraints=3261 141.04/141.12 c nbDecision=25000 #constraints=3273 143.73/143.89 c nbDecision=25500 #constraints=3278 144.33/144.45 c restart after 25601 decisions 146.53/146.69 c nbDecision=26000 #constraints=3278 149.44/149.58 c nbDecision=26500 #constraints=3358 152.24/152.35 c nbDecision=27000 #constraints=3364 155.04/155.13 c nbDecision=27500 #constraints=3380 157.84/157.93 c nbDecision=28000 #constraints=3413 160.63/160.71 c nbDecision=28500 #constraints=3429 163.43/163.50 c nbDecision=29000 #constraints=3452 166.13/166.25 c nbDecision=29500 #constraints=3458 168.93/169.00 c nbDecision=30000 #constraints=3463 171.62/171.73 c nbDecision=30500 #constraints=3467 174.40/174.50 c nbDecision=31000 #constraints=3471 177.10/177.29 c nbDecision=31500 #constraints=3478 179.89/180.07 c nbDecision=32000 #constraints=3494 182.69/182.84 c nbDecision=32500 #constraints=3494 185.48/185.61 c nbDecision=33000 #constraints=3496 188.17/188.37 c nbDecision=33500 #constraints=3504 190.96/191.13 c nbDecision=34000 #constraints=3514 193.76/193.90 c nbDecision=34500 #constraints=3519 196.45/196.65 c nbDecision=35000 #constraints=3522 199.24/199.43 c nbDecision=35500 #constraints=3528 202.03/202.20 c nbDecision=36000 #constraints=3528 204.73/204.96 c nbDecision=36500 #constraints=3532 207.53/207.74 c nbDecision=37000 #constraints=3549 210.32/210.51 c nbDecision=37500 #constraints=3555 213.02/213.27 c nbDecision=38000 #constraints=3573 215.82/216.06 c nbDecision=38500 #constraints=3594 218.62/218.84 c nbDecision=39000 #constraints=3606 221.42/221.62 c nbDecision=39500 #constraints=3614 224.11/224.39 c nbDecision=40000 #constraints=3626 226.90/227.15 c nbDecision=40500 #constraints=3633 229.71/229.90 c nbDecision=41000 #constraints=3639 232.41/232.66 c nbDecision=41500 #constraints=3644 235.21/235.43 c nbDecision=42000 #constraints=3659 238.00/238.22 c nbDecision=42500 #constraints=3662 240.80/241.00 c nbDecision=43000 #constraints=3668 243.50/243.78 c nbDecision=43500 #constraints=3673 246.30/246.52 c nbDecision=44000 #constraints=3673 249.00/249.27 c nbDecision=44500 #constraints=3680 251.80/252.02 c nbDecision=45000 #constraints=3690 254.50/254.79 c nbDecision=45500 #constraints=3703 257.30/257.57 c nbDecision=46000 #constraints=3710 260.10/260.35 c nbDecision=46500 #constraints=3714 262.90/263.13 c nbDecision=47000 #constraints=3725 265.69/265.91 c nbDecision=47500 #constraints=3746 268.39/268.65 c nbDecision=48000 #constraints=3748 271.19/271.48 c nbDecision=48500 #constraints=3765 273.99/274.25 c nbDecision=49000 #constraints=3782 276.79/277.04 c nbDecision=49500 #constraints=3802 279.59/279.82 c nbDecision=50000 #constraints=3809 282.29/282.60 c nbDecision=50500 #constraints=3814 285.08/285.36 c nbDecision=51000 #constraints=3821 286.18/286.47 c restart after 51201 decisions 287.89/288.15 c nbDecision=51500 #constraints=3821 290.68/290.97 c nbDecision=52000 #constraints=3847 293.48/293.75 c nbDecision=52500 #constraints=3847 296.28/296.56 c nbDecision=53000 #constraints=3882 299.08/299.33 c nbDecision=53500 #constraints=3885 301.88/302.14 c nbDecision=54000 #constraints=3928 304.68/304.93 c nbDecision=54500 #constraints=3947 307.47/307.70 c nbDecision=55000 #constraints=3967 310.17/310.47 c nbDecision=55500 #constraints=3993 312.97/313.24 c nbDecision=56000 #constraints=4009 315.78/316.01 c nbDecision=56500 #constraints=4018 318.48/318.79 c nbDecision=57000 #constraints=4027 321.28/321.58 c nbDecision=57500 #constraints=4044 324.08/324.37 c nbDecision=58000 #constraints=4058 326.87/327.13 c nbDecision=58500 #constraints=4065 329.57/329.90 c nbDecision=59000 #constraints=4083 332.37/332.65 c nbDecision=59500 #constraints=4091 335.18/335.42 c nbDecision=60000 #constraints=4096 337.87/338.19 c nbDecision=60500 #constraints=4101 340.67/340.96 c nbDecision=61000 #constraints=4101 343.47/343.74 c nbDecision=61500 #constraints=4108 346.27/346.52 c nbDecision=62000 #constraints=4133 349.07/349.32 c nbDecision=62500 #constraints=4144 351.77/352.09 c nbDecision=63000 #constraints=4162 354.56/354.85 c nbDecision=63500 #constraints=4167 357.36/357.64 c nbDecision=64000 #constraints=4183 360.16/360.42 c nbDecision=64500 #constraints=4192 362.96/363.20 c nbDecision=65000 #constraints=4202 365.66/365.97 c nbDecision=65500 #constraints=4215 368.45/368.72 c nbDecision=66000 #constraints=4224 371.25/371.50 c nbDecision=66500 #constraints=4241 373.95/374.28 c nbDecision=67000 #constraints=4261 376.75/377.08 c nbDecision=67500 #constraints=4288 379.55/379.88 c nbDecision=68000 #constraints=4305 382.35/382.64 c nbDecision=68500 #constraints=4305 385.15/385.42 c nbDecision=69000 #constraints=4313 387.85/388.18 c nbDecision=69500 #constraints=4322 390.64/390.94 c nbDecision=70000 #constraints=4331 393.34/393.70 c nbDecision=70500 #constraints=4341 396.24/396.50 c nbDecision=71000 #constraints=4363 398.95/399.30 c nbDecision=71500 #constraints=4378 401.74/402.08 c nbDecision=72000 #constraints=4386 404.54/404.84 c nbDecision=72500 #constraints=4386 407.34/407.62 c nbDecision=73000 #constraints=4401 410.05/410.38 c nbDecision=73500 #constraints=4407 412.85/413.15 c nbDecision=74000 #constraints=4416 415.64/415.95 c nbDecision=74500 #constraints=4444 418.44/418.74 c nbDecision=75000 #constraints=4458 421.24/421.54 c nbDecision=75500 #constraints=4472 424.04/424.32 c nbDecision=76000 #constraints=4480 426.74/427.06 c nbDecision=76500 #constraints=4480 429.54/429.83 c nbDecision=77000 #constraints=4500 432.24/432.60 c nbDecision=77500 #constraints=4509 435.04/435.39 c nbDecision=78000 #constraints=4529 437.84/438.17 c nbDecision=78500 #constraints=4534 440.64/440.99 c nbDecision=79000 #constraints=4559 443.43/443.77 c nbDecision=79500 #constraints=4567 446.24/446.53 c nbDecision=80000 #constraints=4573 449.03/449.30 c nbDecision=80500 #constraints=4588 451.73/452.05 c nbDecision=81000 #constraints=4588 454.53/454.83 c nbDecision=81500 #constraints=4597 457.33/457.63 c nbDecision=82000 #constraints=4600 460.13/460.42 c nbDecision=82500 #constraints=4612 462.93/463.20 c nbDecision=83000 #constraints=4616 465.63/465.97 c nbDecision=83500 #constraints=4625 468.42/468.75 c nbDecision=84000 #constraints=4642 471.22/471.54 c nbDecision=84500 #constraints=4666 474.02/474.33 c nbDecision=85000 #constraints=4691 476.82/477.10 c nbDecision=85500 #constraints=4691 479.52/479.89 c nbDecision=86000 #constraints=4700 482.42/482.71 c nbDecision=86500 #constraints=4716 485.12/485.49 c nbDecision=87000 #constraints=4726 487.91/488.25 c nbDecision=87500 #constraints=4734 490.71/491.02 c nbDecision=88000 #constraints=4745 493.41/493.79 c nbDecision=88500 #constraints=4755 496.21/496.59 c nbDecision=89000 #constraints=4764 499.01/499.35 c nbDecision=89500 #constraints=4764 501.81/502.16 c nbDecision=90000 #constraints=4786 504.61/504.94 c nbDecision=90500 #constraints=4792 507.41/507.70 c nbDecision=91000 #constraints=4800 510.11/510.46 c nbDecision=91500 #constraints=4808 512.90/513.23 c nbDecision=92000 #constraints=4820 515.70/516.02 c nbDecision=92500 #constraints=4831 518.50/518.84 c nbDecision=93000 #constraints=4853 521.30/521.63 c nbDecision=93500 #constraints=4857 524.00/524.39 c nbDecision=94000 #constraints=4857 526.80/527.15 c nbDecision=94500 #constraints=4865 529.60/529.90 c nbDecision=95000 #constraints=4867 532.29/532.68 c nbDecision=95500 #constraints=4875 535.09/535.47 c nbDecision=96000 #constraints=4893 537.89/538.27 c nbDecision=96500 #constraints=4909 540.69/541.06 c nbDecision=97000 #constraints=4916 543.49/543.87 c nbDecision=97500 #constraints=4938 546.29/546.61 c nbDecision=98000 #constraints=4938 549.09/549.44 c nbDecision=98500 #constraints=4974 551.89/552.20 c nbDecision=99000 #constraints=4977 554.69/555.03 c nbDecision=99500 #constraints=5009 557.49/557.85 c nbDecision=100000 #constraints=5025 560.29/560.64 c nbDecision=100500 #constraints=5036 563.09/563.46 c nbDecision=101000 #constraints=5045 565.89/566.23 c nbDecision=101500 #constraints=5053 568.59/568.98 c nbDecision=102000 #constraints=5053 570.89/571.22 c restart after 102401 decisions 571.49/571.80 c nbDecision=102500 #constraints=5060 574.39/574.71 c nbDecision=103000 #constraints=5116 577.19/577.57 c nbDecision=103500 #constraints=5144 580.08/580.41 c nbDecision=104000 #constraints=5170 582.88/583.21 c nbDecision=104500 #constraints=5181 585.68/586.05 c nbDecision=105000 #constraints=5224 588.48/588.84 c nbDecision=105500 #constraints=5236 591.28/591.69 c nbDecision=106000 #constraints=5291 594.28/594.63 c nbDecision=106500 #constraints=5392 597.18/597.59 c nbDecision=107000 #constraints=5493 600.57/600.99 c nbDecision=107500 #constraints=5782 604.77/605.14 c nbDecision=108000 #constraints=6235 609.27/609.61 c nbDecision=108500 #constraints=6691 612.87/613.29 c nbDecision=109000 #constraints=6925 615.77/616.18 c nbDecision=109500 #constraints=6951 618.67/619.09 c nbDecision=110000 #constraints=6977 621.57/621.98 c nbDecision=110500 #constraints=6997 624.37/624.75 c nbDecision=111000 #constraints=6997 627.26/627.62 c nbDecision=111500 #constraints=7018 630.06/630.47 c nbDecision=112000 #constraints=7033 633.06/633.41 c nbDecision=112500 #constraints=7067 635.86/636.28 c nbDecision=113000 #constraints=7082 638.76/639.13 c nbDecision=113500 #constraints=7096 641.66/642.00 c nbDecision=114000 #constraints=7116 644.46/644.88 c nbDecision=114500 #constraints=7136 647.26/647.67 c nbDecision=115000 #constraints=7149 650.15/650.52 c nbDecision=115500 #constraints=7165 652.96/653.39 c nbDecision=116000 #constraints=7184 655.85/656.28 c nbDecision=116500 #constraints=7207 658.85/659.23 c nbDecision=117000 #constraints=7241 661.65/662.10 c nbDecision=117500 #constraints=7257 664.55/664.99 c nbDecision=118000 #constraints=7277 667.45/667.85 c nbDecision=118500 #constraints=7301 670.24/670.61 c nbDecision=119000 #constraints=7301 673.14/673.52 c nbDecision=119500 #constraints=7334 676.05/676.45 c nbDecision=120000 #constraints=7362 678.94/679.33 c nbDecision=120500 #constraints=7376 681.84/682.20 c nbDecision=121000 #constraints=7390 684.75/685.15 c nbDecision=121500 #constraints=7428 687.65/688.02 c nbDecision=122000 #constraints=7454 690.35/690.79 c nbDecision=122500 #constraints=7455 693.24/693.66 c nbDecision=123000 #constraints=7472 696.14/696.55 c nbDecision=123500 #constraints=7496 699.04/699.43 c nbDecision=124000 #constraints=7512 702.04/702.44 c nbDecision=124500 #constraints=7538 704.94/705.36 c nbDecision=125000 #constraints=7566 707.84/708.22 c nbDecision=125500 #constraints=7588 710.64/711.07 c nbDecision=126000 #constraints=7601 713.44/713.84 c nbDecision=126500 #constraints=7602 716.34/716.74 c nbDecision=127000 #constraints=7625 719.33/719.78 c nbDecision=127500 #constraints=7672 722.24/722.66 c nbDecision=128000 #constraints=7686 725.13/725.56 c nbDecision=128500 #constraints=7709 728.03/728.40 c nbDecision=129000 #constraints=7721 730.83/731.26 c nbDecision=129500 #constraints=7737 733.73/734.12 c nbDecision=130000 #constraints=7755 736.53/736.90 c nbDecision=130500 #constraints=7756 739.32/739.79 c nbDecision=131000 #constraints=7770 742.32/742.72 c nbDecision=131500 #constraints=7790 745.22/745.63 c nbDecision=132000 #constraints=7811 748.12/748.52 c nbDecision=132500 #constraints=7830 750.92/751.38 c nbDecision=133000 #constraints=7846 753.82/754.28 c nbDecision=133500 #constraints=7865 756.82/757.22 c nbDecision=134000 #constraints=7890 759.72/760.12 c nbDecision=134500 #constraints=7916 762.51/762.91 c nbDecision=135000 #constraints=7916 765.31/765.78 c nbDecision=135500 #constraints=7930 768.21/768.66 c nbDecision=136000 #constraints=7948 771.11/771.55 c nbDecision=136500 #constraints=7975 774.01/774.41 c nbDecision=137000 #constraints=7990 776.91/777.33 c nbDecision=137500 #constraints=8010 779.81/780.25 c nbDecision=138000 #constraints=8030 782.71/783.15 c nbDecision=138500 #constraints=8047 785.60/786.04 c nbDecision=139000 #constraints=8065 788.40/788.81 c nbDecision=139500 #constraints=8065 791.30/791.70 c nbDecision=140000 #constraints=8083 794.21/794.62 c nbDecision=140500 #constraints=8105 797.11/797.51 c nbDecision=141000 #constraints=8120 800.01/800.47 c nbDecision=141500 #constraints=8150 802.90/803.39 c nbDecision=142000 #constraints=8176 805.81/806.28 c nbDecision=142500 #constraints=8204 808.70/809.14 c nbDecision=143000 #constraints=8224 811.50/811.91 c nbDecision=143500 #constraints=8224 814.40/814.81 c nbDecision=144000 #constraints=8238 817.20/817.69 c nbDecision=144500 #constraints=8250 820.10/820.57 c nbDecision=145000 #constraints=8263 822.99/823.48 c nbDecision=145500 #constraints=8285 825.89/826.39 c nbDecision=146000 #constraints=8313 828.79/829.26 c nbDecision=146500 #constraints=8329 831.69/832.14 c nbDecision=147000 #constraints=8346 834.49/834.91 c nbDecision=147500 #constraints=8346 837.38/837.86 c nbDecision=148000 #constraints=8366 840.28/840.78 c nbDecision=148500 #constraints=8383 843.29/843.74 c nbDecision=149000 #constraints=8402 846.28/846.71 c nbDecision=149500 #constraints=8444 849.29/849.72 c nbDecision=150000 #constraints=8468 852.29/852.70 c nbDecision=150500 #constraints=8500 855.19/855.61 c nbDecision=151000 #constraints=8519 857.98/858.40 c nbDecision=151500 #constraints=8523 860.89/861.37 c nbDecision=152000 #constraints=8548 863.88/864.31 c nbDecision=152500 #constraints=8573 866.78/867.24 c nbDecision=153000 #constraints=8600 869.68/870.15 c nbDecision=153500 #constraints=8625 872.58/873.08 c nbDecision=154000 #constraints=8646 875.47/875.98 c nbDecision=154500 #constraints=8660 878.38/878.88 c nbDecision=155000 #constraints=8675 881.27/881.77 c nbDecision=155500 #constraints=8688 884.07/884.55 c nbDecision=156000 #constraints=8688 886.97/887.46 c nbDecision=156500 #constraints=8706 889.87/890.35 c nbDecision=157000 #constraints=8728 892.87/893.30 c nbDecision=157500 #constraints=8743 895.76/896.22 c nbDecision=158000 #constraints=8759 898.66/899.15 c nbDecision=158500 #constraints=8783 901.57/902.08 c nbDecision=159000 #constraints=8807 904.46/904.97 c nbDecision=159500 #constraints=8821 907.26/907.75 c nbDecision=160000 #constraints=8825 910.16/910.67 c nbDecision=160500 #constraints=8843 913.06/913.59 c nbDecision=161000 #constraints=8859 916.05/916.55 c nbDecision=161500 #constraints=8889 919.06/919.50 c nbDecision=162000 #constraints=8908 921.95/922.47 c nbDecision=162500 #constraints=8919 924.85/925.36 c nbDecision=163000 #constraints=8931 927.75/928.23 c nbDecision=163500 #constraints=8951 930.65/931.16 c nbDecision=164000 #constraints=8971 933.56/934.03 c nbDecision=164500 #constraints=8984 936.35/936.85 c nbDecision=165000 #constraints=8999 939.25/939.79 c nbDecision=165500 #constraints=9016 942.26/942.74 c nbDecision=166000 #constraints=9033 945.15/945.65 c nbDecision=166500 #constraints=9047 948.05/948.53 c nbDecision=167000 #constraints=9060 950.95/951.41 c nbDecision=167500 #constraints=9074 953.85/954.33 c nbDecision=168000 #constraints=9092 956.74/957.26 c nbDecision=168500 #constraints=9107 959.85/960.31 c nbDecision=169000 #constraints=9135 962.64/963.10 c nbDecision=169500 #constraints=9135 965.54/966.09 c nbDecision=170000 #constraints=9157 968.54/969.02 c nbDecision=170500 #constraints=9183 971.44/971.94 c nbDecision=171000 #constraints=9200 974.34/974.88 c nbDecision=171500 #constraints=9227 977.34/977.81 c nbDecision=172000 #constraints=9242 980.24/980.72 c nbDecision=172500 #constraints=9255 983.13/983.64 c nbDecision=173000 #constraints=9269 985.93/986.41 c nbDecision=173500 #constraints=9269 988.83/989.35 c nbDecision=174000 #constraints=9292 991.73/992.26 c nbDecision=174500 #constraints=9309 994.63/995.17 c nbDecision=175000 #constraints=9327 997.53/998.09 c nbDecision=175500 #constraints=9339 1000.53/1001.01 c nbDecision=176000 #constraints=9360 1003.42/1003.95 c nbDecision=176500 #constraints=9376 1006.32/1006.82 c nbDecision=177000 #constraints=9385 1009.23/1009.75 c nbDecision=177500 #constraints=9403 1012.02/1012.52 c nbDecision=178000 #constraints=9403 1015.02/1015.53 c nbDecision=178500 #constraints=9431 1018.02/1018.57 c nbDecision=179000 #constraints=9454 1020.92/1021.49 c nbDecision=179500 #constraints=9467 1023.92/1024.44 c nbDecision=180000 #constraints=9483 1026.83/1027.38 c nbDecision=180500 #constraints=9504 1029.82/1030.32 c nbDecision=181000 #constraints=9525 1032.52/1033.08 c nbDecision=181500 #constraints=9525 1035.52/1036.08 c nbDecision=182000 #constraints=9545 1038.52/1039.03 c nbDecision=182500 #constraints=9561 1041.42/1041.98 c nbDecision=183000 #constraints=9584 1044.62/1045.17 c nbDecision=183500 #constraints=9630 1047.51/1048.06 c nbDecision=184000 #constraints=9643 1050.41/1050.99 c nbDecision=184500 #constraints=9657 1053.41/1053.92 c nbDecision=185000 #constraints=9672 1056.31/1056.85 c nbDecision=185500 #constraints=9685 1059.21/1059.79 c nbDecision=186000 #constraints=9700 1062.01/1062.57 c nbDecision=186500 #constraints=9700 1065.01/1065.53 c nbDecision=187000 #constraints=9715 1067.90/1068.44 c nbDecision=187500 #constraints=9728 1070.81/1071.37 c nbDecision=188000 #constraints=9742 1073.70/1074.28 c nbDecision=188500 #constraints=9755 1076.70/1077.29 c nbDecision=189000 #constraints=9773 1079.80/1080.35 c nbDecision=189500 #constraints=9795 1082.80/1083.37 c nbDecision=190000 #constraints=9817 1085.80/1086.34 c nbDecision=190500 #constraints=9843 1088.60/1089.19 c nbDecision=191000 #constraints=9850 1091.60/1092.13 c nbDecision=191500 #constraints=9882 1094.49/1095.07 c nbDecision=192000 #constraints=9897 1097.59/1098.16 c nbDecision=192500 #constraints=9932 1100.60/1101.11 c nbDecision=193000 #constraints=9947 1103.49/1104.05 c nbDecision=193500 #constraints=9959 1106.39/1106.97 c nbDecision=194000 #constraints=9972 1109.39/1109.92 c nbDecision=194500 #constraints=9989 1112.28/1112.81 c nbDecision=195000 #constraints=10001 1115.08/1115.60 c nbDecision=195500 #constraints=10001 1117.98/1118.54 c nbDecision=196000 #constraints=10015 1120.98/1121.53 c nbDecision=196500 #constraints=10036 1124.08/1124.62 c nbDecision=197000 #constraints=10066 1126.98/1127.59 c nbDecision=197500 #constraints=10097 1130.08/1130.63 c nbDecision=198000 #constraints=10122 1132.98/1133.56 c nbDecision=198500 #constraints=10141 1135.98/1136.55 c nbDecision=199000 #constraints=10158 1138.88/1139.48 c nbDecision=199500 #constraints=10170 1141.68/1142.27 c nbDecision=200000 #constraints=10170 1144.68/1145.21 c nbDecision=200500 #constraints=10182 1147.58/1148.16 c nbDecision=201000 #constraints=10205 1150.58/1151.18 c nbDecision=201500 #constraints=10240 1153.57/1154.13 c nbDecision=202000 #constraints=10260 1156.47/1157.07 c nbDecision=202500 #constraints=10272 1159.47/1160.03 c nbDecision=203000 #constraints=10293 1162.47/1163.01 c nbDecision=203500 #constraints=10308 1165.37/1165.95 c nbDecision=204000 #constraints=10323 1168.27/1168.87 c nbDecision=204500 #constraints=10337 1169.97/1170.57 c restart after 204801 decisions 1171.37/1171.93 c nbDecision=205000 #constraints=10346 1174.56/1175.13 c nbDecision=205500 #constraints=10411 1177.47/1178.02 c nbDecision=206000 #constraints=10411 1180.36/1180.97 c nbDecision=206500 #constraints=10418 1183.56/1184.18 c nbDecision=207000 #constraints=10431 1186.66/1187.24 c nbDecision=207500 #constraints=10520 1189.96/1190.51 c nbDecision=208000 #constraints=10568 1192.86/1193.44 c nbDecision=208500 #constraints=10609 1196.27/1196.83 c nbDecision=209000 #constraints=10686 1199.06/1199.67 c nbDecision=209500 #constraints=10699 1201.96/1202.57 c nbDecision=210000 #constraints=10723 1204.96/1205.59 c nbDecision=210500 #constraints=10764 1207.85/1208.40 c nbDecision=211000 #constraints=10773 1210.65/1211.24 c nbDecision=211500 #constraints=10782 1213.55/1214.16 c nbDecision=212000 #constraints=10812 1216.55/1217.12 c nbDecision=212500 #constraints=10846 1219.55/1220.10 c nbDecision=213000 #constraints=10888 1222.45/1223.02 c nbDecision=213500 #constraints=10922 1225.35/1225.93 c nbDecision=214000 #constraints=10949 1228.54/1229.12 c nbDecision=214500 #constraints=10979 1231.74/1232.31 c nbDecision=215000 #constraints=11008 1234.54/1235.18 c nbDecision=215500 #constraints=11025 1237.54/1238.12 c nbDecision=216000 #constraints=11062 1240.84/1241.40 c nbDecision=216500 #constraints=11092 1243.94/1244.55 c nbDecision=217000 #constraints=11107 1247.13/1247.78 c nbDecision=217500 #constraints=11136 1250.33/1250.97 c nbDecision=218000 #constraints=11162 1253.23/1253.84 c nbDecision=218500 #constraints=11178 1256.03/1256.69 c nbDecision=219000 #constraints=11182 1262.03/1262.64 c nbDecision=219500 #constraints=11393 1268.33/1268.96 c nbDecision=220000 #constraints=11693 1271.13/1271.79 c nbDecision=220500 #constraints=11702 1274.03/1274.66 c nbDecision=221000 #constraints=11716 1276.93/1277.57 c nbDecision=221500 #constraints=11731 1280.33/1280.98 c nbDecision=222000 #constraints=11774 1285.03/1285.62 c nbDecision=222500 #constraints=11922 1288.22/1288.80 c nbDecision=223000 #constraints=11947 1291.12/1291.77 c nbDecision=223500 #constraints=11984 1294.12/1294.71 c nbDecision=224000 #constraints=12011 1296.92/1297.56 c nbDecision=224500 #constraints=12022 1299.82/1300.44 c nbDecision=225000 #constraints=12026 1302.72/1303.31 c nbDecision=225500 #constraints=12030 1305.62/1306.22 c nbDecision=226000 #constraints=12047 1308.42/1309.07 c nbDecision=226500 #constraints=12052 1311.31/1311.94 c nbDecision=227000 #constraints=12056 1314.21/1314.84 c nbDecision=227500 #constraints=12084 1317.11/1317.72 c nbDecision=228000 #constraints=12088 1320.01/1320.65 c nbDecision=228500 #constraints=12106 1323.21/1323.89 c nbDecision=229000 #constraints=12129 1326.41/1327.05 c nbDecision=229500 #constraints=12143 1329.31/1329.98 c nbDecision=230000 #constraints=12168 1332.20/1332.88 c nbDecision=230500 #constraints=12185 1335.41/1336.08 c nbDecision=231000 #constraints=12200 1338.31/1339.00 c nbDecision=231500 #constraints=12212 1341.41/1342.02 c nbDecision=232000 #constraints=12273 1345.10/1345.78 c nbDecision=232500 #constraints=12550 1348.40/1349.01 c nbDecision=233000 #constraints=12577 1351.41/1352.08 c nbDecision=233500 #constraints=12637 1354.31/1354.99 c nbDecision=234000 #constraints=12652 1357.30/1357.96 c nbDecision=234500 #constraints=12678 1360.20/1360.82 c nbDecision=235000 #constraints=12689 1363.10/1363.70 c nbDecision=235500 #constraints=12693 1366.00/1366.60 c nbDecision=236000 #constraints=12707 1368.90/1369.52 c nbDecision=236500 #constraints=12719 1371.70/1372.39 c nbDecision=237000 #constraints=12725 1374.70/1375.31 c nbDecision=237500 #constraints=12748 1377.60/1378.27 c nbDecision=238000 #constraints=12776 1380.49/1381.18 c nbDecision=238500 #constraints=12786 1383.49/1384.13 c nbDecision=239000 #constraints=12800 1386.29/1386.99 c nbDecision=239500 #constraints=12803 1389.49/1390.19 c nbDecision=240000 #constraints=12822 1392.69/1393.37 c nbDecision=240500 #constraints=12848 1395.59/1396.25 c nbDecision=241000 #constraints=12851 1398.59/1399.26 c nbDecision=241500 #constraints=12874 1401.48/1402.17 c nbDecision=242000 #constraints=12880 1404.38/1405.06 c nbDecision=242500 #constraints=12887 1407.18/1407.87 c nbDecision=243000 #constraints=12887 1410.08/1410.72 c nbDecision=243500 #constraints=12890 1412.88/1413.59 c nbDecision=244000 #constraints=12893 1415.87/1416.53 c nbDecision=244500 #constraints=12912 1418.87/1419.54 c nbDecision=245000 #constraints=12950 1421.77/1422.48 c nbDecision=245500 #constraints=12963 1424.67/1425.36 c nbDecision=246000 #constraints=12966 1427.57/1428.25 c nbDecision=246500 #constraints=12983 1430.67/1431.38 c nbDecision=247000 #constraints=13002 1433.57/1434.30 c nbDecision=247500 #constraints=13019 1436.57/1437.28 c nbDecision=248000 #constraints=13047 1439.57/1440.20 c nbDecision=248500 #constraints=13058 1442.47/1443.17 c nbDecision=249000 #constraints=13080 1445.36/1446.08 c nbDecision=249500 #constraints=13092 1448.56/1449.26 c nbDecision=250000 #constraints=13106 1451.46/1452.13 c nbDecision=250500 #constraints=13110 1454.76/1455.42 c nbDecision=251000 #constraints=13146 1457.56/1458.28 c nbDecision=251500 #constraints=13155 1460.46/1461.17 c nbDecision=252000 #constraints=13158 1463.36/1464.09 c nbDecision=252500 #constraints=13168 1466.56/1467.23 c nbDecision=253000 #constraints=13186 1469.85/1470.57 c nbDecision=253500 #constraints=13212 1473.06/1473.72 c nbDecision=254000 #constraints=13225 1475.86/1476.57 c nbDecision=254500 #constraints=13231 1478.76/1479.46 c nbDecision=255000 #constraints=13234 1481.76/1482.47 c nbDecision=255500 #constraints=13243 1484.66/1485.36 c nbDecision=256000 #constraints=13247 1487.66/1488.31 c nbDecision=256500 #constraints=13261 1490.45/1491.18 c nbDecision=257000 #constraints=13265 1493.65/1494.30 c nbDecision=257500 #constraints=13277 1496.65/1497.37 c nbDecision=258000 #constraints=13323 1499.55/1500.27 c nbDecision=258500 #constraints=13327 1502.55/1503.20 c nbDecision=259000 #constraints=13339 1505.45/1506.12 c nbDecision=259500 #constraints=13354 1508.55/1509.29 c nbDecision=260000 #constraints=13372 1511.65/1512.40 c nbDecision=260500 #constraints=13382 1514.54/1515.27 c nbDecision=261000 #constraints=13386 1517.54/1518.26 c nbDecision=261500 #constraints=13397 1520.44/1521.16 c nbDecision=262000 #constraints=13401 1523.34/1524.09 c nbDecision=262500 #constraints=13414 1526.24/1526.99 c nbDecision=263000 #constraints=13432 1529.44/1530.16 c nbDecision=263500 #constraints=13446 1532.34/1533.04 c nbDecision=264000 #constraints=13450 1535.23/1535.94 c nbDecision=264500 #constraints=13456 1538.14/1538.85 c nbDecision=265000 #constraints=13463 1541.03/1541.77 c nbDecision=265500 #constraints=13466 1544.23/1544.96 c nbDecision=266000 #constraints=13486 1547.43/1548.16 c nbDecision=266500 #constraints=13505 1550.33/1551.04 c nbDecision=267000 #constraints=13511 1553.42/1554.20 c nbDecision=267500 #constraints=13534 1556.42/1557.12 c nbDecision=268000 #constraints=13556 1559.32/1560.03 c nbDecision=268500 #constraints=13564 1562.22/1562.96 c nbDecision=269000 #constraints=13577 1565.22/1565.92 c nbDecision=269500 #constraints=13600 1568.12/1568.85 c nbDecision=270000 #constraints=13614 1571.02/1571.73 c nbDecision=270500 #constraints=13618 1573.92/1574.62 c nbDecision=271000 #constraints=13624 1576.81/1577.51 c nbDecision=271500 #constraints=13628 1579.71/1580.43 c nbDecision=272000 #constraints=13645 1582.61/1583.37 c nbDecision=272500 #constraints=13661 1585.62/1586.32 c nbDecision=273000 #constraints=13680 1588.42/1589.19 c nbDecision=273500 #constraints=13683 1591.32/1592.08 c nbDecision=274000 #constraints=13690 1594.22/1594.98 c nbDecision=274500 #constraints=13697 1597.21/1597.90 c nbDecision=275000 #constraints=13706 1600.11/1600.81 c nbDecision=275500 #constraints=13711 1603.31/1604.00 c nbDecision=276000 #constraints=13728 1606.21/1606.93 c nbDecision=276500 #constraints=13744 1609.11/1609.89 c nbDecision=277000 #constraints=13769 1612.10/1612.83 c nbDecision=277500 #constraints=13787 1615.00/1615.71 c nbDecision=278000 #constraints=13800 1617.90/1618.61 c nbDecision=278500 #constraints=13804 1621.10/1621.80 c nbDecision=279000 #constraints=13824 1624.01/1624.72 c nbDecision=279500 #constraints=13828 1627.00/1627.75 c nbDecision=280000 #constraints=13851 1629.90/1630.64 c nbDecision=280500 #constraints=13855 1633.10/1633.86 c nbDecision=281000 #constraints=13870 1636.00/1636.73 c nbDecision=281500 #constraints=13874 1638.89/1639.68 c nbDecision=282000 #constraints=13889 1641.89/1642.63 c nbDecision=282500 #constraints=13902 1644.80/1645.53 c nbDecision=283000 #constraints=13906 1647.69/1648.42 c nbDecision=283500 #constraints=13911 1650.59/1651.31 c nbDecision=284000 #constraints=13916 1653.39/1654.19 c nbDecision=284500 #constraints=13920 1656.49/1657.21 c nbDecision=285000 #constraints=13950 1659.38/1660.12 c nbDecision=285500 #constraints=13953 1662.39/1663.11 c nbDecision=286000 #constraints=13964 1665.28/1666.01 c nbDecision=286500 #constraints=13970 1668.08/1668.82 c nbDecision=287000 #constraints=13970 1670.89/1671.69 c nbDecision=287500 #constraints=13974 1673.79/1674.57 c nbDecision=288000 #constraints=13977 1676.99/1677.79 c nbDecision=288500 #constraints=14002 1679.88/1680.69 c nbDecision=289000 #constraints=14014 1682.88/1683.65 c nbDecision=289500 #constraints=14023 1685.78/1686.55 c nbDecision=290000 #constraints=14029 1688.68/1689.46 c nbDecision=290500 #constraints=14038 1691.58/1692.36 c nbDecision=291000 #constraints=14045 1694.48/1695.25 c nbDecision=291500 #constraints=14048 1697.38/1698.16 c nbDecision=292000 #constraints=14051 1700.28/1701.07 c nbDecision=292500 #constraints=14055 1703.28/1704.01 c nbDecision=293000 #constraints=14065 1706.07/1706.82 c nbDecision=293500 #constraints=14065 1708.97/1709.71 c nbDecision=294000 #constraints=14072 1711.77/1712.59 c nbDecision=294500 #constraints=14076 1714.77/1715.52 c nbDecision=295000 #constraints=14088 1717.67/1718.43 c nbDecision=295500 #constraints=14092 1720.57/1721.38 c nbDecision=296000 #constraints=14105 1723.47/1724.28 c nbDecision=296500 #constraints=14108 1726.37/1727.18 c nbDecision=297000 #constraints=14115 1729.26/1730.03 c nbDecision=297500 #constraints=14119 1732.16/1732.94 c nbDecision=298000 #constraints=14131 1735.07/1735.85 c nbDecision=298500 #constraints=14134 1737.96/1738.79 c nbDecision=299000 #constraints=14144 1741.06/1741.80 c nbDecision=299500 #constraints=14172 1743.96/1744.75 c nbDecision=300000 #constraints=14185 1746.86/1747.62 c nbDecision=300500 #constraints=14188 1750.05/1750.85 c nbDecision=301000 #constraints=14214 1752.95/1753.78 c nbDecision=301500 #constraints=14229 1755.86/1756.69 c nbDecision=302000 #constraints=14233 1758.85/1759.63 c nbDecision=302500 #constraints=14237 1761.75/1762.56 c nbDecision=303000 #constraints=14245 1764.65/1765.46 c nbDecision=303500 #constraints=14248 1767.55/1768.38 c nbDecision=304000 #constraints=14259 1770.44/1771.20 c nbDecision=304500 #constraints=14260 1773.64/1774.44 c nbDecision=305000 #constraints=14280 1776.54/1777.34 c nbDecision=305500 #constraints=14283 1779.44/1780.26 c nbDecision=306000 #constraints=14288 1782.34/1783.18 c nbDecision=306500 #constraints=14291 1785.24/1786.07 c nbDecision=307000 #constraints=14294 1788.14/1788.98 c nbDecision=307500 #constraints=14303 1791.04/1791.86 c nbDecision=308000 #constraints=14309 1793.93/1794.77 c nbDecision=308500 #constraints=14327 1796.83/1797.68 c nbDecision=309000 #constraints=14333 1799.84/1800.62 c nbDecision=309500 #constraints=14342 1800.04/1800.80 Received signal 15 1800.04/1800.80 1800.04/1800.80 s UNKNOWN 1800.04/1800.80 1800.04/1800.80 c user time= 1799.77 s 1800.04/1800.80 c system time= 0.279957 s 1800.04/1800.80 c wall clock time=1800.81
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node46/watcher-356988-1176850687 -o ROOT/results/node46/solver-356988-1176850687 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356988-1176850687/instance-356988-1176850687.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.08 1.00 1.00 3/78 8116 /proc/meminfo: memFree=1448520/2055920 swapFree=4184556/4192956 [pid=8116] ppid=8114 vsize=1468 CPUtime=0 /proc/8116/stat : 8116 (oree) R 8114 8116 7773 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 39752137 1503232 165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8116/statm: 367 165 130 317 0 46 0 [startup+0.083895 s] /proc/loadavg: 1.08 1.00 1.00 3/78 8116 /proc/meminfo: memFree=1448520/2055920 swapFree=4184556/4192956 [pid=8116] ppid=8114 vsize=2960 CPUtime=0.08 /proc/8116/stat : 8116 (oree) R 8114 8116 7773 0 -1 4194304 551 0 0 0 8 0 0 0 18 0 1 0 39752137 3031040 533 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134827878 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8116/statm: 740 533 131 317 0 419 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 2960 [startup+0.101888 s] /proc/loadavg: 1.08 1.00 1.00 3/78 8116 /proc/meminfo: memFree=1448520/2055920 swapFree=4184556/4192956 [pid=8116] ppid=8114 vsize=3380 CPUtime=0.09 /proc/8116/stat : 8116 (oree) R 8114 8116 7773 0 -1 4194304 637 0 0 0 9 0 0 0 18 0 1 0 39752137 3461120 619 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8116/statm: 845 619 131 317 0 524 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3380 [startup+0.301926 s] /proc/loadavg: 1.08 1.00 1.00 3/78 8116 /proc/meminfo: memFree=1448520/2055920 swapFree=4184556/4192956 [pid=8116] ppid=8114 vsize=6844 CPUtime=0.29 /proc/8116/stat : 8116 (oree) R 8114 8116 7773 0 -1 4194304 1513 0 0 0 29 0 0 0 19 0 1 0 39752137 7008256 1495 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8116/statm: 1711 1495 131 317 0 1390 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6844 [startup+0.702 s] /proc/loadavg: 1.08 1.00 1.00 3/78 8116 /proc/meminfo: memFree=1448520/2055920 swapFree=4184556/4192956 [pid=8116] ppid=8114 vsize=14276 CPUtime=0.69 /proc/8116/stat : 8116 (oree) R 8114 8116 7773 0 -1 4194304 3314 0 0 0 68 1 0 0 22 0 1 0 39752137 14618624 3296 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8116/statm: 3569 3296 131 317 0 3248 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14276 [startup+1.50115 s] /proc/loadavg: 1.08 1.00 1.00 2/79 8117 /proc/meminfo: memFree=1429504/2055920 swapFree=4184556/4192956 [pid=8116] ppid=8114 vsize=42864 CPUtime=1.49 /proc/8116/stat : 8116 (oree) R 8114 8116 7773 0 -1 4194304 10083 0 0 0 145 4 0 0 25 0 1 0 39752137 43892736 10065 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606848 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8116/statm: 10716 10065 138 317 0 10395 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 42864 [startup+3.10144 s] /proc/loadavg: 1.08 1.00 1.00 2/79 8117 /proc/meminfo: memFree=1408512/2055920 swapFree=4184556/4192956 [pid=8116] ppid=8114 vsize=42864 CPUtime=3.09 /proc/8116/stat : 8116 (oree) R 8114 8116 7773 0 -1 4194304 10084 0 0 0 305 4 0 0 25 0 1 0 39752137 43892736 10066 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8116/statm: 10716 10066 138 317 0 10395 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 42864 [startup+6.30104 s] /proc/loadavg: 1.07 1.00 1.00 2/79 8117 /proc/meminfo: memFree=1408448/2055920 swapFree=4184556/4192956 [pid=8116] ppid=8114 vsize=43076 CPUtime=6.28 /proc/8116/stat : 8116 (oree) R 8114 8116 7773 0 -1 4194304 10109 0 0 0 624 4 0 0 25 0 1 0 39752137 44109824 10091 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606843 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8116/statm: 10769 10091 139 317 0 10448 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 43076 [startup+12.7012 s] /proc/loadavg: 1.07 1.00 1.00 2/79 8117 /proc/meminfo: memFree=1408000/2055920 swapFree=4184556/4192956 [pid=8116] ppid=8114 vsize=43464 CPUtime=12.69 /proc/8116/stat : 8116 (oree) R 8114 8116 7773 0 -1 4194304 10232 0 0 0 1264 5 0 0 25 0 1 0 39752137 44507136 10214 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8116/statm: 10866 10214 139 317 0 10545 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 43464 [startup+25.5016 s] /proc/loadavg: 1.05 1.00 1.00 2/79 8117 /proc/meminfo: memFree=1406784/2055920 swapFree=4184556/4192956 [pid=8116] ppid=8114 vsize=44776 CPUtime=25.48 /proc/8116/stat : 8116 (oree) R 8114 8116 7773 0 -1 4194304 10551 0 0 0 2543 5 0 0 25 0 1 0 39752137 45850624 10533 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385184 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8116/statm: 11194 10533 139 317 0 10873 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 44776 [startup+51.1013 s] /proc/loadavg: 1.03 1.00 1.00 2/79 8117 /proc/meminfo: memFree=1406080/2055920 swapFree=4184556/4192956 [pid=8116] ppid=8114 vsize=45564 CPUtime=51.07 /proc/8116/stat : 8116 (oree) R 8114 8116 7773 0 -1 4194304 10780 0 0 0 5102 5 0 0 25 0 1 0 39752137 46657536 10762 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8116/statm: 11391 10762 170 317 0 11070 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 45564 [startup+102.306 s] /proc/loadavg: 1.01 1.00 1.00 2/79 8117 /proc/meminfo: memFree=1404352/2055920 swapFree=4184556/4192956 [pid=8116] ppid=8114 vsize=47400 CPUtime=102.26 /proc/8116/stat : 8116 (oree) R 8114 8116 7773 0 -1 4194304 11222 0 0 0 10220 6 0 0 25 0 1 0 39752137 48537600 11204 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8116/statm: 11850 11204 170 317 0 11529 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 47400 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/79 8117 /proc/meminfo: memFree=1402752/2055920 swapFree=4184556/4192956 [pid=8116] ppid=8114 vsize=48840 CPUtime=162.23 /proc/8116/stat : 8116 (oree) R 8114 8116 7773 0 -1 4194304 11611 0 0 0 16216 7 0 0 25 0 1 0 39752137 50012160 11593 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384551 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8116/statm: 12210 11593 170 317 0 11889 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 48840 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/85 8295 /proc/meminfo: memFree=1400904/2055920 swapFree=4184556/4192956 [pid=8116] ppid=8114 vsize=49500 CPUtime=222.12 /proc/8116/stat : 8116 (oree) R 8114 8116 7773 0 -1 4194304 11757 0 0 0 22205 7 0 0 25 0 1 0 39752137 50688000 11739 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385274 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8116/statm: 12375 11739 170 317 0 12054 0 Current children cumulated CPU time (s) 222.12 Current children cumulated vsize (KiB) 49500 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/79 8315 /proc/meminfo: memFree=1401344/2055920 swapFree=4184556/4192956 [pid=8116] ppid=8114 vsize=50496 CPUtime=282.09 /proc/8116/stat : 8116 (oree) R 8114 8116 7773 0 -1 4194304 11990 0 0 0 28201 8 0 0 25 0 1 0 39752137 51707904 11972 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384531 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8116/statm: 12624 11972 170 317 0 12303 0 Current children cumulated CPU time (s) 282.09 Current children cumulated vsize (KiB) 50496 [startup+342.301 s] /proc/loadavg: 1.08 1.02 1.01 2/79 8315 /proc/meminfo: memFree=1400128/2055920 swapFree=4184556/4192956 [pid=8116] ppid=8114 vsize=51544 CPUtime=342.07 /proc/8116/stat : 8116 (oree) R 8114 8116 7773 0 -1 4194304 12256 0 0 0 34198 9 0 0 25 0 1 0 39752137 52781056 12238 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384551 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8116/statm: 12886 12238 170 317 0 12565 0 Current children cumulated CPU time (s) 342.07 Current children cumulated vsize (KiB) 51544 [startup+402.301 s] /proc/loadavg: 1.03 1.01 1.00 2/79 8315 /proc/meminfo: memFree=1398656/2055920 swapFree=4184556/4192956 [pid=8116] ppid=8114 vsize=53128 CPUtime=402.04 /proc/8116/stat : 8116 (oree) R 8114 8116 7773 0 -1 4194304 12635 0 0 0 40195 9 0 0 25 0 1 0 39752137 54403072 12617 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8116/statm: 13282 12617 170 317 0 12961 0 Current children cumulated CPU time (s) 402.04 Current children cumulated vsize (KiB) 53128 [startup+462.301 s] /proc/loadavg: 1.01 1.00 1.00 2/79 8315 /proc/meminfo: memFree=1397888/2055920 swapFree=4184556/4192956 [pid=8116] ppid=8114 vsize=53784 CPUtime=462.03 /proc/8116/stat : 8116 (oree) R 8114 8116 7773 0 -1 4194304 12828 0 0 0 46193 10 0 0 25 0 1 0 39752137 55074816 12810 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385274 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8116/statm: 13446 12810 170 317 0 13125 0 Current children cumulated CPU time (s) 462.03 Current children cumulated vsize (KiB) 53784 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/79 8315 /proc/meminfo: memFree=1396736/2055920 swapFree=4184556/4192956 [pid=8116] ppid=8114 vsize=54976 CPUtime=522 /proc/8116/stat : 8116 (oree) R 8114 8116 7773 0 -1 4194304 13122 0 0 0 52190 10 0 0 25 0 1 0 39752137 56295424 13104 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385190 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8116/statm: 13744 13104 170 317 0 13423 0 Current children cumulated CPU time (s) 522 Current children cumulated vsize (KiB) 54976 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/79 8315 /proc/meminfo: memFree=1395328/2055920 swapFree=4184556/4192956 [pid=8116] ppid=8114 vsize=56284 CPUtime=581.98 /proc/8116/stat : 8116 (oree) R 8114 8116 7773 0 -1 4194304 13462 0 0 0 58187 11 0 0 25 0 1 0 39752137 57634816 13444 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8116/statm: 14071 13444 170 317 0 13750 0 Current children cumulated CPU time (s) 581.98 Current children cumulated vsize (KiB) 56284 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/79 8315 /proc/meminfo: memFree=1385344/2055920 swapFree=4184556/4192956 [pid=8116] ppid=8114 vsize=66388 CPUtime=641.96 /proc/8116/stat : 8116 (oree) R 8114 8116 7773 0 -1 4194304 15984 0 0 0 64182 14 0 0 25 0 1 0 39752137 67981312 15966 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384569 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8116/statm: 16597 15966 170 317 0 16276 0 Current children cumulated CPU time (s) 641.96 Current children cumulated vsize (KiB) 66388 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/79 8315 /proc/meminfo: memFree=1380160/2055920 swapFree=4184556/4192956 [pid=8116] ppid=8114 vsize=72284 CPUtime=821.89 /proc/8116/stat : 8116 (oree) R 8114 8116 7773 0 -1 4194304 17352 0 0 0 82173 16 0 0 25 0 1 0 39752137 74018816 17283 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606847 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8116/statm: 18071 17283 170 317 0 17750 0 Current children cumulated CPU time (s) 821.89 Current children cumulated vsize (KiB) 72284 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/79 8315 /proc/meminfo: memFree=1378368/2055920 swapFree=4184556/4192956 [pid=8116] ppid=8114 vsize=74052 CPUtime=881.87 /proc/8116/stat : 8116 (oree) R 8114 8116 7773 0 -1 4194304 17787 0 0 0 88170 17 0 0 25 0 1 0 39752137 75829248 17718 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8116/statm: 18513 17718 170 317 0 18192 0 Current children cumulated CPU time (s) 881.87 Current children cumulated vsize (KiB) 74052 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/79 8315 /proc/meminfo: memFree=1377152/2055920 swapFree=4184556/4192956 [pid=8116] ppid=8114 vsize=75260 CPUtime=941.85 /proc/8116/stat : 8116 (oree) R 8114 8116 7773 0 -1 4194304 18122 0 0 0 94167 18 0 0 25 0 1 0 39752137 77066240 18053 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8116/statm: 18815 18053 170 317 0 18494 0 Current children cumulated CPU time (s) 941.85 Current children cumulated vsize (KiB) 75260 [startup+1002.3 s] /proc/loadavg: 1.05 1.01 1.00 2/79 8315 /proc/meminfo: memFree=1375744/2055920 swapFree=4184556/4192956 [pid=8116] ppid=8114 vsize=76448 CPUtime=1001.82 /proc/8116/stat : 8116 (oree) R 8114 8116 7773 0 -1 4194304 18459 0 0 0 100164 18 0 0 25 0 1 0 39752137 78282752 18390 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8116/statm: 19112 18390 170 317 0 18791 0 Current children cumulated CPU time (s) 1001.82 Current children cumulated vsize (KiB) 76448 [startup+1062.3 s] /proc/loadavg: 1.06 1.02 1.00 2/79 8315 /proc/meminfo: memFree=1374400/2055920 swapFree=4184556/4192956 [pid=8116] ppid=8114 vsize=77768 CPUtime=1061.81 /proc/8116/stat : 8116 (oree) R 8114 8116 7773 0 -1 4194304 18824 0 0 0 106162 19 0 0 25 0 1 0 39752137 79634432 18755 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606708 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8116/statm: 19442 18755 170 317 0 19121 0 Current children cumulated CPU time (s) 1061.81 Current children cumulated vsize (KiB) 77768 [startup+1122.3 s] /proc/loadavg: 1.06 1.03 1.00 2/79 8315 /proc/meminfo: memFree=1373056/2055920 swapFree=4184556/4192956 [pid=8116] ppid=8114 vsize=79224 CPUtime=1121.78 /proc/8116/stat : 8116 (oree) R 8114 8116 7773 0 -1 4194304 19165 0 0 0 112159 19 0 0 25 0 1 0 39752137 81125376 19096 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385185 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8116/statm: 19806 19096 170 317 0 19485 0 Current children cumulated CPU time (s) 1121.78 Current children cumulated vsize (KiB) 79224 [startup+1182.3 s] /proc/loadavg: 1.06 1.04 1.00 2/79 8315 /proc/meminfo: memFree=1370048/2055920 swapFree=4184556/4192956 [pid=8116] ppid=8114 vsize=83468 CPUtime=1181.76 /proc/8116/stat : 8116 (oree) R 8114 8116 7773 0 -1 4194304 19892 0 0 0 118156 20 0 0 25 0 1 0 39752137 85471232 19823 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385198 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8116/statm: 20867 19823 170 317 0 20546 0 Current children cumulated CPU time (s) 1181.76 Current children cumulated vsize (KiB) 83468 [startup+1242.3 s] /proc/loadavg: 1.05 1.04 1.00 2/79 8315 /proc/meminfo: memFree=1366912/2055920 swapFree=4184556/4192956 [pid=8116] ppid=8114 vsize=86744 CPUtime=1241.74 /proc/8116/stat : 8116 (oree) R 8114 8116 7773 0 -1 4194304 20718 0 0 0 124153 21 0 0 25 0 1 0 39752137 88825856 20649 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385247 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8116/statm: 21686 20649 170 317 0 21365 0 Current children cumulated CPU time (s) 1241.74 Current children cumulated vsize (KiB) 86744 [startup+1302.3 s] /proc/loadavg: 1.05 1.05 1.00 2/79 8315 /proc/meminfo: memFree=1362432/2055920 swapFree=4184556/4192956 [pid=8116] ppid=8114 vsize=90872 CPUtime=1301.72 /proc/8116/stat : 8116 (oree) R 8114 8116 7773 0 -1 4194304 21804 0 0 0 130150 22 0 0 25 0 1 0 39752137 93052928 21735 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8116/statm: 22718 21735 170 317 0 22397 0 Current children cumulated CPU time (s) 1301.72 Current children cumulated vsize (KiB) 90872 [startup+1362.3 s] /proc/loadavg: 1.02 1.03 1.00 2/79 8315 /proc/meminfo: memFree=1358912/2055920 swapFree=4184556/4192956 [pid=8116] ppid=8114 vsize=94428 CPUtime=1361.7 /proc/8116/stat : 8116 (oree) R 8114 8116 7773 0 -1 4194304 22707 0 0 0 136146 24 0 0 25 0 1 0 39752137 96694272 22638 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606721 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8116/statm: 23607 22638 170 317 0 23286 0 Current children cumulated CPU time (s) 1361.7 Current children cumulated vsize (KiB) 94428 [startup+1422.31 s] /proc/loadavg: 1.00 1.03 1.00 2/79 8315 /proc/meminfo: memFree=1357632/2055920 swapFree=4184556/4192956 [pid=8116] ppid=8114 vsize=95736 CPUtime=1421.68 /proc/8116/stat : 8116 (oree) R 8114 8116 7773 0 -1 4194304 23036 0 0 0 142144 24 0 0 25 0 1 0 39752137 98033664 22967 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385189 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8116/statm: 23934 22967 170 317 0 23613 0 Current children cumulated CPU time (s) 1421.68 Current children cumulated vsize (KiB) 95736 [startup+1482.3 s] /proc/loadavg: 1.00 1.02 1.00 2/79 8315 /proc/meminfo: memFree=1356096/2055920 swapFree=4184556/4192956 [pid=8116] ppid=8114 vsize=97480 CPUtime=1481.66 /proc/8116/stat : 8116 (oree) R 8114 8116 7773 0 -1 4194304 23438 0 0 0 148141 25 0 0 25 0 1 0 39752137 99819520 23369 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135194616 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8116/statm: 24370 23369 170 317 0 24049 0 Current children cumulated CPU time (s) 1481.66 Current children cumulated vsize (KiB) 97480 [startup+1542.3 s] /proc/loadavg: 1.00 1.01 1.00 2/79 8315 /proc/meminfo: memFree=1354880/2055920 swapFree=4184556/4192956 [pid=8116] ppid=8114 vsize=98700 CPUtime=1541.63 /proc/8116/stat : 8116 (oree) R 8114 8116 7773 0 -1 4194304 23752 0 0 0 154138 25 0 0 25 0 1 0 39752137 101068800 23683 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8116/statm: 24675 23683 170 317 0 24354 0 Current children cumulated CPU time (s) 1541.63 Current children cumulated vsize (KiB) 98700 [startup+1602.3 s] /proc/loadavg: 1.00 1.01 1.00 2/79 8315 /proc/meminfo: memFree=1353856/2055920 swapFree=4184556/4192956 [pid=8116] ppid=8114 vsize=99740 CPUtime=1601.61 /proc/8116/stat : 8116 (oree) R 8114 8116 7773 0 -1 4194304 24011 0 0 0 160135 26 0 0 25 0 1 0 39752137 102133760 23942 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8116/statm: 24935 23942 170 317 0 24614 0 Current children cumulated CPU time (s) 1601.61 Current children cumulated vsize (KiB) 99740 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 8315 /proc/meminfo: memFree=1352512/2055920 swapFree=4184556/4192956 [pid=8116] ppid=8114 vsize=101236 CPUtime=1661.58 /proc/8116/stat : 8116 (oree) R 8114 8116 7773 0 -1 4194304 24361 0 0 0 166132 26 0 0 25 0 1 0 39752137 103665664 24292 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135194612 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8116/statm: 25309 24292 170 317 0 24988 0 Current children cumulated CPU time (s) 1661.58 Current children cumulated vsize (KiB) 101236 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 8315 /proc/meminfo: memFree=1351808/2055920 swapFree=4184556/4192956 [pid=8116] ppid=8114 vsize=101916 CPUtime=1721.57 /proc/8116/stat : 8116 (oree) R 8114 8116 7773 0 -1 4194304 24529 0 0 0 172130 27 0 0 25 0 1 0 39752137 104361984 24460 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8116/statm: 25479 24460 170 317 0 25158 0 Current children cumulated CPU time (s) 1721.57 Current children cumulated vsize (KiB) 101916 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 8315 /proc/meminfo: memFree=1351040/2055920 swapFree=4184556/4192956 [pid=8116] ppid=8114 vsize=102848 CPUtime=1781.54 /proc/8116/stat : 8116 (oree) R 8114 8116 7773 0 -1 4194304 24731 0 0 0 178127 27 0 0 25 0 1 0 39752137 105316352 24662 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606869 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8116/statm: 25712 24662 170 317 0 25391 0 Current children cumulated CPU time (s) 1781.54 Current children cumulated vsize (KiB) 102848 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/79 8315 /proc/meminfo: memFree=1350848/2055920 swapFree=4184556/4192956 [pid=8116] ppid=8114 vsize=102976 CPUtime=1800.04 /proc/8116/stat : 8116 (oree) R 8114 8116 7773 0 -1 4194304 24785 0 0 0 179977 27 0 0 25 0 1 0 39752137 105447424 24716 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8116/statm: 25744 24716 170 317 0 25423 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 102976 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.86 CPU time (s): 1800.1 CPU user time (s): 1799.8 CPU system time (s): 0.295955 CPU usage (%): 99.9577 Max. virtual memory (cumulated for all children) (KiB): 102976 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.8 system time used= 0.295955 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 24801 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= 2686 runsolver used 1.89171 second user time and 4.71228 second system time The end
Begin job on node46 on Tue Apr 17 22:58:12 UTC 2007 IDJOB= 356988 IDBENCH= 1731 IDSOLVER= 172 FILE ID= node46/356988-1176850687 PBS_JOBID= 4590203 Free space on /tmp= 66150 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-misc04.opb COMMAND LINE= oree /tmp/evaluation/356988-1176850687/instance-356988-1176850687.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node46/watcher-356988-1176850687 -o ROOT/results/node46/solver-356988-1176850687 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356988-1176850687/instance-356988-1176850687.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= a740df3717a1394bed76c2a490fc20be RANDOM SEED= 564837998 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node46.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.268 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 : 5931.00 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.268 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: 1448864 kB Buffers: 43548 kB Cached: 367376 kB SwapCached: 3060 kB Active: 331076 kB Inactive: 220552 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1448864 kB SwapTotal: 4192956 kB SwapFree: 4184556 kB Dirty: 6208 kB Writeback: 0 kB Mapped: 155388 kB Slab: 40740 kB Committed_AS: 1892764 kB PageTables: 1988 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= 66150 MiB End job on node46 on Tue Apr 17 23:28:14 UTC 2007