Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Pueblo 1.4 | UNSAT | 263.132 | 263.206 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900575442.opb |
MD5SUM | 3135d58f22cd009942de3e1dff086931 |
Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
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 | 62.9374 |
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 | 231 |
Total number of constraints | 2707 |
Number of constraints which are clauses | 2684 |
Number of constraints which are cardinality constraints (but not clauses) | 22 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 110 |
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 | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 667 |
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 c Pueblo version 1.4 (September 2005) 0.00 c Developed @ University of Michigan, Ann Arbor, MI 0.00 c by Hossein Sheini 0.04 c starting to Solve 0.04 c #variables read: 231 - #constraints read: 2707 263.20 c total time : 263.16 s 263.20 s UNSATISFIABLE
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node46/watcher-36092-1149216327 -o ROOT/results/node46/solver-36092-1149216327 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node46/36092-1149216327/instance-36092-1149216327.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.96 3/64 24998 /proc/meminfo: memFree=1379960/2055920 swapFree=4183160/4192956 [pid=24998] ppid=24996 vsize=172 CPUtime=0 /proc/24998/stat : 24998 (Pueblo) R 24996 24998 24953 0 -1 4194304 38 0 0 0 0 0 0 0 19 0 1 0 101789554 176128 23 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 11711268 0 2147483391 4096 0 0 0 0 17 1 0 0 /proc/24998/statm: 43 23 18 16 0 2 0 [startup+10.002 s] /proc/loadavg: 0.93 0.98 0.96 2/64 24998 /proc/meminfo: memFree=1377856/2055920 swapFree=4183160/4192956 [pid=24998] ppid=24996 vsize=4492 CPUtime=9.99 /proc/24998/stat : 24998 (Pueblo) R 24996 24998 24953 0 -1 4194304 772 0 0 0 999 0 0 0 25 0 1 0 101789554 4599808 743 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134557307 0 0 4096 0 0 0 0 17 1 0 0 /proc/24998/statm: 1123 743 205 16 0 564 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 4492 [startup+20.009 s] /proc/loadavg: 0.94 0.98 0.96 2/64 24998 /proc/meminfo: memFree=1377480/2055920 swapFree=4183160/4192956 [pid=24998] ppid=24996 vsize=4948 CPUtime=20 /proc/24998/stat : 24998 (Pueblo) R 24996 24998 24953 0 -1 4194304 866 0 0 0 2000 0 0 0 25 0 1 0 101789554 5066752 837 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/24998/statm: 1237 837 205 16 0 678 0 Current children cumulated CPU time (s) 20 Current children cumulated vsize (Kb) 4948 [startup+30.0161 s] /proc/loadavg: 0.95 0.98 0.96 2/64 24998 /proc/meminfo: memFree=1377352/2055920 swapFree=4183160/4192956 [pid=24998] ppid=24996 vsize=5028 CPUtime=30 /proc/24998/stat : 24998 (Pueblo) R 24996 24998 24953 0 -1 4194304 897 0 0 0 3000 0 0 0 25 0 1 0 101789554 5148672 868 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527824 0 0 4096 0 0 0 0 17 1 0 0 /proc/24998/statm: 1257 868 205 16 0 698 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 5028 [startup+40.0221 s] /proc/loadavg: 0.96 0.98 0.96 2/64 24998 /proc/meminfo: memFree=1377224/2055920 swapFree=4183160/4192956 [pid=24998] ppid=24996 vsize=5028 CPUtime=40 /proc/24998/stat : 24998 (Pueblo) R 24996 24998 24953 0 -1 4194304 915 0 0 0 4000 0 0 0 25 0 1 0 101789554 5148672 886 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527824 0 0 4096 0 0 0 0 17 1 0 0 /proc/24998/statm: 1257 886 205 16 0 698 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 5028 [startup+50.0282 s] /proc/loadavg: 0.96 0.98 0.96 2/64 24998 /proc/meminfo: memFree=1377096/2055920 swapFree=4183160/4192956 [pid=24998] ppid=24996 vsize=5268 CPUtime=50 /proc/24998/stat : 24998 (Pueblo) R 24996 24998 24953 0 -1 4194304 960 0 0 0 5000 0 0 0 25 0 1 0 101789554 5394432 931 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522701 0 0 4096 0 0 0 0 17 1 0 0 /proc/24998/statm: 1317 931 205 16 0 758 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 5268 [startup+60.0343 s] /proc/loadavg: 0.97 0.98 0.96 2/64 24998 /proc/meminfo: memFree=1376968/2055920 swapFree=4183160/4192956 [pid=24998] ppid=24996 vsize=5384 CPUtime=60 /proc/24998/stat : 24998 (Pueblo) R 24996 24998 24953 0 -1 4194304 987 0 0 0 6000 0 0 0 25 0 1 0 101789554 5513216 958 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0 /proc/24998/statm: 1346 958 205 16 0 787 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 5384 [startup+70.0403 s] /proc/loadavg: 0.97 0.98 0.96 2/64 24998 /proc/meminfo: memFree=1376712/2055920 swapFree=4183160/4192956 [pid=24998] ppid=24996 vsize=5644 CPUtime=70.01 /proc/24998/stat : 24998 (Pueblo) R 24996 24998 24953 0 -1 4194304 1058 0 0 0 7001 0 0 0 25 0 1 0 101789554 5779456 1029 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559228 0 0 4096 0 0 0 0 17 1 0 0 /proc/24998/statm: 1411 1029 205 16 0 852 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 5644 [startup+80.0464 s] /proc/loadavg: 0.98 0.98 0.96 2/64 24998 /proc/meminfo: memFree=1376712/2055920 swapFree=4183160/4192956 [pid=24998] ppid=24996 vsize=5644 CPUtime=80.01 /proc/24998/stat : 24998 (Pueblo) R 24996 24998 24953 0 -1 4194304 1062 0 0 0 8001 0 0 0 25 0 1 0 101789554 5779456 1033 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 1 0 0 /proc/24998/statm: 1411 1033 205 16 0 852 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 5644 [startup+90.0525 s] /proc/loadavg: 0.98 0.98 0.96 2/64 24998 /proc/meminfo: memFree=1376648/2055920 swapFree=4183160/4192956 [pid=24998] ppid=24996 vsize=5752 CPUtime=90.02 /proc/24998/stat : 24998 (Pueblo) R 24996 24998 24953 0 -1 4194304 1075 0 0 0 9001 1 0 0 25 0 1 0 101789554 5890048 1046 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520442 0 0 4096 0 0 0 0 17 1 0 0 /proc/24998/statm: 1438 1046 205 16 0 879 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 5752 [startup+100.059 s] /proc/loadavg: 0.98 0.98 0.96 2/64 24998 /proc/meminfo: memFree=1376392/2055920 swapFree=4183160/4192956 [pid=24998] ppid=24996 vsize=6008 CPUtime=100.03 /proc/24998/stat : 24998 (Pueblo) R 24996 24998 24953 0 -1 4194304 1142 0 0 0 10002 1 0 0 25 0 1 0 101789554 6152192 1113 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527731 0 0 4096 0 0 0 0 17 1 0 0 /proc/24998/statm: 1502 1113 205 16 0 943 0 Current children cumulated CPU time (s) 100.03 Current children cumulated vsize (Kb) 6008 [startup+110.065 s] /proc/loadavg: 0.98 0.98 0.96 2/64 24998 /proc/meminfo: memFree=1376328/2055920 swapFree=4183160/4192956 [pid=24998] ppid=24996 vsize=6008 CPUtime=110.03 /proc/24998/stat : 24998 (Pueblo) R 24996 24998 24953 0 -1 4194304 1157 0 0 0 11002 1 0 0 25 0 1 0 101789554 6152192 1128 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527750 0 0 4096 0 0 0 0 17 1 0 0 /proc/24998/statm: 1502 1128 205 16 0 943 0 Current children cumulated CPU time (s) 110.03 Current children cumulated vsize (Kb) 6008 [startup+120.071 s] /proc/loadavg: 0.99 0.98 0.96 2/64 24998 /proc/meminfo: memFree=1376328/2055920 swapFree=4183160/4192956 [pid=24998] ppid=24996 vsize=6008 CPUtime=120.03 /proc/24998/stat : 24998 (Pueblo) R 24996 24998 24953 0 -1 4194304 1157 0 0 0 12002 1 0 0 25 0 1 0 101789554 6152192 1128 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0 /proc/24998/statm: 1502 1128 205 16 0 943 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 6008 [startup+130.077 s] /proc/loadavg: 0.99 0.98 0.96 2/64 24998 /proc/meminfo: memFree=1376200/2055920 swapFree=4183160/4192956 [pid=24998] ppid=24996 vsize=6256 CPUtime=130.04 /proc/24998/stat : 24998 (Pueblo) R 24996 24998 24953 0 -1 4194304 1200 0 0 0 13003 1 0 0 25 0 1 0 101789554 6406144 1171 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519989 0 0 4096 0 0 0 0 17 1 0 0 /proc/24998/statm: 1564 1171 205 16 0 1005 0 Current children cumulated CPU time (s) 130.04 Current children cumulated vsize (Kb) 6256 [startup+140.083 s] /proc/loadavg: 0.99 0.98 0.96 2/64 24998 /proc/meminfo: memFree=1376200/2055920 swapFree=4183160/4192956 [pid=24998] ppid=24996 vsize=6216 CPUtime=140.04 /proc/24998/stat : 24998 (Pueblo) R 24996 24998 24953 0 -1 4194304 1200 0 0 0 14003 1 0 0 25 0 1 0 101789554 6365184 1171 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522386 0 0 4096 0 0 0 0 17 1 0 0 /proc/24998/statm: 1554 1171 205 16 0 995 0 Current children cumulated CPU time (s) 140.04 Current children cumulated vsize (Kb) 6216 [startup+150.09 s] /proc/loadavg: 0.99 0.98 0.96 2/64 24998 /proc/meminfo: memFree=1375752/2055920 swapFree=4183160/4192956 [pid=24998] ppid=24996 vsize=6612 CPUtime=150.04 /proc/24998/stat : 24998 (Pueblo) R 24996 24998 24953 0 -1 4194304 1304 0 0 0 15003 1 0 0 25 0 1 0 101789554 6770688 1275 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0 /proc/24998/statm: 1653 1275 205 16 0 1094 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 6612 [startup+160.096 s] /proc/loadavg: 0.99 0.98 0.96 2/64 24998 /proc/meminfo: memFree=1375624/2055920 swapFree=4183160/4192956 [pid=24998] ppid=24996 vsize=6740 CPUtime=160.05 /proc/24998/stat : 24998 (Pueblo) R 24996 24998 24953 0 -1 4194304 1331 0 0 0 16004 1 0 0 25 0 1 0 101789554 6901760 1302 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520132 0 0 4096 0 0 0 0 17 1 0 0 /proc/24998/statm: 1685 1302 205 16 0 1126 0 Current children cumulated CPU time (s) 160.05 Current children cumulated vsize (Kb) 6740 [startup+170.102 s] /proc/loadavg: 0.99 0.98 0.96 2/64 24998 /proc/meminfo: memFree=1375624/2055920 swapFree=4183160/4192956 [pid=24998] ppid=24996 vsize=6740 CPUtime=170.05 /proc/24998/stat : 24998 (Pueblo) R 24996 24998 24953 0 -1 4194304 1331 0 0 0 17004 1 0 0 25 0 1 0 101789554 6901760 1302 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134529270 0 0 4096 0 0 0 0 17 1 0 0 /proc/24998/statm: 1685 1302 205 16 0 1126 0 Current children cumulated CPU time (s) 170.05 Current children cumulated vsize (Kb) 6740 [startup+180.108 s] /proc/loadavg: 0.99 0.98 0.96 2/64 24998 /proc/meminfo: memFree=1375624/2055920 swapFree=4183160/4192956 [pid=24998] ppid=24996 vsize=6740 CPUtime=180.05 /proc/24998/stat : 24998 (Pueblo) R 24996 24998 24953 0 -1 4194304 1331 0 0 0 18004 1 0 0 25 0 1 0 101789554 6901760 1302 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559524 0 0 4096 0 0 0 0 17 1 0 0 /proc/24998/statm: 1685 1302 205 16 0 1126 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 6740 [startup+190.114 s] /proc/loadavg: 0.99 0.98 0.96 2/64 24998 /proc/meminfo: memFree=1375624/2055920 swapFree=4183160/4192956 [pid=24998] ppid=24996 vsize=6740 CPUtime=190.06 /proc/24998/stat : 24998 (Pueblo) R 24996 24998 24953 0 -1 4194304 1331 0 0 0 19005 1 0 0 25 0 1 0 101789554 6901760 1302 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527547 0 0 4096 0 0 0 0 17 1 0 0 /proc/24998/statm: 1685 1302 205 16 0 1126 0 Current children cumulated CPU time (s) 190.06 Current children cumulated vsize (Kb) 6740 [startup+200.121 s] /proc/loadavg: 0.99 0.98 0.96 2/64 24998 /proc/meminfo: memFree=1375624/2055920 swapFree=4183160/4192956 [pid=24998] ppid=24996 vsize=6740 CPUtime=200.06 /proc/24998/stat : 24998 (Pueblo) R 24996 24998 24953 0 -1 4194304 1341 0 0 0 20005 1 0 0 25 0 1 0 101789554 6901760 1312 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134532911 0 0 4096 0 0 0 0 17 1 0 0 /proc/24998/statm: 1685 1312 205 16 0 1126 0 Current children cumulated CPU time (s) 200.06 Current children cumulated vsize (Kb) 6740 [startup+210.128 s] /proc/loadavg: 0.99 0.98 0.96 2/64 24998 /proc/meminfo: memFree=1375624/2055920 swapFree=4183160/4192956 [pid=24998] ppid=24996 vsize=6740 CPUtime=210.06 /proc/24998/stat : 24998 (Pueblo) R 24996 24998 24953 0 -1 4194304 1341 0 0 0 21005 1 0 0 25 0 1 0 101789554 6901760 1312 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527748 0 0 4096 0 0 0 0 17 1 0 0 /proc/24998/statm: 1685 1312 205 16 0 1126 0 Current children cumulated CPU time (s) 210.06 Current children cumulated vsize (Kb) 6740 [startup+220.134 s] /proc/loadavg: 0.99 0.98 0.96 2/64 24998 /proc/meminfo: memFree=1375560/2055920 swapFree=4183160/4192956 [pid=24998] ppid=24996 vsize=6816 CPUtime=220.07 /proc/24998/stat : 24998 (Pueblo) R 24996 24998 24953 0 -1 4194304 1359 0 0 0 22006 1 0 0 25 0 1 0 101789554 6979584 1330 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134524559 0 0 4096 0 0 0 0 17 1 0 0 /proc/24998/statm: 1704 1330 205 16 0 1145 0 Current children cumulated CPU time (s) 220.07 Current children cumulated vsize (Kb) 6816 [startup+230.14 s] /proc/loadavg: 0.99 0.98 0.96 2/64 24998 /proc/meminfo: memFree=1375560/2055920 swapFree=4183160/4192956 [pid=24998] ppid=24996 vsize=6816 CPUtime=230.07 /proc/24998/stat : 24998 (Pueblo) R 24996 24998 24953 0 -1 4194304 1359 0 0 0 23006 1 0 0 25 0 1 0 101789554 6979584 1330 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/24998/statm: 1704 1330 205 16 0 1145 0 Current children cumulated CPU time (s) 230.07 Current children cumulated vsize (Kb) 6816 [startup+240.146 s] /proc/loadavg: 0.99 0.98 0.96 2/64 24998 /proc/meminfo: memFree=1375304/2055920 swapFree=4183160/4192956 [pid=24998] ppid=24996 vsize=7068 CPUtime=240.07 /proc/24998/stat : 24998 (Pueblo) R 24996 24998 24953 0 -1 4194304 1410 0 0 0 24006 1 0 0 25 0 1 0 101789554 7237632 1381 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527824 0 0 4096 0 0 0 0 17 1 0 0 /proc/24998/statm: 1767 1381 205 16 0 1208 0 Current children cumulated CPU time (s) 240.07 Current children cumulated vsize (Kb) 7068 [startup+250.153 s] /proc/loadavg: 0.99 0.98 0.96 2/64 24998 /proc/meminfo: memFree=1375304/2055920 swapFree=4183160/4192956 [pid=24998] ppid=24996 vsize=7064 CPUtime=250.08 /proc/24998/stat : 24998 (Pueblo) R 24996 24998 24953 0 -1 4194304 1410 0 0 0 25007 1 0 0 25 0 1 0 101789554 7233536 1381 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134532913 0 0 4096 0 0 0 0 17 1 0 0 /proc/24998/statm: 1766 1381 205 16 0 1207 0 Current children cumulated CPU time (s) 250.08 Current children cumulated vsize (Kb) 7064 [startup+260.159 s] /proc/loadavg: 0.99 0.98 0.96 2/64 24998 /proc/meminfo: memFree=1375304/2055920 swapFree=4183160/4192956 [pid=24998] ppid=24996 vsize=7064 CPUtime=260.08 /proc/24998/stat : 24998 (Pueblo) R 24996 24998 24953 0 -1 4194304 1410 0 0 0 26007 1 0 0 25 0 1 0 101789554 7233536 1381 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/24998/statm: 1766 1381 205 16 0 1207 0 Current children cumulated CPU time (s) 260.08 Current children cumulated vsize (Kb) 7064 Child status: 20 Real time (s): 263.206 CPU time (s): 263.132 CPU user time (s): 263.114 CPU system time (s): 0.017997 CPU usage (%): 99.9719 Max. virtual memory (cumulated for all children) (Kb): 7068
Begin job on node46 on Fri Jun 2 02:45:27 UTC 2006 FILE ID= 36092-1149216327 PBS_JOBID= 294797 BENCH NAME= ROOT/tmp/node46/36092-1149216327/instance-36092-1149216327.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node46/36092-1149216327/instance-36092-1149216327.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node46/watcher-36092-1149216327 -o ROOT/results/node46/solver-36092-1149216327 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node46/36092-1149216327/instance-36092-1149216327.opb MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff MD5SUM BENCH= 3135d58f22cd009942de3e1dff086931 RANDOM SEED= 737266802 /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.223 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.223 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: 1380168 kB Buffers: 40832 kB Cached: 557192 kB SwapCached: 4252 kB Active: 161096 kB Inactive: 446048 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1380168 kB SwapTotal: 4192956 kB SwapFree: 4183160 kB Dirty: 160 kB Writeback: 0 kB Mapped: 15052 kB Slab: 54656 kB Committed_AS: 179828 kB PageTables: 1412 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node46 on Fri Jun 2 02:49:51 UTC 2006