Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.1 | 1800.67 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_3.opb |
MD5SUM | 82a3d84200b069df277c7f14e0e883d0 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 23 |
Best CPU time to get the best result obtained on this benchmark | 1800.06 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 23 |
Optimality of the best value was proved | NO |
Number of variables | 6076 |
Total number of constraints | 21401 |
Number of constraints which are clauses | 21392 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 8 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 666 |
Number of terms in the objective function | 666 |
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 | 666 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 31 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 697 |
Number of bits of the biggest sum of numbers | 10 |
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.09/0.18 c ...done 0.09/0.18 c #vars=6076 #constraints=21402 hasObjective=yes 0.39/0.42 c res. mode=mod 0.39/0.42 c VSIDS like heuristics 0.39/0.42 c complete search running 5.99/6.00 c restart after 401 decisions 8.49/8.56 c nbDecision=500 #constraints=21517 11.49/11.50 c restart after 801 decisions 15.59/15.67 c nbDecision=1000 #constraints=21616 18.79/18.87 c nbDecision=1500 #constraints=21661 19.39/19.49 c restart after 1601 decisions 25.08/25.17 c nbDecision=2000 #constraints=21748 27.98/28.04 c nbDecision=2500 #constraints=21785 34.38/34.45 c nbDecision=3000 #constraints=21876 35.38/35.40 c restart after 3201 decisions 37.78/37.86 c nbDecision=3500 #constraints=21924 43.88/43.95 c nbDecision=4000 #constraints=22007 49.08/49.10 c nbDecision=4500 #constraints=22086 52.87/52.96 c nbDecision=5000 #constraints=22137 59.87/59.99 c nbDecision=5500 #constraints=22232 62.67/62.74 c nbDecision=6000 #constraints=22267 68.67/68.78 c restart after 6401 decisions 71.48/71.51 c nbDecision=6500 #constraints=22388 75.47/75.52 c nbDecision=7000 #constraints=22441 78.67/78.78 c nbDecision=7500 #constraints=22484 82.47/82.58 c nbDecision=8000 #constraints=22543 87.56/87.62 c nbDecision=8500 #constraints=22609 93.57/93.64 c nbDecision=9000 #constraints=22690 96.97/97.06 c nbDecision=9500 #constraints=22736 103.86/103.91 c nbDecision=10000 #constraints=22822 106.75/106.86 c nbDecision=10500 #constraints=22860 113.86/113.92 c nbDecision=11000 #constraints=22950 116.56/116.70 c nbDecision=11500 #constraints=22985 123.35/123.41 c nbDecision=12000 #constraints=23068 128.45/128.51 c nbDecision=12500 #constraints=23132 131.95/132.07 c restart after 12801 decisions 136.25/136.37 c nbDecision=13000 #constraints=23225 139.56/139.66 c nbDecision=13500 #constraints=23269 146.05/146.13 c nbDecision=14000 #constraints=23351 149.05/149.14 c nbDecision=14500 #constraints=23389 155.65/155.78 c nbDecision=15000 #constraints=23469 159.14/159.29 c nbDecision=15500 #constraints=23513 164.04/164.14 c nbDecision=16000 #constraints=23575 169.04/169.19 c nbDecision=16500 #constraints=23636 176.25/176.37 c nbDecision=17000 #constraints=23722 179.15/179.25 c nbDecision=17500 #constraints=23757 185.74/185.84 c nbDecision=18000 #constraints=23839 189.24/189.34 c nbDecision=18500 #constraints=23890 195.23/195.37 c nbDecision=19000 #constraints=23958 201.14/201.24 c nbDecision=19500 #constraints=24047 203.43/203.59 c nbDecision=20000 #constraints=24086 210.04/210.14 c nbDecision=20500 #constraints=24163 215.54/215.64 c nbDecision=21000 #constraints=24230 219.84/219.96 c nbDecision=21500 #constraints=24282 227.03/227.10 c nbDecision=22000 #constraints=24363 230.23/230.35 c nbDecision=22500 #constraints=24405 236.72/236.88 c nbDecision=23000 #constraints=24473 243.52/243.63 c nbDecision=23500 #constraints=24548 246.52/246.69 c nbDecision=24000 #constraints=24588 253.72/253.88 c nbDecision=24500 #constraints=24671 258.92/259.01 c nbDecision=25000 #constraints=24729 264.12/264.27 c nbDecision=25500 #constraints=24789 264.92/265.05 c restart after 25601 decisions 273.62/273.74 c nbDecision=26000 #constraints=24877 276.51/276.64 c nbDecision=26500 #constraints=24913 280.01/280.18 c nbDecision=27000 #constraints=24958 289.31/289.42 c nbDecision=27500 #constraints=25050 296.01/296.10 c nbDecision=28000 #constraints=25122 301.71/301.87 c nbDecision=28500 #constraints=25179 310.50/310.66 c nbDecision=29000 #constraints=25265 314.21/314.30 c nbDecision=29500 #constraints=25306 324.31/324.44 c nbDecision=30000 #constraints=25400 327.30/327.47 c nbDecision=30500 #constraints=25436 336.80/336.92 c nbDecision=31000 #constraints=25528 339.80/339.96 c nbDecision=31500 #constraints=25565 349.90/350.06 c nbDecision=32000 #constraints=25654 352.70/352.84 c nbDecision=32500 #constraints=25692 362.49/362.67 c nbDecision=33000 #constraints=25774 369.49/369.68 c nbDecision=33500 #constraints=25843 375.69/375.88 c nbDecision=34000 #constraints=25901 385.69/385.84 c nbDecision=34500 #constraints=25991 388.69/388.88 c nbDecision=35000 #constraints=26027 398.68/398.84 c nbDecision=35500 #constraints=26111 401.58/401.72 c nbDecision=36000 #constraints=26153 411.67/411.86 c nbDecision=36500 #constraints=26238 421.37/421.52 c nbDecision=37000 #constraints=26322 424.67/424.89 c nbDecision=37500 #constraints=26363 434.67/434.85 c nbDecision=38000 #constraints=26449 440.57/440.70 c nbDecision=38500 #constraints=26507 448.07/448.24 c nbDecision=39000 #constraints=26570 457.87/458.03 c nbDecision=39500 #constraints=26650 461.26/461.47 c nbDecision=40000 #constraints=26689 470.96/471.18 c nbDecision=40500 #constraints=26772 473.66/473.83 c nbDecision=41000 #constraints=26810 483.35/483.51 c nbDecision=41500 #constraints=26887 490.36/490.55 c nbDecision=42000 #constraints=26948 496.36/496.55 c nbDecision=42500 #constraints=27000 506.05/506.27 c nbDecision=43000 #constraints=27078 509.55/509.71 c nbDecision=43500 #constraints=27116 518.95/519.14 c nbDecision=44000 #constraints=27190 522.15/522.37 c nbDecision=44500 #constraints=27230 532.15/532.36 c nbDecision=45000 #constraints=27305 541.54/541.78 c nbDecision=45500 #constraints=27385 545.04/545.27 c nbDecision=46000 #constraints=27424 555.34/555.55 c nbDecision=46500 #constraints=27501 563.33/563.52 c nbDecision=47000 #constraints=27567 568.44/568.61 c nbDecision=47500 #constraints=27616 578.94/579.19 c nbDecision=48000 #constraints=27697 588.73/588.93 c nbDecision=48500 #constraints=27778 592.13/592.36 c nbDecision=49000 #constraints=27817 602.12/602.30 c nbDecision=49500 #constraints=27895 612.32/612.56 c nbDecision=50000 #constraints=27975 616.12/616.38 c nbDecision=50500 #constraints=28026 661.51/661.71 c nbDecision=51000 #constraints=28268 678.30/678.50 c restart after 51201 decisions 692.20/692.43 c nbDecision=51500 #constraints=28429 695.30/695.57 c nbDecision=52000 #constraints=28467 710.40/710.61 c nbDecision=52500 #constraints=28562 713.30/713.53 c nbDecision=53000 #constraints=28601 729.00/729.26 c nbDecision=53500 #constraints=28696 737.89/738.11 c nbDecision=54000 #constraints=28763 747.58/747.88 c nbDecision=54500 #constraints=28827 759.48/759.77 c nbDecision=55000 #constraints=28909 765.88/766.19 c nbDecision=55500 #constraints=28960 780.18/780.47 c nbDecision=56000 #constraints=29054 783.98/784.24 c nbDecision=56500 #constraints=29092 799.38/799.69 c nbDecision=57000 #constraints=29184 802.87/803.14 c nbDecision=57500 #constraints=29229 818.26/818.59 c nbDecision=58000 #constraints=29316 826.56/826.80 c nbDecision=58500 #constraints=29380 836.56/836.84 c nbDecision=59000 #constraints=29443 850.76/851.02 c nbDecision=59500 #constraints=29531 854.96/855.25 c nbDecision=60000 #constraints=29574 870.05/870.32 c nbDecision=60500 #constraints=29669 873.15/873.40 c nbDecision=61000 #constraints=29707 888.65/888.98 c nbDecision=61500 #constraints=29799 900.55/900.82 c nbDecision=62000 #constraints=29876 907.54/907.86 c nbDecision=62500 #constraints=29931 922.34/922.68 c nbDecision=63000 #constraints=30019 925.23/925.58 c nbDecision=63500 #constraints=30056 940.14/940.46 c nbDecision=64000 #constraints=30142 950.23/950.54 c nbDecision=64500 #constraints=30214 957.83/958.19 c nbDecision=65000 #constraints=30266 971.42/971.79 c nbDecision=65500 #constraints=30350 975.52/975.87 c nbDecision=66000 #constraints=30390 989.63/989.93 c nbDecision=66500 #constraints=30471 992.32/992.65 c nbDecision=67000 #constraints=30508 1006.71/1007.02 c nbDecision=67500 #constraints=30593 1015.71/1016.04 c nbDecision=68000 #constraints=30657 1024.41/1024.79 c nbDecision=68500 #constraints=30711 1037.91/1038.29 c nbDecision=69000 #constraints=30790 1041.71/1042.08 c nbDecision=69500 #constraints=30828 1055.20/1055.52 c nbDecision=70000 #constraints=30909 1058.30/1058.69 c nbDecision=70500 #constraints=30947 1071.79/1072.14 c nbDecision=71000 #constraints=31025 1079.19/1079.56 c nbDecision=71500 #constraints=31084 1088.69/1089.04 c nbDecision=72000 #constraints=31145 1101.59/1101.99 c nbDecision=72500 #constraints=31221 1104.69/1105.07 c nbDecision=73000 #constraints=31258 1118.16/1118.59 c nbDecision=73500 #constraints=31341 1131.73/1132.11 c nbDecision=74000 #constraints=31428 1134.93/1135.36 c nbDecision=74500 #constraints=31467 1147.52/1147.98 c nbDecision=75000 #constraints=31541 1160.40/1160.86 c nbDecision=75500 #constraints=31624 1165.10/1165.58 c nbDecision=76000 #constraints=31682 1177.99/1178.43 c nbDecision=76500 #constraints=31751 1190.69/1191.11 c nbDecision=77000 #constraints=31828 1193.99/1194.43 c nbDecision=77500 #constraints=31870 1267.27/1267.70 c nbDecision=78000 #constraints=32158 1304.87/1305.35 c nbDecision=78500 #constraints=32327 1315.56/1316.03 c nbDecision=79000 #constraints=32410 1322.26/1322.76 c nbDecision=79500 #constraints=32477 1328.66/1329.12 c nbDecision=80000 #constraints=32543 1333.65/1334.13 c nbDecision=80500 #constraints=32603 1338.65/1339.10 c nbDecision=81000 #constraints=32661 1353.94/1354.46 c nbDecision=81500 #constraints=32779 1359.35/1359.87 c nbDecision=82000 #constraints=32842 1364.25/1364.75 c nbDecision=82500 #constraints=32900 1370.65/1371.11 c nbDecision=83000 #constraints=32967 1382.04/1382.55 c nbDecision=83500 #constraints=33052 1387.84/1388.40 c nbDecision=84000 #constraints=33122 1393.24/1393.72 c nbDecision=84500 #constraints=33182 1398.83/1399.31 c nbDecision=85000 #constraints=33242 1418.54/1419.04 c nbDecision=85500 #constraints=33347 1424.33/1424.83 c nbDecision=86000 #constraints=33407 1429.53/1430.07 c nbDecision=86500 #constraints=33464 1435.82/1436.33 c nbDecision=87000 #constraints=33528 1441.72/1442.27 c nbDecision=87500 #constraints=33590 1443.82/1444.36 c nbDecision=88000 #constraints=33643 1444.22/1444.71 c nbDecision=88500 #constraints=33733 1444.83/1445.31 c nbDecision=89000 #constraints=33888 1447.93/1448.47 c nbDecision=89500 #constraints=34055 1454.62/1455.18 c nbDecision=90000 #constraints=34118 1459.72/1460.20 c nbDecision=90500 #constraints=34171 1467.21/1467.73 c nbDecision=91000 #constraints=34237 1472.51/1473.04 c nbDecision=91500 #constraints=34297 1478.71/1479.28 c nbDecision=92000 #constraints=34359 1485.01/1485.59 c nbDecision=92500 #constraints=34421 1490.81/1491.33 c nbDecision=93000 #constraints=34483 1496.51/1497.04 c nbDecision=93500 #constraints=34543 1501.91/1502.44 c nbDecision=94000 #constraints=34606 1507.40/1507.95 c nbDecision=94500 #constraints=34666 1512.90/1513.44 c nbDecision=95000 #constraints=34725 1518.50/1519.06 c nbDecision=95500 #constraints=34784 1524.01/1524.50 c nbDecision=96000 #constraints=34845 1528.00/1528.59 c nbDecision=96500 #constraints=34901 1533.70/1534.27 c nbDecision=97000 #constraints=34952 1539.80/1540.33 c nbDecision=97500 #constraints=35016 1545.79/1546.35 c nbDecision=98000 #constraints=35086 1551.79/1552.31 c nbDecision=98500 #constraints=35138 1557.79/1558.37 c nbDecision=99000 #constraints=35201 1563.59/1564.19 c nbDecision=99500 #constraints=35252 1575.70/1576.28 c nbDecision=100000 #constraints=35328 1585.69/1586.24 c nbDecision=100500 #constraints=35435 1586.19/1586.78 c nbDecision=101000 #constraints=35514 1586.79/1587.39 c nbDecision=101500 #constraints=35623 1590.58/1591.10 c nbDecision=102000 #constraints=35838 1593.98/1594.57 c restart after 102401 decisions 1608.98/1609.59 c nbDecision=102500 #constraints=35924 1622.87/1623.46 c nbDecision=103000 #constraints=35983 1645.17/1645.70 c nbDecision=103500 #constraints=36067 1653.36/1653.98 c nbDecision=104000 #constraints=36112 1667.16/1667.78 c nbDecision=104500 #constraints=36185 1684.06/1684.64 c nbDecision=105000 #constraints=36248 1705.85/1706.43 c nbDecision=105500 #constraints=36333 1714.55/1715.13 c nbDecision=106000 #constraints=36382 1740.34/1740.93 c nbDecision=106500 #constraints=36471 1744.24/1744.90 c nbDecision=107000 #constraints=36509 1770.44/1771.02 c nbDecision=107500 #constraints=36600 1774.03/1774.68 c nbDecision=108000 #constraints=36639 1799.92/1800.52 c nbDecision=108500 #constraints=36722 1800.03/1800.61 Received signal 15 1800.03/1800.62 1800.03/1800.62 s UNKNOWN 1800.03/1800.62 1800.03/1800.62 c user time= 1799.69 s 1800.03/1800.62 c system time= 0.368943 s 1800.03/1800.62 c wall clock time=1800.63
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node18/watcher-373007-1177155756 -o ROOT/results/node18/solver-373007-1177155756 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/373007-1177155756/instance-373007-1177155756.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 21438 /proc/meminfo: memFree=1781824/2055920 swapFree=4147132/4192956 [pid=21438] ppid=21436 vsize=1468 CPUtime=0 /proc/21438/stat : 21438 (oree) R 21436 21438 20652 0 -1 4194304 182 0 0 0 0 0 0 0 18 0 1 0 163493008 1503232 164 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21438/statm: 367 165 130 317 0 46 0 [startup+0.086731 s] /proc/loadavg: 0.92 0.98 0.99 3/77 21438 /proc/meminfo: memFree=1781824/2055920 swapFree=4147132/4192956 [pid=21438] ppid=21436 vsize=3184 CPUtime=0.08 /proc/21438/stat : 21438 (oree) R 21436 21438 20652 0 -1 4194304 614 0 0 0 8 0 0 0 18 0 1 0 163493008 3260416 596 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21438/statm: 796 597 130 317 0 475 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 3184 [startup+0.102732 s] /proc/loadavg: 0.92 0.98 0.99 3/77 21438 /proc/meminfo: memFree=1781824/2055920 swapFree=4147132/4192956 [pid=21438] ppid=21436 vsize=3580 CPUtime=0.09 /proc/21438/stat : 21438 (oree) R 21436 21438 20652 0 -1 4194304 698 0 0 0 9 0 0 0 18 0 1 0 163493008 3665920 680 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21438/statm: 895 681 130 317 0 574 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3580 [startup+0.302753 s] /proc/loadavg: 0.92 0.98 0.99 3/77 21438 /proc/meminfo: memFree=1781824/2055920 swapFree=4147132/4192956 [pid=21438] ppid=21436 vsize=7216 CPUtime=0.29 /proc/21438/stat : 21438 (oree) R 21436 21438 20652 0 -1 4194304 1608 0 0 0 29 0 0 0 19 0 1 0 163493008 7389184 1590 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21438/statm: 1804 1590 137 317 0 1483 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7216 [startup+0.701796 s] /proc/loadavg: 0.92 0.98 0.99 3/77 21438 /proc/meminfo: memFree=1781824/2055920 swapFree=4147132/4192956 [pid=21438] ppid=21436 vsize=8724 CPUtime=0.69 /proc/21438/stat : 21438 (oree) R 21436 21438 20652 0 -1 4194304 2004 0 0 0 69 0 0 0 23 0 1 0 163493008 8933376 1839 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135271361 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21438/statm: 2181 1839 139 317 0 1860 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8724 [startup+1.50187 s] /proc/loadavg: 0.92 0.98 0.99 2/78 21439 /proc/meminfo: memFree=1774776/2055920 swapFree=4147132/4192956 [pid=21438] ppid=21436 vsize=8724 CPUtime=1.49 /proc/21438/stat : 21438 (oree) R 21436 21438 20652 0 -1 4194304 2004 0 0 0 149 0 0 0 25 0 1 0 163493008 8933376 1839 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21438/statm: 2181 1839 139 317 0 1860 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8724 [startup+3.10202 s] /proc/loadavg: 0.93 0.98 0.99 2/78 21439 /proc/meminfo: memFree=1774648/2055920 swapFree=4147132/4192956 [pid=21438] ppid=21436 vsize=8724 CPUtime=3.09 /proc/21438/stat : 21438 (oree) R 21436 21438 20652 0 -1 4194304 2004 0 0 0 309 0 0 0 25 0 1 0 163493008 8933376 1839 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134715703 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21438/statm: 2181 1839 139 317 0 1860 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8724 [startup+6.30133 s] /proc/loadavg: 0.93 0.98 0.99 2/78 21439 /proc/meminfo: memFree=1774528/2055920 swapFree=4147132/4192956 [pid=21438] ppid=21436 vsize=8852 CPUtime=6.29 /proc/21438/stat : 21438 (oree) R 21436 21438 20652 0 -1 4194304 2031 0 0 0 628 1 0 0 25 0 1 0 163493008 9064448 1866 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135277176 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21438/statm: 2213 1866 139 317 0 1892 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8852 [startup+12.702 s] /proc/loadavg: 0.94 0.98 0.99 2/78 21439 /proc/meminfo: memFree=1773824/2055920 swapFree=4147132/4192956 [pid=21438] ppid=21436 vsize=9644 CPUtime=12.69 /proc/21438/stat : 21438 (oree) R 21436 21438 20652 0 -1 4194304 2235 0 0 0 1268 1 0 0 25 0 1 0 163493008 9875456 2070 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710874 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21438/statm: 2411 2070 139 317 0 2090 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 9644 [startup+25.5012 s] /proc/loadavg: 0.95 0.98 0.99 2/78 21439 /proc/meminfo: memFree=1772224/2055920 swapFree=4147132/4192956 [pid=21438] ppid=21436 vsize=11300 CPUtime=25.48 /proc/21438/stat : 21438 (oree) R 21436 21438 20652 0 -1 4194304 2646 0 0 0 2547 1 0 0 25 0 1 0 163493008 11571200 2481 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135284647 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21438/statm: 2825 2481 139 317 0 2504 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 11300 [startup+51.1017 s] /proc/loadavg: 0.96 0.98 0.99 2/78 21439 /proc/meminfo: memFree=1768896/2055920 swapFree=4147132/4192956 [pid=21438] ppid=21436 vsize=14716 CPUtime=51.07 /proc/21438/stat : 21438 (oree) R 21436 21438 20652 0 -1 4194304 3487 0 0 0 5105 2 0 0 25 0 1 0 163493008 15069184 3322 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134714052 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21438/statm: 3679 3322 139 317 0 3358 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 14716 [startup+102.307 s] /proc/loadavg: 0.98 0.98 0.99 2/78 21439 /proc/meminfo: memFree=1762368/2055920 swapFree=4147132/4192956 [pid=21438] ppid=21436 vsize=21124 CPUtime=102.27 /proc/21438/stat : 21438 (oree) R 21436 21438 20652 0 -1 4194304 5093 0 0 0 10223 4 0 0 25 0 1 0 163493008 21630976 4928 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21438/statm: 5281 4928 139 317 0 4960 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 21124 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 21439 /proc/meminfo: memFree=1755264/2055920 swapFree=4147132/4192956 [pid=21438] ppid=21436 vsize=28456 CPUtime=162.24 /proc/21438/stat : 21438 (oree) R 21436 21438 20652 0 -1 4194304 6877 0 0 0 16218 6 0 0 25 0 1 0 163493008 29138944 6712 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21438/statm: 7114 6712 139 317 0 6793 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 28456 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 21439 /proc/meminfo: memFree=1748416/2055920 swapFree=4147132/4192956 [pid=21438] ppid=21436 vsize=35116 CPUtime=222.23 /proc/21438/stat : 21438 (oree) R 21436 21438 20652 0 -1 4194304 8537 0 0 0 22215 8 0 0 25 0 1 0 163493008 35958784 8372 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21438/statm: 8779 8372 139 317 0 8458 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 35116 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 21439 /proc/meminfo: memFree=1742272/2055920 swapFree=4147132/4192956 [pid=21438] ppid=21436 vsize=41144 CPUtime=282.21 /proc/21438/stat : 21438 (oree) R 21436 21438 20652 0 -1 4194304 10130 0 0 0 28212 9 0 0 25 0 1 0 163493008 42131456 9965 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135284171 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21438/statm: 10286 9965 139 317 0 9965 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 41144 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 21439 /proc/meminfo: memFree=1736704/2055920 swapFree=4147132/4192956 [pid=21438] ppid=21436 vsize=47384 CPUtime=342.19 /proc/21438/stat : 21438 (oree) R 21436 21438 20652 0 -1 4194304 11524 0 0 0 34209 10 0 0 25 0 1 0 163493008 48521216 11359 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135277232 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21438/statm: 11846 11359 139 317 0 11525 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 47384 [startup+402.303 s] /proc/loadavg: 0.99 0.98 0.99 2/78 21439 /proc/meminfo: memFree=1731584/2055920 swapFree=4147132/4192956 [pid=21438] ppid=21436 vsize=52352 CPUtime=402.18 /proc/21438/stat : 21438 (oree) R 21436 21438 20652 0 -1 4194304 12803 0 0 0 40206 12 0 0 25 0 1 0 163493008 53608448 12638 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21438/statm: 13088 12638 139 317 0 12767 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 52352 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 21439 /proc/meminfo: memFree=1726400/2055920 swapFree=4147132/4192956 [pid=21438] ppid=21436 vsize=57696 CPUtime=462.16 /proc/21438/stat : 21438 (oree) R 21436 21438 20652 0 -1 4194304 14099 0 0 0 46203 13 0 0 25 0 1 0 163493008 59080704 13934 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135272624 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21438/statm: 14424 13934 139 317 0 14103 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 57696 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 21439 /proc/meminfo: memFree=1721408/2055920 swapFree=4147132/4192956 [pid=21438] ppid=21436 vsize=62720 CPUtime=522.15 /proc/21438/stat : 21438 (oree) R 21436 21438 20652 0 -1 4194304 15357 0 0 0 52200 15 0 0 25 0 1 0 163493008 64225280 15192 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21438/statm: 15680 15192 139 317 0 15359 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 62720 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 21439 /proc/meminfo: memFree=1717056/2055920 swapFree=4147132/4192956 [pid=21438] ppid=21436 vsize=66772 CPUtime=582.13 /proc/21438/stat : 21438 (oree) R 21436 21438 20652 0 -1 4194304 16415 0 0 0 58197 16 0 0 25 0 1 0 163493008 68374528 16250 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21438/statm: 16693 16250 139 317 0 16372 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 66772 [startup+642.303 s] /proc/loadavg: 0.99 0.98 0.99 2/78 21439 /proc/meminfo: memFree=1713088/2055920 swapFree=4147132/4192956 [pid=21438] ppid=21436 vsize=70652 CPUtime=642.12 /proc/21438/stat : 21438 (oree) R 21436 21438 20652 0 -1 4194304 17416 0 0 0 64195 17 0 0 25 0 1 0 163493008 72347648 17251 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718695 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21438/statm: 17663 17251 139 317 0 17342 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 70652 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 21439 /proc/meminfo: memFree=1702272/2055920 swapFree=4147132/4192956 [pid=21438] ppid=21436 vsize=81032 CPUtime=822.06 /proc/21438/stat : 21438 (oree) R 21436 21438 20652 0 -1 4194304 20083 0 0 0 82187 19 0 0 25 0 1 0 163493008 82976768 19918 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21438/statm: 20258 19918 139 317 0 19937 0 Current children cumulated CPU time (s) 822.06 Current children cumulated vsize (KiB) 81032 [startup+882.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 21439 /proc/meminfo: memFree=1698368/2055920 swapFree=4147132/4192956 [pid=21438] ppid=21436 vsize=86164 CPUtime=882.04 /proc/21438/stat : 21438 (oree) R 21436 21438 20652 0 -1 4194304 21060 0 0 0 88184 20 0 0 25 0 1 0 163493008 88231936 20895 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21438/statm: 21541 20895 139 317 0 21220 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 86164 [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 21439 /proc/meminfo: memFree=1694784/2055920 swapFree=4147132/4192956 [pid=21438] ppid=21436 vsize=89692 CPUtime=942.03 /proc/21438/stat : 21438 (oree) R 21436 21438 20652 0 -1 4194304 21972 0 0 0 94181 22 0 0 25 0 1 0 163493008 91844608 21807 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134530440 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21438/statm: 22423 21807 139 317 0 22102 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 89692 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 21439 /proc/meminfo: memFree=1691392/2055920 swapFree=4147132/4192956 [pid=21438] ppid=21436 vsize=93068 CPUtime=1002.01 /proc/21438/stat : 21438 (oree) R 21436 21438 20652 0 -1 4194304 22835 0 0 0 100178 23 0 0 25 0 1 0 163493008 95301632 22670 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21438/statm: 23267 22670 139 317 0 22946 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 93068 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 21439 /proc/meminfo: memFree=1688256/2055920 swapFree=4147132/4192956 [pid=21438] ppid=21436 vsize=96180 CPUtime=1062 /proc/21438/stat : 21438 (oree) R 21436 21438 20652 0 -1 4194304 23630 0 0 0 106176 24 0 0 25 0 1 0 163493008 98488320 23465 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21438/statm: 24045 23465 139 317 0 23724 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 96180 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/84 21547 /proc/meminfo: memFree=1683144/2055920 swapFree=4147132/4192956 [pid=21438] ppid=21436 vsize=99980 CPUtime=1121.95 /proc/21438/stat : 21438 (oree) R 21436 21438 20652 0 -1 4194304 24586 0 0 0 112170 25 0 0 25 0 1 0 163493008 102379520 24421 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135278900 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21438/statm: 24995 24421 139 317 0 24674 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 99980 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 21637 /proc/meminfo: memFree=1680128/2055920 swapFree=4147132/4192956 [pid=21438] ppid=21436 vsize=104268 CPUtime=1181.89 /proc/21438/stat : 21438 (oree) R 21436 21438 20652 0 -1 4194304 25571 0 0 0 118163 26 0 0 25 0 1 0 163493008 106770432 25406 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710848 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21438/statm: 26067 25406 139 317 0 25746 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 104268 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 21637 /proc/meminfo: memFree=1677696/2055920 swapFree=4147132/4192956 [pid=21438] ppid=21436 vsize=106616 CPUtime=1241.88 /proc/21438/stat : 21438 (oree) R 21436 21438 20652 0 -1 4194304 26175 0 0 0 124161 27 0 0 25 0 1 0 163493008 109174784 26010 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135270572 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21438/statm: 26654 26010 139 317 0 26333 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 106616 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 21637 /proc/meminfo: memFree=1675520/2055920 swapFree=4147132/4192956 [pid=21438] ppid=21436 vsize=108792 CPUtime=1301.87 /proc/21438/stat : 21438 (oree) R 21436 21438 20652 0 -1 4194304 26719 0 0 0 130159 28 0 0 25 0 1 0 163493008 111403008 26554 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21438/statm: 27198 26554 139 317 0 26877 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 108792 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 21637 /proc/meminfo: memFree=1670464/2055920 swapFree=4147132/4192956 [pid=21438] ppid=21436 vsize=114220 CPUtime=1361.85 /proc/21438/stat : 21438 (oree) R 21436 21438 20652 0 -1 4194304 28012 0 0 0 136156 29 0 0 25 0 1 0 163493008 116961280 27814 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135284508 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21438/statm: 28555 27814 139 317 0 28234 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 114220 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/78 21637 /proc/meminfo: memFree=1666048/2055920 swapFree=4147132/4192956 [pid=21438] ppid=21436 vsize=118592 CPUtime=1421.84 /proc/21438/stat : 21438 (oree) R 21436 21438 20652 0 -1 4194304 29100 0 0 0 142154 30 0 0 25 0 1 0 163493008 121438208 28902 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21438/statm: 29648 28902 139 317 0 29327 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 118592 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 21637 /proc/meminfo: memFree=1659840/2055920 swapFree=4147132/4192956 [pid=21438] ppid=21436 vsize=124464 CPUtime=1481.81 /proc/21438/stat : 21438 (oree) R 21436 21438 20652 0 -1 4194304 30658 0 0 0 148149 32 0 0 25 0 1 0 163493008 127451136 30460 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21438/statm: 31116 30460 139 317 0 30795 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 124464 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 21637 /proc/meminfo: memFree=1654400/2055920 swapFree=4147132/4192956 [pid=21438] ppid=21436 vsize=129692 CPUtime=1541.8 /proc/21438/stat : 21438 (oree) R 21436 21438 20652 0 -1 4194304 32029 0 0 0 154147 33 0 0 25 0 1 0 163493008 132804608 31831 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21438/statm: 32423 31831 139 317 0 32102 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 129692 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 21637 /proc/meminfo: memFree=1647744/2055920 swapFree=4147132/4192956 [pid=21438] ppid=21436 vsize=136216 CPUtime=1601.78 /proc/21438/stat : 21438 (oree) R 21436 21438 20652 0 -1 4194304 33687 0 0 0 160144 34 0 0 25 0 1 0 163493008 139485184 33489 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21438/statm: 34054 33489 139 317 0 33733 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 136216 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 21637 /proc/meminfo: memFree=1645568/2055920 swapFree=4147132/4192956 [pid=21438] ppid=21436 vsize=138424 CPUtime=1661.76 /proc/21438/stat : 21438 (oree) R 21436 21438 20652 0 -1 4194304 34256 0 0 0 166141 35 0 0 25 0 1 0 163493008 141746176 34058 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21438/statm: 34606 34058 139 317 0 34285 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 138424 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 21637 /proc/meminfo: memFree=1643392/2055920 swapFree=4147132/4192956 [pid=21438] ppid=21436 vsize=140496 CPUtime=1721.75 /proc/21438/stat : 21438 (oree) R 21436 21438 20652 0 -1 4194304 34798 0 0 0 172139 36 0 0 25 0 1 0 163493008 143867904 34600 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712536 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21438/statm: 35124 34600 139 317 0 34803 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 140496 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 21637 /proc/meminfo: memFree=1641216/2055920 swapFree=4147132/4192956 [pid=21438] ppid=21436 vsize=142700 CPUtime=1781.73 /proc/21438/stat : 21438 (oree) R 21436 21438 20652 0 -1 4194304 35342 0 0 0 178137 36 0 0 25 0 1 0 163493008 146124800 35144 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21438/statm: 35675 35144 139 317 0 35354 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 142700 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.98 0.99 2/78 21637 /proc/meminfo: memFree=1640640/2055920 swapFree=4147132/4192956 [pid=21438] ppid=21436 vsize=143224 CPUtime=1800.03 /proc/21438/stat : 21438 (oree) R 21436 21438 20652 0 -1 4194304 35485 0 0 0 179967 36 0 0 25 0 1 0 163493008 146661376 35287 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134530414 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21438/statm: 35806 35287 139 317 0 35485 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 143224 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.67 CPU time (s): 1800.1 CPU user time (s): 1799.71 CPU system time (s): 0.39394 CPU usage (%): 99.9686 Max. virtual memory (cumulated for all children) (KiB): 143224 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.71 system time used= 0.39394 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 35501 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= 36424 runsolver used 2.11168 second user time and 4.36933 second system time The end
Begin job on node18 on Sat Apr 21 11:42:36 UTC 2007 IDJOB= 373007 IDBENCH= 25012 IDSOLVER= 172 FILE ID= node18/373007-1177155756 PBS_JOBID= 4648876 Free space on /tmp= 66485 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_3.opb COMMAND LINE= oree /tmp/evaluation/373007-1177155756/instance-373007-1177155756.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-373007-1177155756 -o ROOT/results/node18/solver-373007-1177155756 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/373007-1177155756/instance-373007-1177155756.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 82a3d84200b069df277c7f14e0e883d0 RANDOM SEED= 516385487 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node18.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: 1782168 kB Buffers: 49968 kB Cached: 125532 kB SwapCached: 14288 kB Active: 131076 kB Inactive: 85064 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1782168 kB SwapTotal: 4192956 kB SwapFree: 4147132 kB Dirty: 1984 kB Writeback: 0 kB Mapped: 30000 kB Slab: 43140 kB Committed_AS: 5344308 kB PageTables: 1776 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= 66485 MiB End job on node18 on Sat Apr 21 12:12:39 UTC 2007