Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.31 | 1800.95 |
Name | normalized-PB07/PURE-SAT/SAT07/industrial/ babic/hsatv17/hsat_vc12062.opb |
MD5SUM | 694ba8d60e0307c65b53da17c456b745 |
Bench Category | PURE-SAT (instances containing only clauses) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 21.9437 |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 200205 |
Total number of constraints | 566857 |
Number of constraints which are clauses | 566857 |
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 | 1 |
Maximum length of a constraint | 3 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 5 |
Number of bits of the biggest sum of numbers | 3 |
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... 4.79/4.88 c ...done 4.79/4.88 c #vars=200205 #constraints=566857 hasObjective=no 5.49/5.59 c res. mode=mod 5.49/5.59 c VSIDS like heuristics 5.49/5.59 c complete search running 7.70/7.74 c restart after 401 decisions 8.19/8.24 c nbDecision=500 #constraints=566862 9.89/9.90 c restart after 801 decisions 10.69/10.73 c nbDecision=1000 #constraints=566866 28.78/28.89 c nbDecision=1500 #constraints=566936 31.79/31.86 c restart after 1601 decisions 33.98/34.03 c nbDecision=2000 #constraints=566963 36.48/36.57 c nbDecision=2500 #constraints=566980 40.07/40.20 c nbDecision=3000 #constraints=567002 47.76/47.81 c restart after 3201 decisions 49.86/50.00 c nbDecision=3500 #constraints=567087 55.46/55.58 c nbDecision=4000 #constraints=567165 59.55/59.63 c nbDecision=4500 #constraints=567207 62.95/63.04 c nbDecision=5000 #constraints=567239 67.15/67.24 c nbDecision=5500 #constraints=567290 69.45/69.54 c nbDecision=6000 #constraints=567301 72.65/72.72 c restart after 6401 decisions 73.55/73.61 c nbDecision=6500 #constraints=567346 78.25/78.35 c nbDecision=7000 #constraints=567406 83.75/83.89 c nbDecision=7500 #constraints=567486 88.15/88.23 c nbDecision=8000 #constraints=567534 90.54/90.61 c nbDecision=8500 #constraints=567546 93.04/93.14 c nbDecision=9000 #constraints=567566 96.04/96.15 c nbDecision=9500 #constraints=567599 102.64/102.77 c nbDecision=10000 #constraints=567705 107.74/107.85 c nbDecision=10500 #constraints=567798 111.64/111.77 c nbDecision=11000 #constraints=567844 115.84/115.97 c nbDecision=11500 #constraints=567899 118.34/118.43 c nbDecision=12000 #constraints=567916 121.23/121.33 c nbDecision=12500 #constraints=567953 123.63/123.71 c restart after 12801 decisions 125.13/125.28 c nbDecision=13000 #constraints=567994 128.33/128.42 c nbDecision=13500 #constraints=568025 130.93/131.02 c nbDecision=14000 #constraints=568046 134.83/134.95 c nbDecision=14500 #constraints=568093 138.53/138.62 c nbDecision=15000 #constraints=568125 143.73/143.83 c nbDecision=15500 #constraints=568197 151.73/151.81 c nbDecision=16000 #constraints=568335 156.22/156.35 c nbDecision=16500 #constraints=568409 159.32/159.50 c nbDecision=17000 #constraints=568441 162.42/162.55 c nbDecision=17500 #constraints=568484 167.32/167.47 c nbDecision=18000 #constraints=568575 172.82/172.99 c nbDecision=18500 #constraints=568682 176.52/176.66 c nbDecision=19000 #constraints=568748 178.81/178.97 c nbDecision=19500 #constraints=568766 181.51/181.62 c nbDecision=20000 #constraints=568810 187.21/187.32 c nbDecision=20500 #constraints=568955 190.01/190.13 c nbDecision=21000 #constraints=568996 191.91/192.00 c nbDecision=21500 #constraints=569003 194.01/194.19 c nbDecision=22000 #constraints=569018 197.51/197.60 c nbDecision=22500 #constraints=569061 200.21/200.39 c nbDecision=23000 #constraints=569083 203.81/203.99 c nbDecision=23500 #constraints=569129 209.00/209.13 c nbDecision=24000 #constraints=569211 213.10/213.25 c nbDecision=24500 #constraints=569269 216.50/216.68 c nbDecision=25000 #constraints=569319 218.90/219.05 c nbDecision=25500 #constraints=569340 219.20/219.34 c restart after 25601 decisions 225.20/225.32 c nbDecision=26000 #constraints=569436 235.99/236.10 c nbDecision=26500 #constraints=569594 245.69/245.89 c nbDecision=27000 #constraints=569689 250.69/250.84 c nbDecision=27500 #constraints=569741 254.19/254.38 c nbDecision=28000 #constraints=569776 256.59/256.78 c nbDecision=28500 #constraints=569793 258.58/258.74 c nbDecision=29000 #constraints=569797 262.88/263.06 c nbDecision=29500 #constraints=569853 267.38/267.58 c nbDecision=30000 #constraints=569914 280.38/280.51 c nbDecision=30500 #constraints=570152 289.57/289.71 c nbDecision=31000 #constraints=570303 299.97/300.15 c nbDecision=31500 #constraints=570485 316.76/316.92 c nbDecision=32000 #constraints=570803 327.76/327.90 c nbDecision=32500 #constraints=570986 337.36/337.58 c nbDecision=33000 #constraints=571126 340.66/340.87 c nbDecision=33500 #constraints=571161 343.55/343.75 c nbDecision=34000 #constraints=571197 345.35/345.54 c nbDecision=34500 #constraints=571203 348.46/348.68 c nbDecision=35000 #constraints=571241 351.45/351.62 c nbDecision=35500 #constraints=571270 356.05/356.29 c nbDecision=36000 #constraints=571327 360.95/361.15 c nbDecision=36500 #constraints=571398 367.15/367.38 c nbDecision=37000 #constraints=571494 371.04/371.30 c nbDecision=37500 #constraints=571532 378.74/378.98 c nbDecision=38000 #constraints=571656 385.74/385.96 c nbDecision=38500 #constraints=571763 387.94/388.11 c nbDecision=39000 #constraints=571774 393.34/393.50 c nbDecision=39500 #constraints=571855 399.14/399.35 c nbDecision=40000 #constraints=571944 405.64/405.85 c nbDecision=40500 #constraints=572047 410.13/410.30 c nbDecision=41000 #constraints=572099 413.53/413.74 c nbDecision=41500 #constraints=572134 421.83/422.07 c nbDecision=42000 #constraints=572265 433.23/433.47 c nbDecision=42500 #constraints=572460 435.03/435.26 c nbDecision=43000 #constraints=572465 441.13/441.37 c nbDecision=43500 #constraints=572537 463.02/463.23 c nbDecision=44000 #constraints=572913 465.92/466.16 c nbDecision=44500 #constraints=572943 468.62/468.81 c nbDecision=45000 #constraints=572976 470.32/470.57 c nbDecision=45500 #constraints=572984 472.02/472.22 c nbDecision=46000 #constraints=572992 476.92/477.14 c nbDecision=46500 #constraints=573052 481.81/482.05 c nbDecision=47000 #constraints=573102 485.51/485.76 c nbDecision=47500 #constraints=573142 493.81/494.00 c nbDecision=48000 #constraints=573250 498.11/498.30 c nbDecision=48500 #constraints=573295 504.21/504.46 c nbDecision=49000 #constraints=573403 511.31/511.59 c nbDecision=49500 #constraints=573587 518.80/519.07 c nbDecision=50000 #constraints=573771 521.50/521.71 c nbDecision=50500 #constraints=573811 527.89/528.18 c nbDecision=51000 #constraints=573930 528.90/529.16 c restart after 51201 decisions 531.29/531.50 c nbDecision=51500 #constraints=573949 538.79/539.00 c nbDecision=52000 #constraints=574032 565.08/565.39 c nbDecision=52500 #constraints=574390 588.28/588.51 c nbDecision=53000 #constraints=574691 608.17/608.42 c nbDecision=53500 #constraints=574982 630.16/630.47 c nbDecision=54000 #constraints=575266 634.96/635.20 c nbDecision=54500 #constraints=575323 639.96/640.24 c nbDecision=55000 #constraints=575385 643.85/644.18 c nbDecision=55500 #constraints=575423 651.95/652.28 c nbDecision=56000 #constraints=575508 657.95/658.24 c nbDecision=56500 #constraints=575582 662.75/663.02 c nbDecision=57000 #constraints=575657 669.44/669.71 c nbDecision=57500 #constraints=575755 671.84/672.11 c nbDecision=58000 #constraints=575770 678.14/678.40 c nbDecision=58500 #constraints=575894 681.04/681.34 c nbDecision=59000 #constraints=575931 684.54/684.88 c nbDecision=59500 #constraints=575964 687.94/688.28 c nbDecision=60000 #constraints=575996 690.34/690.63 c nbDecision=60500 #constraints=576005 696.13/696.49 c nbDecision=61000 #constraints=576071 705.73/706.06 c nbDecision=61500 #constraints=576193 710.14/710.43 c nbDecision=62000 #constraints=576250 716.74/717.08 c nbDecision=62500 #constraints=576323 720.24/720.51 c nbDecision=63000 #constraints=576368 728.53/728.86 c nbDecision=63500 #constraints=576480 738.93/739.22 c nbDecision=64000 #constraints=576614 746.72/747.08 c nbDecision=64500 #constraints=576728 750.42/750.78 c nbDecision=65000 #constraints=576773 755.02/755.37 c nbDecision=65500 #constraints=576837 760.62/760.92 c nbDecision=66000 #constraints=576900 774.51/774.89 c nbDecision=66500 #constraints=577061 779.01/779.39 c nbDecision=67000 #constraints=577110 786.31/786.62 c nbDecision=67500 #constraints=577219 791.20/791.51 c nbDecision=68000 #constraints=577277 793.40/793.79 c nbDecision=68500 #constraints=577292 795.20/795.54 c nbDecision=69000 #constraints=577300 797.00/797.38 c nbDecision=69500 #constraints=577310 805.00/805.30 c nbDecision=70000 #constraints=577413 807.20/807.59 c nbDecision=70500 #constraints=577426 809.79/810.13 c nbDecision=71000 #constraints=577441 811.69/812.01 c nbDecision=71500 #constraints=577448 818.10/818.48 c nbDecision=72000 #constraints=577523 830.70/831.08 c nbDecision=72500 #constraints=577693 838.69/839.08 c nbDecision=73000 #constraints=577809 843.69/844.10 c nbDecision=73500 #constraints=577874 846.19/846.57 c nbDecision=74000 #constraints=577887 848.59/848.99 c nbDecision=74500 #constraints=577898 857.08/857.47 c nbDecision=75000 #constraints=578009 874.88/875.21 c nbDecision=75500 #constraints=578218 910.56/910.95 c nbDecision=76000 #constraints=578598 938.25/938.68 c nbDecision=76500 #constraints=578874 968.75/969.19 c nbDecision=77000 #constraints=579196 1009.43/1009.89 c nbDecision=77500 #constraints=579529 1045.62/1046.10 c nbDecision=78000 #constraints=579868 1076.52/1076.91 c nbDecision=78500 #constraints=580126 1109.40/1109.84 c nbDecision=79000 #constraints=580408 1126.69/1127.19 c nbDecision=79500 #constraints=580604 1146.08/1146.58 c nbDecision=80000 #constraints=580857 1167.27/1167.72 c nbDecision=80500 #constraints=581167 1184.87/1185.37 c nbDecision=81000 #constraints=581395 1200.16/1200.67 c nbDecision=81500 #constraints=581583 1214.26/1214.73 c nbDecision=82000 #constraints=581783 1229.56/1230.05 c nbDecision=82500 #constraints=581980 1244.65/1245.17 c nbDecision=83000 #constraints=582137 1260.25/1260.74 c nbDecision=83500 #constraints=582282 1278.24/1278.78 c nbDecision=84000 #constraints=582448 1282.93/1283.40 c nbDecision=84500 #constraints=582499 1286.03/1286.52 c nbDecision=85000 #constraints=582517 1291.93/1292.42 c nbDecision=85500 #constraints=582564 1318.13/1318.60 c nbDecision=86000 #constraints=582801 1339.62/1340.10 c nbDecision=86500 #constraints=582974 1359.41/1359.97 c nbDecision=87000 #constraints=583192 1382.51/1383.04 c nbDecision=87500 #constraints=583391 1390.91/1391.44 c nbDecision=88000 #constraints=583464 1401.60/1402.12 c nbDecision=88500 #constraints=583579 1405.50/1406.00 c nbDecision=89000 #constraints=583598 1416.49/1417.09 c nbDecision=89500 #constraints=583703 1423.69/1424.24 c nbDecision=90000 #constraints=583770 1433.09/1433.61 c nbDecision=90500 #constraints=583855 1439.19/1439.70 c nbDecision=91000 #constraints=583912 1447.18/1447.76 c nbDecision=91500 #constraints=583995 1462.78/1463.36 c nbDecision=92000 #constraints=584161 1473.67/1474.25 c nbDecision=92500 #constraints=584266 1483.57/1484.10 c nbDecision=93000 #constraints=584370 1491.07/1491.61 c nbDecision=93500 #constraints=584451 1497.86/1498.43 c nbDecision=94000 #constraints=584568 1505.16/1505.75 c nbDecision=94500 #constraints=584645 1519.56/1520.15 c nbDecision=95000 #constraints=584812 1533.85/1534.46 c nbDecision=95500 #constraints=585006 1554.35/1554.96 c nbDecision=96000 #constraints=585253 1563.04/1563.65 c nbDecision=96500 #constraints=585382 1568.64/1569.21 c nbDecision=97000 #constraints=585462 1579.04/1579.62 c nbDecision=97500 #constraints=585607 1589.03/1589.61 c nbDecision=98000 #constraints=585750 1597.23/1597.88 c nbDecision=98500 #constraints=585829 1606.72/1607.32 c nbDecision=99000 #constraints=585961 1614.22/1614.82 c nbDecision=99500 #constraints=586056 1618.92/1619.56 c nbDecision=100000 #constraints=586108 1625.41/1626.04 c nbDecision=100500 #constraints=586175 1631.72/1632.31 c nbDecision=101000 #constraints=586228 1639.71/1640.32 c nbDecision=101500 #constraints=586308 1644.61/1645.27 c nbDecision=102000 #constraints=586348 1659.71/1660.39 c restart after 102401 decisions 1661.11/1661.75 c nbDecision=102500 #constraints=586542 1665.01/1665.62 c nbDecision=103000 #constraints=586572 1667.61/1668.25 c nbDecision=103500 #constraints=586586 1670.61/1671.28 c nbDecision=104000 #constraints=586601 1672.11/1672.74 c nbDecision=104500 #constraints=586606 1674.01/1674.60 c nbDecision=105000 #constraints=586612 1677.00/1677.61 c nbDecision=105500 #constraints=586632 1680.00/1680.63 c nbDecision=106000 #constraints=586653 1684.20/1684.87 c nbDecision=106500 #constraints=586688 1686.40/1687.03 c nbDecision=107000 #constraints=586693 1687.90/1688.52 c nbDecision=107500 #constraints=586696 1695.30/1695.97 c nbDecision=108000 #constraints=586745 1700.40/1701.01 c nbDecision=108500 #constraints=586772 1702.29/1702.99 c nbDecision=109000 #constraints=586785 1704.59/1705.28 c nbDecision=109500 #constraints=586801 1710.89/1711.56 c nbDecision=110000 #constraints=586916 1712.89/1713.59 c nbDecision=110500 #constraints=586930 1714.49/1715.18 c nbDecision=111000 #constraints=586933 1718.79/1719.43 c nbDecision=111500 #constraints=586987 1725.19/1725.87 c nbDecision=112000 #constraints=587065 1728.18/1728.85 c nbDecision=112500 #constraints=587072 1735.88/1736.57 c nbDecision=113000 #constraints=587161 1741.48/1742.19 c nbDecision=113500 #constraints=587244 1752.87/1753.51 c nbDecision=114000 #constraints=587362 1784.56/1785.26 c nbDecision=114500 #constraints=587696 1800.07/1800.70 Received signal 15 1800.07/1800.78 1800.07/1800.78 s UNKNOWN 1800.07/1800.78 1800.07/1800.78 c user time= 1799.82 s 1800.07/1800.78 c system time= 0.331949 s 1800.07/1800.78 c wall clock time=1800.79
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node59/watcher-419773-1177412685 -o ROOT/results/node59/solver-419773-1177412685 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/419773-1177412685/instance-419773-1177412685.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.97 0.97 0.99 3/64 12024 /proc/meminfo: memFree=1929608/2055920 swapFree=4184616/4192956 [pid=12024] ppid=12022 vsize=1468 CPUtime=0 /proc/12024/stat : 12024 (oree) R 12022 12024 11805 0 -1 4194304 186 0 0 0 0 0 0 0 18 0 1 0 189178240 1503232 169 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12024/statm: 367 169 129 317 0 46 0 [startup+0.038237 s] /proc/loadavg: 0.97 0.97 0.99 3/64 12024 /proc/meminfo: memFree=1929608/2055920 swapFree=4184616/4192956 [pid=12024] ppid=12022 vsize=2532 CPUtime=0.03 /proc/12024/stat : 12024 (oree) R 12022 12024 11805 0 -1 4194304 411 0 0 0 3 0 0 0 18 0 1 0 189178240 2592768 395 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135289884 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12024/statm: 633 401 129 317 0 312 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2532 [startup+0.101249 s] /proc/loadavg: 0.97 0.97 0.99 3/64 12024 /proc/meminfo: memFree=1929608/2055920 swapFree=4184616/4192956 [pid=12024] ppid=12022 vsize=4116 CPUtime=0.09 /proc/12024/stat : 12024 (oree) R 12022 12024 11805 0 -1 4194304 827 0 0 0 9 0 0 0 18 0 1 0 189178240 4214784 810 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12024/statm: 1029 810 129 317 0 708 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4116 [startup+0.301288 s] /proc/loadavg: 0.97 0.97 0.99 3/64 12024 /proc/meminfo: memFree=1929608/2055920 swapFree=4184616/4192956 [pid=12024] ppid=12022 vsize=8468 CPUtime=0.3 /proc/12024/stat : 12024 (oree) R 12022 12024 11805 0 -1 4194304 1940 0 0 0 29 1 0 0 19 0 1 0 189178240 8671232 1890 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12024/statm: 2117 1890 130 317 0 1796 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 8468 [startup+0.702361 s] /proc/loadavg: 0.97 0.97 0.99 3/64 12024 /proc/meminfo: memFree=1929608/2055920 swapFree=4184616/4192956 [pid=12024] ppid=12022 vsize=16908 CPUtime=0.69 /proc/12024/stat : 12024 (oree) R 12022 12024 11805 0 -1 4194304 4105 0 0 0 67 2 0 0 22 0 1 0 189178240 17313792 3990 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12024/statm: 4227 3990 130 317 0 3906 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16908 [startup+1.50151 s] /proc/loadavg: 0.98 0.97 0.99 2/65 12025 /proc/meminfo: memFree=1907840/2055920 swapFree=4184616/4192956 [pid=12024] ppid=12022 vsize=33788 CPUtime=1.5 /proc/12024/stat : 12024 (oree) R 12022 12024 11805 0 -1 4194304 8411 0 0 0 146 4 0 0 25 0 1 0 189178240 34598912 8167 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12024/statm: 8447 8167 130 317 0 8126 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 33788 [startup+3.10182 s] /proc/loadavg: 0.98 0.97 0.99 2/65 12025 /proc/meminfo: memFree=1884672/2055920 swapFree=4184616/4192956 [pid=12024] ppid=12022 vsize=67416 CPUtime=3.09 /proc/12024/stat : 12024 (oree) R 12022 12024 11805 0 -1 4194304 17005 0 0 0 301 8 0 0 25 0 1 0 189178240 69033984 16504 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12024/statm: 16854 16504 130 317 0 16533 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 67416 [startup+6.30143 s] /proc/loadavg: 0.98 0.97 0.99 2/65 12025 /proc/meminfo: memFree=1767168/2055920 swapFree=4184616/4192956 [pid=12024] ppid=12022 vsize=202840 CPUtime=6.29 /proc/12024/stat : 12024 (oree) R 12022 12024 11805 0 -1 4194304 51031 0 0 0 607 22 0 0 25 0 1 0 189178240 207708160 46130 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12024/statm: 50710 46130 139 317 0 50389 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 202840 [startup+12.7016 s] /proc/loadavg: 0.98 0.97 0.99 2/65 12025 /proc/meminfo: memFree=1745088/2055920 swapFree=4184616/4192956 [pid=12024] ppid=12022 vsize=202840 CPUtime=12.69 /proc/12024/stat : 12024 (oree) R 12022 12024 11805 0 -1 4194304 51032 0 0 0 1247 22 0 0 25 0 1 0 189178240 207708160 46131 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278982 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12024/statm: 50710 46131 139 317 0 50389 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 202840 [startup+25.5011 s] /proc/loadavg: 0.98 0.97 0.99 2/65 12025 /proc/meminfo: memFree=1745152/2055920 swapFree=4184616/4192956 [pid=12024] ppid=12022 vsize=202840 CPUtime=25.49 /proc/12024/stat : 12024 (oree) R 12022 12024 11805 0 -1 4194304 51034 0 0 0 2527 22 0 0 25 0 1 0 189178240 207708160 46133 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563351 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12024/statm: 50710 46133 139 317 0 50389 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 202840 [startup+51.102 s] /proc/loadavg: 0.99 0.97 0.99 2/65 12025 /proc/meminfo: memFree=1745408/2055920 swapFree=4184616/4192956 [pid=12024] ppid=12022 vsize=202840 CPUtime=51.06 /proc/12024/stat : 12024 (oree) R 12022 12024 11805 0 -1 4194304 51035 0 0 0 5084 22 0 0 25 0 1 0 189178240 207708160 46134 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12024/statm: 50710 46134 139 317 0 50389 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 202840 [startup+102.306 s] /proc/loadavg: 0.99 0.97 0.99 2/65 12025 /proc/meminfo: memFree=1745408/2055920 swapFree=4184616/4192956 [pid=12024] ppid=12022 vsize=202840 CPUtime=102.24 /proc/12024/stat : 12024 (oree) R 12022 12024 11805 0 -1 4194304 51045 0 0 0 10202 22 0 0 25 0 1 0 189178240 207708160 46144 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12024/statm: 50710 46144 139 317 0 50389 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 202840 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 12025 /proc/meminfo: memFree=1745344/2055920 swapFree=4184616/4192956 [pid=12024] ppid=12022 vsize=202840 CPUtime=162.22 /proc/12024/stat : 12024 (oree) R 12022 12024 11805 0 -1 4194304 51052 0 0 0 16200 22 0 0 25 0 1 0 189178240 207708160 46151 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12024/statm: 50710 46151 139 317 0 50389 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 202840 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 12025 /proc/meminfo: memFree=1745280/2055920 swapFree=4184616/4192956 [pid=12024] ppid=12022 vsize=202840 CPUtime=222.2 /proc/12024/stat : 12024 (oree) R 12022 12024 11805 0 -1 4194304 51063 0 0 0 22198 22 0 0 25 0 1 0 189178240 207708160 46162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12024/statm: 50710 46162 139 317 0 50389 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 202840 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 12025 /proc/meminfo: memFree=1745216/2055920 swapFree=4184616/4192956 [pid=12024] ppid=12022 vsize=202840 CPUtime=282.18 /proc/12024/stat : 12024 (oree) R 12022 12024 11805 0 -1 4194304 51069 0 0 0 28196 22 0 0 25 0 1 0 189178240 207708160 46168 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12024/statm: 50710 46168 139 317 0 50389 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 202840 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 12025 /proc/meminfo: memFree=1745216/2055920 swapFree=4184616/4192956 [pid=12024] ppid=12022 vsize=202840 CPUtime=342.16 /proc/12024/stat : 12024 (oree) R 12022 12024 11805 0 -1 4194304 51077 0 0 0 34194 22 0 0 25 0 1 0 189178240 207708160 46176 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12024/statm: 50710 46176 139 317 0 50389 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 202840 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 12025 /proc/meminfo: memFree=1745280/2055920 swapFree=4184616/4192956 [pid=12024] ppid=12022 vsize=202840 CPUtime=402.13 /proc/12024/stat : 12024 (oree) R 12022 12024 11805 0 -1 4194304 51088 0 0 0 40191 22 0 0 25 0 1 0 189178240 207708160 46187 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12024/statm: 50710 46187 139 317 0 50389 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 202840 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 12025 /proc/meminfo: memFree=1745152/2055920 swapFree=4184616/4192956 [pid=12024] ppid=12022 vsize=202840 CPUtime=462.12 /proc/12024/stat : 12024 (oree) R 12022 12024 11805 0 -1 4194304 51098 0 0 0 46189 23 0 0 25 0 1 0 189178240 207708160 46197 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713745 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12024/statm: 50710 46197 139 317 0 50389 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 202840 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 12025 /proc/meminfo: memFree=1743552/2055920 swapFree=4184616/4192956 [pid=12024] ppid=12022 vsize=204552 CPUtime=522.1 /proc/12024/stat : 12024 (oree) R 12022 12024 11805 0 -1 4194304 51517 0 0 0 52187 23 0 0 25 0 1 0 189178240 209461248 46616 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12024/statm: 51138 46616 139 317 0 50817 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 204552 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 12025 /proc/meminfo: memFree=1742528/2055920 swapFree=4184616/4192956 [pid=12024] ppid=12022 vsize=205464 CPUtime=582.08 /proc/12024/stat : 12024 (oree) R 12022 12024 11805 0 -1 4194304 51752 0 0 0 58184 24 0 0 25 0 1 0 189178240 210395136 46851 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12024/statm: 51366 46851 139 317 0 51045 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 205464 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 12025 /proc/meminfo: memFree=1741312/2055920 swapFree=4184616/4192956 [pid=12024] ppid=12022 vsize=206636 CPUtime=642.06 /proc/12024/stat : 12024 (oree) R 12022 12024 11805 0 -1 4194304 52043 0 0 0 64182 24 0 0 25 0 1 0 189178240 211595264 47142 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12024/statm: 51659 47142 139 317 0 51338 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 206636 ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 1.06 1.03 1.00 2/65 12025 /proc/meminfo: memFree=1733184/2055920 swapFree=4184616/4192956 [pid=12024] ppid=12022 vsize=214756 CPUtime=941.95 /proc/12024/stat : 12024 (oree) R 12022 12024 11805 0 -1 4194304 54066 0 0 0 94169 26 0 0 25 0 1 0 189178240 219910144 49165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12024/statm: 53689 49165 139 317 0 53368 0 Current children cumulated CPU time (s) 941.95 Current children cumulated vsize (KiB) 214756 [startup+1002.3 s] /proc/loadavg: 1.06 1.04 1.00 2/65 12025 /proc/meminfo: memFree=1732224/2055920 swapFree=4184616/4192956 [pid=12024] ppid=12022 vsize=215672 CPUtime=1001.93 /proc/12024/stat : 12024 (oree) R 12022 12024 11805 0 -1 4194304 54302 0 0 0 100167 26 0 0 25 0 1 0 189178240 220848128 49401 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12024/statm: 53918 49401 139 317 0 53597 0 Current children cumulated CPU time (s) 1001.93 Current children cumulated vsize (KiB) 215672 [startup+1062.3 s] /proc/loadavg: 1.13 1.06 1.01 2/65 12025 /proc/meminfo: memFree=1731072/2055920 swapFree=4184616/4192956 [pid=12024] ppid=12022 vsize=216716 CPUtime=1061.91 /proc/12024/stat : 12024 (oree) R 12022 12024 11805 0 -1 4194304 54580 0 0 0 106165 26 0 0 25 0 1 0 189178240 221917184 49679 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12024/statm: 54179 49679 139 317 0 53858 0 Current children cumulated CPU time (s) 1061.91 Current children cumulated vsize (KiB) 216716 [startup+1122.3 s] /proc/loadavg: 1.12 1.06 1.00 2/65 12025 /proc/meminfo: memFree=1729856/2055920 swapFree=4184616/4192956 [pid=12024] ppid=12022 vsize=218032 CPUtime=1121.89 /proc/12024/stat : 12024 (oree) R 12022 12024 11805 0 -1 4194304 54888 0 0 0 112162 27 0 0 25 0 1 0 189178240 223264768 49987 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12024/statm: 54508 49987 139 317 0 54187 0 Current children cumulated CPU time (s) 1121.89 Current children cumulated vsize (KiB) 218032 [startup+1182.3 s] /proc/loadavg: 1.04 1.05 1.00 2/65 12025 /proc/meminfo: memFree=1727616/2055920 swapFree=4184616/4192956 [pid=12024] ppid=12022 vsize=220128 CPUtime=1181.87 /proc/12024/stat : 12024 (oree) R 12022 12024 11805 0 -1 4194304 55430 0 0 0 118160 27 0 0 25 0 1 0 189178240 225411072 50529 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12024/statm: 55032 50529 139 317 0 54711 0 Current children cumulated CPU time (s) 1181.87 Current children cumulated vsize (KiB) 220128 [startup+1242.3 s] /proc/loadavg: 1.06 1.05 1.00 2/65 12025 /proc/meminfo: memFree=1724992/2055920 swapFree=4184616/4192956 [pid=12024] ppid=12022 vsize=222808 CPUtime=1241.85 /proc/12024/stat : 12024 (oree) R 12022 12024 11805 0 -1 4194304 56078 0 0 0 124157 28 0 0 25 0 1 0 189178240 228155392 51177 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12024/statm: 55702 51177 139 317 0 55381 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 222808 [startup+1302.3 s] /proc/loadavg: 1.06 1.06 1.00 2/65 12025 /proc/meminfo: memFree=1723200/2055920 swapFree=4184616/4192956 [pid=12024] ppid=12022 vsize=224524 CPUtime=1301.83 /proc/12024/stat : 12024 (oree) R 12022 12024 11805 0 -1 4194304 56516 0 0 0 130155 28 0 0 25 0 1 0 189178240 229912576 51615 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606848 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12024/statm: 56131 51615 139 317 0 55810 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 224524 [startup+1362.3 s] /proc/loadavg: 1.02 1.04 1.00 2/65 12025 /proc/meminfo: memFree=1720768/2055920 swapFree=4184616/4192956 [pid=12024] ppid=12022 vsize=227160 CPUtime=1361.81 /proc/12024/stat : 12024 (oree) R 12022 12024 11805 0 -1 4194304 57149 0 0 0 136152 29 0 0 25 0 1 0 189178240 232611840 52248 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712546 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12024/statm: 56790 52248 139 317 0 56469 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 227160 [startup+1422.31 s] /proc/loadavg: 1.01 1.03 1.00 2/65 12025 /proc/meminfo: memFree=1719040/2055920 swapFree=4184616/4192956 [pid=12024] ppid=12022 vsize=228708 CPUtime=1421.8 /proc/12024/stat : 12024 (oree) R 12022 12024 11805 0 -1 4194304 57558 0 0 0 142150 30 0 0 25 0 1 0 189178240 234196992 52657 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712569 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12024/statm: 57177 52657 139 317 0 56856 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 228708 [startup+1482.3 s] /proc/loadavg: 1.00 1.02 1.00 2/65 12025 /proc/meminfo: memFree=1717248/2055920 swapFree=4184616/4192956 [pid=12024] ppid=12022 vsize=230620 CPUtime=1481.77 /proc/12024/stat : 12024 (oree) R 12022 12024 11805 0 -1 4194304 58004 0 0 0 148147 30 0 0 25 0 1 0 189178240 236154880 53103 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12024/statm: 57655 53103 139 317 0 57334 0 Current children cumulated CPU time (s) 1481.77 Current children cumulated vsize (KiB) 230620 [startup+1542.3 s] /proc/loadavg: 1.00 1.02 1.00 2/65 12025 /proc/meminfo: memFree=1715968/2055920 swapFree=4184616/4192956 [pid=12024] ppid=12022 vsize=231928 CPUtime=1541.74 /proc/12024/stat : 12024 (oree) R 12022 12024 11805 0 -1 4194304 58335 0 0 0 154144 30 0 0 25 0 1 0 189178240 237494272 53434 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715992 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12024/statm: 57982 53434 139 317 0 57661 0 Current children cumulated CPU time (s) 1541.74 Current children cumulated vsize (KiB) 231928 [startup+1602.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 12025 /proc/meminfo: memFree=1713728/2055920 swapFree=4184616/4192956 [pid=12024] ppid=12022 vsize=234140 CPUtime=1601.72 /proc/12024/stat : 12024 (oree) R 12022 12024 11805 0 -1 4194304 58878 0 0 0 160141 31 0 0 25 0 1 0 189178240 239759360 53977 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12024/statm: 58535 53977 139 317 0 58214 0 Current children cumulated CPU time (s) 1601.72 Current children cumulated vsize (KiB) 234140 [startup+1662.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 12025 /proc/meminfo: memFree=1712192/2055920 swapFree=4184616/4192956 [pid=12024] ppid=12022 vsize=235568 CPUtime=1661.71 /proc/12024/stat : 12024 (oree) R 12022 12024 11805 0 -1 4194304 59252 0 0 0 166139 32 0 0 25 0 1 0 189178240 241221632 54351 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12024/statm: 58892 54351 139 317 0 58571 0 Current children cumulated CPU time (s) 1661.71 Current children cumulated vsize (KiB) 235568 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12025 /proc/meminfo: memFree=1710720/2055920 swapFree=4184616/4192956 [pid=12024] ppid=12022 vsize=236996 CPUtime=1721.69 /proc/12024/stat : 12024 (oree) R 12022 12024 11805 0 -1 4194304 59609 0 0 0 172137 32 0 0 25 0 1 0 189178240 242683904 54708 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711035 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12024/statm: 59249 54708 139 317 0 58928 0 Current children cumulated CPU time (s) 1721.69 Current children cumulated vsize (KiB) 236996 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12025 /proc/meminfo: memFree=1709376/2055920 swapFree=4184616/4192956 [pid=12024] ppid=12022 vsize=238312 CPUtime=1781.66 /proc/12024/stat : 12024 (oree) R 12022 12024 11805 0 -1 4194304 59946 0 0 0 178134 32 0 0 25 0 1 0 189178240 244031488 55045 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12024/statm: 59578 55045 139 317 0 59257 0 Current children cumulated CPU time (s) 1781.66 Current children cumulated vsize (KiB) 238312 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12025 /proc/meminfo: memFree=1708736/2055920 swapFree=4184616/4192956 [pid=12024] ppid=12022 vsize=238840 CPUtime=1800.07 /proc/12024/stat : 12024 (oree) R 12022 12024 11805 0 -1 4194304 60096 0 0 0 179974 33 0 0 25 0 1 0 189178240 244572160 55195 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12024/statm: 59710 55195 139 317 0 59389 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 238840 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12025 /proc/meminfo: memFree=1708736/2055920 swapFree=4184616/4192956 [pid=12024] ppid=12022 vsize=238840 CPUtime=1800.17 /proc/12024/stat : 12024 (oree) R 12022 12024 11805 0 -1 4194304 60112 0 0 0 179984 33 0 0 25 0 1 0 189178240 244572160 55211 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12024/statm: 59710 55211 155 317 0 59389 0 Current children cumulated CPU time (s) 1800.17 Current children cumulated vsize (KiB) 238840 [startup+1800.9 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12025 /proc/meminfo: memFree=1708736/2055920 swapFree=4184616/4192956 [pid=12024] ppid=12022 vsize=202992 CPUtime=1800.26 /proc/12024/stat : 12024 (oree) R 12022 12024 11805 0 -1 4194304 60112 0 0 0 179993 33 0 0 25 0 1 0 189178240 207863808 50054 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284183 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12024/statm: 50748 50054 155 317 0 50427 0 Current children cumulated CPU time (s) 1800.26 Current children cumulated vsize (KiB) 202992 Child status: 0 Real time (s): 1800.95 CPU time (s): 1800.31 CPU user time (s): 1799.95 CPU system time (s): 0.368943 CPU usage (%): 99.9649 Max. virtual memory (cumulated for all children) (KiB): 238840 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.95 system time used= 0.368943 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 60112 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= 2173 runsolver used 1.26681 second user time and 3.67144 second system time The end
Begin job on node59 on Tue Apr 24 11:04:46 UTC 2007 IDJOB= 419773 IDBENCH= 47797 IDSOLVER= 172 FILE ID= node59/419773-1177412685 PBS_JOBID= 4675698 Free space on /tmp= 66312 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/PURE-SAT/SAT07/industrial/babic/hsatv17/hsat_vc12062.opb COMMAND LINE= oree /tmp/evaluation/419773-1177412685/instance-419773-1177412685.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node59/watcher-419773-1177412685 -o ROOT/results/node59/solver-419773-1177412685 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/419773-1177412685/instance-419773-1177412685.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 694ba8d60e0307c65b53da17c456b745 RANDOM SEED= 674642772 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node59.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.268 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 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.268 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1930080 kB Buffers: 3652 kB Cached: 63208 kB SwapCached: 2364 kB Active: 65708 kB Inactive: 10936 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1930080 kB SwapTotal: 4192956 kB SwapFree: 4184616 kB Dirty: 20212 kB Writeback: 0 kB Mapped: 16520 kB Slab: 35196 kB Committed_AS: 3021384 kB PageTables: 1472 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= 66312 MiB End job on node59 on Tue Apr 24 11:34:49 UTC 2007