27.48/27.51 c starting MXC with:
27.48/27.51 c cnf_path = HOME/instance-1783877-1241896953.cnf
27.48/27.51 c restart_strategy = auto
27.48/27.51 c sign_strategy = cached
27.48/27.51 c use_preprocessing = -1
27.48/27.51 c output_implicant = 1
27.48/27.51 c timeout_seconds = 0
27.48/27.51 c running SatELite... done
27.48/27.51 c 217 vars eliminated
27.48/27.51 c received 42 units and 4800 clauses from SatELite
27.48/27.51 c 258 assignments made, starting to guess now
27.48/27.51 c ===================================[MXC]=====================================
27.48/27.51 c | Conflicts | Clause Statistics | Vars |
27.48/27.51 c | | CARD BIN O3+ L3+ L3+Lim Lit/CL | |
27.48/27.51 c =============================================================================
27.48/27.51 c | 0 | 0 545 4255 0 0 nan | 1587 |
27.48/27.51 c | 100 | 0 545 4255 100 1050 13.4 | 1329 |
27.48/27.51 c | 210 | 0 545 4255 210 1105 13.5 | 1329 |
27.48/27.51 c | 441 | 0 545 4255 441 1220 16.3 | 1329 |
27.48/27.51 c | 805 | 0 545 4255 805 1402 15.7 | 1329 |
27.48/27.51 c | 1315 | 0 545 4255 1315 1657 16.6 | 1329 |
27.48/27.51 c | 1986 | 0 545 4255 1986 1993 18.3 | 1329 |
27.48/27.51 c | 2834 | 0 545 4255 1837 2238 22.9 | 1329 |
27.48/27.51 c | 3876 | 0 545 4255 1720 2399 25.7 | 1329 |
27.48/27.51 c | 5132 | 0 545 4255 1726 2556 25.6 | 1329 |
27.48/27.51 c | 6623 | 0 545 4255 1890 2708 25.5 | 1329 |
27.48/27.51 c | 8373 | 0 545 4255 2246 2857 26.3 | 1329 |
27.48/27.51 c | 10408 | 0 545 4255 2828 3004 29.6 | 1329 |
27.48/27.51 c | 12756 | 0 545 4255 2111 3149 21.1 | 1329 |
27.48/27.51 c | 15449 | 0 545 4255 3199 3292 25.5 | 1329 |
27.48/27.51 c | 18521 | 0 545 4255 2933 3433 24.9 | 1329 |
27.48/27.51 c | 22010 | 0 546 4255 2928 3577 22.6 | 1329 |
27.48/27.51 c | 25958 | 0 547 4255 3242 3719 27.4 | 1329 |
27.48/27.51 c | 30411 | 0 548 4255 2001 3862 19.3 | 1329 |
27.48/27.51 c | 35419 | 0 550 4255 3063 4008 23.3 | 1329 |
27.48/27.51 c | 41038 | 0 550 4255 2554 4148 31.6 | 1329 |
27.48/27.51 c | 47329 | 0 550 4255 2494 4289 25.3 | 1329 |
27.48/27.51 c | 54360 | 0 551 4255 2963 4433 28.2 | 1329 |
27.48/27.51 c | 62205 | 0 551 4255 4056 4575 29.6 | 1329 |
27.48/27.51 c | 70945 | 0 552 4255 3506 4722 32.0 | 1329 |
27.48/27.51 c | 80669 | 0 553 4255 3636 4869 22.7 | 1329 |
27.48/27.51 c | 91476 | 0 558 4255 4538 5032 21.3 | 1329 |
27.48/27.51 c | 103474 | 0 562 4255 3750 5193 24.7 | 1329 |
27.48/27.51 c | 116782 | 0 565 4255 3866 5353 30.1 | 1329 |
27.48/27.51 c | 131532 | 0 565 4255 5050 5505 24.7 | 1329 |
27.48/27.51 c | 147868 | 0 570 4255 4637 5677 22.0 | 1329 |
27.48/27.51 c | 165948 | 0 576 4255 5434 5856 18.7 | 1329 |
27.48/27.51 c | 185947 | 0 581 4255 4621 6034 21.8 | 1329 |
27.48/27.51 c | 208057 | 0 588 4255 5283 6223 22.6 | 1329 |
27.48/27.51 c | 232489 | 0 591 4255 4473 6399 34.5 | 1329 |
27.48/27.51 c | 259475 | 0 592 4255 5520 6571 28.0 | 1329 |
27.48/27.51 c | 289271 | 0 598 4255 5318 6766 22.3 | 1329 |
27.48/27.51 c | 322158 | 0 602 4255 3843 6957 31.1 | 1329 |
27.48/27.51 c | 358445 | 0 608 4255 4791 7160 34.4 | 1329 |
27.48/27.51 c | 398472 | 0 619 4255 4771 7390 23.1 | 1329 |
27.48/27.51 c | 442613 | 0 628 4255 3873 7616 18.7 | 1329 |
27.48/27.51 c | 491279 | 0 641 4255 6051 7865 28.3 | 1329 |
27.48/27.51 c | 544923 | 0 651 4255 7814 8106 21.9 | 1329 |
170.14/170.22 c | 604043 | 0 665 4255 4972 8372 20.8 | 1329 |
170.14/170.22 c | 669187 | 0 683 4255 6158 8663 21.5 | 1329 |
170.14/170.22 c | 740957 | 0 690 4255 7663 8908 21.0 | 1329 |
170.14/170.22 c | 820016 | 0 703 4255 5208 9187 21.8 | 1329 |
170.14/170.22 c | 907092 | 0 723 4255 8052 9509 21.1 | 1329 |
170.14/170.22 c | 1002987 | 0 743 4255 7207 9838 20.7 | 1329 |
170.14/170.22 c | 1108583 | 0 764 4255 7714 10181 36.2 | 1329 |
170.14/170.22 c | 1224850 | 0 779 4255 10198 10501 39.2 | 1329 |
170.14/170.22 c | 1352856 | 0 805 4255 9966 10886 23.9 | 1329 |
170.14/170.22 c | 1493774 | 0 848 4255 6077 11369 18.2 | 1329 |
170.14/170.22 c | 1648896 | 0 885 4255 10077 11832 23.7 | 1329 |
170.14/170.22 c | 1819642 | 0 922 4255 11603 12305 20.4 | 1329 |
170.14/170.22 c | 2007575 | 0 966 4255 11035 12826 21.8 | 1329 |
170.14/170.22 c | 2214413 | 0 1006 4255 8298 13337 19.9 | 1329 |
170.14/170.22 c | 2280112 | 0 1057 4255 13525 13696 19.0 | 1174 |
170.14/170.22 c ----- stats for thread 0 -----
170.14/170.22 c restarts: 1541
170.14/170.22 c decisions: 5224361
170.14/170.22 c propagations: 83176283
170.14/170.22 c conflicts: 2280112
170.14/170.22 c 170.228s elapsed
170.14/170.22 s UNSATISFIABLE
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1783877-1241896953/watcher-1783877-1241896953 -o /tmp/evaluation-result-1783877-1241896953/solver-1783877-1241896953 -C 5000 -W 6000 -M 1800 HOME/mxc-sat09 -i HOME/instance-1783877-1241896953.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 6000 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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 28313
/proc/meminfo: memFree=1764992/2055920 swapFree=4180928/4192956
[pid=28313] ppid=28311 vsize=1608 CPUtime=0
/proc/28313/stat : 28313 (mxc-sat09) R 28311 28313 28234 0 -1 4194304 274 0 0 0 0 0 0 0 18 0 1 0 217728574 1646592 260 1992294400 134512640 135192793 4294956224 18446744073709551615 134750438 0 0 4096 0 0 0 0 17 1 0 0
/proc/28313/statm: 402 262 55 166 0 233 0
[startup+0.0107559 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 28313
/proc/meminfo: memFree=1764992/2055920 swapFree=4180928/4192956
[pid=28313] ppid=28311 vsize=1872 CPUtime=0
/proc/28313/stat : 28313 (mxc-sat09) R 28311 28313 28234 0 -1 4194304 339 0 0 0 0 0 0 0 18 0 1 0 217728574 1916928 325 1992294400 134512640 135192793 4294956224 18446744073709551615 134766703 0 0 4096 0 0 0 0 17 1 0 0
/proc/28313/statm: 468 325 55 166 0 299 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1872
[startup+0.101765 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 28313
/proc/meminfo: memFree=1764992/2055920 swapFree=4180928/4192956
[pid=28313] ppid=28311 vsize=2616 CPUtime=0.09
/proc/28313/stat : 28313 (mxc-sat09) R 28311 28313 28234 0 -1 4194304 641 0 0 0 9 0 0 0 18 0 1 0 217728574 2678784 540 1992294400 134512640 135192793 4294956224 18446744073709551615 134750438 0 0 4096 0 0 0 0 17 1 0 0
/proc/28313/statm: 654 540 72 166 0 485 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2616
[startup+0.301785 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 28313
/proc/meminfo: memFree=1764992/2055920 swapFree=4180928/4192956
[pid=28313] ppid=28311 vsize=3144 CPUtime=0.29
/proc/28313/stat : 28313 (mxc-sat09) R 28311 28313 28234 0 -1 4194304 763 0 0 0 29 0 0 0 19 0 1 0 217728574 3219456 662 1992294400 134512640 135192793 4294956224 18446744073709551615 134551016 0 0 4096 0 0 0 0 17 1 0 0
/proc/28313/statm: 786 662 73 166 0 617 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3144
[startup+0.701829 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 28313
/proc/meminfo: memFree=1764992/2055920 swapFree=4180928/4192956
[pid=28313] ppid=28311 vsize=3408 CPUtime=0.69
/proc/28313/stat : 28313 (mxc-sat09) R 28311 28313 28234 0 -1 4194304 834 0 0 0 69 0 0 0 22 0 1 0 217728574 3489792 733 1992294400 134512640 135192793 4294956224 18446744073709551615 134553674 0 0 4096 0 0 0 0 17 1 0 0
/proc/28313/statm: 852 733 73 166 0 683 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3408
[startup+1.50191 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 28314
/proc/meminfo: memFree=1762104/2055920 swapFree=4180928/4192956
[pid=28313] ppid=28311 vsize=3804 CPUtime=1.49
/proc/28313/stat : 28313 (mxc-sat09) R 28311 28313 28234 0 -1 4194304 925 0 0 0 149 0 0 0 25 0 1 0 217728574 3895296 824 1992294400 134512640 135192793 4294956224 18446744073709551615 134550897 0 0 4096 0 0 0 0 17 1 0 0
/proc/28313/statm: 951 824 73 166 0 782 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 3804
[startup+3.10109 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 28314
/proc/meminfo: memFree=1761656/2055920 swapFree=4180928/4192956
[pid=28313] ppid=28311 vsize=4224 CPUtime=3.09
/proc/28313/stat : 28313 (mxc-sat09) R 28311 28313 28234 0 -1 4194304 1039 0 0 0 309 0 0 0 25 0 1 0 217728574 4325376 938 1992294400 134512640 135192793 4294956224 18446744073709551615 134533834 0 0 4096 0 0 0 0 17 1 0 0
/proc/28313/statm: 1056 938 73 166 0 887 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 4224
[startup+6.30143 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 28314
/proc/meminfo: memFree=1760760/2055920 swapFree=4180928/4192956
[pid=28313] ppid=28311 vsize=4892 CPUtime=6.29
/proc/28313/stat : 28313 (mxc-sat09) R 28311 28313 28234 0 -1 4194304 1183 0 0 0 629 0 0 0 25 0 1 0 217728574 5009408 1082 1992294400 134512640 135192793 4294956224 18446744073709551615 134547869 0 0 4096 0 0 0 0 17 1 0 0
/proc/28313/statm: 1223 1082 73 166 0 1054 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 4892
[startup+12.7011 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 28314
/proc/meminfo: memFree=1759736/2055920 swapFree=4180928/4192956
[pid=28313] ppid=28311 vsize=5840 CPUtime=12.68
/proc/28313/stat : 28313 (mxc-sat09) R 28311 28313 28234 0 -1 4194304 1420 0 0 0 1268 0 0 0 25 0 1 0 217728574 5980160 1319 1992294400 134512640 135192793 4294956224 18446744073709551615 134534231 0 0 4096 0 0 0 0 17 1 0 0
/proc/28313/statm: 1460 1319 73 166 0 1291 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 5840
[startup+25.5015 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 28314
/proc/meminfo: memFree=1758912/2055920 swapFree=4180928/4192956
[pid=28313] ppid=28311 vsize=6680 CPUtime=25.48
/proc/28313/stat : 28313 (mxc-sat09) R 28311 28313 28234 0 -1 4194304 1612 0 0 0 2548 0 0 0 25 0 1 0 217728574 6840320 1511 1992294400 134512640 135192793 4294956224 18446744073709551615 134534131 0 0 4096 0 0 0 0 17 1 0 0
/proc/28313/statm: 1670 1511 73 166 0 1501 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 6680
[startup+51.1012 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 28314
/proc/meminfo: memFree=1757440/2055920 swapFree=4180928/4192956
[pid=28313] ppid=28311 vsize=8212 CPUtime=51.08
/proc/28313/stat : 28313 (mxc-sat09) R 28311 28313 28234 0 -1 4194304 1988 0 0 0 5107 1 0 0 25 0 1 0 217728574 8409088 1887 1992294400 134512640 135192793 4294956224 18446744073709551615 134533831 0 0 4096 0 0 0 0 17 1 0 0
/proc/28313/statm: 2053 1887 74 166 0 1884 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 8212
[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 28314
/proc/meminfo: memFree=1755200/2055920 swapFree=4180928/4192956
[pid=28313] ppid=28311 vsize=10752 CPUtime=102.27
/proc/28313/stat : 28313 (mxc-sat09) R 28311 28313 28234 0 -1 4194304 2529 0 0 0 10225 2 0 0 25 0 1 0 217728574 11010048 2428 1992294400 134512640 135192793 4294956224 18446744073709551615 134534215 0 0 4096 0 0 0 0 17 1 0 0
/proc/28313/statm: 2688 2428 74 166 0 2519 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 10752
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 28314
/proc/meminfo: memFree=1753344/2055920 swapFree=4180928/4192956
[pid=28313] ppid=28311 vsize=12920 CPUtime=162.24
/proc/28313/stat : 28313 (mxc-sat09) R 28311 28313 28234 0 -1 4194304 3011 0 0 0 16222 2 0 0 25 0 1 0 217728574 13230080 2910 1992294400 134512640 135192793 4294956224 18446744073709551615 134549684 0 0 4096 0 0 0 0 17 1 0 0
/proc/28313/statm: 3230 2910 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 0.98 0.99 2/65 28314
/proc/meminfo: memFree=1753152/2055920 swapFree=4180928/4192956
[pid=28313] ppid=28311 vsize=13080 CPUtime=166.24
/proc/28313/stat : 28313 (mxc-sat09) R 28311 28313 28234 0 -1 4194304 3041 0 0 0 16622 2 0 0 25 0 1 0 217728574 13393920 2940 1992294400 134512640 135192793 4294956224 18446744073709551615 134533834 0 0 4096 0 0 0 0 17 1 0 0
/proc/28313/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 0.98 0.99 2/65 28314
/proc/meminfo: memFree=1753088/2055920 swapFree=4180928/4192956
[pid=28313] ppid=28311 vsize=13080 CPUtime=167.84
/proc/28313/stat : 28313 (mxc-sat09) R 28311 28313 28234 0 -1 4194304 3041 0 0 0 16782 2 0 0 25 0 1 0 217728574 13393920 2940 1992294400 134512640 135192793 4294956224 18446744073709551615 134534170 0 0 4096 0 0 0 0 17 1 0 0
/proc/28313/statm: 3270 2940 74 166 0 3101 0
Current children cumulated CPU time (s) 167.84
Current children cumulated vsize (KiB) 13080
[startup+169.502 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 28314
/proc/meminfo: memFree=1753088/2055920 swapFree=4180928/4192956
[pid=28313] ppid=28311 vsize=13080 CPUtime=169.44
/proc/28313/stat : 28313 (mxc-sat09) R 28311 28313 28234 0 -1 4194304 3041 0 0 0 16942 2 0 0 25 0 1 0 217728574 13393920 2940 1992294400 134512640 135192793 4294956224 18446744073709551615 134533834 0 0 4096 0 0 0 0 17 1 0 0
/proc/28313/statm: 3270 2940 74 166 0 3101 0
Current children cumulated CPU time (s) 169.44
Current children cumulated vsize (KiB) 13080
[startup+169.902 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 28314
/proc/meminfo: memFree=1753088/2055920 swapFree=4180928/4192956
[pid=28313] ppid=28311 vsize=13080 CPUtime=169.84
/proc/28313/stat : 28313 (mxc-sat09) R 28311 28313 28234 0 -1 4194304 3050 0 0 0 16982 2 0 0 25 0 1 0 217728574 13393920 2949 1992294400 134512640 135192793 4294956224 18446744073709551615 134533796 0 0 4096 0 0 0 0 17 1 0 0
/proc/28313/statm: 3270 2949 74 166 0 3101 0
Current children cumulated CPU time (s) 169.84
Current children cumulated vsize (KiB) 13080
[startup+170.101 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 28314
/proc/meminfo: memFree=1753088/2055920 swapFree=4180928/4192956
[pid=28313] ppid=28311 vsize=13080 CPUtime=170.04
/proc/28313/stat : 28313 (mxc-sat09) R 28311 28313 28234 0 -1 4194304 3050 0 0 0 17002 2 0 0 25 0 1 0 217728574 13393920 2949 1992294400 134512640 135192793 4294956224 18446744073709551615 134533834 0 0 4096 0 0 0 0 17 1 0 0
/proc/28313/statm: 3270 2949 74 166 0 3101 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (KiB) 13080
[startup+170.201 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 28314
/proc/meminfo: memFree=1753088/2055920 swapFree=4180928/4192956
[pid=28313] ppid=28311 vsize=13080 CPUtime=170.14
/proc/28313/stat : 28313 (mxc-sat09) R 28311 28313 28234 0 -1 4194304 3050 0 0 0 17012 2 0 0 25 0 1 0 217728574 13393920 2949 1992294400 134512640 135192793 4294956224 18446744073709551615 134534267 0 0 4096 0 0 0 0 17 1 0 0
/proc/28313/statm: 3270 2949 74 166 0 3101 0
Current children cumulated CPU time (s) 170.14
Current children cumulated vsize (KiB) 13080
Child status: 20
Real time (s): 170.232
CPU time (s): 170.182
CPU user time (s): 170.152
CPU system time (s): 0.029995
CPU usage (%): 99.9708
Max. virtual memory (cumulated for all children) (KiB): 13080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 170.152
system time used= 0.029995
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= 360
runsolver used 0.119981 second user time and 0.379942 second system time
The end
Begin job on node19 at 2009-05-09 21:22:33
IDJOB=1783877
IDBENCH=24717
IDSOLVER=613
FILE ID=node19/1783877-1241896953
PBS_JOBID= 9264762
Free space on /tmp= 66192 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-1783877-1241896953/watcher-1783877-1241896953 -o /tmp/evaluation-result-1783877-1241896953/solver-1783877-1241896953 -C 5000 -W 6000 -M 1800 HOME/mxc-sat09 -i HOME/instance-1783877-1241896953.cnf
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 178c0646166b92c20ce876c724294ca1
RANDOM SEED=1644421317
node19.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.236
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.236
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: 1765408 kB
Buffers: 41152 kB
Cached: 175164 kB
SwapCached: 5772 kB
Active: 54844 kB
Inactive: 169328 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1765408 kB
SwapTotal: 4192956 kB
SwapFree: 4180928 kB
Dirty: 1032 kB
Writeback: 0 kB
Mapped: 13512 kB
Slab: 52292 kB
Committed_AS: 763284 kB
PageTables: 1452 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= 66192 MiB
End job on node19 at 2009-05-09 21:25:23