27.28/27.38 c starting MXC with:
27.28/27.38 c cnf_path = HOME/instance-1729903-1240754492.cnf
27.28/27.38 c restart_strategy = auto
27.28/27.38 c sign_strategy = cached
27.28/27.38 c use_preprocessing = -1
27.28/27.38 c output_implicant = 1
27.28/27.38 c timeout_seconds = 0
27.28/27.38 c running SatELite... done
27.28/27.38 c 217 vars eliminated
27.28/27.38 c received 42 units and 4800 clauses from SatELite
27.28/27.38 c 258 assignments made, starting to guess now
27.28/27.38 c ===================================[MXC]=====================================
27.28/27.38 c | Conflicts | Clause Statistics | Vars |
27.28/27.38 c | | CARD BIN O3+ L3+ L3+Lim Lit/CL | |
27.28/27.38 c =============================================================================
27.28/27.38 c | 0 | 0 545 4255 0 0 nan | 1587 |
27.28/27.38 c | 100 | 0 545 4255 100 1050 13.4 | 1329 |
27.28/27.38 c | 210 | 0 545 4255 210 1105 13.5 | 1329 |
27.28/27.38 c | 441 | 0 545 4255 441 1220 16.3 | 1329 |
27.28/27.38 c | 805 | 0 545 4255 805 1402 15.7 | 1329 |
27.28/27.38 c | 1315 | 0 545 4255 1315 1657 16.6 | 1329 |
27.28/27.38 c | 1986 | 0 545 4255 1986 1993 18.3 | 1329 |
27.28/27.38 c | 2834 | 0 545 4255 1837 2238 22.9 | 1329 |
27.28/27.38 c | 3876 | 0 545 4255 1720 2399 25.7 | 1329 |
27.28/27.38 c | 5132 | 0 545 4255 1726 2556 25.6 | 1329 |
27.28/27.38 c | 6623 | 0 545 4255 1890 2708 25.5 | 1329 |
27.28/27.38 c | 8373 | 0 545 4255 2246 2857 26.3 | 1329 |
27.28/27.38 c | 10408 | 0 545 4255 2828 3004 29.6 | 1329 |
27.28/27.38 c | 12756 | 0 545 4255 2111 3149 21.1 | 1329 |
27.28/27.38 c | 15449 | 0 545 4255 3199 3292 25.5 | 1329 |
27.28/27.38 c | 18521 | 0 545 4255 2933 3433 24.9 | 1329 |
27.28/27.38 c | 22010 | 0 546 4255 2928 3577 22.6 | 1329 |
27.28/27.38 c | 25958 | 0 547 4255 3242 3719 27.4 | 1329 |
27.28/27.38 c | 30411 | 0 548 4255 2001 3862 19.3 | 1329 |
27.28/27.38 c | 35419 | 0 550 4255 3063 4008 23.3 | 1329 |
27.28/27.38 c | 41038 | 0 550 4255 2554 4148 31.6 | 1329 |
27.28/27.38 c | 47329 | 0 550 4255 2494 4289 25.3 | 1329 |
27.28/27.38 c | 54360 | 0 551 4255 2963 4433 28.2 | 1329 |
27.28/27.38 c | 62205 | 0 551 4255 4056 4575 29.6 | 1329 |
27.28/27.38 c | 70945 | 0 552 4255 3506 4722 32.0 | 1329 |
27.28/27.38 c | 80669 | 0 553 4255 3636 4869 22.7 | 1329 |
27.28/27.38 c | 91476 | 0 558 4255 4538 5032 21.3 | 1329 |
27.28/27.38 c | 103474 | 0 562 4255 3750 5193 24.7 | 1329 |
27.28/27.38 c | 116782 | 0 565 4255 3866 5353 30.1 | 1329 |
27.28/27.38 c | 131532 | 0 565 4255 5050 5505 24.7 | 1329 |
27.28/27.38 c | 147868 | 0 570 4255 4637 5677 22.0 | 1329 |
27.28/27.38 c | 165948 | 0 576 4255 5434 5856 18.7 | 1329 |
27.28/27.38 c | 185947 | 0 581 4255 4621 6034 21.8 | 1329 |
27.28/27.38 c | 208057 | 0 588 4255 5283 6223 22.6 | 1329 |
27.28/27.38 c | 232489 | 0 591 4255 4473 6399 34.5 | 1329 |
27.28/27.38 c | 259475 | 0 592 4255 5520 6571 28.0 | 1329 |
27.28/27.38 c | 289271 | 0 598 4255 5318 6766 22.3 | 1329 |
27.28/27.38 c | 322158 | 0 602 4255 3843 6957 31.1 | 1329 |
27.28/27.38 c | 358445 | 0 608 4255 4791 7160 34.4 | 1329 |
27.28/27.38 c | 398472 | 0 619 4255 4771 7390 23.1 | 1329 |
27.28/27.38 c | 442613 | 0 628 4255 3873 7616 18.7 | 1329 |
27.28/27.38 c | 491279 | 0 641 4255 6051 7865 28.3 | 1329 |
27.28/27.38 c | 544923 | 0 651 4255 7814 8106 21.9 | 1329 |
169.34/169.44 c | 604043 | 0 665 4255 4972 8372 20.8 | 1329 |
169.34/169.44 c | 669187 | 0 683 4255 6158 8663 21.5 | 1329 |
169.34/169.44 c | 740957 | 0 690 4255 7663 8908 21.0 | 1329 |
169.34/169.44 c | 820016 | 0 703 4255 5208 9187 21.8 | 1329 |
169.34/169.44 c | 907092 | 0 723 4255 8052 9509 21.1 | 1329 |
169.34/169.44 c | 1002987 | 0 743 4255 7207 9838 20.7 | 1329 |
169.34/169.44 c | 1108583 | 0 764 4255 7714 10181 36.2 | 1329 |
169.34/169.44 c | 1224850 | 0 779 4255 10198 10501 39.2 | 1329 |
169.34/169.44 c | 1352856 | 0 805 4255 9966 10886 23.9 | 1329 |
169.34/169.44 c | 1493774 | 0 848 4255 6077 11369 18.2 | 1329 |
169.34/169.44 c | 1648896 | 0 885 4255 10077 11832 23.7 | 1329 |
169.34/169.44 c | 1819642 | 0 922 4255 11603 12305 20.4 | 1329 |
169.34/169.44 c | 2007575 | 0 966 4255 11035 12826 21.8 | 1329 |
169.34/169.44 c | 2214413 | 0 1006 4255 8298 13337 19.9 | 1329 |
169.34/169.44 c | 2280112 | 0 1057 4255 13525 13696 19.0 | 1174 |
169.34/169.44 c ----- stats for thread 0 -----
169.34/169.44 c restarts: 1541
169.34/169.44 c decisions: 5224361
169.34/169.44 c propagations: 83176283
169.34/169.44 c conflicts: 2280112
169.34/169.44 c 169.445s elapsed
169.34/169.44 s UNSATISFIABLE
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1729903-1240754492/watcher-1729903-1240754492 -o /tmp/evaluation-result-1729903-1240754492/solver-1729903-1240754492 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/mxc-sat09 -i HOME/instance-1729903-1240754492.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.99 1.00 0.99 3/64 22749
/proc/meminfo: memFree=1602752/2055920 swapFree=4181396/4192956
[pid=22749] ppid=22747 vsize=1608 CPUtime=0
/proc/22749/stat : 22749 (mxc-sat09) R 22747 22749 22460 0 -1 4194304 274 0 0 0 0 0 0 0 18 0 1 0 103482258 1646592 260 1992294400 134512640 135192793 4294956208 18446744073709551615 134750438 0 0 4096 0 0 0 0 17 1 0 0
/proc/22749/statm: 402 260 55 166 0 233 0
[startup+0.0301621 s]
/proc/loadavg: 0.99 1.00 0.99 3/64 22749
/proc/meminfo: memFree=1602752/2055920 swapFree=4181396/4192956
[pid=22749] ppid=22747 vsize=2088 CPUtime=0.02
/proc/22749/stat : 22749 (mxc-sat09) R 22747 22749 22460 0 -1 4194304 470 0 0 0 2 0 0 0 18 0 1 0 103482258 2138112 369 1992294400 134512640 135192793 4294956208 18446744073709551615 134567648 0 0 4096 0 0 0 0 17 1 0 0
/proc/22749/statm: 522 369 56 166 0 353 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2088
[startup+0.101174 s]
/proc/loadavg: 0.99 1.00 0.99 3/64 22749
/proc/meminfo: memFree=1602752/2055920 swapFree=4181396/4192956
[pid=22749] ppid=22747 vsize=2616 CPUtime=0.09
/proc/22749/stat : 22749 (mxc-sat09) R 22747 22749 22460 0 -1 4194304 639 0 0 0 9 0 0 0 18 0 1 0 103482258 2678784 538 1992294400 134512640 135192793 4294956208 18446744073709551615 134750438 0 0 4096 0 0 0 0 17 1 0 0
/proc/22749/statm: 654 538 72 166 0 485 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2616
[startup+0.301207 s]
/proc/loadavg: 0.99 1.00 0.99 3/64 22749
/proc/meminfo: memFree=1602752/2055920 swapFree=4181396/4192956
[pid=22749] ppid=22747 vsize=3144 CPUtime=0.29
/proc/22749/stat : 22749 (mxc-sat09) R 22747 22749 22460 0 -1 4194304 764 0 0 0 29 0 0 0 19 0 1 0 103482258 3219456 663 1992294400 134512640 135192793 4294956208 18446744073709551615 134752530 0 0 4096 0 0 0 0 17 1 0 0
/proc/22749/statm: 786 663 73 166 0 617 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3144
[startup+0.701275 s]
/proc/loadavg: 0.99 1.00 0.99 3/64 22749
/proc/meminfo: memFree=1602752/2055920 swapFree=4181396/4192956
[pid=22749] ppid=22747 vsize=3408 CPUtime=0.69
/proc/22749/stat : 22749 (mxc-sat09) R 22747 22749 22460 0 -1 4194304 834 0 0 0 69 0 0 0 23 0 1 0 103482258 3489792 733 1992294400 134512640 135192793 4294956208 18446744073709551615 134534213 0 0 4096 0 0 0 0 17 1 0 0
/proc/22749/statm: 852 733 73 166 0 683 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3408
[startup+1.50141 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 22750
/proc/meminfo: memFree=1599864/2055920 swapFree=4181396/4192956
[pid=22749] ppid=22747 vsize=3804 CPUtime=1.49
/proc/22749/stat : 22749 (mxc-sat09) R 22747 22749 22460 0 -1 4194304 926 0 0 0 149 0 0 0 25 0 1 0 103482258 3895296 825 1992294400 134512640 135192793 4294956208 18446744073709551615 134551023 0 0 4096 0 0 0 0 17 1 0 0
/proc/22749/statm: 951 825 73 166 0 782 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 3804
[startup+3.10169 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 22750
/proc/meminfo: memFree=1599416/2055920 swapFree=4181396/4192956
[pid=22749] ppid=22747 vsize=4224 CPUtime=3.09
/proc/22749/stat : 22749 (mxc-sat09) R 22747 22749 22460 0 -1 4194304 1039 0 0 0 309 0 0 0 25 0 1 0 103482258 4325376 938 1992294400 134512640 135192793 4294956208 18446744073709551615 134533186 0 0 4096 0 0 0 0 17 1 0 0
/proc/22749/statm: 1056 938 73 166 0 887 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 4224
[startup+6.30123 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 22750
/proc/meminfo: memFree=1598520/2055920 swapFree=4181396/4192956
[pid=22749] ppid=22747 vsize=4892 CPUtime=6.29
/proc/22749/stat : 22749 (mxc-sat09) R 22747 22749 22460 0 -1 4194304 1183 0 0 0 629 0 0 0 25 0 1 0 103482258 5009408 1082 1992294400 134512640 135192793 4294956208 18446744073709551615 134551982 0 0 4096 0 0 0 0 17 1 0 0
/proc/22749/statm: 1223 1082 73 166 0 1054 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 4892
[startup+12.7013 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 22750
/proc/meminfo: memFree=1597440/2055920 swapFree=4181396/4192956
[pid=22749] ppid=22747 vsize=5840 CPUtime=12.69
/proc/22749/stat : 22749 (mxc-sat09) R 22747 22749 22460 0 -1 4194304 1428 0 0 0 1268 1 0 0 25 0 1 0 103482258 5980160 1327 1992294400 134512640 135192793 4294956208 18446744073709551615 134533831 0 0 4096 0 0 0 0 17 1 0 0
/proc/22749/statm: 1460 1327 73 166 0 1291 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 5840
[startup+25.5015 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 22750
/proc/meminfo: memFree=1596608/2055920 swapFree=4181396/4192956
[pid=22749] ppid=22747 vsize=6680 CPUtime=25.48
/proc/22749/stat : 22749 (mxc-sat09) R 22747 22749 22460 0 -1 4194304 1612 0 0 0 2547 1 0 0 25 0 1 0 103482258 6840320 1511 1992294400 134512640 135192793 4294956208 18446744073709551615 134534029 0 0 4096 0 0 0 0 17 1 0 0
/proc/22749/statm: 1670 1511 73 166 0 1501 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 6680
[startup+51.1019 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 22750
/proc/meminfo: memFree=1595136/2055920 swapFree=4181396/4192956
[pid=22749] ppid=22747 vsize=8212 CPUtime=51.07
/proc/22749/stat : 22749 (mxc-sat09) R 22747 22749 22460 0 -1 4194304 1988 0 0 0 5106 1 0 0 25 0 1 0 103482258 8409088 1887 1992294400 134512640 135192793 4294956208 18446744073709551615 134534134 0 0 4096 0 0 0 0 17 1 0 0
/proc/22749/statm: 2053 1887 74 166 0 1884 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 8212
[startup+102.306 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 22750
/proc/meminfo: memFree=1592832/2055920 swapFree=4181396/4192956
[pid=22749] ppid=22747 vsize=10752 CPUtime=102.26
/proc/22749/stat : 22749 (mxc-sat09) R 22747 22749 22460 0 -1 4194304 2545 0 0 0 10225 1 0 0 25 0 1 0 103482258 11010048 2444 1992294400 134512640 135192793 4294956208 18446744073709551615 134534218 0 0 4096 0 0 0 0 17 1 0 0
/proc/22749/statm: 2688 2444 74 166 0 2519 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 10752
[startup+162.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 22750
/proc/meminfo: memFree=1590912/2055920 swapFree=4181396/4192956
[pid=22749] ppid=22747 vsize=12920 CPUtime=162.24
/proc/22749/stat : 22749 (mxc-sat09) R 22747 22749 22460 0 -1 4194304 3017 0 0 0 16222 2 0 0 25 0 1 0 103482258 13230080 2916 1992294400 134512640 135192793 4294956208 18446744073709551615 134534170 0 0 4096 0 0 0 0 17 1 0 0
/proc/22749/statm: 3230 2916 74 166 0 3061 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 12920
Solver just ended. Dumping a history of the last processes samples
[startup+166.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 22750
/proc/meminfo: memFree=1590784/2055920 swapFree=4181396/4192956
[pid=22749] ppid=22747 vsize=13080 CPUtime=166.24
/proc/22749/stat : 22749 (mxc-sat09) R 22747 22749 22460 0 -1 4194304 3041 0 0 0 16622 2 0 0 25 0 1 0 103482258 13393920 2940 1992294400 134512640 135192793 4294956208 18446744073709551615 134534231 0 0 4096 0 0 0 0 17 1 0 0
/proc/22749/statm: 3270 2940 74 166 0 3101 0
Current children cumulated CPU time (s) 166.24
Current children cumulated vsize (KiB) 13080
[startup+167.902 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 22750
/proc/meminfo: memFree=1590784/2055920 swapFree=4181396/4192956
[pid=22749] ppid=22747 vsize=13080 CPUtime=167.84
/proc/22749/stat : 22749 (mxc-sat09) R 22747 22749 22460 0 -1 4194304 3041 0 0 0 16782 2 0 0 25 0 1 0 103482258 13393920 2940 1992294400 134512640 135192793 4294956208 18446744073709551615 134533834 0 0 4096 0 0 0 0 17 1 0 0
/proc/22749/statm: 3270 2940 74 166 0 3101 0
Current children cumulated CPU time (s) 167.84
Current children cumulated vsize (KiB) 13080
[startup+168.702 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 22750
/proc/meminfo: memFree=1590784/2055920 swapFree=4181396/4192956
[pid=22749] ppid=22747 vsize=13080 CPUtime=168.64
/proc/22749/stat : 22749 (mxc-sat09) R 22747 22749 22460 0 -1 4194304 3041 0 0 0 16862 2 0 0 25 0 1 0 103482258 13393920 2940 1992294400 134512640 135192793 4294956208 18446744073709551615 134533834 0 0 4096 0 0 0 0 17 1 0 0
/proc/22749/statm: 3270 2940 74 166 0 3101 0
Current children cumulated CPU time (s) 168.64
Current children cumulated vsize (KiB) 13080
[startup+169.101 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 22750
/proc/meminfo: memFree=1590784/2055920 swapFree=4181396/4192956
[pid=22749] ppid=22747 vsize=13080 CPUtime=169.04
/proc/22749/stat : 22749 (mxc-sat09) R 22747 22749 22460 0 -1 4194304 3050 0 0 0 16902 2 0 0 25 0 1 0 103482258 13393920 2949 1992294400 134512640 135192793 4294956208 18446744073709551615 134533783 0 0 4096 0 0 0 0 17 1 0 0
/proc/22749/statm: 3270 2949 74 166 0 3101 0
Current children cumulated CPU time (s) 169.04
Current children cumulated vsize (KiB) 13080
[startup+169.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 22750
/proc/meminfo: memFree=1590720/2055920 swapFree=4181396/4192956
[pid=22749] ppid=22747 vsize=13080 CPUtime=169.24
/proc/22749/stat : 22749 (mxc-sat09) R 22747 22749 22460 0 -1 4194304 3050 0 0 0 16922 2 0 0 25 0 1 0 103482258 13393920 2949 1992294400 134512640 135192793 4294956208 18446744073709551615 134552256 0 0 4096 0 0 0 0 17 1 0 0
/proc/22749/statm: 3270 2949 74 166 0 3101 0
Current children cumulated CPU time (s) 169.24
Current children cumulated vsize (KiB) 13080
[startup+169.405 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 22750
/proc/meminfo: memFree=1590720/2055920 swapFree=4181396/4192956
[pid=22749] ppid=22747 vsize=13080 CPUtime=169.34
/proc/22749/stat : 22749 (mxc-sat09) R 22747 22749 22460 0 -1 4194304 3050 0 0 0 16932 2 0 0 25 0 1 0 103482258 13393920 2949 1992294400 134512640 135192793 4294956208 18446744073709551615 134533227 0 0 4096 0 0 0 0 17 1 0 0
/proc/22749/statm: 3270 2949 74 166 0 3101 0
Current children cumulated CPU time (s) 169.34
Current children cumulated vsize (KiB) 13080
Child status: 20
Real time (s): 169.448
CPU time (s): 169.393
CPU user time (s): 169.366
CPU system time (s): 0.026995
CPU usage (%): 99.9676
Max. virtual memory (cumulated for all children) (KiB): 13080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 169.366
system time used= 0.026995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3052
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= 2
involuntary context switches= 416
runsolver used 0.157975 second user time and 0.32295 second system time
The end
Begin job on node25 at 2009-04-26 16:01:32
IDJOB=1729903
IDBENCH=24717
IDSOLVER=504
FILE ID=node25/1729903-1240754492
PBS_JOBID= 9187066
Free space on /tmp= 66388 MiB
SOLVER NAME= MXC 2009-03-10
BENCH NAME= SAT07/crafted/Difficult/contest05/QG/QG6-gensys-icl001.sat05-2695.reshuffled-07.cnf
COMMAND LINE= HOME/mxc-sat09 -i BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1729903-1240754492/watcher-1729903-1240754492 -o /tmp/evaluation-result-1729903-1240754492/solver-1729903-1240754492 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/mxc-sat09 -i HOME/instance-1729903-1240754492.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 178c0646166b92c20ce876c724294ca1
RANDOM SEED=1281209077
node25.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/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.259
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.259
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: 1603168 kB
Buffers: 42524 kB
Cached: 353660 kB
SwapCached: 5424 kB
Active: 128696 kB
Inactive: 275428 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1603168 kB
SwapTotal: 4192956 kB
SwapFree: 4181396 kB
Dirty: 1028 kB
Writeback: 0 kB
Mapped: 13516 kB
Slab: 34676 kB
Committed_AS: 397740 kB
PageTables: 1460 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= 66388 MiB
End job on node25 at 2009-04-26 16:04:22