Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (MO) | 792.017 | 792.373 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-dolom1.opb |
MD5SUM | 0b7be4a8ca67db62b7397f891414d40c |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 18720440947643392 |
Optimality of the best value was proved | NO |
Number of variables | 66480 |
Total number of constraints | 1802 |
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 | 1802 |
Minimum length of a constraint | 40 |
Maximum length of a constraint | 66480 |
Number of terms in the objective function | 66480 |
Biggest coefficient in the objective function | 536870912000000000000 |
Number of bits for the biggest coefficient in the objective function | 69 |
Sum of the numbers in the objective function | 35987090508169209146105 |
Number of bits of the sum of numbers in the objective function | 75 |
Biggest number in a constraint | 536870912000000000000 |
Number of bits of the biggest number in a constraint | 69 |
Biggest sum of numbers in a constraint | 35987192908169209146105 |
Number of bits of the biggest sum of numbers | 75 |
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.49/1.51 c ...done 1.49/1.51 c #vars=66480 #constraints=3496 hasObjective=yes 2.20/2.24 c res. mode=mod 2.20/2.24 c VSIDS like heuristics 2.20/2.24 c complete search running 2.59/2.69 c restart after 401 decisions 2.69/2.78 c nbDecision=500 #constraints=3496 2.99/3.07 c restart after 801 decisions 3.20/3.25 c nbDecision=1000 #constraints=3496 3.69/3.73 c nbDecision=1500 #constraints=3496 3.79/3.82 c restart after 1601 decisions 4.19/4.20 c nbDecision=2000 #constraints=3496 4.59/4.67 c nbDecision=2500 #constraints=3496 5.09/5.14 c nbDecision=3000 #constraints=3496 5.29/5.32 c restart after 3201 decisions 5.59/5.61 c nbDecision=3500 #constraints=3496 5.99/6.08 c nbDecision=4000 #constraints=3496 6.49/6.55 c nbDecision=4500 #constraints=3496 6.99/7.02 c nbDecision=5000 #constraints=3496 7.39/7.49 c nbDecision=5500 #constraints=3496 7.89/7.94 c nbDecision=6000 #constraints=3496 8.29/8.31 c restart after 6401 decisions 8.39/8.41 c nbDecision=6500 #constraints=3496 8.79/8.88 c nbDecision=7000 #constraints=3496 9.29/9.35 c nbDecision=7500 #constraints=3496 9.79/9.82 c nbDecision=8000 #constraints=3496 10.19/10.28 c nbDecision=8500 #constraints=3496 10.69/10.75 c nbDecision=9000 #constraints=3496 11.19/11.21 c nbDecision=9500 #constraints=3496 11.59/11.67 c nbDecision=10000 #constraints=3496 12.09/12.13 c nbDecision=10500 #constraints=3496 12.49/12.59 c nbDecision=11000 #constraints=3496 12.99/13.04 c nbDecision=11500 #constraints=3496 13.49/13.50 c nbDecision=12000 #constraints=3496 13.89/13.94 c nbDecision=12500 #constraints=3496 14.19/14.21 c restart after 12801 decisions 14.39/14.40 c nbDecision=13000 #constraints=3496 14.79/14.87 c nbDecision=13500 #constraints=3496 15.29/15.33 c nbDecision=14000 #constraints=3496 15.69/15.80 c nbDecision=14500 #constraints=3496 16.19/16.26 c nbDecision=15000 #constraints=3496 16.69/16.72 c nbDecision=15500 #constraints=3496 17.09/17.18 c nbDecision=16000 #constraints=3496 17.59/17.63 c nbDecision=16500 #constraints=3496 17.98/18.08 c nbDecision=17000 #constraints=3496 18.48/18.53 c nbDecision=17500 #constraints=3496 18.88/18.98 c nbDecision=18000 #constraints=3496 19.38/19.43 c nbDecision=18500 #constraints=3496 19.79/19.87 c nbDecision=19000 #constraints=3496 20.28/20.31 c nbDecision=19500 #constraints=3496 20.68/20.75 c nbDecision=20000 #constraints=3496 21.08/21.19 c nbDecision=20500 #constraints=3496 21.58/21.63 c nbDecision=21000 #constraints=3496 21.99/22.06 c nbDecision=21500 #constraints=3496 22.38/22.49 c nbDecision=22000 #constraints=3496 22.88/22.92 c nbDecision=22500 #constraints=3496 23.28/23.35 c nbDecision=23000 #constraints=3496 23.68/23.78 c nbDecision=23500 #constraints=3496 24.19/24.22 c nbDecision=24000 #constraints=3496 24.58/24.65 c nbDecision=24500 #constraints=3496 24.98/25.07 c nbDecision=25000 #constraints=3496 25.48/25.50 c nbDecision=25500 #constraints=3496 25.48/25.58 c restart after 25601 decisions 25.88/25.97 c nbDecision=26000 #constraints=3496 26.39/26.44 c nbDecision=26500 #constraints=3496 26.88/26.91 c nbDecision=27000 #constraints=3496 27.28/27.38 c nbDecision=27500 #constraints=3496 27.78/27.84 c nbDecision=28000 #constraints=3496 28.28/28.31 c nbDecision=28500 #constraints=3496 28.68/28.77 c nbDecision=29000 #constraints=3496 29.18/29.23 c nbDecision=29500 #constraints=3496 29.59/29.69 c nbDecision=30000 #constraints=3496 30.08/30.14 c nbDecision=30500 #constraints=3496 30.58/30.60 c nbDecision=31000 #constraints=3496 30.98/31.05 c nbDecision=31500 #constraints=3496 31.38/31.50 c nbDecision=32000 #constraints=3496 31.89/31.94 c nbDecision=32500 #constraints=3496 32.28/32.38 c nbDecision=33000 #constraints=3496 32.78/32.83 c nbDecision=33500 #constraints=3496 33.18/33.27 c nbDecision=34000 #constraints=3496 33.68/33.70 c nbDecision=34500 #constraints=3496 34.08/34.13 c nbDecision=35000 #constraints=3496 34.48/34.56 c nbDecision=35500 #constraints=3496 34.88/34.99 c nbDecision=36000 #constraints=3496 35.38/35.42 c nbDecision=36500 #constraints=3496 35.78/35.85 c nbDecision=37000 #constraints=3496 36.18/36.27 c nbDecision=37500 #constraints=3496 36.58/36.70 c nbDecision=38000 #constraints=3496 37.08/37.11 c nbDecision=38500 #constraints=3496 37.48/37.53 c nbDecision=39000 #constraints=3496 37.88/37.95 c nbDecision=39500 #constraints=3496 38.28/38.36 c nbDecision=40000 #constraints=3496 38.68/38.77 c nbDecision=40500 #constraints=3496 39.08/39.18 c nbDecision=41000 #constraints=3496 39.48/39.58 c nbDecision=41500 #constraints=3496 39.88/39.98 c nbDecision=42000 #constraints=3496 40.28/40.38 c nbDecision=42500 #constraints=3496 40.68/40.78 c nbDecision=43000 #constraints=3496 41.08/41.17 c nbDecision=43500 #constraints=3496 41.48/41.56 c nbDecision=44000 #constraints=3496 41.88/41.95 c nbDecision=44500 #constraints=3496 42.28/42.34 c nbDecision=45000 #constraints=3496 42.68/42.73 c nbDecision=45500 #constraints=3496 43.08/43.11 c nbDecision=46000 #constraints=3496 43.48/43.50 c nbDecision=46500 #constraints=3496 43.78/43.88 c nbDecision=47000 #constraints=3496 44.18/44.27 c nbDecision=47500 #constraints=3496 44.58/44.65 c nbDecision=48000 #constraints=3496 44.98/45.03 c nbDecision=48500 #constraints=3496 45.38/45.41 c nbDecision=49000 #constraints=3496 45.68/45.79 c nbDecision=49500 #constraints=3496 46.08/46.16 c nbDecision=50000 #constraints=3496 46.48/46.54 c nbDecision=50500 #constraints=3496 46.88/46.91 c nbDecision=51000 #constraints=3496 46.98/47.06 c restart after 51201 decisions 47.28/47.35 c nbDecision=51500 #constraints=3496 47.78/47.82 c nbDecision=52000 #constraints=3496 48.18/48.29 c nbDecision=52500 #constraints=3496 48.68/48.76 c nbDecision=53000 #constraints=3496 49.18/49.22 c nbDecision=53500 #constraints=3496 49.58/49.67 c nbDecision=54000 #constraints=3496 50.08/50.13 c nbDecision=54500 #constraints=3496 50.48/50.58 c nbDecision=55000 #constraints=3496 50.98/51.04 c nbDecision=55500 #constraints=3496 51.38/51.50 c nbDecision=56000 #constraints=3496 51.88/51.95 c nbDecision=56500 #constraints=3496 52.38/52.40 c nbDecision=57000 #constraints=3496 52.78/52.85 c nbDecision=57500 #constraints=3496 53.17/53.29 c nbDecision=58000 #constraints=3496 53.67/53.73 c nbDecision=58500 #constraints=3496 54.07/54.17 c nbDecision=59000 #constraints=3496 54.57/54.60 c nbDecision=59500 #constraints=3496 54.98/55.04 c nbDecision=60000 #constraints=3496 55.37/55.47 c nbDecision=60500 #constraints=3496 55.87/55.90 c nbDecision=61000 #constraints=3496 56.27/56.33 c nbDecision=61500 #constraints=3496 56.67/56.76 c nbDecision=62000 #constraints=3496 57.08/57.19 c nbDecision=62500 #constraints=3496 57.57/57.61 c nbDecision=63000 #constraints=3496 57.97/58.03 c nbDecision=63500 #constraints=3496 58.37/58.45 c nbDecision=64000 #constraints=3496 58.77/58.87 c nbDecision=64500 #constraints=3496 59.18/59.28 c nbDecision=65000 #constraints=3496 59.58/59.69 c nbDecision=65500 #constraints=3496 59.98/60.09 c nbDecision=66000 #constraints=3496 60.48/60.50 c nbDecision=66500 #constraints=3496 60.88/60.91 c nbDecision=67000 #constraints=3496 61.28/61.31 c nbDecision=67500 #constraints=3496 61.68/61.71 c nbDecision=68000 #constraints=3496 62.08/62.11 c nbDecision=68500 #constraints=3496 62.48/62.50 c nbDecision=69000 #constraints=3496 62.78/62.89 c nbDecision=69500 #constraints=3496 63.18/63.28 c nbDecision=70000 #constraints=3496 63.58/63.68 c nbDecision=70500 #constraints=3496 63.98/64.06 c nbDecision=71000 #constraints=3496 64.38/64.45 c nbDecision=71500 #constraints=3496 64.78/64.84 c nbDecision=72000 #constraints=3496 65.18/65.23 c nbDecision=72500 #constraints=3496 65.58/65.62 c nbDecision=73000 #constraints=3496 65.98/66.00 c nbDecision=73500 #constraints=3496 66.28/66.38 c nbDecision=74000 #constraints=3496 66.68/66.76 c nbDecision=74500 #constraints=3496 67.08/67.14 c nbDecision=75000 #constraints=3496 67.48/67.51 c nbDecision=75500 #constraints=3496 67.78/67.88 c nbDecision=76000 #constraints=3496 68.18/68.25 c nbDecision=76500 #constraints=3496 68.58/68.62 c nbDecision=77000 #constraints=3496 68.88/68.99 c nbDecision=77500 #constraints=3496 69.28/69.35 c nbDecision=78000 #constraints=3496 69.68/69.71 c nbDecision=78500 #constraints=3496 69.98/70.06 c nbDecision=79000 #constraints=3496 70.38/70.42 c nbDecision=79500 #constraints=3496 70.68/70.77 c nbDecision=80000 #constraints=3496 71.08/71.12 c nbDecision=80500 #constraints=3496 71.38/71.47 c nbDecision=81000 #constraints=3496 71.78/71.81 c nbDecision=81500 #constraints=3496 72.08/72.16 c nbDecision=82000 #constraints=3496 72.38/72.50 c nbDecision=82500 #constraints=3496 72.78/72.84 c nbDecision=83000 #constraints=3496 73.08/73.18 c nbDecision=83500 #constraints=3496 73.48/73.53 c nbDecision=84000 #constraints=3496 73.78/73.87 c nbDecision=84500 #constraints=3496 74.18/74.22 c nbDecision=85000 #constraints=3496 74.48/74.56 c nbDecision=85500 #constraints=3496 74.88/74.90 c nbDecision=86000 #constraints=3496 75.18/75.24 c nbDecision=86500 #constraints=3496 75.48/75.58 c nbDecision=87000 #constraints=3496 75.88/75.92 c nbDecision=87500 #constraints=3496 76.18/76.27 c nbDecision=88000 #constraints=3497 76.88/76.91 c nbDecision=88500 #constraints=3546 77.38/77.41 c nbDecision=89000 #constraints=3564 77.68/77.75 c nbDecision=89500 #constraints=3564 78.47/78.58 c nbDecision=90000 #constraints=3629 78.97/79.02 c nbDecision=90500 #constraints=3638 80.07/80.10 c nbDecision=91000 #constraints=3678 80.37/80.44 c nbDecision=91500 #constraints=3678 80.67/80.79 c nbDecision=92000 #constraints=3678 81.07/81.13 c nbDecision=92500 #constraints=3678 81.37/81.47 c nbDecision=93000 #constraints=3678 81.77/81.86 c nbDecision=93500 #constraints=3685 82.17/82.22 c nbDecision=94000 #constraints=3686 82.47/82.56 c nbDecision=94500 #constraints=3686 82.87/82.90 c nbDecision=95000 #constraints=3686 83.17/83.26 c nbDecision=95500 #constraints=3687 83.97/84.00 c nbDecision=96000 #constraints=3721 86.17/86.22 c nbDecision=96500 #constraints=3805 88.17/88.26 c nbDecision=97000 #constraints=3868 88.77/88.80 c nbDecision=97500 #constraints=3886 89.57/89.67 c nbDecision=98000 #constraints=3904 93.47/93.52 c nbDecision=98500 #constraints=4030 97.07/97.11 c nbDecision=99000 #constraints=4116 102.27/102.30 c nbDecision=99500 #constraints=4207 107.86/107.99 c nbDecision=100000 #constraints=4292 110.17/110.26 c nbDecision=100500 #constraints=4340 111.57/111.60 c nbDecision=101000 #constraints=4371 111.97/112.06 c nbDecision=101500 #constraints=4380 113.86/113.93 c nbDecision=102000 #constraints=4431 115.86/115.91 c restart after 102401 decisions 116.47/116.50 c nbDecision=102500 #constraints=4482 116.86/116.99 c nbDecision=103000 #constraints=4482 117.36/117.46 c nbDecision=103500 #constraints=4482 117.86/117.94 c nbDecision=104000 #constraints=4482 118.36/118.41 c nbDecision=104500 #constraints=4482 118.76/118.89 c nbDecision=105000 #constraints=4482 119.26/119.36 c nbDecision=105500 #constraints=4482 119.77/119.87 c nbDecision=106000 #constraints=4482 120.26/120.35 c nbDecision=106500 #constraints=4482 120.76/120.84 c nbDecision=107000 #constraints=4482 121.26/121.31 c nbDecision=107500 #constraints=4482 121.66/121.77 c nbDecision=108000 #constraints=4482 122.16/122.24 c nbDecision=108500 #constraints=4482 122.56/122.68 c nbDecision=109000 #constraints=4482 123.06/123.15 c nbDecision=109500 #constraints=4482 123.56/123.60 c nbDecision=110000 #constraints=4482 123.96/124.07 c nbDecision=110500 #constraints=4482 124.46/124.54 c nbDecision=111000 #constraints=4482 124.96/125.00 c nbDecision=111500 #constraints=4482 125.36/125.44 c nbDecision=112000 #constraints=4482 125.76/125.87 c nbDecision=112500 #constraints=4482 126.26/126.31 c nbDecision=113000 #constraints=4482 126.66/126.75 c nbDecision=113500 #constraints=4482 127.06/127.19 c nbDecision=114000 #constraints=4482 127.56/127.63 c nbDecision=114500 #constraints=4482 127.96/128.06 c nbDecision=115000 #constraints=4482 128.36/128.49 c nbDecision=115500 #constraints=4482 128.86/128.92 c nbDecision=116000 #constraints=4482 129.26/129.34 c nbDecision=116500 #constraints=4482 129.66/129.77 c nbDecision=117000 #constraints=4482 130.06/130.18 c nbDecision=117500 #constraints=4482 130.46/130.60 c nbDecision=118000 #constraints=4482 130.96/131.00 c nbDecision=118500 #constraints=4482 131.36/131.41 c nbDecision=119000 #constraints=4482 131.76/131.82 c nbDecision=119500 #constraints=4482 132.16/132.22 c nbDecision=120000 #constraints=4482 132.56/132.62 c nbDecision=120500 #constraints=4482 132.96/133.02 c nbDecision=121000 #constraints=4482 133.36/133.42 c nbDecision=121500 #constraints=4482 133.76/133.82 c nbDecision=122000 #constraints=4482 134.16/134.22 c nbDecision=122500 #constraints=4482 134.56/134.65 c nbDecision=123000 #constraints=4482 134.96/135.04 c nbDecision=123500 #constraints=4482 135.36/135.44 c nbDecision=124000 #constraints=4482 135.76/135.85 c nbDecision=124500 #constraints=4482 136.16/136.24 c nbDecision=125000 #constraints=4482 136.56/136.61 c nbDecision=125500 #constraints=4482 136.95/137.01 c nbDecision=126000 #constraints=4482 137.25/137.39 c nbDecision=126500 #constraints=4482 137.65/137.78 c nbDecision=127000 #constraints=4482 138.05/138.15 c nbDecision=127500 #constraints=4482 138.46/138.53 c nbDecision=128000 #constraints=4482 138.85/138.92 c nbDecision=128500 #constraints=4482 139.25/139.32 c nbDecision=129000 #constraints=4482 139.55/139.68 c nbDecision=129500 #constraints=4482 139.95/140.05 c nbDecision=130000 #constraints=4482 140.35/140.43 c nbDecision=130500 #constraints=4482 140.65/140.80 c nbDecision=131000 #constraints=4482 141.05/141.18 c nbDecision=131500 #constraints=4482 141.45/141.54 c nbDecision=132000 #constraints=4482 141.85/141.92 c nbDecision=132500 #constraints=4482 142.25/142.32 c nbDecision=133000 #constraints=4482 142.65/142.71 c nbDecision=133500 #constraints=4482 143.05/143.11 c nbDecision=134000 #constraints=4482 143.35/143.47 c nbDecision=134500 #constraints=4482 143.75/143.86 c nbDecision=135000 #constraints=4482 144.15/144.28 c nbDecision=135500 #constraints=4482 144.55/144.69 c nbDecision=136000 #constraints=4482 145.05/145.13 c nbDecision=136500 #constraints=4482 145.45/145.52 c nbDecision=137000 #constraints=4482 145.85/145.93 c nbDecision=137500 #constraints=4482 146.25/146.34 c nbDecision=138000 #constraints=4482 146.65/146.75 c nbDecision=138500 #constraints=4482 147.05/147.14 c nbDecision=139000 #constraints=4482 147.45/147.54 c nbDecision=139500 #constraints=4482 149.05/149.16 c nbDecision=140000 #constraints=4510 150.85/150.98 c nbDecision=140500 #constraints=4561 151.95/152.05 c nbDecision=141000 #constraints=4586 152.94/153.04 c nbDecision=141500 #constraints=4622 153.85/154.00 c nbDecision=142000 #constraints=4640 154.85/154.97 c nbDecision=142500 #constraints=4671 157.65/157.70 c nbDecision=143000 #constraints=4744 158.54/158.69 c nbDecision=143500 #constraints=4763 159.65/159.76 c nbDecision=144000 #constraints=4796 165.55/165.67 c nbDecision=144500 #constraints=4862 171.84/171.90 c nbDecision=145000 #constraints=4966 175.74/175.87 c nbDecision=145500 #constraints=5000 177.24/177.37 c nbDecision=146000 #constraints=5036 179.94/180.01 c nbDecision=146500 #constraints=5119 187.24/187.35 c nbDecision=147000 #constraints=5171 198.53/198.64 c nbDecision=147500 #constraints=5256 199.04/199.17 c nbDecision=148000 #constraints=5257 203.23/203.32 c nbDecision=148500 #constraints=5333 207.43/207.59 c nbDecision=149000 #constraints=5397 213.43/213.55 c nbDecision=149500 #constraints=5483 216.33/216.42 c nbDecision=150000 #constraints=5539 221.93/222.03 c nbDecision=150500 #constraints=5610 225.13/225.29 c nbDecision=151000 #constraints=5682 230.32/230.41 c nbDecision=151500 #constraints=5758 240.12/240.23 c nbDecision=152000 #constraints=5867 251.22/251.34 c nbDecision=152500 #constraints=5981 259.62/259.78 c nbDecision=153000 #constraints=6077 274.62/274.72 c nbDecision=153500 #constraints=6192 276.61/276.75 c nbDecision=154000 #constraints=6212 283.01/283.17 c nbDecision=154500 #constraints=6294 296.41/296.55 c nbDecision=155000 #constraints=6412 301.11/301.22 c nbDecision=155500 #constraints=6438 305.21/305.33 c nbDecision=156000 #constraints=6501 307.81/307.92 c nbDecision=156500 #constraints=6556 312.21/312.38 c nbDecision=157000 #constraints=6637 315.11/315.27 c nbDecision=157500 #constraints=6678 316.91/317.09 c nbDecision=158000 #constraints=6738 321.51/321.65 c nbDecision=158500 #constraints=6830 323.90/324.04 c nbDecision=159000 #constraints=6892 332.50/332.60 c nbDecision=159500 #constraints=7046 337.60/337.77 c nbDecision=160000 #constraints=7137 348.50/348.64 c nbDecision=160500 #constraints=7274 357.69/357.88 c nbDecision=161000 #constraints=7399 370.19/370.36 c nbDecision=161500 #constraints=7553 382.88/383.04 c nbDecision=162000 #constraints=7720 392.49/392.63 c nbDecision=162500 #constraints=7815 401.49/401.69 c nbDecision=163000 #constraints=7893 412.88/413.07 c nbDecision=163500 #constraints=8045 431.18/431.32 c nbDecision=164000 #constraints=8237 452.68/452.87 c nbDecision=164500 #constraints=8348 463.98/464.17 c nbDecision=165000 #constraints=8464 475.87/476.09 c nbDecision=165500 #constraints=8537 488.55/488.70 c nbDecision=166000 #constraints=8608 520.27/520.53 c nbDecision=166500 #constraints=8734 535.91/536.24 c nbDecision=167000 #constraints=8843 565.69/566.02 c nbDecision=167500 #constraints=8985 584.08/584.48 c nbDecision=168000 #constraints=9094 596.19/596.52 c nbDecision=168500 #constraints=9160 605.18/605.51 c nbDecision=169000 #constraints=9243 613.39/613.79 c nbDecision=169500 #constraints=9319 629.28/629.66 c nbDecision=170000 #constraints=9415 643.37/643.73 c nbDecision=170500 #constraints=9483 658.37/658.77 c nbDecision=171000 #constraints=9553 670.46/670.87 c nbDecision=171500 #constraints=9629 690.66/691.01 c nbDecision=172000 #constraints=9741 734.65/735.07 c nbDecision=172500 #constraints=9901 754.75/755.13 c nbDecision=173000 #constraints=9998 777.94/778.32 c nbDecision=173500 #constraints=10104 789.75/790.10 Received signal 15
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node43/watcher-357280-1176993252 -o ROOT/results/node43/solver-357280-1176993252 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357280-1176993252/instance-357280-1176993252.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 0.99 3/77 6849 /proc/meminfo: memFree=1081416/2055920 swapFree=4184648/4192956 [pid=6849] ppid=6847 vsize=1468 CPUtime=0 /proc/6849/stat : 6849 (oree) R 6847 6849 6463 0 -1 4194304 178 0 0 0 0 0 0 0 18 0 1 0 147237016 1503232 160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6849/statm: 367 160 127 317 0 46 0 [startup+0.034203 s] /proc/loadavg: 1.00 1.00 0.99 3/77 6849 /proc/meminfo: memFree=1081416/2055920 swapFree=4184648/4192956 [pid=6849] ppid=6847 vsize=1880 CPUtime=0.03 /proc/6849/stat : 6849 (oree) R 6847 6849 6463 0 -1 4194304 300 0 0 0 3 0 0 0 18 0 1 0 147237016 1925120 249 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6849/statm: 470 249 127 317 0 149 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 1880 [startup+0.102219 s] /proc/loadavg: 1.00 1.00 0.99 3/77 6849 /proc/meminfo: memFree=1081416/2055920 swapFree=4184648/4192956 [pid=6849] ppid=6847 vsize=3956 CPUtime=0.09 /proc/6849/stat : 6849 (oree) R 6847 6849 6463 0 -1 4194304 772 0 0 0 9 0 0 0 18 0 1 0 147237016 4050944 656 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6849/statm: 989 656 127 317 0 668 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3956 [startup+0.301226 s] /proc/loadavg: 1.00 1.00 0.99 3/77 6849 /proc/meminfo: memFree=1081416/2055920 swapFree=4184648/4192956 [pid=6849] ppid=6847 vsize=5520 CPUtime=0.29 /proc/6849/stat : 6849 (oree) R 6847 6849 6463 0 -1 4194304 1420 0 0 0 29 0 0 0 19 0 1 0 147237016 5652480 918 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272922 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6849/statm: 1380 918 131 317 0 1059 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5520 [startup+0.701261 s] /proc/loadavg: 1.00 1.00 0.99 3/77 6849 /proc/meminfo: memFree=1081416/2055920 swapFree=4184648/4192956 [pid=6849] ppid=6847 vsize=12572 CPUtime=0.69 /proc/6849/stat : 6849 (oree) R 6847 6849 6463 0 -1 4194304 3183 0 0 0 68 1 0 0 22 0 1 0 147237016 12873728 2681 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6849/statm: 3143 2681 131 317 0 2822 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12572 [startup+1.50133 s] /proc/loadavg: 1.00 1.00 0.99 2/78 6850 /proc/meminfo: memFree=1066304/2055920 swapFree=4184648/4192956 [pid=6849] ppid=6847 vsize=25968 CPUtime=1.49 /proc/6849/stat : 6849 (oree) R 6847 6849 6463 0 -1 4194304 6741 0 0 0 147 2 0 0 25 0 1 0 147237016 26591232 5689 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712585 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6849/statm: 6492 5689 131 317 0 6171 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 25968 [startup+3.10147 s] /proc/loadavg: 1.00 1.00 0.99 2/78 6850 /proc/meminfo: memFree=1048832/2055920 swapFree=4184648/4192956 [pid=6849] ppid=6847 vsize=37300 CPUtime=3.09 /proc/6849/stat : 6849 (oree) R 6847 6849 6463 0 -1 4194304 9589 0 0 0 305 4 0 0 25 0 1 0 147237016 38195200 8537 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6849/statm: 9325 8537 138 317 0 9004 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 37300 [startup+6.30174 s] /proc/loadavg: 1.00 1.00 0.99 2/78 6850 /proc/meminfo: memFree=1047232/2055920 swapFree=4184648/4192956 [pid=6849] ppid=6847 vsize=37300 CPUtime=6.29 /proc/6849/stat : 6849 (oree) R 6847 6849 6463 0 -1 4194304 9589 0 0 0 625 4 0 0 25 0 1 0 147237016 38195200 8537 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606847 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6849/statm: 9325 8537 138 317 0 9004 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 37300 [startup+12.7013 s] /proc/loadavg: 1.00 1.00 0.99 2/78 6850 /proc/meminfo: memFree=1047304/2055920 swapFree=4184648/4192956 [pid=6849] ppid=6847 vsize=37300 CPUtime=12.69 /proc/6849/stat : 6849 (oree) R 6847 6849 6463 0 -1 4194304 9592 0 0 0 1265 4 0 0 25 0 1 0 147237016 38195200 8540 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6849/statm: 9325 8540 138 317 0 9004 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 37300 [startup+25.5024 s] /proc/loadavg: 1.08 1.02 1.00 2/78 6850 /proc/meminfo: memFree=1047368/2055920 swapFree=4184648/4192956 [pid=6849] ppid=6847 vsize=37428 CPUtime=25.48 /proc/6849/stat : 6849 (oree) R 6847 6849 6463 0 -1 4194304 9600 0 0 0 2544 4 0 0 25 0 1 0 147237016 38326272 8548 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6849/statm: 9357 8548 138 317 0 9036 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 37428 [startup+51.1026 s] /proc/loadavg: 1.05 1.01 1.00 2/78 6850 /proc/meminfo: memFree=1047368/2055920 swapFree=4184648/4192956 [pid=6849] ppid=6847 vsize=37392 CPUtime=51.08 /proc/6849/stat : 6849 (oree) R 6847 6849 6463 0 -1 4194304 9612 0 0 0 5104 4 0 0 25 0 1 0 147237016 38289408 8560 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6849/statm: 9348 8560 138 317 0 9027 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 37392 [startup+102.305 s] /proc/loadavg: 1.07 1.03 1.00 2/78 6850 /proc/meminfo: memFree=961608/2055920 swapFree=4184648/4192956 [pid=6849] ppid=6847 vsize=132388 CPUtime=102.27 /proc/6849/stat : 6849 (oree) R 6847 6849 6463 0 -1 4194304 34370 0 0 0 10213 14 0 0 25 0 1 0 147237016 135565312 30060 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6849/statm: 33097 30060 139 317 0 32776 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 132388 [startup+162.302 s] /proc/loadavg: 1.07 1.03 1.00 2/78 6850 /proc/meminfo: memFree=859208/2055920 swapFree=4184648/4192956 [pid=6849] ppid=6847 vsize=249624 CPUtime=162.25 /proc/6849/stat : 6849 (oree) R 6847 6849 6463 0 -1 4194304 64132 0 0 0 16200 25 0 0 25 0 1 0 147237016 255614976 55730 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6849/statm: 62406 55730 139 317 0 62085 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 249624 [startup+222.302 s] /proc/loadavg: 1.02 1.03 1.00 2/78 6850 /proc/meminfo: memFree=695368/2055920 swapFree=4184648/4192956 [pid=6849] ppid=6847 vsize=435496 CPUtime=222.23 /proc/6849/stat : 6849 (oree) R 6847 6849 6463 0 -1 4194304 114527 0 0 0 22181 42 0 0 25 0 1 0 147237016 445947904 96496 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6849/statm: 108874 96496 139 317 0 108553 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 435496 [startup+282.303 s] /proc/loadavg: 1.01 1.02 1.00 2/78 6852 /proc/meminfo: memFree=542472/2055920 swapFree=4184648/4192956 [pid=6849] ppid=6847 vsize=613756 CPUtime=282.22 /proc/6849/stat : 6849 (oree) R 6847 6849 6463 0 -1 4194304 165983 0 0 0 28163 59 0 0 25 0 1 0 147237016 628486144 135069 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541526 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6849/statm: 153439 135069 139 317 0 153118 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 613756 [startup+342.303 s] /proc/loadavg: 1.00 1.01 1.00 2/78 6852 /proc/meminfo: memFree=350344/2055920 swapFree=4184648/4192956 [pid=6849] ppid=6847 vsize=836792 CPUtime=342.2 /proc/6849/stat : 6849 (oree) R 6847 6849 6463 0 -1 4194304 226567 0 0 0 34140 80 0 0 25 0 1 0 147237016 856875008 182652 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6849/statm: 209198 182652 139 317 0 208877 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 836792 [startup+402.301 s] /proc/loadavg: 1.00 1.01 1.00 2/78 6852 /proc/meminfo: memFree=157704/2055920 swapFree=4184648/4192956 [pid=6849] ppid=6847 vsize=1062892 CPUtime=402.19 /proc/6849/stat : 6849 (oree) R 6847 6849 6463 0 -1 4194304 300712 0 0 0 40113 106 0 0 25 0 1 0 147237016 1088401408 231288 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6849/statm: 265723 231288 139 317 0 265402 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 1062892 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6852 /proc/meminfo: memFree=15688/2055920 swapFree=4184648/4192956 [pid=6849] ppid=6847 vsize=1249612 CPUtime=462.17 /proc/6849/stat : 6849 (oree) R 6847 6849 6463 0 -1 4194304 360076 0 0 0 46089 128 0 0 25 0 1 0 147237016 1279602688 271020 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6849/statm: 312403 271020 139 317 0 312082 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 1249612 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6852 /proc/meminfo: memFree=15624/2055920 swapFree=4184648/4192956 [pid=6849] ppid=6847 vsize=1362032 CPUtime=522.06 /proc/6849/stat : 6849 (oree) R 6847 6849 6463 0 -1 4194304 398993 0 0 0 52062 144 0 0 25 0 1 0 147237016 1394720768 294419 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284117 0 0 4096 17474 0 0 0 17 0 0 0 /proc/6849/statm: 340508 294419 139 317 0 340187 0 Current children cumulated CPU time (s) 522.06 Current children cumulated vsize (KiB) 1362032 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6852 /proc/meminfo: memFree=15560/2055920 swapFree=4184648/4192956 [pid=6849] ppid=6847 vsize=1517796 CPUtime=581.99 /proc/6849/stat : 6849 (oree) R 6847 6849 6463 0 -1 4194304 451276 0 0 0 58036 163 0 0 25 0 1 0 147237016 1554223104 326320 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134533520 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6849/statm: 379449 326320 139 317 0 379128 0 Current children cumulated CPU time (s) 581.99 Current children cumulated vsize (KiB) 1517796 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6852 /proc/meminfo: memFree=15688/2055920 swapFree=4184648/4192956 [pid=6849] ppid=6847 vsize=1611848 CPUtime=641.98 /proc/6849/stat : 6849 (oree) R 6847 6849 6463 0 -1 4194304 478915 0 0 0 64024 174 0 0 25 0 1 0 147237016 1650532352 346789 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6849/statm: 402962 346789 139 317 0 402641 0 Current children cumulated CPU time (s) 641.98 Current children cumulated vsize (KiB) 1611848 [startup+702.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6852 /proc/meminfo: memFree=15496/2055920 swapFree=4184648/4192956 [pid=6849] ppid=6847 vsize=1701416 CPUtime=701.96 /proc/6849/stat : 6849 (oree) R 6847 6849 6463 0 -1 4194304 505566 0 0 0 70011 185 0 0 25 0 1 0 147237016 1742249984 365778 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712722 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6849/statm: 425354 365778 139 317 0 425033 0 Current children cumulated CPU time (s) 701.96 Current children cumulated vsize (KiB) 1701416 [startup+762.305 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6852 /proc/meminfo: memFree=16008/2055920 swapFree=4184648/4192956 [pid=6849] ppid=6847 vsize=1798180 CPUtime=761.95 /proc/6849/stat : 6849 (oree) R 6847 6849 6463 0 -1 4194304 537634 0 0 0 75998 197 0 0 25 0 1 0 147237016 1841336320 386152 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712513 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6849/statm: 449545 386152 139 317 0 449224 0 Current children cumulated CPU time (s) 761.95 Current children cumulated vsize (KiB) 1798180 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+790.102 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6852 /proc/meminfo: memFree=15816/2055920 swapFree=4184648/4192956 [pid=6849] ppid=6847 vsize=1843724 CPUtime=789.75 /proc/6849/stat : 6849 (oree) R 6847 6849 6463 0 -1 4194304 551329 0 0 0 78773 202 0 0 25 0 1 0 147237016 1887973376 395776 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6849/statm: 460931 395776 139 317 0 460610 0 Current children cumulated CPU time (s) 789.75 Current children cumulated vsize (KiB) 1843724 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples [startup+790.207 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6852 /proc/meminfo: memFree=15816/2055920 swapFree=4184648/4192956 [pid=6849] ppid=6847 vsize=1843984 CPUtime=789.85 /proc/6849/stat : 6849 (oree) R 6847 6849 6463 0 -1 4194304 551443 0 0 0 78783 202 0 0 25 0 1 0 147237016 1888239616 395830 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6849/statm: 460996 395830 139 317 0 460675 0 Current children cumulated CPU time (s) 789.85 Current children cumulated vsize (KiB) 1843984 [startup+791.002 s] /proc/loadavg: 1.00 1.00 1.00 2/79 6853 /proc/meminfo: memFree=14976/2055920 swapFree=4184648/4192956 [pid=6849] ppid=6847 vsize=1845156 CPUtime=790.64 /proc/6849/stat : 6849 (oree) R 6847 6849 6463 0 -1 4194304 551735 0 0 0 78862 202 0 0 25 0 1 0 147237016 1889439744 396077 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134558551 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6849/statm: 461289 396077 139 317 0 460968 0 Current children cumulated CPU time (s) 790.64 Current children cumulated vsize (KiB) 1845156 [startup+791.802 s] /proc/loadavg: 1.00 1.00 1.00 2/79 6853 /proc/meminfo: memFree=14976/2055920 swapFree=4184648/4192956 [pid=6849] ppid=6847 vsize=1845288 CPUtime=791.44 /proc/6849/stat : 6849 (oree) R 6847 6849 6463 0 -1 4194304 551873 0 0 0 78942 202 0 0 25 0 1 0 147237016 1889574912 396129 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6849/statm: 461322 396129 139 317 0 461001 0 Current children cumulated CPU time (s) 791.44 Current children cumulated vsize (KiB) 1845288 [startup+792.202 s] /proc/loadavg: 1.00 1.00 1.00 2/79 6853 /proc/meminfo: memFree=15680/2055920 swapFree=4184648/4192956 [pid=6849] ppid=6847 vsize=0 CPUtime=791.83 /proc/6849/stat : 6849 (oree) R 6847 6849 6463 0 -1 4195332 551985 0 0 0 78972 211 0 0 25 0 1 0 147237016 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6849/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 791.83 Current children cumulated vsize (KiB) 0 [startup+792.302 s] /proc/loadavg: 1.00 1.00 1.00 2/79 6853 /proc/meminfo: memFree=15680/2055920 swapFree=4184648/4192956 [pid=6849] ppid=6847 vsize=0 CPUtime=791.93 /proc/6849/stat : 6849 (oree) R 6847 6849 6463 0 -1 4195332 551985 0 0 0 78972 221 0 0 25 0 1 0 147237016 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6849/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 791.93 Current children cumulated vsize (KiB) 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 792.373 CPU time (s): 792.017 CPU user time (s): 789.728 CPU system time (s): 2.28865 CPU usage (%): 99.9551 Max. virtual memory (cumulated for all children) (KiB): 1845816 getrusage(RUSAGE_CHILDREN,...) data: user time used= 789.728 system time used= 2.28865 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 551985 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= 6590 runsolver used 0.893864 second user time and 1.9797 second system time The end
Begin job on node43 on Thu Apr 19 14:34:12 UTC 2007 IDJOB= 357280 IDBENCH= 2344 IDSOLVER= 172 FILE ID= node43/357280-1176993252 PBS_JOBID= 4630428 Free space on /tmp= 66428 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-dolom1.opb COMMAND LINE= oree /tmp/evaluation/357280-1176993252/instance-357280-1176993252.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node43/watcher-357280-1176993252 -o ROOT/results/node43/solver-357280-1176993252 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357280-1176993252/instance-357280-1176993252.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 0b7be4a8ca67db62b7397f891414d40c RANDOM SEED= 802743181 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node43.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.218 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.218 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: 1081824 kB Buffers: 54696 kB Cached: 735568 kB SwapCached: 2072 kB Active: 478188 kB Inactive: 424784 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1081824 kB SwapTotal: 4192956 kB SwapFree: 4184648 kB Dirty: 7072 kB Writeback: 0 kB Mapped: 128440 kB Slab: 56508 kB Committed_AS: 1756680 kB PageTables: 1896 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= 66428 MiB End job on node43 on Thu Apr 19 14:47:25 UTC 2007