Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.29 | 1800.89 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-g250.29.opb |
MD5SUM | b0a7c1cc13cb603591c6d50e3dba1a47 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 14500 |
Total number of constraints | 461872 |
Number of constraints which are clauses | 461872 |
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 | 29 |
Number of terms in the objective function | 14500 |
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 | 14500 |
Number of bits of the sum of numbers in the objective function | 14 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 14500 |
Number of bits of the biggest sum of numbers | 14 |
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... 2.99/3.08 c ...done 2.99/3.08 c #vars=14500 #constraints=461873 hasObjective=yes 5.19/5.27 c res. mode=mod 5.19/5.27 c VSIDS like heuristics 5.19/5.27 c complete search running 8.39/8.50 c restart after 401 decisions 9.29/9.32 c nbDecision=500 #constraints=461904 10.59/10.65 c restart after 801 decisions 11.88/11.94 c nbDecision=1000 #constraints=461915 14.38/14.48 c nbDecision=1500 #constraints=461937 15.18/15.21 c restart after 1601 decisions 17.38/17.49 c nbDecision=2000 #constraints=461952 20.28/20.33 c nbDecision=2500 #constraints=461982 23.28/23.38 c nbDecision=3000 #constraints=462010 24.38/24.41 c restart after 3201 decisions 26.28/26.39 c nbDecision=3500 #constraints=462029 29.08/29.18 c nbDecision=4000 #constraints=462056 32.28/32.31 c nbDecision=4500 #constraints=462082 34.68/34.72 c nbDecision=5000 #constraints=462096 37.88/37.91 c nbDecision=5500 #constraints=462143 42.17/42.25 c nbDecision=6000 #constraints=462189 44.08/44.19 c restart after 6401 decisions 44.98/45.08 c nbDecision=6500 #constraints=462207 48.38/48.41 c nbDecision=7000 #constraints=462241 51.17/51.29 c nbDecision=7500 #constraints=462266 54.18/54.27 c nbDecision=8000 #constraints=462295 57.78/57.86 c nbDecision=8500 #constraints=462330 61.08/61.13 c nbDecision=9000 #constraints=462359 63.98/64.01 c nbDecision=9500 #constraints=462384 67.28/67.30 c nbDecision=10000 #constraints=462415 69.98/70.01 c nbDecision=10500 #constraints=462426 73.27/73.36 c nbDecision=11000 #constraints=462457 77.17/77.25 c nbDecision=11500 #constraints=462504 80.17/80.30 c nbDecision=12000 #constraints=462540 83.07/83.18 c nbDecision=12500 #constraints=462571 86.57/86.69 c restart after 12801 decisions 87.97/88.09 c nbDecision=13000 #constraints=462618 91.67/91.72 c nbDecision=13500 #constraints=462656 94.77/94.89 c nbDecision=14000 #constraints=462687 98.77/98.82 c nbDecision=14500 #constraints=462729 102.27/102.38 c nbDecision=15000 #constraints=462760 107.16/107.26 c nbDecision=15500 #constraints=462818 111.56/111.68 c nbDecision=16000 #constraints=462866 117.76/117.83 c nbDecision=16500 #constraints=462940 121.86/121.96 c nbDecision=17000 #constraints=462982 125.95/126.01 c nbDecision=17500 #constraints=463028 133.65/133.79 c nbDecision=18000 #constraints=463120 137.05/137.12 c nbDecision=18500 #constraints=463156 140.85/140.97 c nbDecision=19000 #constraints=463195 146.15/146.24 c nbDecision=19500 #constraints=463257 149.64/149.76 c nbDecision=20000 #constraints=463290 153.34/153.40 c nbDecision=20500 #constraints=463329 157.26/157.36 c nbDecision=21000 #constraints=463377 160.35/160.43 c nbDecision=21500 #constraints=463394 166.95/167.07 c nbDecision=22000 #constraints=463472 172.74/172.84 c nbDecision=22500 #constraints=463530 177.44/177.54 c nbDecision=23000 #constraints=463583 180.85/180.97 c nbDecision=23500 #constraints=463612 188.24/188.39 c nbDecision=24000 #constraints=463693 191.74/191.83 c nbDecision=24500 #constraints=463719 198.23/198.36 c nbDecision=25000 #constraints=463783 202.13/202.20 c nbDecision=25500 #constraints=463817 202.63/202.77 c restart after 25601 decisions 208.23/208.38 c nbDecision=26000 #constraints=463866 216.13/216.27 c nbDecision=26500 #constraints=463943 220.94/221.01 c nbDecision=27000 #constraints=463986 224.73/224.84 c nbDecision=27500 #constraints=464024 231.23/231.37 c nbDecision=28000 #constraints=464096 236.12/236.26 c nbDecision=28500 #constraints=464151 241.62/241.76 c nbDecision=29000 #constraints=464216 245.02/245.15 c nbDecision=29500 #constraints=464236 254.52/254.64 c nbDecision=30000 #constraints=464332 260.01/260.11 c nbDecision=30500 #constraints=464389 263.51/263.68 c nbDecision=31000 #constraints=464413 270.82/270.92 c nbDecision=31500 #constraints=464487 283.61/283.77 c nbDecision=32000 #constraints=464616 289.01/289.12 c nbDecision=32500 #constraints=464662 295.72/295.83 c nbDecision=33000 #constraints=464717 303.11/303.30 c nbDecision=33500 #constraints=464791 309.31/309.47 c nbDecision=34000 #constraints=464860 313.90/314.09 c nbDecision=34500 #constraints=464904 319.30/319.44 c nbDecision=35000 #constraints=464951 323.70/323.87 c nbDecision=35500 #constraints=464981 333.49/333.60 c nbDecision=36000 #constraints=465070 339.00/339.14 c nbDecision=36500 #constraints=465115 349.89/350.06 c nbDecision=37000 #constraints=465222 354.19/354.35 c nbDecision=37500 #constraints=465243 363.99/364.12 c nbDecision=38000 #constraints=465326 367.49/367.63 c nbDecision=38500 #constraints=465337 372.18/372.34 c nbDecision=39000 #constraints=465358 376.68/376.86 c nbDecision=39500 #constraints=465385 381.08/381.28 c nbDecision=40000 #constraints=465426 385.78/385.99 c nbDecision=40500 #constraints=465474 389.88/390.04 c nbDecision=41000 #constraints=465507 396.18/396.37 c nbDecision=41500 #constraints=465567 402.18/402.39 c nbDecision=42000 #constraints=465624 407.08/407.29 c nbDecision=42500 #constraints=465664 412.87/413.09 c nbDecision=43000 #constraints=465711 417.56/417.74 c nbDecision=43500 #constraints=465750 425.73/425.96 c nbDecision=44000 #constraints=465830 429.93/430.10 c nbDecision=44500 #constraints=465860 434.81/435.06 c nbDecision=45000 #constraints=465900 443.70/443.98 c nbDecision=45500 #constraints=465986 448.39/448.70 c nbDecision=46000 #constraints=466018 454.59/454.85 c nbDecision=46500 #constraints=466071 459.38/459.65 c nbDecision=47000 #constraints=466098 471.47/471.71 c nbDecision=47500 #constraints=466207 482.06/482.31 c nbDecision=48000 #constraints=466295 488.56/488.88 c nbDecision=48500 #constraints=466338 494.67/494.97 c nbDecision=49000 #constraints=466377 502.16/502.47 c nbDecision=49500 #constraints=466422 505.86/506.17 c nbDecision=50000 #constraints=466447 512.06/512.38 c nbDecision=50500 #constraints=466510 522.35/522.68 c nbDecision=51000 #constraints=466607 524.85/525.19 c restart after 51201 decisions 530.45/530.79 c nbDecision=51500 #constraints=466667 534.56/534.88 c nbDecision=52000 #constraints=466689 540.16/540.43 c nbDecision=52500 #constraints=466730 545.95/546.22 c nbDecision=53000 #constraints=466781 557.75/558.01 c nbDecision=53500 #constraints=466865 563.84/564.11 c nbDecision=54000 #constraints=466900 571.14/571.44 c nbDecision=54500 #constraints=466945 576.34/576.67 c nbDecision=55000 #constraints=466977 583.84/584.13 c nbDecision=55500 #constraints=467049 588.63/588.96 c nbDecision=56000 #constraints=467081 595.34/595.69 c nbDecision=56500 #constraints=467118 603.84/604.14 c nbDecision=57000 #constraints=467171 608.83/609.18 c nbDecision=57500 #constraints=467182 614.63/614.94 c nbDecision=58000 #constraints=467227 620.43/620.73 c nbDecision=58500 #constraints=467264 628.23/628.59 c nbDecision=59000 #constraints=467329 633.92/634.23 c nbDecision=59500 #constraints=467373 638.82/639.16 c nbDecision=60000 #constraints=467402 650.72/651.09 c nbDecision=60500 #constraints=467510 657.22/657.54 c nbDecision=61000 #constraints=467553 663.52/663.86 c nbDecision=61500 #constraints=467589 670.12/670.41 c nbDecision=62000 #constraints=467628 677.32/677.64 c nbDecision=62500 #constraints=467674 683.01/683.32 c nbDecision=63000 #constraints=467719 693.00/693.30 c nbDecision=63500 #constraints=467807 697.60/697.96 c nbDecision=64000 #constraints=467838 702.31/702.62 c nbDecision=64500 #constraints=467862 708.81/709.16 c nbDecision=65000 #constraints=467897 721.10/721.48 c nbDecision=65500 #constraints=467998 728.70/729.01 c nbDecision=66000 #constraints=468043 734.29/734.68 c nbDecision=66500 #constraints=468080 740.89/741.26 c nbDecision=67000 #constraints=468132 746.89/747.25 c nbDecision=67500 #constraints=468180 761.29/761.70 c nbDecision=68000 #constraints=468309 768.69/769.06 c nbDecision=68500 #constraints=468365 773.48/773.82 c nbDecision=69000 #constraints=468384 783.68/784.06 c nbDecision=69500 #constraints=468468 796.67/797.06 c nbDecision=70000 #constraints=468568 809.18/809.55 c nbDecision=70500 #constraints=468669 816.58/816.93 c nbDecision=71000 #constraints=468715 826.17/826.55 c nbDecision=71500 #constraints=468772 835.77/836.11 c nbDecision=72000 #constraints=468828 846.46/846.82 c nbDecision=72500 #constraints=468888 854.27/854.61 c nbDecision=73000 #constraints=468924 865.27/865.64 c nbDecision=73500 #constraints=469015 870.26/870.60 c nbDecision=74000 #constraints=469032 884.15/884.53 c nbDecision=74500 #constraints=469132 895.26/895.61 c nbDecision=75000 #constraints=469204 904.65/905.00 c nbDecision=75500 #constraints=469275 915.24/915.63 c nbDecision=76000 #constraints=469353 928.94/929.34 c nbDecision=76500 #constraints=469447 937.44/937.88 c nbDecision=77000 #constraints=469499 947.04/947.43 c nbDecision=77500 #constraints=469557 957.43/957.88 c nbDecision=78000 #constraints=469601 963.43/963.89 c nbDecision=78500 #constraints=469637 970.63/971.06 c nbDecision=79000 #constraints=469696 977.32/977.75 c nbDecision=79500 #constraints=469730 987.83/988.21 c nbDecision=80000 #constraints=469793 998.52/998.93 c nbDecision=80500 #constraints=469860 1005.12/1005.55 c nbDecision=81000 #constraints=469886 1013.31/1013.70 c nbDecision=81500 #constraints=469935 1020.81/1021.29 c nbDecision=82000 #constraints=469979 1031.82/1032.22 c nbDecision=82500 #constraints=470059 1046.91/1047.30 c nbDecision=83000 #constraints=470160 1055.51/1055.94 c nbDecision=83500 #constraints=470205 1064.20/1064.69 c nbDecision=84000 #constraints=470251 1073.00/1073.45 c nbDecision=84500 #constraints=470305 1079.30/1079.79 c nbDecision=85000 #constraints=470339 1090.10/1090.54 c nbDecision=85500 #constraints=470400 1096.69/1097.14 c nbDecision=86000 #constraints=470436 1110.20/1110.64 c nbDecision=86500 #constraints=470520 1119.49/1119.90 c nbDecision=87000 #constraints=470574 1127.79/1128.29 c nbDecision=87500 #constraints=470613 1136.68/1137.13 c nbDecision=88000 #constraints=470674 1145.28/1145.79 c nbDecision=88500 #constraints=470722 1157.37/1157.87 c nbDecision=89000 #constraints=470790 1163.67/1164.15 c nbDecision=89500 #constraints=470812 1176.18/1176.61 c nbDecision=90000 #constraints=470886 1184.18/1184.64 c nbDecision=90500 #constraints=470908 1191.87/1192.37 c nbDecision=91000 #constraints=470943 1198.96/1199.48 c nbDecision=91500 #constraints=470982 1210.56/1211.07 c nbDecision=92000 #constraints=471038 1220.57/1221.01 c nbDecision=92500 #constraints=471081 1230.86/1231.38 c nbDecision=93000 #constraints=471139 1238.76/1239.22 c nbDecision=93500 #constraints=471169 1251.55/1252.05 c nbDecision=94000 #constraints=471234 1267.25/1267.79 c nbDecision=94500 #constraints=471320 1280.55/1281.05 c nbDecision=95000 #constraints=471390 1288.84/1289.35 c nbDecision=95500 #constraints=471411 1296.44/1296.97 c nbDecision=96000 #constraints=471448 1305.33/1305.89 c nbDecision=96500 #constraints=471486 1311.23/1311.79 c nbDecision=97000 #constraints=471506 1317.63/1318.20 c nbDecision=97500 #constraints=471530 1328.23/1328.76 c nbDecision=98000 #constraints=471573 1335.83/1336.40 c nbDecision=98500 #constraints=471595 1344.33/1344.84 c nbDecision=99000 #constraints=471629 1351.73/1352.22 c nbDecision=99500 #constraints=471655 1360.82/1361.34 c nbDecision=100000 #constraints=471692 1367.02/1367.56 c nbDecision=100500 #constraints=471707 1374.62/1375.17 c nbDecision=101000 #constraints=471727 1382.82/1383.30 c nbDecision=101500 #constraints=471751 1390.61/1391.17 c nbDecision=102000 #constraints=471780 1397.71/1398.20 c restart after 102401 decisions 1400.81/1401.40 c nbDecision=102500 #constraints=471798 1409.00/1409.52 c nbDecision=103000 #constraints=471825 1415.40/1415.97 c nbDecision=103500 #constraints=471852 1425.70/1426.28 c nbDecision=104000 #constraints=471916 1434.20/1434.80 c nbDecision=104500 #constraints=471957 1446.00/1446.54 c nbDecision=105000 #constraints=472020 1457.19/1457.70 c nbDecision=105500 #constraints=472085 1467.09/1467.64 c nbDecision=106000 #constraints=472134 1484.58/1485.19 c nbDecision=106500 #constraints=472237 1495.28/1495.87 c nbDecision=107000 #constraints=472283 1507.48/1508.06 c nbDecision=107500 #constraints=472347 1521.58/1522.10 c nbDecision=108000 #constraints=472415 1530.47/1531.07 c nbDecision=108500 #constraints=472452 1544.77/1545.35 c nbDecision=109000 #constraints=472508 1554.96/1555.58 c nbDecision=109500 #constraints=472541 1563.26/1563.87 c nbDecision=110000 #constraints=472572 1576.36/1576.98 c nbDecision=110500 #constraints=472636 1586.36/1586.99 c nbDecision=111000 #constraints=472680 1595.15/1595.71 c nbDecision=111500 #constraints=472718 1605.55/1606.11 c nbDecision=112000 #constraints=472776 1620.75/1621.31 c nbDecision=112500 #constraints=472869 1631.45/1632.01 c nbDecision=113000 #constraints=472927 1644.04/1644.60 c nbDecision=113500 #constraints=472992 1655.34/1655.99 c nbDecision=114000 #constraints=473042 1678.63/1679.21 c nbDecision=114500 #constraints=473158 1694.83/1695.41 c nbDecision=115000 #constraints=473247 1718.01/1718.62 c nbDecision=115500 #constraints=473374 1745.61/1746.29 c nbDecision=116000 #constraints=473534 1756.01/1756.61 c nbDecision=116500 #constraints=473577 1780.80/1781.40 c nbDecision=117000 #constraints=473704 1800.01/1800.61 Received signal 15 1800.11/1800.77 1800.11/1800.77 s UNKNOWN 1800.11/1800.77 1800.11/1800.77 c user time= 1799.67 s 1800.11/1800.77 c system time= 0.512922 s 1800.11/1800.77 c wall clock time=1800.78
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node44/watcher-357124-1176987250 -o ROOT/results/node44/solver-357124-1176987250 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357124-1176987250/instance-357124-1176987250.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.92 0.98 0.99 3/77 3749 /proc/meminfo: memFree=1686344/2055920 swapFree=4150992/4192956 [pid=3749] ppid=3747 vsize=1620 CPUtime=0 /proc/3749/stat : 3749 (oree) R 3747 3749 1820 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 146636823 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3749/statm: 405 175 126 317 0 84 0 [startup+0.081883 s] /proc/loadavg: 0.92 0.98 0.99 3/77 3749 /proc/meminfo: memFree=1686344/2055920 swapFree=4150992/4192956 [pid=3749] ppid=3747 vsize=3244 CPUtime=0.07 /proc/3749/stat : 3749 (oree) R 3747 3749 1820 0 -1 4194304 636 0 0 0 7 0 0 0 18 0 1 0 146636823 3321856 585 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3749/statm: 811 585 130 317 0 490 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 3244 [startup+0.101884 s] /proc/loadavg: 0.92 0.98 0.99 3/77 3749 /proc/meminfo: memFree=1686344/2055920 swapFree=4150992/4192956 [pid=3749] ppid=3747 vsize=3640 CPUtime=0.09 /proc/3749/stat : 3749 (oree) R 3747 3749 1820 0 -1 4194304 752 0 0 0 9 0 0 0 18 0 1 0 146636823 3727360 701 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3749/statm: 910 702 130 317 0 589 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3640 [startup+0.301904 s] /proc/loadavg: 0.92 0.98 0.99 3/77 3749 /proc/meminfo: memFree=1686344/2055920 swapFree=4150992/4192956 [pid=3749] ppid=3747 vsize=8388 CPUtime=0.29 /proc/3749/stat : 3749 (oree) R 3747 3749 1820 0 -1 4194304 1946 0 0 0 28 1 0 0 19 0 1 0 146636823 8589312 1862 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3749/statm: 2097 1862 130 317 0 1776 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8388 [startup+0.701945 s] /proc/loadavg: 0.92 0.98 0.99 3/77 3749 /proc/meminfo: memFree=1686344/2055920 swapFree=4150992/4192956 [pid=3749] ppid=3747 vsize=17752 CPUtime=0.69 /proc/3749/stat : 3749 (oree) R 3747 3749 1820 0 -1 4194304 4334 0 0 0 67 2 0 0 23 0 1 0 146636823 18178048 4185 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3749/statm: 4438 4185 130 317 0 4117 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17752 [startup+1.50203 s] /proc/loadavg: 0.92 0.98 0.99 2/78 3750 /proc/meminfo: memFree=1663168/2055920 swapFree=4150992/4192956 [pid=3749] ppid=3747 vsize=36348 CPUtime=1.49 /proc/3749/stat : 3749 (oree) R 3747 3749 1820 0 -1 4194304 9098 0 0 0 145 4 0 0 25 0 1 0 146636823 37220352 8820 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134831089 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3749/statm: 9087 8820 130 317 0 8766 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 36348 [startup+3.10119 s] /proc/loadavg: 0.93 0.98 0.99 2/78 3750 /proc/meminfo: memFree=1637504/2055920 swapFree=4150992/4192956 [pid=3749] ppid=3747 vsize=88808 CPUtime=3.09 /proc/3749/stat : 3749 (oree) R 3747 3749 1820 0 -1 4194304 19766 0 0 0 299 10 0 0 25 0 1 0 146636823 90939392 19231 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134543614 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3749/statm: 22202 19234 136 317 0 21881 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 88808 [startup+6.30152 s] /proc/loadavg: 0.93 0.98 0.99 2/78 3750 /proc/meminfo: memFree=1576320/2055920 swapFree=4150992/4192956 [pid=3749] ppid=3747 vsize=138000 CPUtime=6.29 /proc/3749/stat : 3749 (oree) R 3747 3749 1820 0 -1 4194304 34771 0 0 0 613 16 0 0 25 0 1 0 146636823 141312000 31078 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712518 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3749/statm: 34500 31078 139 317 0 34179 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 138000 [startup+12.7012 s] /proc/loadavg: 0.94 0.98 0.99 2/78 3750 /proc/meminfo: memFree=1561984/2055920 swapFree=4150992/4192956 [pid=3749] ppid=3747 vsize=138000 CPUtime=12.68 /proc/3749/stat : 3749 (oree) R 3747 3749 1820 0 -1 4194304 34771 0 0 0 1252 16 0 0 25 0 1 0 146636823 141312000 31078 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3749/statm: 34500 31078 139 317 0 34179 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 138000 [startup+25.5015 s] /proc/loadavg: 0.95 0.98 0.99 2/78 3750 /proc/meminfo: memFree=1562176/2055920 swapFree=4150992/4192956 [pid=3749] ppid=3747 vsize=138000 CPUtime=25.48 /proc/3749/stat : 3749 (oree) R 3747 3749 1820 0 -1 4194304 34771 0 0 0 2532 16 0 0 25 0 1 0 146636823 141312000 31078 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604450 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3749/statm: 34500 31078 139 317 0 34179 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 138000 [startup+51.1011 s] /proc/loadavg: 0.96 0.98 0.99 2/78 3750 /proc/meminfo: memFree=1562176/2055920 swapFree=4150992/4192956 [pid=3749] ppid=3747 vsize=138000 CPUtime=51.07 /proc/3749/stat : 3749 (oree) R 3747 3749 1820 0 -1 4194304 34772 0 0 0 5091 16 0 0 25 0 1 0 146636823 141312000 31079 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3749/statm: 34500 31079 139 317 0 34179 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 138000 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.99 2/78 3750 /proc/meminfo: memFree=1562240/2055920 swapFree=4150992/4192956 [pid=3749] ppid=3747 vsize=138000 CPUtime=102.27 /proc/3749/stat : 3749 (oree) R 3747 3749 1820 0 -1 4194304 34776 0 0 0 10210 17 0 0 25 0 1 0 146636823 141312000 31083 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3749/statm: 34500 31083 139 317 0 34179 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 138000 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3750 /proc/meminfo: memFree=1560960/2055920 swapFree=4150992/4192956 [pid=3749] ppid=3747 vsize=139480 CPUtime=162.25 /proc/3749/stat : 3749 (oree) R 3747 3749 1820 0 -1 4194304 35144 0 0 0 16207 18 0 0 25 0 1 0 146636823 142827520 31451 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604327 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3749/statm: 34870 31451 139 317 0 34549 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 139480 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3750 /proc/meminfo: memFree=1551168/2055920 swapFree=4150992/4192956 [pid=3749] ppid=3747 vsize=149196 CPUtime=222.23 /proc/3749/stat : 3749 (oree) R 3747 3749 1820 0 -1 4194304 37571 0 0 0 22203 20 0 0 25 0 1 0 146636823 152776704 33878 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715618 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3749/statm: 37299 33878 139 317 0 36978 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 149196 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3750 /proc/meminfo: memFree=1541824/2055920 swapFree=4150992/4192956 [pid=3749] ppid=3747 vsize=158964 CPUtime=282.21 /proc/3749/stat : 3749 (oree) R 3747 3749 1820 0 -1 4194304 39899 0 0 0 28200 21 0 0 25 0 1 0 146636823 162779136 36206 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3749/statm: 39741 36206 139 317 0 39420 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 158964 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3750 /proc/meminfo: memFree=1533248/2055920 swapFree=4150992/4192956 [pid=3749] ppid=3747 vsize=167948 CPUtime=342.2 /proc/3749/stat : 3749 (oree) R 3747 3749 1820 0 -1 4194304 42031 0 0 0 34197 23 0 0 25 0 1 0 146636823 171978752 38338 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3749/statm: 41987 38338 139 317 0 41666 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 167948 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3750 /proc/meminfo: memFree=1526080/2055920 swapFree=4150992/4192956 [pid=3749] ppid=3747 vsize=175292 CPUtime=402.18 /proc/3749/stat : 3749 (oree) R 3747 3749 1820 0 -1 4194304 43829 0 0 0 40194 24 0 0 25 0 1 0 146636823 179499008 40136 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3749/statm: 43823 40136 139 317 0 43502 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 175292 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/84 3928 /proc/meminfo: memFree=1518976/2055920 swapFree=4150992/4192956 [pid=3749] ppid=3747 vsize=180840 CPUtime=462.08 /proc/3749/stat : 3749 (oree) R 3747 3749 1820 0 -1 4194304 45270 0 0 0 46183 25 0 0 25 0 1 0 146636823 185180160 41577 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3749/statm: 45210 41577 139 317 0 44889 0 Current children cumulated CPU time (s) 462.08 Current children cumulated vsize (KiB) 180840 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3948 /proc/meminfo: memFree=1513472/2055920 swapFree=4150992/4192956 [pid=3749] ppid=3747 vsize=188460 CPUtime=522.05 /proc/3749/stat : 3749 (oree) R 3747 3749 1820 0 -1 4194304 47037 0 0 0 52179 26 0 0 25 0 1 0 146636823 192983040 43344 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3749/statm: 47115 43344 139 317 0 46794 0 Current children cumulated CPU time (s) 522.05 Current children cumulated vsize (KiB) 188460 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3948 /proc/meminfo: memFree=1506880/2055920 swapFree=4150992/4192956 [pid=3749] ppid=3747 vsize=194728 CPUtime=582.04 /proc/3749/stat : 3749 (oree) R 3747 3749 1820 0 -1 4194304 48573 0 0 0 58177 27 0 0 25 0 1 0 146636823 199401472 44880 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3749/statm: 48682 44880 139 317 0 48361 0 Current children cumulated CPU time (s) 582.04 Current children cumulated vsize (KiB) 194728 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3948 /proc/meminfo: memFree=1502272/2055920 swapFree=4150992/4192956 [pid=3749] ppid=3747 vsize=199272 CPUtime=642.02 /proc/3749/stat : 3749 (oree) R 3747 3749 1820 0 -1 4194304 49714 0 0 0 64174 28 0 0 25 0 1 0 146636823 204054528 46021 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3749/statm: 49818 46021 139 317 0 49497 0 Current children cumulated CPU time (s) 642.02 Current children cumulated vsize (KiB) 199272 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3948 /proc/meminfo: memFree=1479040/2055920 swapFree=4150992/4192956 [pid=3749] ppid=3747 vsize=223680 CPUtime=881.95 /proc/3749/stat : 3749 (oree) R 3747 3749 1820 0 -1 4194304 55537 0 0 0 88162 33 0 0 25 0 1 0 146636823 229048320 51844 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3749/statm: 55920 51844 139 317 0 55599 0 Current children cumulated CPU time (s) 881.95 Current children cumulated vsize (KiB) 223680 [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3948 /proc/meminfo: memFree=1473728/2055920 swapFree=4150992/4192956 [pid=3749] ppid=3747 vsize=228832 CPUtime=941.94 /proc/3749/stat : 3749 (oree) R 3747 3749 1820 0 -1 4194304 56895 0 0 0 94159 35 0 0 25 0 1 0 146636823 234323968 53202 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3749/statm: 57208 53202 139 317 0 56887 0 Current children cumulated CPU time (s) 941.94 Current children cumulated vsize (KiB) 228832 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3948 /proc/meminfo: memFree=1468928/2055920 swapFree=4150992/4192956 [pid=3749] ppid=3747 vsize=234000 CPUtime=1001.92 /proc/3749/stat : 3749 (oree) R 3747 3749 1820 0 -1 4194304 58076 0 0 0 100156 36 0 0 25 0 1 0 146636823 239616000 54383 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3749/statm: 58500 54383 139 317 0 58179 0 Current children cumulated CPU time (s) 1001.92 Current children cumulated vsize (KiB) 234000 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3948 /proc/meminfo: memFree=1463360/2055920 swapFree=4150992/4192956 [pid=3749] ppid=3747 vsize=239872 CPUtime=1061.9 /proc/3749/stat : 3749 (oree) R 3747 3749 1820 0 -1 4194304 59506 0 0 0 106153 37 0 0 25 0 1 0 146636823 245628928 55813 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3749/statm: 59968 55813 139 317 0 59647 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 239872 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3948 /proc/meminfo: memFree=1458048/2055920 swapFree=4150992/4192956 [pid=3749] ppid=3747 vsize=245100 CPUtime=1121.89 /proc/3749/stat : 3749 (oree) R 3747 3749 1820 0 -1 4194304 60811 0 0 0 112150 39 0 0 25 0 1 0 146636823 250982400 57118 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3749/statm: 61275 57118 139 317 0 60954 0 Current children cumulated CPU time (s) 1121.89 Current children cumulated vsize (KiB) 245100 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3948 /proc/meminfo: memFree=1453952/2055920 swapFree=4150992/4192956 [pid=3749] ppid=3747 vsize=248756 CPUtime=1181.87 /proc/3749/stat : 3749 (oree) R 3747 3749 1820 0 -1 4194304 61819 0 0 0 118147 40 0 0 25 0 1 0 146636823 254726144 58126 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3749/statm: 62189 58126 139 317 0 61868 0 Current children cumulated CPU time (s) 1181.87 Current children cumulated vsize (KiB) 248756 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3948 /proc/meminfo: memFree=1449920/2055920 swapFree=4150992/4192956 [pid=3749] ppid=3747 vsize=253392 CPUtime=1241.85 /proc/3749/stat : 3749 (oree) R 3747 3749 1820 0 -1 4194304 62804 0 0 0 124144 41 0 0 25 0 1 0 146636823 259473408 59111 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3749/statm: 63348 59111 139 317 0 63027 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 253392 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3948 /proc/meminfo: memFree=1445312/2055920 swapFree=4150992/4192956 [pid=3749] ppid=3747 vsize=259168 CPUtime=1301.84 /proc/3749/stat : 3749 (oree) R 3747 3749 1820 0 -1 4194304 63966 0 0 0 130142 42 0 0 25 0 1 0 146636823 265388032 60273 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3749/statm: 64792 60273 139 317 0 64471 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 259168 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3948 /proc/meminfo: memFree=1443584/2055920 swapFree=4150992/4192956 [pid=3749] ppid=3747 vsize=260768 CPUtime=1361.82 /proc/3749/stat : 3749 (oree) R 3747 3749 1820 0 -1 4194304 64400 0 0 0 136139 43 0 0 25 0 1 0 146636823 267026432 60707 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3749/statm: 65192 60707 139 317 0 64871 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 260768 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3948 /proc/meminfo: memFree=1442048/2055920 swapFree=4150992/4192956 [pid=3749] ppid=3747 vsize=262336 CPUtime=1421.8 /proc/3749/stat : 3749 (oree) R 3747 3749 1820 0 -1 4194304 64778 0 0 0 142137 43 0 0 25 0 1 0 146636823 268632064 61085 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563761 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3749/statm: 65584 61085 139 317 0 65263 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 262336 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3948 /proc/meminfo: memFree=1437824/2055920 swapFree=4150992/4192956 [pid=3749] ppid=3747 vsize=266688 CPUtime=1481.78 /proc/3749/stat : 3749 (oree) R 3747 3749 1820 0 -1 4194304 65850 0 0 0 148133 45 0 0 25 0 1 0 146636823 273088512 62157 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3749/statm: 66672 62157 139 317 0 66351 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 266688 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3948 /proc/meminfo: memFree=1433536/2055920 swapFree=4150992/4192956 [pid=3749] ppid=3747 vsize=271208 CPUtime=1541.77 /proc/3749/stat : 3749 (oree) R 3747 3749 1820 0 -1 4194304 66915 0 0 0 154131 46 0 0 25 0 1 0 146636823 277716992 63222 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3749/statm: 67802 63222 139 317 0 67481 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 271208 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3948 /proc/meminfo: memFree=1429952/2055920 swapFree=4150992/4192956 [pid=3749] ppid=3747 vsize=274508 CPUtime=1601.75 /proc/3749/stat : 3749 (oree) R 3747 3749 1820 0 -1 4194304 67800 0 0 0 160128 47 0 0 25 0 1 0 146636823 281096192 64107 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3749/statm: 68627 64107 139 317 0 68306 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 274508 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3948 /proc/meminfo: memFree=1424960/2055920 swapFree=4150992/4192956 [pid=3749] ppid=3747 vsize=280432 CPUtime=1661.73 /proc/3749/stat : 3749 (oree) R 3747 3749 1820 0 -1 4194304 69052 0 0 0 166125 48 0 0 25 0 1 0 146636823 287162368 65359 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3749/statm: 70108 65359 139 317 0 69787 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 280432 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3948 /proc/meminfo: memFree=1419968/2055920 swapFree=4150992/4192956 [pid=3749] ppid=3747 vsize=285268 CPUtime=1721.71 /proc/3749/stat : 3749 (oree) R 3747 3749 1820 0 -1 4194304 70304 0 0 0 172122 49 0 0 25 0 1 0 146636823 292114432 66611 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3749/statm: 71317 66611 139 317 0 70996 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 285268 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3948 /proc/meminfo: memFree=1413824/2055920 swapFree=4150992/4192956 [pid=3749] ppid=3747 vsize=292188 CPUtime=1781.7 /proc/3749/stat : 3749 (oree) R 3747 3749 1820 0 -1 4194304 71821 0 0 0 178120 50 0 0 25 0 1 0 146636823 299200512 68128 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3749/statm: 73047 68128 139 317 0 72726 0 Current children cumulated CPU time (s) 1781.7 Current children cumulated vsize (KiB) 292188 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3948 /proc/meminfo: memFree=1412352/2055920 swapFree=4150992/4192956 [pid=3749] ppid=3747 vsize=293372 CPUtime=1800.01 /proc/3749/stat : 3749 (oree) R 3747 3749 1820 0 -1 4194304 72174 0 0 0 179950 51 0 0 25 0 1 0 146636823 300412928 68481 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3749/statm: 73343 68481 139 317 0 73022 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 293372 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.8 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3948 /proc/meminfo: memFree=1412352/2055920 swapFree=4150992/4192956 [pid=3749] ppid=3747 vsize=293504 CPUtime=1800.2 /proc/3749/stat : 3749 (oree) R 3747 3749 1820 0 -1 4194304 72194 0 0 0 179969 51 0 0 25 0 1 0 146636823 300548096 68501 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0 /proc/3749/statm: 73376 68501 155 317 0 73055 0 Current children cumulated CPU time (s) 1800.2 Current children cumulated vsize (KiB) 293504 Child status: 0 Real time (s): 1800.89 CPU time (s): 1800.29 CPU user time (s): 1799.73 CPU system time (s): 0.558915 CPU usage (%): 99.9667 Max. virtual memory (cumulated for all children) (KiB): 293504 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.73 system time used= 0.558915 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 72194 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= 38168 runsolver used 2.11868 second user time and 4.42733 second system time The end
Begin job on node44 on Thu Apr 19 12:54:11 UTC 2007 IDJOB= 357124 IDBENCH= 2058 IDSOLVER= 172 FILE ID= node44/357124-1176987250 PBS_JOBID= 4630350 Free space on /tmp= 66402 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-g250.29.opb COMMAND LINE= oree /tmp/evaluation/357124-1176987250/instance-357124-1176987250.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node44/watcher-357124-1176987250 -o ROOT/results/node44/solver-357124-1176987250 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357124-1176987250/instance-357124-1176987250.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= b0a7c1cc13cb603591c6d50e3dba1a47 RANDOM SEED= 579096687 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node44.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: 1686880 kB Buffers: 41556 kB Cached: 233644 kB SwapCached: 18832 kB Active: 83464 kB Inactive: 221592 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1686880 kB SwapTotal: 4192956 kB SwapFree: 4150992 kB Dirty: 13080 kB Writeback: 0 kB Mapped: 32924 kB Slab: 49536 kB Committed_AS: 499304 kB PageTables: 1736 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= 66402 MiB End job on node44 on Thu Apr 19 13:24:14 UTC 2007