Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (MO) | 743.885 | 744.109 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-trento1.opb |
MD5SUM | 38efecbab82080ab0719e9bf155a35ec |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 1.59576 |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 44575 |
Total number of constraints | 1264 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1264 |
Minimum length of a constraint | 35 |
Maximum length of a constraint | 44575 |
Number of terms in the objective function | 44575 |
Biggest coefficient in the objective function | 78668 |
Number of bits for the biggest coefficient in the objective function | 17 |
Sum of the numbers in the objective function | 568252 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262143 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 568256 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 0.59/0.66 c ...done 0.59/0.66 c #vars=44575 #constraints=2513 hasObjective=yes 1.09/1.11 c res. mode=mod 1.09/1.11 c VSIDS like heuristics 1.09/1.11 c complete search running 1.29/1.38 c restart after 401 decisions 1.39/1.44 c nbDecision=500 #constraints=2513 1.59/1.61 c restart after 801 decisions 1.69/1.72 c nbDecision=1000 #constraints=2513 1.99/2.00 c nbDecision=1500 #constraints=2513 1.99/2.06 c restart after 1601 decisions 2.19/2.29 c nbDecision=2000 #constraints=2513 2.49/2.57 c nbDecision=2500 #constraints=2513 2.79/2.84 c nbDecision=3000 #constraints=2513 2.89/2.95 c restart after 3201 decisions 3.09/3.12 c nbDecision=3500 #constraints=2513 3.39/3.41 c nbDecision=4000 #constraints=2513 3.59/3.68 c nbDecision=4500 #constraints=2513 3.89/3.96 c nbDecision=5000 #constraints=2513 4.19/4.23 c nbDecision=5500 #constraints=2513 4.49/4.50 c nbDecision=6000 #constraints=2513 4.69/4.71 c restart after 6401 decisions 4.69/4.77 c nbDecision=6500 #constraints=2513 4.99/5.05 c nbDecision=7000 #constraints=2513 5.29/5.33 c nbDecision=7500 #constraints=2513 5.59/5.60 c nbDecision=8000 #constraints=2513 5.79/5.88 c nbDecision=8500 #constraints=2513 6.09/6.15 c nbDecision=9000 #constraints=2513 6.39/6.42 c nbDecision=9500 #constraints=2513 6.59/6.68 c nbDecision=10000 #constraints=2513 6.89/6.94 c nbDecision=10500 #constraints=2513 7.19/7.20 c nbDecision=11000 #constraints=2513 7.39/7.46 c nbDecision=11500 #constraints=2513 7.69/7.71 c nbDecision=12000 #constraints=2513 7.89/7.96 c nbDecision=12500 #constraints=2513 8.09/8.10 c restart after 12801 decisions 8.19/8.22 c nbDecision=13000 #constraints=2513 8.49/8.50 c nbDecision=13500 #constraints=2513 8.69/8.77 c nbDecision=14000 #constraints=2513 8.99/9.05 c nbDecision=14500 #constraints=2513 9.29/9.32 c nbDecision=15000 #constraints=2513 9.49/9.57 c nbDecision=15500 #constraints=2513 9.79/9.82 c nbDecision=16000 #constraints=2513 9.99/10.08 c nbDecision=16500 #constraints=2513 10.29/10.34 c nbDecision=17000 #constraints=2513 10.49/10.59 c nbDecision=17500 #constraints=2513 10.79/10.85 c nbDecision=18000 #constraints=2513 11.09/11.10 c nbDecision=18500 #constraints=2513 11.29/11.35 c nbDecision=19000 #constraints=2513 11.49/11.58 c nbDecision=19500 #constraints=2513 11.79/11.81 c nbDecision=20000 #constraints=2513 11.99/12.04 c nbDecision=20500 #constraints=2513 12.19/12.28 c nbDecision=21000 #constraints=2513 12.49/12.51 c nbDecision=21500 #constraints=2513 12.69/12.74 c nbDecision=22000 #constraints=2513 12.89/12.97 c nbDecision=22500 #constraints=2513 13.09/13.20 c nbDecision=23000 #constraints=2513 13.39/13.42 c nbDecision=23500 #constraints=2513 13.59/13.64 c nbDecision=24000 #constraints=2513 13.79/13.86 c nbDecision=24500 #constraints=2513 13.99/14.08 c nbDecision=25000 #constraints=2513 14.19/14.29 c nbDecision=25500 #constraints=2513 14.29/14.33 c restart after 25601 decisions 14.49/14.57 c nbDecision=26000 #constraints=2513 14.79/14.84 c nbDecision=26500 #constraints=2513 15.09/15.11 c nbDecision=27000 #constraints=2513 15.29/15.39 c nbDecision=27500 #constraints=2513 15.58/15.65 c nbDecision=28000 #constraints=2513 15.88/15.91 c nbDecision=28500 #constraints=2513 16.08/16.18 c nbDecision=29000 #constraints=2513 16.39/16.44 c nbDecision=29500 #constraints=2513 16.58/16.69 c nbDecision=30000 #constraints=2513 16.88/16.94 c nbDecision=30500 #constraints=2513 17.08/17.18 c nbDecision=31000 #constraints=2513 17.38/17.42 c nbDecision=31500 #constraints=2513 17.59/17.65 c nbDecision=32000 #constraints=2513 17.78/17.88 c nbDecision=32500 #constraints=2513 18.08/18.11 c nbDecision=33000 #constraints=2513 18.28/18.34 c nbDecision=33500 #constraints=2513 18.48/18.56 c nbDecision=34000 #constraints=2513 18.69/18.79 c nbDecision=34500 #constraints=2513 18.98/19.01 c nbDecision=35000 #constraints=2513 19.18/19.23 c nbDecision=35500 #constraints=2513 19.38/19.46 c nbDecision=36000 #constraints=2513 19.58/19.68 c nbDecision=36500 #constraints=2513 19.88/19.90 c nbDecision=37000 #constraints=2513 20.08/20.12 c nbDecision=37500 #constraints=2513 20.28/20.34 c nbDecision=38000 #constraints=2513 20.48/20.56 c nbDecision=38500 #constraints=2513 20.68/20.77 c nbDecision=39000 #constraints=2513 20.89/20.97 c nbDecision=39500 #constraints=2513 21.08/21.17 c nbDecision=40000 #constraints=2513 21.28/21.38 c nbDecision=40500 #constraints=2513 21.48/21.57 c nbDecision=41000 #constraints=2513 21.68/21.77 c nbDecision=41500 #constraints=2513 21.89/21.97 c nbDecision=42000 #constraints=2513 22.08/22.16 c nbDecision=42500 #constraints=2513 22.28/22.35 c nbDecision=43000 #constraints=2513 22.48/22.53 c nbDecision=43500 #constraints=2513 22.68/22.72 c nbDecision=44000 #constraints=2513 22.88/22.90 c nbDecision=44500 #constraints=2513 22.99/23.08 c nbDecision=45000 #constraints=2513 23.18/23.25 c nbDecision=45500 #constraints=2513 23.38/23.42 c nbDecision=46000 #constraints=2513 23.48/23.59 c nbDecision=46500 #constraints=2513 23.68/23.76 c nbDecision=47000 #constraints=2513 23.88/23.93 c nbDecision=47500 #constraints=2513 24.09/24.11 c nbDecision=48000 #constraints=2513 24.19/24.28 c nbDecision=48500 #constraints=2513 24.38/24.45 c nbDecision=49000 #constraints=2513 24.58/24.63 c nbDecision=49500 #constraints=2513 24.78/24.81 c nbDecision=50000 #constraints=2513 24.98/25.07 c nbDecision=50500 #constraints=2532 25.38/25.41 c nbDecision=51000 #constraints=2557 25.59/25.60 c restart after 51201 decisions 25.79/25.81 c nbDecision=51500 #constraints=2573 25.99/26.09 c nbDecision=52000 #constraints=2573 26.29/26.36 c nbDecision=52500 #constraints=2573 26.59/26.64 c nbDecision=53000 #constraints=2573 26.79/26.89 c nbDecision=53500 #constraints=2573 27.09/27.16 c nbDecision=54000 #constraints=2573 27.39/27.42 c nbDecision=54500 #constraints=2573 27.59/27.68 c nbDecision=55000 #constraints=2573 27.89/27.95 c nbDecision=55500 #constraints=2573 28.19/28.21 c nbDecision=56000 #constraints=2573 28.39/28.46 c nbDecision=56500 #constraints=2573 28.69/28.72 c nbDecision=57000 #constraints=2573 28.89/28.96 c nbDecision=57500 #constraints=2573 29.19/29.21 c nbDecision=58000 #constraints=2573 29.39/29.44 c nbDecision=58500 #constraints=2573 29.59/29.67 c nbDecision=59000 #constraints=2573 29.79/29.89 c nbDecision=59500 #constraints=2573 30.09/30.11 c nbDecision=60000 #constraints=2573 30.29/30.33 c nbDecision=60500 #constraints=2573 30.49/30.55 c nbDecision=61000 #constraints=2573 30.69/30.77 c nbDecision=61500 #constraints=2573 30.89/30.98 c nbDecision=62000 #constraints=2573 31.09/31.18 c nbDecision=62500 #constraints=2573 31.29/31.39 c nbDecision=63000 #constraints=2573 31.59/31.60 c nbDecision=63500 #constraints=2573 31.79/31.81 c nbDecision=64000 #constraints=2573 31.99/32.02 c nbDecision=64500 #constraints=2573 32.19/32.23 c nbDecision=65000 #constraints=2573 32.39/32.44 c nbDecision=65500 #constraints=2573 32.58/32.64 c nbDecision=66000 #constraints=2573 32.78/32.84 c nbDecision=66500 #constraints=2573 32.99/33.04 c nbDecision=67000 #constraints=2573 33.18/33.24 c nbDecision=67500 #constraints=2573 33.38/33.43 c nbDecision=68000 #constraints=2573 33.58/33.61 c nbDecision=68500 #constraints=2573 33.68/33.80 c nbDecision=69000 #constraints=2573 33.88/33.98 c nbDecision=69500 #constraints=2573 34.09/34.16 c nbDecision=70000 #constraints=2573 34.28/34.34 c nbDecision=70500 #constraints=2573 34.48/34.51 c nbDecision=71000 #constraints=2573 34.58/34.68 c nbDecision=71500 #constraints=2573 34.78/34.85 c nbDecision=72000 #constraints=2573 34.98/35.01 c nbDecision=72500 #constraints=2573 35.09/35.19 c nbDecision=73000 #constraints=2573 35.28/35.37 c nbDecision=73500 #constraints=2573 35.48/35.54 c nbDecision=74000 #constraints=2573 35.68/35.71 c nbDecision=74500 #constraints=2573 35.78/35.88 c nbDecision=75000 #constraints=2573 35.98/36.07 c nbDecision=75500 #constraints=2573 36.19/36.26 c nbDecision=76000 #constraints=2578 36.38/36.45 c nbDecision=76500 #constraints=2581 36.98/37.03 c nbDecision=77000 #constraints=2616 37.28/37.38 c nbDecision=77500 #constraints=2639 37.58/37.60 c nbDecision=78000 #constraints=2645 38.07/38.15 c nbDecision=78500 #constraints=2691 38.38/38.45 c nbDecision=79000 #constraints=2710 38.78/38.88 c nbDecision=79500 #constraints=2735 39.08/39.18 c nbDecision=80000 #constraints=2755 39.38/39.49 c nbDecision=80500 #constraints=2775 39.68/39.72 c nbDecision=81000 #constraints=2784 40.08/40.10 c nbDecision=81500 #constraints=2806 40.37/40.45 c nbDecision=82000 #constraints=2825 41.38/41.41 c nbDecision=82500 #constraints=2896 41.87/41.95 c nbDecision=83000 #constraints=2931 42.38/42.41 c nbDecision=83500 #constraints=2959 43.18/43.27 c nbDecision=84000 #constraints=3011 44.48/44.53 c nbDecision=84500 #constraints=3082 45.28/45.31 c nbDecision=85000 #constraints=3122 46.28/46.32 c nbDecision=85500 #constraints=3181 47.98/48.07 c nbDecision=86000 #constraints=3269 48.98/49.08 c nbDecision=86500 #constraints=3318 50.18/50.20 c nbDecision=87000 #constraints=3376 51.38/51.41 c nbDecision=87500 #constraints=3425 51.78/51.87 c nbDecision=88000 #constraints=3449 52.37/52.43 c nbDecision=88500 #constraints=3480 53.67/53.70 c nbDecision=89000 #constraints=3539 55.07/55.12 c nbDecision=89500 #constraints=3599 55.98/56.02 c nbDecision=90000 #constraints=3623 56.28/56.36 c nbDecision=90500 #constraints=3649 56.88/56.96 c nbDecision=91000 #constraints=3687 57.28/57.33 c nbDecision=91500 #constraints=3709 57.58/57.70 c nbDecision=92000 #constraints=3731 58.07/58.10 c nbDecision=92500 #constraints=3762 58.37/58.47 c nbDecision=93000 #constraints=3784 58.77/58.87 c nbDecision=93500 #constraints=3810 59.07/59.17 c nbDecision=94000 #constraints=3826 59.38/59.49 c nbDecision=94500 #constraints=3842 59.78/59.85 c nbDecision=95000 #constraints=3861 60.18/60.21 c nbDecision=95500 #constraints=3881 60.48/60.53 c nbDecision=96000 #constraints=3895 60.87/60.99 c nbDecision=96500 #constraints=3920 61.27/61.33 c nbDecision=97000 #constraints=3934 61.67/61.70 c nbDecision=97500 #constraints=3955 61.87/61.99 c nbDecision=98000 #constraints=3966 62.27/62.35 c nbDecision=98500 #constraints=3980 62.58/62.64 c nbDecision=99000 #constraints=3994 63.27/63.36 c nbDecision=99500 #constraints=4038 63.87/63.94 c nbDecision=100000 #constraints=4068 64.98/65.04 c nbDecision=100500 #constraints=4119 66.17/66.26 c nbDecision=101000 #constraints=4176 67.87/67.91 c nbDecision=101500 #constraints=4241 69.67/69.79 c nbDecision=102000 #constraints=4316 69.97/70.08 c restart after 102401 decisions 70.67/70.77 c nbDecision=102500 #constraints=4319 70.97/71.05 c nbDecision=103000 #constraints=4319 71.27/71.33 c nbDecision=103500 #constraints=4319 71.47/71.58 c nbDecision=104000 #constraints=4319 71.77/71.84 c nbDecision=104500 #constraints=4319 72.07/72.11 c nbDecision=105000 #constraints=4319 72.27/72.39 c nbDecision=105500 #constraints=4319 72.67/72.72 c nbDecision=106000 #constraints=4319 72.97/73.00 c nbDecision=106500 #constraints=4319 73.17/73.29 c nbDecision=107000 #constraints=4319 73.47/73.55 c nbDecision=107500 #constraints=4319 73.77/73.83 c nbDecision=108000 #constraints=4319 74.07/74.19 c nbDecision=108500 #constraints=4319 74.37/74.46 c nbDecision=109000 #constraints=4319 74.67/74.73 c nbDecision=109500 #constraints=4319 74.97/75.07 c nbDecision=110000 #constraints=4319 75.27/75.36 c nbDecision=110500 #constraints=4319 75.47/75.59 c nbDecision=111000 #constraints=4319 75.77/75.88 c nbDecision=111500 #constraints=4319 76.07/76.18 c nbDecision=112000 #constraints=4319 76.37/76.40 c nbDecision=112500 #constraints=4319 76.57/76.65 c nbDecision=113000 #constraints=4319 76.87/76.92 c nbDecision=113500 #constraints=4319 77.07/77.18 c nbDecision=114000 #constraints=4319 77.37/77.40 c nbDecision=114500 #constraints=4319 77.57/77.64 c nbDecision=115000 #constraints=4319 77.77/77.88 c nbDecision=115500 #constraints=4319 78.07/78.17 c nbDecision=116000 #constraints=4319 78.27/78.38 c nbDecision=116500 #constraints=4319 78.57/78.60 c nbDecision=117000 #constraints=4319 78.77/78.80 c nbDecision=117500 #constraints=4319 78.87/78.99 c nbDecision=118000 #constraints=4319 79.07/79.19 c nbDecision=118500 #constraints=4319 79.27/79.39 c nbDecision=119000 #constraints=4319 79.47/79.59 c nbDecision=119500 #constraints=4319 79.67/79.79 c nbDecision=120000 #constraints=4319 79.97/80.04 c nbDecision=120500 #constraints=4319 80.17/80.26 c nbDecision=121000 #constraints=4319 80.37/80.45 c nbDecision=121500 #constraints=4319 80.57/80.64 c nbDecision=122000 #constraints=4319 80.77/80.84 c nbDecision=122500 #constraints=4319 80.97/81.01 c nbDecision=123000 #constraints=4319 81.17/81.21 c nbDecision=123500 #constraints=4319 81.37/81.42 c nbDecision=124000 #constraints=4319 81.57/81.69 c nbDecision=124500 #constraints=4319 81.97/82.01 c nbDecision=125000 #constraints=4319 82.17/82.26 c nbDecision=125500 #constraints=4319 82.47/82.52 c nbDecision=126000 #constraints=4319 82.77/82.82 c nbDecision=126500 #constraints=4319 82.97/83.09 c nbDecision=127000 #constraints=4319 83.47/83.59 c nbDecision=127500 #constraints=4344 84.36/84.43 c nbDecision=128000 #constraints=4373 86.17/86.26 c nbDecision=128500 #constraints=4445 87.06/87.11 c nbDecision=129000 #constraints=4477 88.57/88.69 c nbDecision=129500 #constraints=4538 90.07/90.12 c nbDecision=130000 #constraints=4591 92.06/92.14 c nbDecision=130500 #constraints=4654 93.97/94.06 c nbDecision=131000 #constraints=4722 95.26/95.37 c nbDecision=131500 #constraints=4748 95.76/95.82 c nbDecision=132000 #constraints=4769 96.37/96.42 c nbDecision=132500 #constraints=4799 96.77/96.89 c nbDecision=133000 #constraints=4819 97.26/97.32 c nbDecision=133500 #constraints=4842 97.66/97.77 c nbDecision=134000 #constraints=4866 100.07/100.10 c nbDecision=134500 #constraints=4921 100.96/101.10 c nbDecision=135000 #constraints=4941 101.66/101.77 c nbDecision=135500 #constraints=4967 102.66/102.77 c nbDecision=136000 #constraints=5003 103.66/103.75 c nbDecision=136500 #constraints=5034 104.26/104.35 c nbDecision=137000 #constraints=5057 104.76/104.85 c nbDecision=137500 #constraints=5077 107.46/107.53 c nbDecision=138000 #constraints=5137 109.26/109.37 c nbDecision=138500 #constraints=5198 110.96/111.02 c nbDecision=139000 #constraints=5255 114.36/114.46 c nbDecision=139500 #constraints=5341 115.16/115.22 c nbDecision=140000 #constraints=5361 116.06/116.12 c nbDecision=140500 #constraints=5387 116.76/116.88 c nbDecision=141000 #constraints=5422 117.46/117.52 c nbDecision=141500 #constraints=5444 117.96/118.05 c nbDecision=142000 #constraints=5463 119.95/120.03 c nbDecision=142500 #constraints=5543 121.65/121.79 c nbDecision=143000 #constraints=5594 123.45/123.55 c nbDecision=143500 #constraints=5647 124.05/124.14 c nbDecision=144000 #constraints=5664 125.75/125.84 c nbDecision=144500 #constraints=5719 127.75/127.82 c nbDecision=145000 #constraints=5779 130.35/130.41 c nbDecision=145500 #constraints=5843 132.65/132.73 c nbDecision=146000 #constraints=5902 136.26/136.38 c nbDecision=146500 #constraints=5979 139.25/139.34 c nbDecision=147000 #constraints=6060 142.45/142.60 c nbDecision=147500 #constraints=6143 145.75/145.80 c nbDecision=148000 #constraints=6212 151.55/151.65 c nbDecision=148500 #constraints=6295 155.55/155.66 c nbDecision=149000 #constraints=6354 157.34/157.49 c nbDecision=149500 #constraints=6400 160.45/160.58 c nbDecision=150000 #constraints=6479 163.34/163.46 c nbDecision=150500 #constraints=6557 167.24/167.30 c nbDecision=151000 #constraints=6655 169.94/170.00 c nbDecision=151500 #constraints=6721 173.04/173.12 c nbDecision=152000 #constraints=6796 177.43/177.52 c nbDecision=152500 #constraints=6886 181.64/181.75 c nbDecision=153000 #constraints=6959 184.53/184.61 c nbDecision=153500 #constraints=7012 189.73/189.84 c nbDecision=154000 #constraints=7073 200.43/200.56 c nbDecision=154500 #constraints=7179 202.93/203.01 c nbDecision=155000 #constraints=7228 207.13/207.27 c nbDecision=155500 #constraints=7307 210.63/210.71 c nbDecision=156000 #constraints=7377 214.03/214.15 c nbDecision=156500 #constraints=7455 220.72/220.89 c nbDecision=157000 #constraints=7557 224.42/224.58 c nbDecision=157500 #constraints=7606 230.22/230.36 c nbDecision=158000 #constraints=7680 231.61/231.71 c nbDecision=158500 #constraints=7714 233.22/233.39 c nbDecision=159000 #constraints=7747 239.12/239.21 c nbDecision=159500 #constraints=7828 240.61/240.79 c nbDecision=160000 #constraints=7873 243.51/243.62 c nbDecision=160500 #constraints=7936 245.52/245.66 c nbDecision=161000 #constraints=7990 249.02/249.12 c nbDecision=161500 #constraints=8042 256.12/256.21 c nbDecision=162000 #constraints=8134 261.82/261.98 c nbDecision=162500 #constraints=8205 268.91/269.02 c nbDecision=163000 #constraints=8298 279.71/279.88 c nbDecision=163500 #constraints=8386 286.91/287.01 c nbDecision=164000 #constraints=8485 289.21/289.33 c nbDecision=164500 #constraints=8511 293.00/293.12 c nbDecision=165000 #constraints=8600 295.10/295.24 c nbDecision=165500 #constraints=8650 299.00/299.19 c nbDecision=166000 #constraints=8729 301.39/301.52 c nbDecision=166500 #constraints=8767 305.40/305.55 c nbDecision=167000 #constraints=8836 309.99/310.18 c nbDecision=167500 #constraints=8913 314.29/314.45 c nbDecision=168000 #constraints=8985 317.99/318.18 c nbDecision=168500 #constraints=9026 321.39/321.57 c nbDecision=169000 #constraints=9069 326.09/326.20 c nbDecision=169500 #constraints=9101 328.99/329.10 c nbDecision=170000 #constraints=9178 329.69/329.82 c nbDecision=170500 #constraints=9192 331.09/331.24 c nbDecision=171000 #constraints=9232 333.89/334.04 c nbDecision=171500 #constraints=9274 336.49/336.61 c nbDecision=172000 #constraints=9334 341.08/341.29 c nbDecision=172500 #constraints=9427 346.29/346.44 c nbDecision=173000 #constraints=9495 350.79/350.95 c nbDecision=173500 #constraints=9571 356.29/356.46 c nbDecision=174000 #constraints=9620 362.09/362.21 c nbDecision=174500 #constraints=9728 368.88/369.05 c nbDecision=175000 #constraints=9835 375.57/375.71 c nbDecision=175500 #constraints=9895 378.18/378.38 c nbDecision=176000 #constraints=9924 386.38/386.50 c nbDecision=176500 #constraints=10037 390.68/390.89 c nbDecision=177000 #constraints=10076 391.97/392.14 c nbDecision=177500 #constraints=10099 395.07/395.21 c nbDecision=178000 #constraints=10161 409.96/410.16 c nbDecision=178500 #constraints=10296 419.36/419.56 c nbDecision=179000 #constraints=10373 424.86/425.06 c nbDecision=179500 #constraints=10437 440.06/440.23 c nbDecision=180000 #constraints=10539 450.05/450.27 c nbDecision=180500 #constraints=10646 470.35/470.56 c nbDecision=181000 #constraints=10766 477.15/477.36 c nbDecision=181500 #constraints=10870 484.75/484.91 c nbDecision=182000 #constraints=10945 501.94/502.11 c nbDecision=182500 #constraints=11075 505.54/505.76 c nbDecision=183000 #constraints=11099 508.23/508.45 c nbDecision=183500 #constraints=11137 514.54/514.75 c nbDecision=184000 #constraints=11210 515.83/516.06 c nbDecision=184500 #constraints=11230 520.03/520.23 c nbDecision=185000 #constraints=11273 525.23/525.42 c nbDecision=185500 #constraints=11320 529.13/529.31 c nbDecision=186000 #constraints=11352 541.12/541.31 c nbDecision=186500 #constraints=11457 546.22/546.45 c nbDecision=187000 #constraints=11490 555.72/556.00 c nbDecision=187500 #constraints=11557 570.72/570.98 c nbDecision=188000 #constraints=11634 580.81/581.02 c nbDecision=188500 #constraints=11685 592.11/592.33 c nbDecision=189000 #constraints=11769 611.90/612.17 c nbDecision=189500 #constraints=11894 636.19/636.49 c nbDecision=190000 #constraints=12017 642.79/643.00 c nbDecision=190500 #constraints=12065 652.10/652.37 c nbDecision=191000 #constraints=12140 662.29/662.51 c nbDecision=191500 #constraints=12202 671.69/671.94 c nbDecision=192000 #constraints=12268 682.48/682.78 c nbDecision=192500 #constraints=12345 704.28/704.53 c nbDecision=193000 #constraints=12458 727.37/727.66 c nbDecision=193500 #constraints=12584 743.38/743.60 Received signal 15 743.57/743.82 743.57/743.82 s UNKNOWN 743.57/743.82 743.57/743.82 c user time= 741.809 s 743.57/743.82 c system time= 1.79673 s 743.57/743.82 c wall clock time=743.828
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node24/watcher-362678-1176847552 -o ROOT/results/node24/solver-362678-1176847552 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/362678-1176847552/instance-362678-1176847552.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.78 0.94 0.95 3/77 12340 /proc/meminfo: memFree=1654344/2055920 swapFree=4101452/4192956 [pid=12340] ppid=12338 vsize=1620 CPUtime=0 /proc/12340/stat : 12340 (oree) R 12338 12340 12283 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 132673239 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12340/statm: 405 175 126 317 0 84 0 [startup+0.092433 s] /proc/loadavg: 0.78 0.94 0.95 3/77 12340 /proc/meminfo: memFree=1654344/2055920 swapFree=4101452/4192956 [pid=12340] ppid=12338 vsize=3440 CPUtime=0.08 /proc/12340/stat : 12340 (oree) R 12338 12340 12283 0 -1 4194304 818 0 0 0 8 0 0 0 18 0 1 0 132673239 3522560 573 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271349 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12340/statm: 860 573 127 317 0 539 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 3440 [startup+0.101445 s] /proc/loadavg: 0.78 0.94 0.95 3/77 12340 /proc/meminfo: memFree=1654344/2055920 swapFree=4101452/4192956 [pid=12340] ppid=12338 vsize=3440 CPUtime=0.09 /proc/12340/stat : 12340 (oree) R 12338 12340 12283 0 -1 4194304 818 0 0 0 9 0 0 0 18 0 1 0 132673239 3522560 573 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272599 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12340/statm: 860 573 127 317 0 539 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3440 [startup+0.301455 s] /proc/loadavg: 0.78 0.94 0.95 3/77 12340 /proc/meminfo: memFree=1654344/2055920 swapFree=4101452/4192956 [pid=12340] ppid=12338 vsize=7228 CPUtime=0.29 /proc/12340/stat : 12340 (oree) R 12338 12340 12283 0 -1 4194304 1732 0 0 0 29 0 0 0 19 0 1 0 132673239 7401472 1487 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12340/statm: 1807 1487 131 317 0 1486 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7228 [startup+0.701498 s] /proc/loadavg: 0.78 0.94 0.95 3/77 12340 /proc/meminfo: memFree=1654344/2055920 swapFree=4101452/4192956 [pid=12340] ppid=12338 vsize=18564 CPUtime=0.69 /proc/12340/stat : 12340 (oree) R 12338 12340 12283 0 -1 4194304 4700 0 0 0 67 2 0 0 22 0 1 0 132673239 19009536 4228 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602691 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12340/statm: 4641 4228 137 317 0 4320 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 18564 [startup+1.50159 s] /proc/loadavg: 0.78 0.94 0.95 2/78 12341 /proc/meminfo: memFree=1635712/2055920 swapFree=4101452/4192956 [pid=12340] ppid=12338 vsize=21732 CPUtime=1.49 /proc/12340/stat : 12340 (oree) R 12338 12340 12283 0 -1 4194304 5495 0 0 0 147 2 0 0 25 0 1 0 132673239 22253568 5023 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12340/statm: 5433 5023 138 317 0 5112 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 21732 [startup+3.10176 s] /proc/loadavg: 0.80 0.94 0.95 2/78 12341 /proc/meminfo: memFree=1634560/2055920 swapFree=4101452/4192956 [pid=12340] ppid=12338 vsize=21732 CPUtime=3.09 /proc/12340/stat : 12340 (oree) R 12338 12340 12283 0 -1 4194304 5495 0 0 0 307 2 0 0 25 0 1 0 132673239 22253568 5023 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12340/statm: 5433 5023 138 317 0 5112 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21732 [startup+6.30111 s] /proc/loadavg: 0.80 0.94 0.95 2/78 12341 /proc/meminfo: memFree=1634432/2055920 swapFree=4101452/4192956 [pid=12340] ppid=12338 vsize=21732 CPUtime=6.29 /proc/12340/stat : 12340 (oree) R 12338 12340 12283 0 -1 4194304 5496 0 0 0 627 2 0 0 25 0 1 0 132673239 22253568 5024 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12340/statm: 5433 5024 138 317 0 5112 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21732 [startup+12.7018 s] /proc/loadavg: 0.83 0.94 0.95 2/78 12341 /proc/meminfo: memFree=1634432/2055920 swapFree=4101452/4192956 [pid=12340] ppid=12338 vsize=21732 CPUtime=12.69 /proc/12340/stat : 12340 (oree) R 12338 12340 12283 0 -1 4194304 5502 0 0 0 1267 2 0 0 25 0 1 0 132673239 22253568 5030 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12340/statm: 5433 5030 138 317 0 5112 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 21732 [startup+25.5012 s] /proc/loadavg: 0.85 0.94 0.95 2/78 12341 /proc/meminfo: memFree=1633920/2055920 swapFree=4101452/4192956 [pid=12340] ppid=12338 vsize=22820 CPUtime=25.48 /proc/12340/stat : 12340 (oree) R 12338 12340 12283 0 -1 4194304 5723 0 0 0 2546 2 0 0 25 0 1 0 132673239 23367680 5251 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712500 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12340/statm: 5705 5251 139 317 0 5384 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 22820 [startup+51.102 s] /proc/loadavg: 0.90 0.94 0.95 2/78 12341 /proc/meminfo: memFree=1554688/2055920 swapFree=4101516/4192956 [pid=12340] ppid=12338 vsize=114032 CPUtime=51.08 /proc/12340/stat : 12340 (oree) R 12338 12340 12283 0 -1 4194304 26577 0 0 0 5098 10 0 0 25 0 1 0 132673239 116768768 26105 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541595 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12340/statm: 28508 26105 139 317 0 28187 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 114032 [startup+102.306 s] /proc/loadavg: 0.96 0.95 0.95 2/78 12341 /proc/meminfo: memFree=1411840/2055920 swapFree=4101516/4192956 [pid=12340] ppid=12338 vsize=267376 CPUtime=102.27 /proc/12340/stat : 12340 (oree) R 12338 12340 12283 0 -1 4194304 62129 0 0 0 10203 24 0 0 25 0 1 0 132673239 273793024 60672 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12340/statm: 66844 60672 139 317 0 66523 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 267376 [startup+162.301 s] /proc/loadavg: 0.98 0.96 0.95 2/78 12341 /proc/meminfo: memFree=1209088/2055920 swapFree=4101516/4192956 [pid=12340] ppid=12338 vsize=496124 CPUtime=162.25 /proc/12340/stat : 12340 (oree) R 12338 12340 12283 0 -1 4194304 116374 0 0 0 16183 42 0 0 25 0 1 0 132673239 508030976 111598 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602404 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12340/statm: 124031 111598 139 317 0 123710 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 496124 [startup+222.302 s] /proc/loadavg: 0.99 0.96 0.95 2/78 12341 /proc/meminfo: memFree=1034624/2055920 swapFree=4101580/4192956 [pid=12340] ppid=12338 vsize=693472 CPUtime=222.22 /proc/12340/stat : 12340 (oree) R 12338 12340 12283 0 -1 4194304 165251 0 0 0 22162 60 0 0 25 0 1 0 132673239 710115328 154967 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712565 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12340/statm: 173368 154967 139 317 0 173047 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 693472 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.95 2/78 12341 /proc/meminfo: memFree=888320/2055920 swapFree=4101580/4192956 [pid=12340] ppid=12338 vsize=865256 CPUtime=282.2 /proc/12340/stat : 12340 (oree) R 12338 12340 12283 0 -1 4194304 207836 0 0 0 28144 76 0 0 25 0 1 0 132673239 886022144 191448 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12340/statm: 216314 191448 139 317 0 215993 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 865256 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.95 2/78 12341 /proc/meminfo: memFree=761792/2055920 swapFree=4101580/4192956 [pid=12340] ppid=12338 vsize=1011656 CPUtime=342.19 /proc/12340/stat : 12340 (oree) R 12338 12340 12283 0 -1 4194304 243307 0 0 0 34129 90 0 0 25 0 1 0 132673239 1035935744 222896 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12340/statm: 252914 222896 139 317 0 252593 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 1011656 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.95 2/78 12341 /proc/meminfo: memFree=636352/2055920 swapFree=4101644/4192956 [pid=12340] ppid=12338 vsize=1153408 CPUtime=402.17 /proc/12340/stat : 12340 (oree) R 12338 12340 12283 0 -1 4194304 279972 0 0 0 40112 105 0 0 25 0 1 0 132673239 1181089792 254357 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12340/statm: 288352 254357 139 317 0 288031 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 1153408 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.95 2/78 12341 /proc/meminfo: memFree=525568/2055920 swapFree=4101644/4192956 [pid=12340] ppid=12338 vsize=1280748 CPUtime=462.15 /proc/12340/stat : 12340 (oree) R 12338 12340 12283 0 -1 4194304 315218 0 0 0 46098 117 0 0 25 0 1 0 132673239 1311485952 281753 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12340/statm: 320187 281753 139 317 0 319866 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 1280748 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.95 2/78 12341 /proc/meminfo: memFree=419264/2055920 swapFree=4101644/4192956 [pid=12340] ppid=12338 vsize=1407636 CPUtime=522.13 /proc/12340/stat : 12340 (oree) R 12338 12340 12283 0 -1 4194304 355287 0 0 0 52081 132 0 0 25 0 1 0 132673239 1441419264 308724 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12340/statm: 351909 308724 139 317 0 351588 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 1407636 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.95 2/78 12341 /proc/meminfo: memFree=332160/2055920 swapFree=4101708/4192956 [pid=12340] ppid=12338 vsize=1517804 CPUtime=582.12 /proc/12340/stat : 12340 (oree) R 12338 12340 12283 0 -1 4194304 381727 0 0 0 58069 143 0 0 25 0 1 0 132673239 1554231296 330298 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284599 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12340/statm: 379451 330298 139 317 0 379130 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 1517804 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.95 2/78 12341 /proc/meminfo: memFree=236416/2055920 swapFree=4101708/4192956 [pid=12340] ppid=12338 vsize=1633944 CPUtime=642.1 /proc/12340/stat : 12340 (oree) R 12338 12340 12283 0 -1 4194304 414873 0 0 0 64055 155 0 0 25 0 1 0 132673239 1673158656 353789 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12340/statm: 408486 353789 139 317 0 408165 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 1633944 [startup+702.302 s] /proc/loadavg: 0.99 0.97 0.95 2/78 12341 /proc/meminfo: memFree=137664/2055920 swapFree=4101772/4192956 [pid=12340] ppid=12338 vsize=1756768 CPUtime=702.08 /proc/12340/stat : 12340 (oree) R 12338 12340 12283 0 -1 4194304 451512 0 0 0 70039 169 0 0 25 0 1 0 132673239 1798930432 378865 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12340/statm: 439192 378865 139 317 0 438871 0 Current children cumulated CPU time (s) 702.08 Current children cumulated vsize (KiB) 1756768 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+743.605 s] /proc/loadavg: 0.99 0.97 0.95 2/78 12341 /proc/meminfo: memFree=60800/2055920 swapFree=4101772/4192956 [pid=12340] ppid=12338 vsize=1843252 CPUtime=743.38 /proc/12340/stat : 12340 (oree) R 12338 12340 12283 0 -1 4194304 483235 0 0 0 74159 179 0 0 25 0 1 0 132673239 1887490048 397589 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12340/statm: 460813 397589 139 317 0 460492 0 Current children cumulated CPU time (s) 743.38 Current children cumulated vsize (KiB) 1843252 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+743.801 s] /proc/loadavg: 0.99 0.97 0.95 2/78 12341 /proc/meminfo: memFree=60800/2055920 swapFree=4101772/4192956 [pid=12340] ppid=12338 vsize=1843748 CPUtime=743.57 /proc/12340/stat : 12340 (oree) R 12338 12340 12283 0 -1 4194304 483392 0 0 0 74178 179 0 0 25 0 1 0 132673239 1887997952 397660 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718667 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12340/statm: 460937 397660 139 317 0 460616 0 Current children cumulated CPU time (s) 743.57 Current children cumulated vsize (KiB) 1843748 [startup+744.001 s] /proc/loadavg: 0.99 0.97 0.95 2/78 12341 /proc/meminfo: memFree=60800/2055920 swapFree=4101772/4192956 [pid=12340] ppid=12338 vsize=0 CPUtime=743.77 /proc/12340/stat : 12340 (oree) R 12338 12340 12283 0 -1 4194308 483425 0 0 0 74183 194 0 0 25 0 1 0 132673239 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12340/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 743.77 Current children cumulated vsize (KiB) 0 [startup+744.101 s] /proc/loadavg: 0.99 0.97 0.95 2/78 12341 /proc/meminfo: memFree=60800/2055920 swapFree=4101772/4192956 [pid=12340] ppid=12338 vsize=0 CPUtime=743.87 /proc/12340/stat : 12340 (oree) R 12338 12340 12283 0 -1 4194308 483425 0 0 0 74183 204 0 0 25 0 1 0 132673239 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12340/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 743.87 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 744.109 CPU time (s): 743.885 CPU user time (s): 741.83 CPU system time (s): 2.05469 CPU usage (%): 99.9698 Max. virtual memory (cumulated for all children) (KiB): 1843748 getrusage(RUSAGE_CHILDREN,...) data: user time used= 741.83 system time used= 2.05469 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 483425 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= 1436 runsolver used 0.846871 second user time and 1.88571 second system time The end
Begin job on node24 on Tue Apr 17 22:05:52 UTC 2007 IDJOB= 362678 IDBENCH= 1616 IDSOLVER= 172 FILE ID= node24/362678-1176847552 PBS_JOBID= 4590215 Free space on /tmp= 66493 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-trento1.opb COMMAND LINE= oree /tmp/evaluation/362678-1176847552/instance-362678-1176847552.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node24/watcher-362678-1176847552 -o ROOT/results/node24/solver-362678-1176847552 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/362678-1176847552/instance-362678-1176847552.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 38efecbab82080ab0719e9bf155a35ec RANDOM SEED= 934752910 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node24.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.238 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.238 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: 1655008 kB Buffers: 39968 kB Cached: 227536 kB SwapCached: 60732 kB Active: 65144 kB Inactive: 270748 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1655008 kB SwapTotal: 4192956 kB SwapFree: 4101452 kB Dirty: 3556 kB Writeback: 0 kB Mapped: 49344 kB Slab: 50584 kB Committed_AS: 1811780 kB PageTables: 1808 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= 66493 MiB End job on node24 on Tue Apr 17 22:18:18 UTC 2007