25.09/25.14 c starting MXC with:
25.09/25.14 c cnf_path = HOME/instance-1783565-1241861798.cnf
25.09/25.14 c restart_strategy = auto
25.09/25.14 c sign_strategy = cached
25.09/25.14 c use_preprocessing = -1
25.09/25.14 c output_implicant = 1
25.09/25.14 c timeout_seconds = 0
25.09/25.14 c running SatELite... done
25.09/25.14 c 201 vars eliminated
25.09/25.14 c received 42 units and 4532 clauses from SatELite
25.09/25.14 c 242 assignments made, starting to guess now
25.09/25.14 c ===================================[MXC]=====================================
25.09/25.14 c | Conflicts | Clause Statistics | Vars |
25.09/25.14 c | | CARD BIN O3+ L3+ L3+Lim Lit/CL | |
25.09/25.14 c =============================================================================
25.09/25.14 c | 0 | 0 515 4017 0 0 nan | 1472 |
25.09/25.14 c | 100 | 0 515 4017 100 1050 11.1 | 1230 |
25.09/25.14 c | 210 | 0 515 4017 210 1105 15.8 | 1230 |
25.09/25.14 c | 441 | 0 515 4017 441 1220 17.6 | 1230 |
25.09/25.14 c | 805 | 0 515 4017 805 1402 15.7 | 1230 |
25.09/25.14 c | 1315 | 0 515 4017 1315 1657 17.6 | 1230 |
25.09/25.14 c | 1986 | 0 515 4017 1012 1957 20.6 | 1230 |
25.09/25.14 c | 2834 | 0 515 4017 1860 2114 21.9 | 1230 |
25.09/25.14 c | 3876 | 0 516 4017 1820 2267 21.6 | 1230 |
25.09/25.14 c | 5132 | 0 517 4017 1909 2417 25.1 | 1230 |
25.09/25.14 c | 6623 | 0 517 4017 2162 2561 24.2 | 1230 |
25.09/25.14 c | 8373 | 0 517 4017 2612 2702 26.2 | 1230 |
25.09/25.14 c | 10408 | 0 519 4017 1883 2845 25.6 | 1230 |
25.09/25.14 c | 12756 | 0 519 4017 2778 2982 23.2 | 1230 |
25.09/25.14 c | 15449 | 0 519 4017 2436 3118 28.4 | 1230 |
25.09/25.14 c | 18521 | 0 521 4017 2320 3256 27.8 | 1230 |
25.09/25.14 c | 22010 | 0 522 4017 2477 3392 25.7 | 1230 |
25.09/25.14 c | 25958 | 0 522 4017 2969 3525 18.8 | 1230 |
25.09/25.14 c | 30411 | 0 522 4017 2024 3658 20.4 | 1230 |
25.09/25.14 c | 35419 | 0 523 4017 3300 3794 17.9 | 1230 |
25.09/25.14 c | 41038 | 0 523 4017 3140 3926 17.3 | 1230 |
25.09/25.14 c | 47329 | 0 523 4017 3451 4060 28.5 | 1230 |
25.09/25.14 c | 54360 | 0 524 4017 2215 4197 21.1 | 1230 |
25.09/25.14 c | 62205 | 0 525 4017 3651 4334 22.4 | 1230 |
25.09/25.14 c | 70945 | 0 527 4017 3590 4476 22.7 | 1230 |
25.09/25.14 c | 80669 | 0 531 4017 4228 4626 27.0 | 1230 |
25.09/25.14 c | 91476 | 0 535 4017 3280 4778 23.3 | 1230 |
25.09/25.14 c | 103474 | 0 536 4017 3139 4921 20.0 | 1230 |
25.09/25.14 c | 116782 | 0 544 4017 3908 5091 20.5 | 1230 |
25.09/25.14 c | 131532 | 0 551 4017 3115 5260 31.7 | 1230 |
25.09/25.14 c | 147868 | 0 553 4017 3412 5414 19.1 | 1230 |
25.09/25.14 c | 165948 | 0 554 4017 5015 5567 20.5 | 1230 |
25.09/25.14 c | 185947 | 0 558 4017 5266 5733 33.5 | 1230 |
25.09/25.14 c | 208057 | 0 558 4017 4151 5886 27.8 | 1230 |
25.09/25.14 c | 232489 | 0 564 4017 4668 6066 23.4 | 1230 |
25.09/25.14 c | 259475 | 0 568 4017 3942 6241 20.6 | 1230 |
25.09/25.14 c | 289271 | 0 579 4017 5149 6448 21.9 | 1230 |
25.09/25.14 c | 322158 | 0 586 4017 5295 6644 20.4 | 1230 |
25.09/25.14 c | 358445 | 0 600 4017 4424 6873 21.3 | 1230 |
25.09/25.14 c | 398472 | 0 608 4017 6062 7081 19.0 | 1230 |
25.09/25.14 c | 442613 | 0 613 4017 7116 7281 29.6 | 1230 |
25.09/25.14 c | 491279 | 0 619 4017 4071 7489 19.5 | 1230 |
25.09/25.14 c | 544923 | 0 626 4017 4469 7706 20.6 | 1230 |
193.31/193.35 c | 604043 | 0 644 4017 4768 7980 20.0 | 1230 |
193.31/193.35 c | 669187 | 0 666 4017 4835 8280 20.1 | 1230 |
193.31/193.35 c | 740957 | 0 687 4017 4774 8582 20.7 | 1230 |
193.31/193.35 c | 820016 | 0 707 4017 5070 8885 24.9 | 1230 |
193.31/193.35 c | 907092 | 0 722 4017 6223 9172 20.3 | 1230 |
193.31/193.35 c | 1002987 | 0 756 4017 8371 9559 26.4 | 1230 |
193.31/193.35 c | 1108583 | 0 784 4017 6799 9926 22.5 | 1230 |
193.31/193.35 c | 1224850 | 0 803 4017 7035 10256 22.2 | 1230 |
193.31/193.35 c | 1352856 | 0 818 4017 10020 10574 22.2 | 1230 |
193.31/193.35 c | 1493774 | 0 842 4017 5690 10946 20.0 | 1230 |
193.31/193.35 c | 1648896 | 0 858 4017 10608 11287 20.7 | 1230 |
193.31/193.35 c | 1819642 | 0 880 4017 9127 11666 18.9 | 1230 |
193.31/193.35 c | 2007575 | 0 906 4017 7116 12077 25.8 | 1230 |
193.31/193.35 c | 2214413 | 0 924 4017 11396 12455 19.3 | 1230 |
193.31/193.35 c | 2442047 | 0 948 4017 10948 12875 19.7 | 1230 |
193.31/193.35 c | 2692557 | 0 969 1984 6794 13403 19.3 | 1226 |
193.31/193.35 c | 2722900 | 0 1002 1984 9032 9370 18.0 | 1225 |
193.31/193.35 c ----- stats for thread 0 -----
193.31/193.35 c restarts: 1622
193.31/193.35 c decisions: 4848994
193.31/193.35 c propagations: 95189833
193.31/193.35 c conflicts: 2722900
193.31/193.35 c 193.356s elapsed
193.31/193.35 s UNSATISFIABLE
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1783565-1241861798/watcher-1783565-1241861798 -o /tmp/evaluation-result-1783565-1241861798/solver-1783565-1241861798 -C 5000 -W 6000 -M 1800 HOME/mxc-sat09 -i HOME/instance-1783565-1241861798.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.00 0.00 0.00 3/64 24426
/proc/meminfo: memFree=1879808/2055920 swapFree=4180104/4192956
[pid=24426] ppid=24424 vsize=1584 CPUtime=0
/proc/24426/stat : 24426 (mxc-sat09) R 24424 24426 24389 0 -1 4194304 270 0 0 0 0 0 0 0 18 0 1 0 214213200 1622016 256 1992294400 134512640 135192793 4294956224 18446744073709551615 134766703 0 0 4096 0 0 0 0 17 1 0 0
/proc/24426/statm: 396 256 55 166 0 227 0
[startup+0.010048 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 24426
/proc/meminfo: memFree=1879808/2055920 swapFree=4180104/4192956
[pid=24426] ppid=24424 vsize=1848 CPUtime=0
/proc/24426/stat : 24426 (mxc-sat09) R 24424 24426 24389 0 -1 4194304 327 0 0 0 0 0 0 0 18 0 1 0 214213200 1892352 313 1992294400 134512640 135192793 4294956224 18446744073709551615 134766703 0 0 4096 0 0 0 0 17 1 0 0
/proc/24426/statm: 462 313 55 166 0 293 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1848
[startup+0.101022 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 24426
/proc/meminfo: memFree=1879808/2055920 swapFree=4180104/4192956
[pid=24426] ppid=24424 vsize=2556 CPUtime=0.09
/proc/24426/stat : 24426 (mxc-sat09) R 24424 24426 24389 0 -1 4194304 619 0 0 0 9 0 0 0 18 0 1 0 214213200 2617344 524 1992294400 134512640 135192793 4294956224 18446744073709551615 134750438 0 0 4096 0 0 0 0 17 1 0 0
/proc/24426/statm: 639 524 72 166 0 470 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2556
[startup+0.301964 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 24426
/proc/meminfo: memFree=1879808/2055920 swapFree=4180104/4192956
[pid=24426] ppid=24424 vsize=2952 CPUtime=0.3
/proc/24426/stat : 24426 (mxc-sat09) R 24424 24426 24389 0 -1 4194304 721 0 0 0 30 0 0 0 19 0 1 0 214213200 3022848 626 1992294400 134512640 135192793 4294956224 18446744073709551615 134552327 0 0 4096 0 0 0 0 17 1 0 0
/proc/24426/statm: 738 626 73 166 0 569 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 2952
[startup+0.70185 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 24426
/proc/meminfo: memFree=1879808/2055920 swapFree=4180104/4192956
[pid=24426] ppid=24424 vsize=3348 CPUtime=0.69
/proc/24426/stat : 24426 (mxc-sat09) R 24424 24426 24389 0 -1 4194304 801 0 0 0 69 0 0 0 22 0 1 0 214213200 3428352 706 1992294400 134512640 135192793 4294956224 18446744073709551615 134532590 0 0 4096 0 0 0 0 17 1 0 0
/proc/24426/statm: 837 706 73 166 0 668 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3348
[startup+1.50162 s]
/proc/loadavg: 0.08 0.02 0.01 2/65 24427
/proc/meminfo: memFree=1877112/2055920 swapFree=4180104/4192956
[pid=24426] ppid=24424 vsize=3744 CPUtime=1.49
/proc/24426/stat : 24426 (mxc-sat09) R 24424 24426 24389 0 -1 4194304 893 0 0 0 149 0 0 0 25 0 1 0 214213200 3833856 798 1992294400 134512640 135192793 4294956224 18446744073709551615 134533831 0 0 4096 0 0 0 0 17 1 0 0
/proc/24426/statm: 936 798 73 166 0 767 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 3744
[startup+3.10117 s]
/proc/loadavg: 0.08 0.02 0.01 2/65 24427
/proc/meminfo: memFree=1876600/2055920 swapFree=4180104/4192956
[pid=24426] ppid=24424 vsize=4164 CPUtime=3.09
/proc/24426/stat : 24426 (mxc-sat09) R 24424 24426 24389 0 -1 4194304 1007 0 0 0 309 0 0 0 25 0 1 0 214213200 4263936 912 1992294400 134512640 135192793 4294956224 18446744073709551615 134534128 0 0 4096 0 0 0 0 17 1 0 0
/proc/24426/statm: 1041 912 73 166 0 872 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 4164
[startup+6.30126 s]
/proc/loadavg: 0.08 0.02 0.01 2/65 24427
/proc/meminfo: memFree=1875896/2055920 swapFree=4180104/4192956
[pid=24426] ppid=24424 vsize=4692 CPUtime=6.29
/proc/24426/stat : 24426 (mxc-sat09) R 24424 24426 24389 0 -1 4194304 1143 0 0 0 629 0 0 0 25 0 1 0 214213200 4804608 1048 1992294400 134512640 135192793 4294956224 18446744073709551615 134533834 0 0 4096 0 0 0 0 17 1 0 0
/proc/24426/statm: 1173 1048 73 166 0 1004 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 4692
[startup+12.7014 s]
/proc/loadavg: 0.22 0.05 0.02 3/65 24427
/proc/meminfo: memFree=1874872/2055920 swapFree=4180104/4192956
[pid=24426] ppid=24424 vsize=5496 CPUtime=12.69
/proc/24426/stat : 24426 (mxc-sat09) R 24424 24426 24389 0 -1 4194304 1345 0 0 0 1269 0 0 0 25 0 1 0 214213200 5627904 1250 1992294400 134512640 135192793 4294956224 18446744073709551615 134533776 0 0 4096 0 0 0 0 17 1 0 0
/proc/24426/statm: 1374 1250 73 166 0 1205 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 5496
[startup+25.5018 s]
/proc/loadavg: 0.34 0.08 0.02 2/65 24427
/proc/meminfo: memFree=1873720/2055920 swapFree=4180104/4192956
[pid=24426] ppid=24424 vsize=6708 CPUtime=25.49
/proc/24426/stat : 24426 (mxc-sat09) R 24424 24426 24389 0 -1 4194304 1624 0 0 0 2549 0 0 0 25 0 1 0 214213200 6868992 1529 1992294400 134512640 135192793 4294956224 18446744073709551615 134549692 0 0 4096 0 0 0 0 17 1 0 0
/proc/24426/statm: 1677 1529 74 166 0 1508 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 6708
[startup+51.1015 s]
/proc/loadavg: 0.60 0.17 0.05 2/65 24427
/proc/meminfo: memFree=1872568/2055920 swapFree=4180104/4192956
[pid=24426] ppid=24424 vsize=8008 CPUtime=51.09
/proc/24426/stat : 24426 (mxc-sat09) R 24424 24426 24389 0 -1 4194304 1916 0 0 0 5109 0 0 0 25 0 1 0 214213200 8200192 1821 1992294400 134512640 135192793 4294956224 18446744073709551615 134534267 0 0 4096 0 0 0 0 17 1 0 0
/proc/24426/statm: 2002 1821 74 166 0 1833 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 8008
[startup+102.306 s]
/proc/loadavg: 0.82 0.29 0.10 2/65 24427
/proc/meminfo: memFree=1870712/2055920 swapFree=4180104/4192956
[pid=24426] ppid=24424 vsize=10100 CPUtime=102.31
/proc/24426/stat : 24426 (mxc-sat09) R 24424 24426 24389 0 -1 4194304 2370 0 0 0 10230 1 0 0 25 0 1 0 214213200 10342400 2275 1992294400 134512640 135192793 4294956224 18446744073709551615 134534170 0 0 4096 0 0 0 0 17 1 0 0
/proc/24426/statm: 2525 2275 74 166 0 2356 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 10100
[startup+162.302 s]
/proc/loadavg: 0.93 0.42 0.15 2/65 24427
/proc/meminfo: memFree=1868664/2055920 swapFree=4180104/4192956
[pid=24426] ppid=24424 vsize=12440 CPUtime=162.3
/proc/24426/stat : 24426 (mxc-sat09) R 24424 24426 24389 0 -1 4194304 2867 0 0 0 16229 1 0 0 25 0 1 0 214213200 12738560 2772 1992294400 134512640 135192793 4294956224 18446744073709551615 134533227 0 0 4096 0 0 0 0 17 1 0 0
/proc/24426/statm: 3110 2772 74 166 0 2941 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 12440
Solver just ended. Dumping a history of the last processes samples
[startup+179.101 s]
/proc/loadavg: 0.95 0.45 0.17 2/65 24427
/proc/meminfo: memFree=1868408/2055920 swapFree=4180104/4192956
[pid=24426] ppid=24424 vsize=12752 CPUtime=179.11
/proc/24426/stat : 24426 (mxc-sat09) R 24424 24426 24389 0 -1 4194304 2941 0 0 0 17909 2 0 0 25 0 1 0 214213200 13058048 2846 1992294400 134512640 135192793 4294956224 18446744073709551615 134534131 0 0 4096 0 0 0 0 17 1 0 0
/proc/24426/statm: 3188 2846 74 166 0 3019 0
Current children cumulated CPU time (s) 179.11
Current children cumulated vsize (KiB) 12752
[startup+185.501 s]
/proc/loadavg: 0.95 0.45 0.17 2/65 24427
/proc/meminfo: memFree=1868280/2055920 swapFree=4180104/4192956
[pid=24426] ppid=24424 vsize=12944 CPUtime=185.51
/proc/24426/stat : 24426 (mxc-sat09) R 24424 24426 24389 0 -1 4194304 2960 0 0 0 18549 2 0 0 25 0 1 0 214213200 13254656 2865 1992294400 134512640 135192793 4294956224 18446744073709551615 134550383 0 0 4096 0 0 0 0 17 1 0 0
/proc/24426/statm: 3236 2865 74 166 0 3067 0
Current children cumulated CPU time (s) 185.51
Current children cumulated vsize (KiB) 12944
[startup+188.701 s]
/proc/loadavg: 0.95 0.46 0.18 2/65 24427
/proc/meminfo: memFree=1868280/2055920 swapFree=4180104/4192956
[pid=24426] ppid=24424 vsize=12944 CPUtime=188.71
/proc/24426/stat : 24426 (mxc-sat09) R 24424 24426 24389 0 -1 4194304 2963 0 0 0 18869 2 0 0 25 0 1 0 214213200 13254656 2868 1992294400 134512640 135192793 4294956224 18446744073709551615 134533920 0 0 4096 0 0 0 0 17 1 0 0
/proc/24426/statm: 3236 2868 74 166 0 3067 0
Current children cumulated CPU time (s) 188.71
Current children cumulated vsize (KiB) 12944
[startup+191.901 s]
/proc/loadavg: 0.96 0.47 0.18 2/65 24427
/proc/meminfo: memFree=1868280/2055920 swapFree=4180104/4192956
[pid=24426] ppid=24424 vsize=12944 CPUtime=191.91
/proc/24426/stat : 24426 (mxc-sat09) R 24424 24426 24389 0 -1 4194304 2969 0 0 0 19189 2 0 0 25 0 1 0 214213200 13254656 2874 1992294400 134512640 135192793 4294956224 18446744073709551615 134549765 0 0 4096 0 0 0 0 17 1 0 0
/proc/24426/statm: 3236 2874 74 166 0 3067 0
Current children cumulated CPU time (s) 191.91
Current children cumulated vsize (KiB) 12944
[startup+192.702 s]
/proc/loadavg: 0.96 0.47 0.18 2/65 24427
/proc/meminfo: memFree=1868280/2055920 swapFree=4180104/4192956
[pid=24426] ppid=24424 vsize=12944 CPUtime=192.71
/proc/24426/stat : 24426 (mxc-sat09) R 24424 24426 24389 0 -1 4194304 2969 0 0 0 19269 2 0 0 25 0 1 0 214213200 13254656 2874 1992294400 134512640 135192793 4294956224 18446744073709551615 134534231 0 0 4096 0 0 0 0 17 1 0 0
/proc/24426/statm: 3236 2874 74 166 0 3067 0
Current children cumulated CPU time (s) 192.71
Current children cumulated vsize (KiB) 12944
[startup+193.101 s]
/proc/loadavg: 0.96 0.47 0.18 2/65 24427
/proc/meminfo: memFree=1868280/2055920 swapFree=4180104/4192956
[pid=24426] ppid=24424 vsize=12944 CPUtime=193.11
/proc/24426/stat : 24426 (mxc-sat09) R 24424 24426 24389 0 -1 4194304 2970 0 0 0 19309 2 0 0 25 0 1 0 214213200 13254656 2875 1992294400 134512640 135192793 4294956224 18446744073709551615 134533834 0 0 4096 0 0 0 0 17 1 0 0
/proc/24426/statm: 3236 2875 74 166 0 3067 0
Current children cumulated CPU time (s) 193.11
Current children cumulated vsize (KiB) 12944
[startup+193.301 s]
/proc/loadavg: 0.96 0.47 0.18 2/65 24427
/proc/meminfo: memFree=1868280/2055920 swapFree=4180104/4192956
[pid=24426] ppid=24424 vsize=12944 CPUtime=193.31
/proc/24426/stat : 24426 (mxc-sat09) R 24424 24426 24389 0 -1 4194304 2970 0 0 0 19329 2 0 0 25 0 1 0 214213200 13254656 2875 1992294400 134512640 135192793 4294956224 18446744073709551615 134534131 0 0 4096 0 0 0 0 17 1 0 0
/proc/24426/statm: 3236 2875 74 166 0 3067 0
Current children cumulated CPU time (s) 193.31
Current children cumulated vsize (KiB) 12944
Child status: 20
Real time (s): 193.36
CPU time (s): 193.379
CPU user time (s): 193.355
CPU system time (s): 0.023996
CPU usage (%): 100.01
Max. virtual memory (cumulated for all children) (KiB): 12944
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 193.355
system time used= 0.023996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2972
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= 408
runsolver used 0.142978 second user time and 0.416936 second system time
The end
Begin job on node16 at 2009-05-09 11:36:38
IDJOB=1783565
IDBENCH=24598
IDSOLVER=613
FILE ID=node16/1783565-1241861798
PBS_JOBID= 9264596
Free space on /tmp= 66056 MiB
SOLVER NAME= MXC 2009-03-10
BENCH NAME= SAT07/crafted/Medium/contest05/others/QG-gensys-icl003.sat05-2715.reshuffled-07.cnf
COMMAND LINE= HOME/mxc-sat09 -i BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1783565-1241861798/watcher-1783565-1241861798 -o /tmp/evaluation-result-1783565-1241861798/solver-1783565-1241861798 -C 5000 -W 6000 -M 1800 HOME/mxc-sat09 -i HOME/instance-1783565-1241861798.cnf
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= ddc67b9b869c1d77b5458996a2e27751
RANDOM SEED=1852155718
node16.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.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: 1880288 kB
Buffers: 23020 kB
Cached: 107464 kB
SwapCached: 7148 kB
Active: 71344 kB
Inactive: 67556 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1880288 kB
SwapTotal: 4192956 kB
SwapFree: 4180104 kB
Dirty: 1248 kB
Writeback: 0 kB
Mapped: 13392 kB
Slab: 22780 kB
Committed_AS: 738080 kB
PageTables: 1436 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= 66056 MiB
End job on node16 at 2009-05-09 11:39:52