Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | 212 | 1800.11 | 1800.57 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-lin.rom.r.opb |
MD5SUM | 3183c84355c854880486b3d148840656 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 120 |
Best CPU time to get the best result obtained on this benchmark | 0.353946 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 120 |
Optimality of the best value was proved | YES |
Number of variables | 1076 |
Total number of constraints | 1030 |
Number of constraints which are clauses | 1030 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 40 |
Number of terms in the objective function | 1076 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1076 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1076 |
Number of bits of the biggest sum of numbers | 11 |
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.00/0.02 c ...done 0.00/0.02 c #vars=1076 #constraints=1031 hasObjective=yes 0.02/0.04 c res. mode=mod 0.02/0.04 c VSIDS like heuristics 0.02/0.04 c complete search running 0.02/0.04 c restart after 401 decisions 0.02/0.04 c nbDecision=500 #constraints=1031 0.02/0.05 c restart after 801 decisions 0.02/0.05 c nbDecision=1000 #constraints=1031 0.02/0.05 c nbDecision=1500 #constraints=1031 0.02/0.05 c restart after 1601 decisions 0.02/0.06 c nbDecision=2000 #constraints=1031 0.02/0.06 c nbDecision=2461 #constraints=1031 0.02/0.06 c linear search for optimum 0.02/0.06 o 216 0.02/0.09 c nbDecision=2499 #constraints=1044 0.02/0.09 o 215 0.09/0.10 c nbDecision=2500 #constraints=1047 0.29/0.38 c nbDecision=3000 #constraints=1167 0.49/0.50 c restart after 3201 decisions 0.49/0.51 c nbDecision=3500 #constraints=1215 0.49/0.52 c nbDecision=4000 #constraints=1215 0.49/0.55 c nbDecision=4137 #constraints=1227 0.49/0.55 o 214 0.69/0.79 c nbDecision=4500 #constraints=1321 0.99/1.03 c nbDecision=5000 #constraints=1416 1.39/1.40 c nbDecision=5500 #constraints=1538 1.79/1.88 c nbDecision=6000 #constraints=1681 2.20/2.30 c restart after 6401 decisions 2.29/2.33 c nbDecision=6500 #constraints=1791 2.29/2.36 c nbDecision=7000 #constraints=1791 2.59/2.61 c nbDecision=7500 #constraints=1852 2.99/3.00 c nbDecision=8000 #constraints=1948 3.39/3.50 c nbDecision=8500 #constraints=2064 3.79/3.89 c nbDecision=9000 #constraints=2150 4.29/4.38 c nbDecision=9500 #constraints=2252 4.89/4.93 c nbDecision=10000 #constraints=2365 5.39/5.40 c nbDecision=10500 #constraints=2454 6.00/6.01 c nbDecision=11000 #constraints=2560 6.69/6.73 c nbDecision=11500 #constraints=2681 7.49/7.58 c nbDecision=12000 #constraints=2809 8.39/8.49 c nbDecision=12500 #constraints=2941 8.89/8.95 c restart after 12801 decisions 9.09/9.14 c nbDecision=13000 #constraints=3004 9.19/9.23 c nbDecision=13500 #constraints=3004 9.79/9.84 c nbDecision=14000 #constraints=3074 10.39/10.43 c nbDecision=14500 #constraints=3140 11.19/11.24 c nbDecision=15000 #constraints=3225 11.89/11.98 c nbDecision=15500 #constraints=3291 12.69/12.74 c nbDecision=16000 #constraints=3362 13.38/13.50 c nbDecision=16500 #constraints=3422 14.19/14.30 c nbDecision=17000 #constraints=3489 15.19/15.21 c nbDecision=17500 #constraints=3566 16.09/16.18 c nbDecision=18000 #constraints=3642 16.99/17.06 c nbDecision=18500 #constraints=3717 17.98/18.08 c nbDecision=19000 #constraints=3793 18.89/18.99 c nbDecision=19500 #constraints=3861 19.79/19.88 c nbDecision=20000 #constraints=3926 20.59/20.67 c nbDecision=20500 #constraints=3988 21.49/21.55 c nbDecision=21000 #constraints=4055 22.29/22.39 c nbDecision=21500 #constraints=4120 23.29/23.30 c nbDecision=22000 #constraints=4198 24.19/24.25 c nbDecision=22500 #constraints=4271 24.98/25.02 c nbDecision=23000 #constraints=4331 25.98/26.08 c nbDecision=23500 #constraints=4418 26.99/27.06 c nbDecision=24000 #constraints=4485 27.99/28.07 c nbDecision=24500 #constraints=4555 29.09/29.10 c nbDecision=25000 #constraints=4619 30.09/30.14 c nbDecision=25500 #constraints=4681 30.29/30.35 c restart after 25601 decisions 30.99/31.01 c nbDecision=26000 #constraints=4695 31.29/31.39 c nbDecision=26500 #constraints=4707 32.38/32.46 c nbDecision=27000 #constraints=4810 33.48/33.59 c nbDecision=27500 #constraints=4913 34.68/34.71 c nbDecision=28000 #constraints=4998 35.78/35.87 c nbDecision=28500 #constraints=5082 37.39/37.47 c nbDecision=29000 #constraints=5214 38.79/38.84 c nbDecision=29500 #constraints=5308 40.08/40.12 c nbDecision=30000 #constraints=5393 41.38/41.40 c nbDecision=30500 #constraints=5481 42.58/42.63 c nbDecision=31000 #constraints=5551 44.18/44.27 c nbDecision=31500 #constraints=5661 45.48/45.56 c nbDecision=32000 #constraints=5735 46.88/46.90 c nbDecision=32500 #constraints=5811 48.39/48.40 c nbDecision=33000 #constraints=5896 50.28/50.38 c nbDecision=33500 #constraints=6028 51.98/52.09 c nbDecision=34000 #constraints=6122 53.58/53.67 c nbDecision=34500 #constraints=6207 55.17/55.26 c nbDecision=35000 #constraints=6295 56.58/56.69 c nbDecision=35500 #constraints=6361 58.68/58.74 c nbDecision=36000 #constraints=6473 60.17/60.24 c nbDecision=36500 #constraints=6543 60.97/61.05 c nbDecision=36788 #constraints=6583 60.97/61.05 o 213 61.58/61.69 c nbDecision=37000 #constraints=6635 62.68/62.74 c nbDecision=37389 #constraints=6706 62.68/62.74 o 212 63.08/63.11 c nbDecision=37500 #constraints=6738 64.68/64.78 c nbDecision=38000 #constraints=6826 66.77/66.83 c nbDecision=38500 #constraints=6945 69.57/69.61 c nbDecision=39000 #constraints=7092 71.87/71.94 c nbDecision=39500 #constraints=7206 73.77/73.81 c nbDecision=40000 #constraints=7306 75.57/75.68 c nbDecision=40500 #constraints=7393 77.47/77.52 c nbDecision=41000 #constraints=7481 79.47/79.59 c nbDecision=41500 #constraints=7582 81.47/81.50 c nbDecision=42000 #constraints=7669 83.78/83.87 c nbDecision=42500 #constraints=7767 86.77/86.85 c nbDecision=43000 #constraints=7900 90.07/90.20 c nbDecision=43500 #constraints=8046 92.67/92.77 c nbDecision=44000 #constraints=8144 95.26/95.38 c nbDecision=44500 #constraints=8245 97.97/98.07 c nbDecision=45000 #constraints=8349 100.47/100.55 c nbDecision=45500 #constraints=8437 102.97/103.09 c nbDecision=46000 #constraints=8530 106.67/106.79 c nbDecision=46500 #constraints=8670 109.36/109.44 c nbDecision=47000 #constraints=8761 111.66/111.75 c nbDecision=47500 #constraints=8831 114.37/114.46 c nbDecision=48000 #constraints=8921 117.67/117.76 c nbDecision=48500 #constraints=9022 121.46/121.58 c nbDecision=49000 #constraints=9155 124.86/124.92 c nbDecision=49500 #constraints=9247 127.96/128.08 c nbDecision=50000 #constraints=9327 130.86/130.98 c nbDecision=50500 #constraints=9405 133.66/133.79 c nbDecision=51000 #constraints=9470 134.96/135.00 c restart after 51201 decisions 136.36/136.44 c nbDecision=51500 #constraints=9500 136.96/137.05 c nbDecision=52000 #constraints=9500 139.75/139.88 c nbDecision=52500 #constraints=9576 142.75/142.88 c nbDecision=53000 #constraints=9659 145.85/145.95 c nbDecision=53500 #constraints=9743 148.86/148.94 c nbDecision=54000 #constraints=9826 152.95/153.04 c nbDecision=54500 #constraints=9958 156.45/156.54 c nbDecision=55000 #constraints=10059 159.55/159.67 c nbDecision=55500 #constraints=10135 162.76/162.83 c nbDecision=56000 #constraints=10220 166.15/166.24 c nbDecision=56500 #constraints=10302 169.95/170.02 c nbDecision=57000 #constraints=10406 173.25/173.37 c nbDecision=57500 #constraints=10481 176.85/176.92 c nbDecision=58000 #constraints=10562 180.84/180.94 c nbDecision=58500 #constraints=10675 184.54/184.63 c nbDecision=59000 #constraints=10761 188.24/188.30 c nbDecision=59500 #constraints=10837 191.75/191.86 c nbDecision=60000 #constraints=10914 195.05/195.12 c nbDecision=60500 #constraints=10981 198.24/198.31 c nbDecision=61000 #constraints=11055 201.25/201.31 c nbDecision=61500 #constraints=11119 204.04/204.17 c nbDecision=62000 #constraints=11177 207.24/207.35 c nbDecision=62500 #constraints=11253 211.04/211.15 c nbDecision=63000 #constraints=11342 215.94/216.00 c nbDecision=63500 #constraints=11478 219.64/219.79 c nbDecision=64000 #constraints=11567 223.24/223.36 c nbDecision=64500 #constraints=11644 227.03/227.16 c nbDecision=65000 #constraints=11728 231.33/231.45 c nbDecision=65500 #constraints=11826 235.33/235.42 c nbDecision=66000 #constraints=11910 239.03/239.15 c nbDecision=66500 #constraints=11980 243.43/243.55 c nbDecision=67000 #constraints=12080 248.33/248.42 c nbDecision=67500 #constraints=12192 252.53/252.61 c nbDecision=68000 #constraints=12272 256.83/256.90 c nbDecision=68500 #constraints=12354 260.72/260.80 c nbDecision=69000 #constraints=12417 264.22/264.39 c nbDecision=69500 #constraints=12489 267.82/267.98 c nbDecision=70000 #constraints=12555 271.32/271.45 c nbDecision=70500 #constraints=12617 274.73/274.86 c nbDecision=71000 #constraints=12676 278.72/278.89 c nbDecision=71500 #constraints=12765 282.72/282.89 c nbDecision=72000 #constraints=12857 288.72/288.87 c nbDecision=72500 #constraints=13002 292.82/292.99 c nbDecision=73000 #constraints=13093 296.52/296.68 c nbDecision=73500 #constraints=13172 300.92/301.00 c nbDecision=74000 #constraints=13256 306.41/306.55 c nbDecision=74500 #constraints=13371 312.21/312.38 c nbDecision=75000 #constraints=13495 317.51/317.60 c nbDecision=75500 #constraints=13588 321.91/322.09 c nbDecision=76000 #constraints=13664 326.31/326.41 c nbDecision=76500 #constraints=13738 331.90/332.00 c nbDecision=77000 #constraints=13853 336.80/336.96 c nbDecision=77500 #constraints=13942 341.81/341.92 c nbDecision=78000 #constraints=14024 346.61/346.72 c nbDecision=78500 #constraints=14104 351.11/351.28 c nbDecision=79000 #constraints=14165 356.31/356.44 c nbDecision=79500 #constraints=14258 362.00/362.12 c nbDecision=80000 #constraints=14373 367.10/367.27 c nbDecision=80500 #constraints=14455 372.09/372.23 c nbDecision=81000 #constraints=14533 376.80/376.97 c nbDecision=81500 #constraints=14600 381.00/381.19 c nbDecision=82000 #constraints=14679 385.69/385.84 c nbDecision=82500 #constraints=14767 392.19/392.33 c nbDecision=83000 #constraints=14912 396.99/397.13 c nbDecision=83500 #constraints=15010 401.59/401.76 c nbDecision=84000 #constraints=15094 406.18/406.36 c nbDecision=84500 #constraints=15185 411.39/411.51 c nbDecision=85000 #constraints=15265 418.49/418.64 c nbDecision=85500 #constraints=15407 424.58/424.73 c nbDecision=86000 #constraints=15501 430.68/430.80 c nbDecision=86500 #constraints=15590 436.18/436.32 c nbDecision=87000 #constraints=15673 442.09/442.24 c nbDecision=87500 #constraints=15767 447.58/447.77 c nbDecision=88000 #constraints=15837 452.78/452.94 c nbDecision=88500 #constraints=15912 457.87/458.04 c nbDecision=89000 #constraints=15973 463.28/463.44 c nbDecision=89500 #constraints=16044 469.28/469.40 c nbDecision=90000 #constraints=16141 475.17/475.33 c nbDecision=90500 #constraints=16220 480.37/480.50 c nbDecision=91000 #constraints=16283 485.27/485.46 c nbDecision=91500 #constraints=16350 492.07/492.24 c nbDecision=92000 #constraints=16440 496.76/496.95 c nbDecision=92500 #constraints=16507 502.66/502.81 c nbDecision=93000 #constraints=16599 508.46/508.68 c nbDecision=93500 #constraints=16671 514.26/514.44 c nbDecision=94000 #constraints=16746 520.06/520.22 c nbDecision=94500 #constraints=16810 526.26/526.40 c nbDecision=95000 #constraints=16892 533.65/533.82 c nbDecision=95500 #constraints=16977 540.45/540.67 c nbDecision=96000 #constraints=17058 547.85/548.01 c nbDecision=96500 #constraints=17146 554.55/554.76 c nbDecision=97000 #constraints=17227 560.35/560.51 c nbDecision=97500 #constraints=17292 565.45/565.63 c nbDecision=98000 #constraints=17357 571.15/571.38 c nbDecision=98500 #constraints=17427 574.65/574.84 c nbDecision=99000 #constraints=17468 580.24/580.40 c nbDecision=99500 #constraints=17550 585.84/586.05 c nbDecision=100000 #constraints=17619 591.44/591.67 c nbDecision=100500 #constraints=17683 596.94/597.19 c nbDecision=101000 #constraints=17752 602.94/603.12 c nbDecision=101500 #constraints=17822 609.74/609.95 c nbDecision=102000 #constraints=17895 615.04/615.27 c restart after 102401 decisions 617.43/617.66 c nbDecision=102500 #constraints=17950 618.73/618.99 c nbDecision=103000 #constraints=17950 622.83/623.03 c nbDecision=103500 #constraints=18022 627.23/627.40 c nbDecision=104000 #constraints=18109 630.94/631.13 c nbDecision=104500 #constraints=18170 635.23/635.44 c nbDecision=105000 #constraints=18238 638.03/638.26 c nbDecision=105500 #constraints=18272 642.63/642.88 c nbDecision=106000 #constraints=18371 645.43/645.69 c nbDecision=106500 #constraints=18429 650.12/650.31 c nbDecision=107000 #constraints=18540 652.73/652.93 c nbDecision=107500 #constraints=18575 659.43/659.61 c nbDecision=108000 #constraints=18663 662.03/662.26 c nbDecision=108500 #constraints=18700 668.72/668.97 c nbDecision=109000 #constraints=18788 671.42/671.63 c nbDecision=109500 #constraints=18823 676.92/677.15 c nbDecision=110000 #constraints=18918 680.21/680.47 c nbDecision=110500 #constraints=18960 683.61/683.86 c nbDecision=111000 #constraints=19013 686.41/686.63 c nbDecision=111500 #constraints=19055 689.91/690.18 c nbDecision=112000 #constraints=19103 696.21/696.48 c nbDecision=112500 #constraints=19187 699.41/699.68 c nbDecision=113000 #constraints=19228 705.71/705.99 c nbDecision=113500 #constraints=19312 709.11/709.37 c nbDecision=114000 #constraints=19359 714.01/714.29 c nbDecision=114500 #constraints=19438 717.21/717.40 c nbDecision=115000 #constraints=19476 720.50/720.77 c nbDecision=115500 #constraints=19527 723.62/723.84 c nbDecision=116000 #constraints=19575 728.61/728.82 c nbDecision=116500 #constraints=19637 733.91/734.13 c nbDecision=117000 #constraints=19710 738.30/738.50 c nbDecision=117500 #constraints=19762 743.40/743.69 c nbDecision=118000 #constraints=19833 747.50/747.71 c nbDecision=118500 #constraints=19893 751.90/752.13 c nbDecision=119000 #constraints=19958 755.30/755.56 c nbDecision=119500 #constraints=19999 759.10/759.32 c nbDecision=120000 #constraints=20063 762.10/762.36 c nbDecision=120500 #constraints=20103 768.09/768.34 c nbDecision=121000 #constraints=20175 771.79/772.04 c nbDecision=121500 #constraints=20226 777.90/778.20 c nbDecision=122000 #constraints=20300 781.70/781.96 c nbDecision=122500 #constraints=20351 786.79/787.10 c nbDecision=123000 #constraints=20429 790.69/790.99 c nbDecision=123500 #constraints=20481 794.59/794.85 c nbDecision=124000 #constraints=20535 797.68/797.95 c nbDecision=124500 #constraints=20582 800.98/801.22 c nbDecision=125000 #constraints=20625 807.89/808.20 c nbDecision=125500 #constraints=20712 810.99/811.24 c nbDecision=126000 #constraints=20750 817.98/818.22 c nbDecision=126500 #constraints=20837 820.78/821.06 c nbDecision=127000 #constraints=20871 826.68/826.96 c nbDecision=127500 #constraints=20963 830.28/830.55 c nbDecision=128000 #constraints=21005 833.88/834.12 c nbDecision=128500 #constraints=21055 836.98/837.23 c nbDecision=129000 #constraints=21099 841.37/841.67 c nbDecision=129500 #constraints=21153 847.57/847.88 c nbDecision=130000 #constraints=21232 851.57/851.83 c nbDecision=130500 #constraints=21278 857.88/858.12 c nbDecision=131000 #constraints=21357 861.77/862.02 c nbDecision=131500 #constraints=21412 866.67/866.97 c nbDecision=132000 #constraints=21482 870.17/870.47 c nbDecision=132500 #constraints=21520 874.27/874.50 c nbDecision=133000 #constraints=21578 877.36/877.69 c nbDecision=133500 #constraints=21623 883.46/883.72 c nbDecision=134000 #constraints=21693 888.26/888.52 c nbDecision=134500 #constraints=21755 893.76/894.09 c nbDecision=135000 #constraints=21818 898.56/898.87 c nbDecision=135500 #constraints=21879 903.06/903.31 c nbDecision=136000 #constraints=21941 907.66/907.98 c nbDecision=136500 #constraints=22002 911.56/911.88 c nbDecision=137000 #constraints=22047 915.76/916.01 c nbDecision=137500 #constraints=22111 918.65/918.94 c nbDecision=138000 #constraints=22143 925.66/925.92 c nbDecision=138500 #constraints=22225 929.16/929.45 c nbDecision=139000 #constraints=22268 936.15/936.45 c nbDecision=139500 #constraints=22350 939.75/940.01 c nbDecision=140000 #constraints=22393 945.65/946.00 c nbDecision=140500 #constraints=22482 949.55/949.81 c nbDecision=141000 #constraints=22524 953.65/954.00 c nbDecision=141500 #constraints=22579 956.95/957.26 c nbDecision=142000 #constraints=22623 960.84/961.10 c nbDecision=142500 #constraints=22669 968.25/968.52 c nbDecision=143000 #constraints=22757 971.45/971.78 c nbDecision=143500 #constraints=22794 978.94/979.20 c nbDecision=144000 #constraints=22882 982.74/983.06 c nbDecision=144500 #constraints=22929 988.14/988.44 c nbDecision=145000 #constraints=23004 991.94/992.28 c nbDecision=145500 #constraints=23046 995.93/996.26 c nbDecision=146000 #constraints=23097 999.55/999.88 c nbDecision=146500 #constraints=23145 1004.74/1005.02 c nbDecision=147000 #constraints=23203 1011.03/1011.34 c nbDecision=147500 #constraints=23278 1015.53/1015.87 c nbDecision=148000 #constraints=23328 1021.63/1021.94 c nbDecision=148500 #constraints=23399 1026.53/1026.81 c nbDecision=149000 #constraints=23463 1031.43/1031.75 c nbDecision=149500 #constraints=23527 1035.42/1035.79 c nbDecision=150000 #constraints=23569 1039.83/1040.10 c nbDecision=150500 #constraints=23630 1043.33/1043.64 c nbDecision=151000 #constraints=23671 1049.83/1050.14 c nbDecision=151500 #constraints=23742 1054.33/1054.64 c nbDecision=152000 #constraints=23796 1060.82/1061.13 c nbDecision=152500 #constraints=23867 1065.32/1065.63 c nbDecision=153000 #constraints=23920 1071.12/1071.40 c nbDecision=153500 #constraints=23996 1075.72/1076.06 c nbDecision=154000 #constraints=24051 1080.02/1080.39 c nbDecision=154500 #constraints=24102 1083.82/1084.17 c nbDecision=155000 #constraints=24152 1087.52/1087.87 c nbDecision=155500 #constraints=24191 1094.22/1094.52 c nbDecision=156000 #constraints=24273 1101.81/1102.11 c nbDecision=156500 #constraints=24345 1109.51/1109.84 c nbDecision=157000 #constraints=24418 1115.21/1115.55 c nbDecision=157500 #constraints=24480 1120.01/1120.37 c nbDecision=158000 #constraints=24543 1126.50/1126.87 c nbDecision=158500 #constraints=24622 1134.40/1134.79 c nbDecision=159000 #constraints=24698 1142.10/1142.46 c nbDecision=159500 #constraints=24769 1147.60/1147.91 c nbDecision=160000 #constraints=24826 1152.20/1152.53 c nbDecision=160500 #constraints=24881 1159.79/1160.19 c nbDecision=161000 #constraints=24967 1167.19/1167.52 c nbDecision=161500 #constraints=25045 1172.89/1173.27 c nbDecision=162000 #constraints=25111 1177.89/1178.27 c nbDecision=162500 #constraints=25170 1182.69/1183.01 c nbDecision=163000 #constraints=25228 1189.49/1189.88 c nbDecision=163500 #constraints=25301 1194.49/1194.88 c nbDecision=164000 #constraints=25371 1200.58/1200.96 c nbDecision=164500 #constraints=25435 1205.29/1205.69 c nbDecision=165000 #constraints=25500 1210.28/1210.68 c nbDecision=165500 #constraints=25563 1213.88/1214.27 c nbDecision=166000 #constraints=25601 1220.69/1221.04 c nbDecision=166500 #constraints=25678 1227.98/1228.32 c nbDecision=167000 #constraints=25752 1235.98/1236.38 c nbDecision=167500 #constraints=25824 1242.77/1243.14 c nbDecision=168000 #constraints=25891 1247.67/1248.08 c nbDecision=168500 #constraints=25953 1254.37/1254.71 c nbDecision=169000 #constraints=26027 1261.97/1262.31 c nbDecision=169500 #constraints=26102 1269.87/1270.21 c nbDecision=170000 #constraints=26173 1276.77/1277.19 c nbDecision=170500 #constraints=26242 1281.57/1281.91 c nbDecision=171000 #constraints=26299 1289.36/1289.79 c nbDecision=171500 #constraints=26379 1295.76/1296.16 c nbDecision=172000 #constraints=26443 1302.96/1303.34 c nbDecision=172500 #constraints=26521 1307.95/1308.38 c nbDecision=173000 #constraints=26579 1313.95/1314.31 c nbDecision=173500 #constraints=26649 1319.16/1319.57 c nbDecision=174000 #constraints=26699 1326.45/1326.83 c nbDecision=174500 #constraints=26789 1330.95/1331.39 c nbDecision=175000 #constraints=26833 1337.85/1338.23 c nbDecision=175500 #constraints=26918 1342.15/1342.54 c nbDecision=176000 #constraints=26966 1346.95/1347.30 c nbDecision=176500 #constraints=27019 1352.65/1353.07 c nbDecision=177000 #constraints=27083 1360.05/1360.48 c nbDecision=177500 #constraints=27157 1368.14/1368.53 c nbDecision=178000 #constraints=27228 1375.54/1375.98 c nbDecision=178500 #constraints=27298 1382.53/1382.95 c nbDecision=179000 #constraints=27376 1387.84/1388.21 c nbDecision=179500 #constraints=27433 1395.44/1395.89 c nbDecision=180000 #constraints=27509 1403.53/1403.93 c nbDecision=180500 #constraints=27579 1410.84/1411.28 c nbDecision=181000 #constraints=27647 1417.63/1418.07 c nbDecision=181500 #constraints=27722 1423.43/1423.89 c nbDecision=182000 #constraints=27775 1430.22/1430.70 c nbDecision=182500 #constraints=27843 1438.72/1439.10 c nbDecision=183000 #constraints=27929 1444.73/1445.11 c nbDecision=183500 #constraints=27996 1450.82/1451.22 c nbDecision=184000 #constraints=28060 1455.42/1455.80 c nbDecision=184500 #constraints=28104 1463.82/1464.23 c nbDecision=185000 #constraints=28197 1467.22/1467.66 c nbDecision=185500 #constraints=28233 1476.11/1476.50 c nbDecision=186000 #constraints=28330 1479.81/1480.28 c nbDecision=186500 #constraints=28369 1485.61/1486.08 c nbDecision=187000 #constraints=28436 1490.91/1491.35 c nbDecision=187500 #constraints=28487 1498.00/1498.41 c nbDecision=188000 #constraints=28562 1506.01/1506.44 c nbDecision=188500 #constraints=28633 1514.81/1515.30 c nbDecision=189000 #constraints=28709 1521.01/1521.42 c nbDecision=189500 #constraints=28766 1527.20/1527.63 c nbDecision=190000 #constraints=28837 1534.50/1534.98 c nbDecision=190500 #constraints=28912 1542.69/1543.17 c nbDecision=191000 #constraints=28984 1551.09/1551.55 c nbDecision=191500 #constraints=29055 1557.59/1558.01 c nbDecision=192000 #constraints=29114 1563.20/1563.65 c nbDecision=192500 #constraints=29171 1571.59/1572.08 c nbDecision=193000 #constraints=29254 1580.49/1580.95 c nbDecision=193500 #constraints=29338 1586.98/1587.41 c nbDecision=194000 #constraints=29403 1592.08/1592.55 c nbDecision=194500 #constraints=29452 1598.38/1598.86 c nbDecision=195000 #constraints=29519 1606.18/1606.69 c nbDecision=195500 #constraints=29592 1611.18/1611.61 c nbDecision=196000 #constraints=29650 1618.98/1619.49 c nbDecision=196500 #constraints=29725 1623.68/1624.19 c nbDecision=197000 #constraints=29779 1630.47/1630.99 c nbDecision=197500 #constraints=29853 1634.77/1635.26 c nbDecision=198000 #constraints=29887 1642.38/1642.84 c nbDecision=198500 #constraints=29956 1647.97/1648.45 c nbDecision=199000 #constraints=30010 1655.77/1656.29 c nbDecision=199500 #constraints=30081 1661.37/1661.87 c nbDecision=200000 #constraints=30134 1668.86/1669.31 c nbDecision=200500 #constraints=30213 1674.36/1674.86 c nbDecision=201000 #constraints=30265 1679.77/1680.22 c nbDecision=201500 #constraints=30316 1684.56/1685.08 c nbDecision=202000 #constraints=30366 1689.17/1689.62 c nbDecision=202500 #constraints=30405 1698.46/1698.91 c nbDecision=203000 #constraints=30492 1702.76/1703.21 c nbDecision=203500 #constraints=30530 1712.05/1712.55 c nbDecision=204000 #constraints=30617 1716.45/1716.91 c nbDecision=204500 #constraints=30655 1721.25/1721.74 c restart after 204801 decisions 1725.95/1726.50 c nbDecision=205000 #constraints=30707 1728.25/1728.78 c nbDecision=205500 #constraints=30707 1734.26/1734.70 c nbDecision=206000 #constraints=30762 1742.45/1742.96 c nbDecision=206500 #constraints=30833 1748.75/1749.22 c nbDecision=207000 #constraints=30910 1753.95/1754.47 c nbDecision=207500 #constraints=31015 1759.34/1759.82 c nbDecision=208000 #constraints=31100 1765.94/1766.48 c nbDecision=208500 #constraints=31238 1774.14/1774.62 c nbDecision=209000 #constraints=31365 1780.04/1780.53 c nbDecision=209500 #constraints=31475 1785.54/1786.01 c nbDecision=210000 #constraints=31575 1791.03/1791.51 c nbDecision=210500 #constraints=31658 1796.23/1796.76 c nbDecision=211000 #constraints=31756 1800.04/1800.50 Received signal 15 1800.04/1800.50 1800.04/1800.50 s SATISFIABLE 1800.04/1800.50 v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 x13 -x14 -x15 x16 -x17 -x18 -x19 x20 x21 -x22 x23 x24 -x25 -x26 x27 -x28 -x29 -x30 1800.04/1800.50 v -x31 -x32 -x33 x34 x35 -x36 -x37 -x38 -x39 -x40 x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 x55 -x56 -x57 1800.04/1800.50 v -x58 -x59 -x60 x61 x62 -x63 -x64 -x65 x66 x67 x68 -x69 -x70 x71 x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 x82 -x83 -x84 -x85 1800.04/1800.50 v -x86 x87 -x88 x89 -x90 -x91 -x92 -x93 x94 -x95 -x96 -x97 -x98 x99 -x100 -x101 x102 x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 1800.04/1800.50 v x111 -x112 x113 x114 x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 x129 -x130 -x131 x132 1800.04/1800.50 v -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 x142 -x143 -x144 -x145 -x146 -x147 x148 -x149 -x150 -x151 -x152 -x153 1800.04/1800.50 v -x154 -x155 -x156 x157 -x158 -x159 -x160 -x161 x162 -x163 -x164 x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 1800.04/1800.50 v -x175 -x176 x177 -x178 -x179 -x180 x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 x189 x190 -x191 -x192 x193 x194 -x195 -x196 1800.04/1800.50 v -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 x206 -x207 -x208 -x209 -x210 x211 -x212 -x213 -x214 -x215 x216 -x217 1800.04/1800.50 v -x218 -x219 x220 -x221 x222 -x223 -x224 -x225 -x226 -x227 -x228 x229 -x230 -x231 -x232 -x233 x234 -x235 -x236 -x237 -x238 1800.04/1800.50 v -x239 -x240 -x241 x242 -x243 -x244 -x245 -x246 x247 x248 -x249 -x250 x251 -x252 -x253 x254 -x255 x256 -x257 -x258 -x259 -x260 1800.04/1800.50 v -x261 x262 -x263 -x264 -x265 -x266 -x267 x268 -x269 x270 -x271 -x272 -x273 -x274 -x275 -x276 x277 -x278 -x279 -x280 -x281 1800.04/1800.50 v -x282 -x283 -x284 x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 x300 -x301 -x302 1800.04/1800.50 v -x303 x304 x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 x322 -x323 1800.04/1800.50 v x324 -x325 -x326 -x327 -x328 -x329 x330 -x331 -x332 -x333 -x334 x335 -x336 -x337 -x338 x339 -x340 -x341 -x342 -x343 -x344 1800.04/1800.50 v -x345 x346 -x347 -x348 -x349 -x350 x351 -x352 x353 -x354 -x355 -x356 -x357 -x358 x359 -x360 -x361 -x362 -x363 -x364 -x365 1800.04/1800.50 v -x366 -x367 -x368 -x369 -x370 -x371 x372 x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 x386 1800.04/1800.50 v x387 -x388 -x389 -x390 -x391 -x392 x393 -x394 x395 -x396 -x397 -x398 x399 -x400 x401 -x402 -x403 -x404 -x405 -x406 -x407 x408 1800.04/1800.50 v -x409 x410 -x411 -x412 -x413 x414 -x415 x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 x424 -x425 x426 x427 -x428 -x429 -x430 1800.04/1800.50 v -x431 x432 x433 -x434 -x435 -x436 -x437 x438 x439 -x440 -x441 -x442 -x443 -x444 x445 -x446 -x447 -x448 x449 -x450 -x451 x452 1800.04/1800.50 v -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 1800.04/1800.50 v x474 -x475 -x476 x477 x478 -x479 x480 -x481 -x482 -x483 -x484 x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 x494 -x495 1800.04/1800.50 v -x496 -x497 -x498 -x499 -x500 -x501 x502 -x503 -x504 x505 -x506 -x507 -x508 -x509 x510 -x511 -x512 -x513 x514 -x515 x516 -x517 1800.04/1800.50 v -x518 -x519 -x520 x521 -x522 x523 -x524 -x525 -x526 -x527 -x528 -x529 x530 -x531 -x532 -x533 -x534 -x535 -x536 x537 -x538 1800.04/1800.50 v -x539 -x540 -x541 -x542 -x543 -x544 x545 -x546 -x547 x548 -x549 -x550 x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 1800.04/1800.50 v -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 x571 -x572 x573 -x574 -x575 -x576 -x577 x578 -x579 -x580 1800.04/1800.50 v -x581 -x582 -x583 -x584 -x585 x586 -x587 -x588 -x589 -x590 x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 x599 -x600 -x601 1800.04/1800.50 v -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 x614 -x615 -x616 x617 x618 -x619 -x620 -x621 -x622 1800.04/1800.50 v -x623 -x624 -x625 x626 -x627 x628 -x629 -x630 -x631 x632 -x633 -x634 -x635 -x636 -x637 -x638 x639 -x640 -x641 -x642 x643 -x644 1800.04/1800.50 v -x645 x646 x647 -x648 -x649 x650 -x651 -x652 -x653 -x654 x655 -x656 -x657 -x658 -x659 -x660 x661 x662 -x663 -x664 x665 x666 1800.04/1800.50 v x667 -x668 -x669 -x670 -x671 x672 -x673 -x674 -x675 -x676 -x677 x678 -x679 -x680 -x681 -x682 -x683 x684 -x685 -x686 -x687 1800.04/1800.50 v -x688 -x689 -x690 -x691 x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 1800.04/1800.50 v x709 -x710 x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 x723 -x724 x725 -x726 -x727 x728 x729 x730 1800.04/1800.50 v -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 x739 -x740 x741 -x742 -x743 -x744 x745 -x746 -x747 x748 -x749 -x750 x751 -x752 1800.04/1800.50 v -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 x773 1800.04/1800.50 v x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 x786 -x787 -x788 x789 -x790 x791 x792 x793 -x794 -x795 1800.04/1800.50 v -x796 x797 -x798 -x799 -x800 x801 -x802 -x803 -x804 x805 -x806 x807 x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 x817 1800.04/1800.50 v x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 x830 x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 1800.04/1800.50 v -x839 x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 x851 -x852 -x853 -x854 -x855 -x856 x857 -x858 -x859 1800.04/1800.50 v -x860 x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 x871 -x872 -x873 -x874 x875 -x876 -x877 -x878 -x879 -x880 1800.04/1800.50 v -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 x894 x895 -x896 x897 x898 -x899 -x900 -x901 1800.04/1800.50 v -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 x913 -x914 -x915 x916 -x917 -x918 -x919 -x920 x921 -x922 1800.04/1800.50 v -x923 -x924 -x925 -x926 x927 -x928 -x929 x930 -x931 -x932 x933 x934 x935 -x936 -x937 x938 -x939 -x940 -x941 -x942 x943 -x944 1800.04/1800.50 v -x945 -x946 x947 x948 -x949 -x950 -x951 -x952 -x953 x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 x963 -x964 -x965 1800.04/1800.50 v -x966 -x967 -x968 -x969 -x970 x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 x985 -x986 1800.04/1800.50 v -x987 -x988 -x989 -x990 -x991 -x992 x993 -x994 -x995 x996 -x997 -x998 x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 1800.04/1800.50 v -x1007 x1008 -x1009 -x1010 -x1011 -x1012 -x1013 x1014 -x1015 -x1016 -x1017 -x1018 x1019 -x1020 -x1021 -x1022 -x1023 -x1024 1800.04/1800.50 v -x1025 -x1026 x1027 -x1028 -x1029 -x1030 x1031 -x1032 -x1033 -x1034 x1035 -x1036 -x1037 -x1038 -x1039 -x1040 x1041 -x1042 1800.04/1800.50 v -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 x1057 -x1058 -x1059 x1060 1800.04/1800.50 v -x1061 -x1062 -x1063 x1064 -x1065 x1066 -x1067 -x1068 -x1069 x1070 -x1071 -x1072 -x1073 -x1074 -x1075 x1076 1800.04/1800.50 1800.04/1800.51 c user time= 1799.39 s 1800.04/1800.51 c system time= 0.660899 s 1800.04/1800.51 c wall clock time=1800.51
OK 212
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node2/watcher-366600-1176999749 -o ROOT/results/node2/solver-366600-1176999749 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/366600-1176999749/instance-366600-1176999749.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.99 0.98 0.99 3/77 30122 /proc/meminfo: memFree=1520056/2055920 swapFree=4149056/4192956 [pid=30122] ppid=30120 vsize=1468 CPUtime=0 /proc/30122/stat : 30122 (oree) R 30120 30122 29165 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 176012662 1503232 165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30122/statm: 367 165 130 317 0 46 0 [startup+0.029259 s] /proc/loadavg: 0.99 0.98 0.99 3/77 30122 /proc/meminfo: memFree=1520056/2055920 swapFree=4149056/4192956 [pid=30122] ppid=30120 vsize=2128 CPUtime=0.02 /proc/30122/stat : 30122 (oree) R 30120 30122 29165 0 -1 4194304 347 0 0 0 2 0 0 0 18 0 1 0 176012662 2179072 329 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602691 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30122/statm: 532 329 137 317 0 211 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 2128 [startup+0.101266 s] /proc/loadavg: 0.99 0.98 0.99 3/77 30122 /proc/meminfo: memFree=1520056/2055920 swapFree=4149056/4192956 [pid=30122] ppid=30120 vsize=2392 CPUtime=0.09 /proc/30122/stat : 30122 (oree) R 30120 30122 29165 0 -1 4194304 456 0 0 0 9 0 0 0 18 0 1 0 176012662 2449408 438 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710868 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30122/statm: 598 438 170 317 0 277 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2392 [startup+0.301288 s] /proc/loadavg: 0.99 0.98 0.99 3/77 30122 /proc/meminfo: memFree=1520056/2055920 swapFree=4149056/4192956 [pid=30122] ppid=30120 vsize=3420 CPUtime=0.29 /proc/30122/stat : 30122 (oree) R 30120 30122 29165 0 -1 4194304 684 0 0 0 29 0 0 0 19 0 1 0 176012662 3502080 666 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30122/statm: 855 666 170 317 0 534 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3420 [startup+0.701328 s] /proc/loadavg: 0.99 0.98 0.99 3/77 30122 /proc/meminfo: memFree=1520056/2055920 swapFree=4149056/4192956 [pid=30122] ppid=30120 vsize=4872 CPUtime=0.69 /proc/30122/stat : 30122 (oree) R 30120 30122 29165 0 -1 4194304 1062 0 0 0 69 0 0 0 22 0 1 0 176012662 4988928 1044 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30122/statm: 1218 1045 170 317 0 897 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4872 [startup+1.50141 s] /proc/loadavg: 0.99 0.98 0.99 2/78 30123 /proc/meminfo: memFree=1515120/2055920 swapFree=4149056/4192956 [pid=30122] ppid=30120 vsize=8580 CPUtime=1.49 /proc/30122/stat : 30122 (oree) R 30120 30122 29165 0 -1 4194304 1978 0 0 0 148 1 0 0 25 0 1 0 176012662 8785920 1960 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30122/statm: 2145 1960 170 317 0 1824 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8580 [startup+3.10158 s] /proc/loadavg: 0.99 0.98 0.99 2/78 30123 /proc/meminfo: memFree=1511280/2055920 swapFree=4149056/4192956 [pid=30122] ppid=30120 vsize=11996 CPUtime=3.09 /proc/30122/stat : 30122 (oree) R 30120 30122 29165 0 -1 4194304 2838 0 0 0 308 1 0 0 25 0 1 0 176012662 12283904 2820 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30122/statm: 2999 2820 170 317 0 2678 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11996 [startup+6.30191 s] /proc/loadavg: 0.99 0.98 0.99 2/78 30123 /proc/meminfo: memFree=1503536/2055920 swapFree=4149056/4192956 [pid=30122] ppid=30120 vsize=19148 CPUtime=6.3 /proc/30122/stat : 30122 (oree) R 30120 30122 29165 0 -1 4194304 4619 0 0 0 628 2 0 0 25 0 1 0 176012662 19607552 4601 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30122/statm: 4787 4601 170 317 0 4466 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 19148 [startup+12.7016 s] /proc/loadavg: 0.99 0.98 0.99 2/78 30123 /proc/meminfo: memFree=1494192/2055920 swapFree=4149056/4192956 [pid=30122] ppid=30120 vsize=28808 CPUtime=12.69 /proc/30122/stat : 30122 (oree) R 30120 30122 29165 0 -1 4194304 6746 0 0 0 1267 2 0 0 25 0 1 0 176012662 29499392 6728 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30122/statm: 7202 6728 170 317 0 6881 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 28808 [startup+25.5019 s] /proc/loadavg: 0.99 0.98 0.99 2/78 30123 /proc/meminfo: memFree=1484144/2055920 swapFree=4149056/4192956 [pid=30122] ppid=30120 vsize=37664 CPUtime=25.48 /proc/30122/stat : 30122 (oree) R 30120 30122 29165 0 -1 4194304 9142 0 0 0 2544 4 0 0 25 0 1 0 176012662 38567936 9124 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30122/statm: 9416 9124 170 317 0 9095 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 37664 [startup+51.1016 s] /proc/loadavg: 0.99 0.98 0.99 2/78 30123 /proc/meminfo: memFree=1464880/2055920 swapFree=4149056/4192956 [pid=30122] ppid=30120 vsize=58576 CPUtime=51.08 /proc/30122/stat : 30122 (oree) R 30120 30122 29165 0 -1 4194304 13961 0 0 0 5101 7 0 0 25 0 1 0 176012662 59981824 13943 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30122/statm: 14644 13943 170 317 0 14323 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 58576 [startup+102.306 s] /proc/loadavg: 0.99 0.98 0.99 2/78 30123 /proc/meminfo: memFree=1441456/2055920 swapFree=4149056/4192956 [pid=30122] ppid=30120 vsize=80084 CPUtime=102.27 /proc/30122/stat : 30122 (oree) R 30120 30122 29165 0 -1 4194304 19791 0 0 0 10215 12 0 0 25 0 1 0 176012662 82006016 19716 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30122/statm: 20021 19716 170 317 0 19700 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 80084 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 30123 /proc/meminfo: memFree=1419760/2055920 swapFree=4149056/4192956 [pid=30122] ppid=30120 vsize=107892 CPUtime=162.25 /proc/30122/stat : 30122 (oree) R 30120 30122 29165 0 -1 4194304 25213 0 0 0 16208 17 0 0 25 0 1 0 176012662 110481408 25138 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711055 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30122/statm: 26973 25138 170 317 0 26652 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 107892 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 30123 /proc/meminfo: memFree=1406128/2055920 swapFree=4149056/4192956 [pid=30122] ppid=30120 vsize=120336 CPUtime=222.24 /proc/30122/stat : 30122 (oree) R 30120 30122 29165 0 -1 4194304 28594 0 0 0 22204 20 0 0 25 0 1 0 176012662 123224064 28519 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30122/statm: 30084 28519 170 317 0 29763 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 120336 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 30123 /proc/meminfo: memFree=1394416/2055920 swapFree=4149056/4192956 [pid=30122] ppid=30120 vsize=130920 CPUtime=282.22 /proc/30122/stat : 30122 (oree) R 30120 30122 29165 0 -1 4194304 31544 0 0 0 28200 22 0 0 25 0 1 0 176012662 134062080 31469 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30122/statm: 32730 31469 170 317 0 32409 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 130920 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 30123 /proc/meminfo: memFree=1383088/2055920 swapFree=4149056/4192956 [pid=30122] ppid=30120 vsize=141492 CPUtime=342.21 /proc/30122/stat : 30122 (oree) R 30120 30122 29165 0 -1 4194304 34329 0 0 0 34196 25 0 0 25 0 1 0 176012662 144887808 34254 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30122/statm: 35373 34254 170 317 0 35052 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 141492 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 30123 /proc/meminfo: memFree=1373168/2055920 swapFree=4149056/4192956 [pid=30122] ppid=30120 vsize=150508 CPUtime=402.18 /proc/30122/stat : 30122 (oree) R 30120 30122 29165 0 -1 4194304 36823 0 0 0 40192 26 0 0 25 0 1 0 176012662 154120192 36748 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30122/statm: 37627 36748 170 317 0 37306 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 150508 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 30123 /proc/meminfo: memFree=1364336/2055920 swapFree=4149056/4192956 [pid=30122] ppid=30120 vsize=158252 CPUtime=462.18 /proc/30122/stat : 30122 (oree) R 30120 30122 29165 0 -1 4194304 39002 0 0 0 46189 29 0 0 25 0 1 0 176012662 162050048 38927 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30122/statm: 39563 38927 170 317 0 39242 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 158252 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 30123 /proc/meminfo: memFree=1357168/2055920 swapFree=4149056/4192956 [pid=30122] ppid=30120 vsize=165568 CPUtime=522.16 /proc/30122/stat : 30122 (oree) R 30120 30122 29165 0 -1 4194304 40951 0 0 0 52186 30 0 0 25 0 1 0 176012662 169541632 40763 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30122/statm: 41392 40763 170 317 0 41071 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 165568 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 30125 /proc/meminfo: memFree=1343728/2055920 swapFree=4149056/4192956 [pid=30122] ppid=30120 vsize=197384 CPUtime=582.14 /proc/30122/stat : 30122 (oree) R 30120 30122 29165 0 -1 4194304 47624 0 0 0 58181 33 0 0 25 0 1 0 176012662 202121216 44070 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30122/statm: 49346 44070 170 317 0 49025 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 197384 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 30125 /proc/meminfo: memFree=1336304/2055920 swapFree=4149056/4192956 [pid=30122] ppid=30120 vsize=204120 CPUtime=642.13 /proc/30122/stat : 30122 (oree) R 30120 30122 29165 0 -1 4194304 49469 0 0 0 64178 35 0 0 25 0 1 0 176012662 209018880 45915 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30122/statm: 51030 45915 170 317 0 50709 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 204120 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 30125 /proc/meminfo: memFree=1303344/2055920 swapFree=4149056/4192956 [pid=30122] ppid=30120 vsize=233372 CPUtime=882.06 /proc/30122/stat : 30122 (oree) R 30120 30122 29165 0 -1 4194304 57746 0 0 0 88164 42 0 0 25 0 1 0 176012662 238972928 54126 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30122/statm: 58343 54126 170 317 0 58022 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 233372 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 30125 /proc/meminfo: memFree=1296368/2055920 swapFree=4149056/4192956 [pid=30122] ppid=30120 vsize=239852 CPUtime=942.05 /proc/30122/stat : 30122 (oree) R 30120 30122 29165 0 -1 4194304 59511 0 0 0 94161 44 0 0 25 0 1 0 176012662 245608448 55891 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30122/statm: 59963 55891 170 317 0 59642 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 239852 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 30125 /proc/meminfo: memFree=1288560/2055920 swapFree=4149056/4192956 [pid=30122] ppid=30120 vsize=246168 CPUtime=1002.04 /proc/30122/stat : 30122 (oree) R 30120 30122 29165 0 -1 4194304 61430 0 0 0 100158 46 0 0 25 0 1 0 176012662 252076032 57810 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30122/statm: 61542 57810 170 317 0 61221 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 246168 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 30125 /proc/meminfo: memFree=1281968/2055920 swapFree=4149056/4192956 [pid=30122] ppid=30120 vsize=252112 CPUtime=1062.02 /proc/30122/stat : 30122 (oree) R 30120 30122 29165 0 -1 4194304 63089 0 0 0 106155 47 0 0 25 0 1 0 176012662 258162688 59469 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30122/statm: 63028 59469 170 317 0 62707 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 252112 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 30125 /proc/meminfo: memFree=1275120/2055920 swapFree=4149056/4192956 [pid=30122] ppid=30120 vsize=258920 CPUtime=1122.01 /proc/30122/stat : 30122 (oree) R 30120 30122 29165 0 -1 4194304 64816 0 0 0 112152 49 0 0 25 0 1 0 176012662 265134080 61163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30122/statm: 64730 61163 170 317 0 64409 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 258920 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 30125 /proc/meminfo: memFree=1268400/2055920 swapFree=4149056/4192956 [pid=30122] ppid=30120 vsize=264460 CPUtime=1181.99 /proc/30122/stat : 30122 (oree) R 30120 30122 29165 0 -1 4194304 66508 0 0 0 118148 51 0 0 25 0 1 0 176012662 270807040 62855 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30122/statm: 66115 62855 170 317 0 65794 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 264460 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 30125 /proc/meminfo: memFree=1262128/2055920 swapFree=4149056/4192956 [pid=30122] ppid=30120 vsize=270108 CPUtime=1241.97 /proc/30122/stat : 30122 (oree) R 30120 30122 29165 0 -1 4194304 68068 0 0 0 124145 52 0 0 25 0 1 0 176012662 276590592 64415 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30122/statm: 67527 64415 170 317 0 67206 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 270108 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 30125 /proc/meminfo: memFree=1256048/2055920 swapFree=4149056/4192956 [pid=30122] ppid=30120 vsize=275500 CPUtime=1301.96 /proc/30122/stat : 30122 (oree) R 30120 30122 29165 0 -1 4194304 69569 0 0 0 130143 53 0 0 25 0 1 0 176012662 282112000 65916 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563820 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30122/statm: 68875 65916 170 317 0 68554 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 275500 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 30125 /proc/meminfo: memFree=1249200/2055920 swapFree=4149056/4192956 [pid=30122] ppid=30120 vsize=281268 CPUtime=1361.94 /proc/30122/stat : 30122 (oree) R 30120 30122 29165 0 -1 4194304 71292 0 0 0 136139 55 0 0 25 0 1 0 176012662 288018432 67639 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30122/statm: 70317 67639 170 317 0 69996 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 281268 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/78 30125 /proc/meminfo: memFree=1243504/2055920 swapFree=4149056/4192956 [pid=30122] ppid=30120 vsize=286148 CPUtime=1421.93 /proc/30122/stat : 30122 (oree) R 30120 30122 29165 0 -1 4194304 72699 0 0 0 142137 56 0 0 25 0 1 0 176012662 293015552 69046 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30122/statm: 71537 69046 170 317 0 71216 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 286148 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 30125 /proc/meminfo: memFree=1237488/2055920 swapFree=4149056/4192956 [pid=30122] ppid=30120 vsize=291536 CPUtime=1481.91 /proc/30122/stat : 30122 (oree) R 30120 30122 29165 0 -1 4194304 74207 0 0 0 148133 58 0 0 25 0 1 0 176012662 298532864 70554 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30122/statm: 72884 70554 170 317 0 72563 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 291536 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 30125 /proc/meminfo: memFree=1231920/2055920 swapFree=4149056/4192956 [pid=30122] ppid=30120 vsize=296656 CPUtime=1541.89 /proc/30122/stat : 30122 (oree) R 30120 30122 29165 0 -1 4194304 75609 0 0 0 154130 59 0 0 25 0 1 0 176012662 303775744 71956 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564080 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30122/statm: 74164 71956 170 317 0 73843 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 296656 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 30125 /proc/meminfo: memFree=1226416/2055920 swapFree=4149056/4192956 [pid=30122] ppid=30120 vsize=301792 CPUtime=1601.88 /proc/30122/stat : 30122 (oree) R 30120 30122 29165 0 -1 4194304 76989 0 0 0 160128 60 0 0 25 0 1 0 176012662 309035008 73336 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563625 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30122/statm: 75448 73336 170 317 0 75127 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 301792 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 30125 /proc/meminfo: memFree=1220656/2055920 swapFree=4149056/4192956 [pid=30122] ppid=30120 vsize=306764 CPUtime=1661.87 /proc/30122/stat : 30122 (oree) R 30120 30122 29165 0 -1 4194304 78412 0 0 0 166125 62 0 0 25 0 1 0 176012662 314126336 74759 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30122/statm: 76691 74759 170 317 0 76370 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 306764 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 30125 /proc/meminfo: memFree=1215088/2055920 swapFree=4149056/4192956 [pid=30122] ppid=30120 vsize=311608 CPUtime=1721.85 /proc/30122/stat : 30122 (oree) R 30120 30122 29165 0 -1 4194304 79794 0 0 0 172122 63 0 0 25 0 1 0 176012662 319086592 76141 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134607799 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30122/statm: 77902 76141 170 317 0 77581 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 311608 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 30125 /proc/meminfo: memFree=1207024/2055920 swapFree=4149056/4192956 [pid=30122] ppid=30120 vsize=318588 CPUtime=1781.84 /proc/30122/stat : 30122 (oree) R 30120 30122 29165 0 -1 4194304 81816 0 0 0 178119 65 0 0 25 0 1 0 176012662 326234112 78163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30122/statm: 79647 78163 170 317 0 79326 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 318588 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 0.98 0.99 2/78 30125 /proc/meminfo: memFree=1203696/2055920 swapFree=4149056/4192956 [pid=30122] ppid=30120 vsize=321208 CPUtime=1800.04 /proc/30122/stat : 30122 (oree) R 30120 30122 29165 0 -1 4194304 82636 0 0 0 179938 66 0 0 25 0 1 0 176012662 328916992 78983 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563634 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30122/statm: 80302 78983 170 317 0 79981 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 321208 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 0.99 0.98 0.99 2/78 30125 /proc/meminfo: memFree=1203696/2055920 swapFree=4149056/4192956 [pid=30122] ppid=30120 vsize=321208 CPUtime=1800.04 /proc/30122/stat : 30122 (oree) R 30120 30122 29165 0 -1 4194304 82636 0 0 0 179938 66 0 0 25 0 1 0 176012662 328916992 78983 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563634 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30122/statm: 80302 78983 170 317 0 79981 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 321208 Child status: 0 Real time (s): 1800.57 CPU time (s): 1800.11 CPU user time (s): 1799.4 CPU system time (s): 0.710891 CPU usage (%): 99.9744 Max. virtual memory (cumulated for all children) (KiB): 321208 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.4 system time used= 0.710891 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 82652 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= 2598 runsolver used 2.13667 second user time and 4.35434 second system time The end
Begin job on node2 on Thu Apr 19 16:22:29 UTC 2007 IDJOB= 366600 IDBENCH= 2871 IDSOLVER= 172 FILE ID= node2/366600-1176999749 PBS_JOBID= 4630458 Free space on /tmp= 66400 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-lin.rom.r.opb COMMAND LINE= oree /tmp/evaluation/366600-1176999749/instance-366600-1176999749.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-366600-1176999749 -o ROOT/results/node2/solver-366600-1176999749 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/366600-1176999749/instance-366600-1176999749.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 3183c84355c854880486b3d148840656 RANDOM SEED= 983270923 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node2.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1520528 kB Buffers: 38676 kB Cached: 413848 kB SwapCached: 12256 kB Active: 318892 kB Inactive: 156900 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1520528 kB SwapTotal: 4192956 kB SwapFree: 4149056 kB Dirty: 1480 kB Writeback: 0 kB Mapped: 30340 kB Slab: 45104 kB Committed_AS: 7198884 kB PageTables: 1860 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= 66400 MiB End job on node2 on Thu Apr 19 16:52:31 UTC 2007