25.98/26.07 c starting MXC with:
25.98/26.07 c cnf_path = HOME/instance-1784005-1241909109.cnf
25.98/26.07 c restart_strategy = auto
25.98/26.07 c sign_strategy = cached
25.98/26.07 c use_preprocessing = -1
25.98/26.07 c output_implicant = 1
25.98/26.07 c timeout_seconds = 0
25.98/26.07 c running SatELite... done
25.98/26.07 c 385 vars eliminated
25.98/26.07 c received 0 units and 2208 clauses from SatELite
25.98/26.07 c 384 assignments made, starting to guess now
25.98/26.07 c ===================================[MXC]=====================================
25.98/26.07 c | Conflicts | Clause Statistics | Vars |
25.98/26.07 c | | CARD BIN O3+ L3+ L3+Lim Lit/CL | |
25.98/26.07 c =============================================================================
25.98/26.07 c | 0 | 0 192 2016 0 0 nan | 744 |
25.98/26.07 c | 100 | 0 192 2016 100 1050 20.7 | 360 |
25.98/26.07 c | 210 | 0 192 2016 210 1105 18.5 | 360 |
25.98/26.07 c | 441 | 0 192 2016 441 1220 20.1 | 360 |
25.98/26.07 c | 805 | 0 192 2016 805 1402 20.3 | 360 |
25.98/26.07 c | 1315 | 0 192 2016 1315 1609 20.4 | 360 |
25.98/26.07 c | 1986 | 0 192 2016 1138 1754 19.3 | 360 |
25.98/26.07 c | 2834 | 0 192 2016 1046 1894 17.7 | 360 |
25.98/26.07 c | 3876 | 0 192 2016 1077 2031 19.3 | 360 |
25.98/26.07 c | 5132 | 0 192 2016 1262 2163 19.2 | 360 |
25.98/26.07 c | 6623 | 0 192 2016 1628 2292 19.3 | 360 |
25.98/26.07 c | 8373 | 0 192 2016 2205 2419 19.8 | 360 |
25.98/26.07 c | 10408 | 0 192 2016 1770 2543 19.8 | 360 |
25.98/26.07 c | 12756 | 0 192 2016 1498 2665 19.0 | 360 |
25.98/26.07 c | 15449 | 0 192 2016 1442 2786 18.4 | 360 |
25.98/26.07 c | 18521 | 0 192 2016 1645 2906 18.2 | 360 |
25.98/26.07 c | 22010 | 0 192 2016 2161 3025 19.5 | 360 |
25.98/26.07 c | 25958 | 0 192 2016 3033 3144 20.4 | 360 |
25.98/26.07 c | 30411 | 0 192 2016 2705 3262 18.7 | 360 |
25.98/26.07 c | 35419 | 0 192 2016 2745 3381 19.5 | 360 |
25.98/26.07 c | 41038 | 0 192 2016 3228 3499 18.6 | 360 |
25.98/26.07 c | 47329 | 0 192 2016 2411 3618 18.4 | 360 |
25.98/26.07 c | 54360 | 0 192 2016 2082 3737 17.6 | 360 |
25.98/26.07 c | 62205 | 0 192 2016 2315 3857 20.1 | 360 |
25.98/26.07 c | 70945 | 0 192 2016 3224 3978 19.4 | 360 |
25.98/26.07 c | 80669 | 0 192 2016 2866 4099 18.8 | 360 |
25.98/26.07 c | 91476 | 0 192 2016 3283 4222 19.8 | 360 |
25.98/26.07 c | 103474 | 0 192 2016 2443 4346 19.0 | 360 |
25.98/26.07 c | 116782 | 0 192 2016 2512 4471 18.5 | 360 |
25.98/26.07 c | 131532 | 0 192 2016 3661 4597 17.4 | 360 |
25.98/26.07 c | 147868 | 0 192 2016 3703 4726 18.0 | 360 |
25.98/26.07 c | 165948 | 0 192 2016 2622 4855 16.8 | 360 |
25.98/26.07 c | 185947 | 0 192 2016 2940 4987 15.3 | 360 |
25.98/26.07 c | 208057 | 0 192 2016 4844 5120 16.0 | 360 |
25.98/26.07 c | 232489 | 0 192 2016 3362 5255 17.2 | 360 |
25.98/26.07 c | 259475 | 0 192 2016 3746 5393 13.6 | 360 |
25.98/26.07 c | 289271 | 0 192 2016 3512 5532 16.3 | 360 |
25.98/26.07 c | 322158 | 0 192 2016 5603 5674 16.4 | 360 |
25.98/26.07 c | 358445 | 0 192 2016 4583 5818 16.6 | 360 |
25.98/26.07 c | 398472 | 0 192 2016 3421 5965 14.4 | 360 |
25.98/26.07 c | 442613 | 0 192 2016 5308 6114 16.7 | 360 |
25.98/26.07 c | 491279 | 0 192 2016 4538 6265 16.9 | 360 |
25.98/26.07 c | 544923 | 0 192 2016 4282 6420 17.7 | 360 |
287.42/287.56 c | 604043 | 0 192 2016 4967 6577 14.2 | 360 |
287.42/287.56 c | 669187 | 0 192 2016 3534 6737 20.1 | 360 |
287.42/287.56 c | 740957 | 0 192 2016 3705 6901 19.2 | 360 |
287.42/287.56 c | 820016 | 0 192 2016 5976 7067 17.2 | 360 |
287.42/287.56 c | 907092 | 0 192 2016 3665 7237 17.8 | 360 |
287.42/287.56 c | 1002987 | 0 192 2016 4379 7410 17.9 | 360 |
287.42/287.56 c | 1108583 | 0 192 2016 5074 7586 15.9 | 360 |
287.42/287.56 c | 1224850 | 0 192 2016 6298 7766 16.7 | 360 |
287.42/287.56 c | 1352856 | 0 192 2016 4746 7949 16.7 | 360 |
287.42/287.56 c | 1493774 | 0 192 2016 4970 8137 15.1 | 360 |
287.42/287.56 c | 1648896 | 0 192 2016 7852 8328 15.7 | 360 |
287.42/287.56 c | 1819642 | 0 192 2016 5993 8523 16.7 | 360 |
287.42/287.56 c | 2007575 | 0 192 2016 8655 8722 15.7 | 360 |
287.42/287.56 c | 2214413 | 0 192 2016 8244 8926 16.0 | 360 |
287.42/287.56 c | 2442047 | 0 192 2016 5686 9133 15.3 | 360 |
287.42/287.56 c | 2692557 | 0 193 2016 6797 9345 14.2 | 360 |
287.42/287.56 c | 2968230 | 0 193 2016 8444 9562 22.4 | 360 |
287.42/287.56 c | 3271583 | 0 193 2016 7225 9783 15.8 | 360 |
287.42/287.56 c | 3605384 | 0 196 2016 9692 10009 13.7 | 360 |
287.42/287.56 c | 3972677 | 0 197 2016 7536 10240 16.4 | 360 |
287.42/287.56 c | 4376812 | 0 209 2016 7833 10476 13.4 | 358 |
287.42/287.56 c | 4821473 | 0 226 2016 7525 10717 12.8 | 357 |
287.42/287.56 c | 5091460 | 0 284 2016 7818 10855 10.9 | 332 |
287.42/287.56 c ----- stats for thread 0 -----
287.42/287.56 c restarts: 29
287.42/287.56 c decisions: 6119243
287.42/287.56 c propagations: 272727425
287.42/287.56 c conflicts: 5091460
287.42/287.56 c 287.564s elapsed
287.42/287.56 s UNSATISFIABLE
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1784005-1241909109/watcher-1784005-1241909109 -o /tmp/evaluation-result-1784005-1241909109/solver-1784005-1241909109 -C 5000 -W 6000 -M 1800 HOME/mxc-sat09 -i HOME/instance-1784005-1241909109.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.91 0.97 0.99 2/64 25952
/proc/meminfo: memFree=1695736/2055920 swapFree=3990728/4192956
[pid=25952] ppid=25950 vsize=1108 CPUtime=0
/proc/25952/stat : 25952 (mxc-sat09) R 25950 25952 25822 0 -1 4194304 173 0 0 0 0 0 0 0 18 0 1 0 218944404 1134592 159 1992294400 134512640 135192793 4294956224 18446744073709551615 134577000 0 0 4096 0 0 0 0 17 1 0 0
/proc/25952/statm: 277 159 56 166 0 108 0
[startup+0.0416639 s]
/proc/loadavg: 0.91 0.97 0.99 2/64 25952
/proc/meminfo: memFree=1695736/2055920 swapFree=3990728/4192956
[pid=25952] ppid=25950 vsize=1636 CPUtime=0.03
/proc/25952/stat : 25952 (mxc-sat09) R 25950 25952 25822 0 -1 4194304 317 0 0 0 3 0 0 0 18 0 1 0 218944404 1675264 303 1992294400 134512640 135192793 4294956224 18446744073709551615 134750438 0 0 4096 0 0 0 0 17 1 0 0
/proc/25952/statm: 409 303 72 166 0 240 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 1636
[startup+0.101669 s]
/proc/loadavg: 0.91 0.97 0.99 2/64 25952
/proc/meminfo: memFree=1695736/2055920 swapFree=3990728/4192956
[pid=25952] ppid=25950 vsize=1900 CPUtime=0.09
/proc/25952/stat : 25952 (mxc-sat09) R 25950 25952 25822 0 -1 4194304 371 0 0 0 9 0 0 0 18 0 1 0 218944404 1945600 357 1992294400 134512640 135192793 4294956224 18446744073709551615 134534006 0 0 4096 0 0 0 0 17 1 0 0
/proc/25952/statm: 475 357 73 166 0 306 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1900
[startup+0.301692 s]
/proc/loadavg: 0.91 0.97 0.99 2/64 25952
/proc/meminfo: memFree=1695736/2055920 swapFree=3990728/4192956
[pid=25952] ppid=25950 vsize=2032 CPUtime=0.29
/proc/25952/stat : 25952 (mxc-sat09) R 25950 25952 25822 0 -1 4194304 421 0 0 0 29 0 0 0 19 0 1 0 218944404 2080768 407 1992294400 134512640 135192793 4294956224 18446744073709551615 134550618 0 0 4096 0 0 0 0 17 1 0 0
/proc/25952/statm: 508 407 73 166 0 339 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2032
[startup+0.701738 s]
/proc/loadavg: 0.91 0.97 0.99 2/64 25952
/proc/meminfo: memFree=1695736/2055920 swapFree=3990728/4192956
[pid=25952] ppid=25950 vsize=2296 CPUtime=0.69
/proc/25952/stat : 25952 (mxc-sat09) R 25950 25952 25822 0 -1 4194304 465 0 0 0 69 0 0 0 23 0 1 0 218944404 2351104 451 1992294400 134512640 135192793 4294956224 18446744073709551615 134549684 0 0 4096 0 0 0 0 17 1 0 0
/proc/25952/statm: 574 451 73 166 0 405 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 2296
[startup+1.50183 s]
/proc/loadavg: 0.91 0.97 0.99 2/65 25953
/proc/meminfo: memFree=1694064/2055920 swapFree=3990728/4192956
[pid=25952] ppid=25950 vsize=2428 CPUtime=1.49
/proc/25952/stat : 25952 (mxc-sat09) R 25950 25952 25822 0 -1 4194304 516 0 0 0 149 0 0 0 25 0 1 0 218944404 2486272 502 1992294400 134512640 135192793 4294956224 18446744073709551615 134532590 0 0 4096 0 0 0 0 17 1 0 0
/proc/25952/statm: 607 502 73 166 0 438 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 2428
[startup+3.10201 s]
/proc/loadavg: 0.91 0.97 0.99 2/65 25953
/proc/meminfo: memFree=1693744/2055920 swapFree=3990728/4192956
[pid=25952] ppid=25950 vsize=2836 CPUtime=3.09
/proc/25952/stat : 25952 (mxc-sat09) R 25950 25952 25822 0 -1 4194304 597 0 0 0 309 0 0 0 25 0 1 0 218944404 2904064 583 1992294400 134512640 135192793 4294956224 18446744073709551615 134533783 0 0 4096 0 0 0 0 17 1 0 0
/proc/25952/statm: 709 583 73 166 0 540 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 2836
[startup+6.30237 s]
/proc/loadavg: 0.92 0.97 0.99 2/65 25953
/proc/meminfo: memFree=1693232/2055920 swapFree=3990728/4192956
[pid=25952] ppid=25950 vsize=3128 CPUtime=6.29
/proc/25952/stat : 25952 (mxc-sat09) R 25950 25952 25822 0 -1 4194304 683 0 0 0 629 0 0 0 25 0 1 0 218944404 3203072 669 1992294400 134512640 135192793 4294956224 18446744073709551615 134533868 0 0 4096 0 0 0 0 17 1 0 0
/proc/25952/statm: 782 669 73 166 0 613 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 3128
[startup+12.7011 s]
/proc/loadavg: 0.93 0.97 0.99 2/65 25953
/proc/meminfo: memFree=1692528/2055920 swapFree=3990728/4192956
[pid=25952] ppid=25950 vsize=3968 CPUtime=12.69
/proc/25952/stat : 25952 (mxc-sat09) R 25950 25952 25822 0 -1 4194304 841 0 0 0 1269 0 0 0 25 0 1 0 218944404 4063232 827 1992294400 134512640 135192793 4294956224 18446744073709551615 134532659 0 0 4096 0 0 0 0 17 1 0 0
/proc/25952/statm: 992 827 73 166 0 823 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 3968
[startup+25.5016 s]
/proc/loadavg: 0.94 0.97 0.99 2/65 25953
/proc/meminfo: memFree=1691376/2055920 swapFree=3990728/4192956
[pid=25952] ppid=25950 vsize=5068 CPUtime=25.48
/proc/25952/stat : 25952 (mxc-sat09) R 25950 25952 25822 0 -1 4194304 1098 0 0 0 2548 0 0 0 25 0 1 0 218944404 5189632 1084 1992294400 134512640 135192793 4294956224 18446744073709551615 134533789 0 0 4096 0 0 0 0 17 1 0 0
/proc/25952/statm: 1267 1084 73 166 0 1098 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 5068
[startup+51.1015 s]
/proc/loadavg: 0.96 0.97 0.99 2/65 25953
/proc/meminfo: memFree=1690352/2055920 swapFree=3990728/4192956
[pid=25952] ppid=25950 vsize=6164 CPUtime=51.08
/proc/25952/stat : 25952 (mxc-sat09) R 25950 25952 25822 0 -1 4194304 1360 0 0 0 5107 1 0 0 25 0 1 0 218944404 6311936 1346 1992294400 134512640 135192793 4294956224 18446744073709551615 134532683 0 0 4096 0 0 0 0 17 1 0 0
/proc/25952/statm: 1541 1346 73 166 0 1372 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 6164
[startup+102.305 s]
/proc/loadavg: 0.98 0.97 0.99 2/65 25953
/proc/meminfo: memFree=1688752/2055920 swapFree=3990728/4192956
[pid=25952] ppid=25950 vsize=7800 CPUtime=102.26
/proc/25952/stat : 25952 (mxc-sat09) R 25950 25952 25822 0 -1 4194304 1733 0 0 0 10225 1 0 0 25 0 1 0 218944404 7987200 1719 1992294400 134512640 135192793 4294956224 18446744073709551615 134533834 0 0 4096 0 0 0 0 17 1 0 0
/proc/25952/statm: 1950 1719 73 166 0 1781 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 7800
[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 25953
/proc/meminfo: memFree=1687216/2055920 swapFree=3990728/4192956
[pid=25952] ppid=25950 vsize=9708 CPUtime=162.25
/proc/25952/stat : 25952 (mxc-sat09) R 25950 25952 25822 0 -1 4194304 2115 0 0 0 16223 2 0 0 25 0 1 0 218944404 9940992 2101 1992294400 134512640 135192793 4294956224 18446744073709551615 134533854 0 0 4096 0 0 0 0 17 1 0 0
/proc/25952/statm: 2427 2101 73 166 0 2258 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 9708
[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 25953
/proc/meminfo: memFree=1686000/2055920 swapFree=3990728/4192956
[pid=25952] ppid=25950 vsize=11052 CPUtime=222.23
/proc/25952/stat : 25952 (mxc-sat09) R 25950 25952 25822 0 -1 4194304 2403 0 0 0 22221 2 0 0 25 0 1 0 218944404 11317248 2389 1992294400 134512640 135192793 4294956224 18446744073709551615 134534250 0 0 4096 0 0 0 0 17 1 0 0
/proc/25952/statm: 2763 2389 73 166 0 2594 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 11052
[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 25953
/proc/meminfo: memFree=1684656/2055920 swapFree=3990728/4192956
[pid=25952] ppid=25950 vsize=12592 CPUtime=282.22
/proc/25952/stat : 25952 (mxc-sat09) R 25950 25952 25822 0 -1 4194304 2750 0 0 0 28219 3 0 0 25 0 1 0 218944404 12894208 2736 1992294400 134512640 135192793 4294956224 18446744073709551615 134533917 0 0 4096 0 0 0 0 17 1 0 0
/proc/25952/statm: 3148 2736 73 166 0 2979 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 12592
Solver just ended. Dumping a history of the last processes samples
[startup+284.701 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 25953
/proc/meminfo: memFree=1684592/2055920 swapFree=3990728/4192956
[pid=25952] ppid=25950 vsize=12592 CPUtime=284.62
/proc/25952/stat : 25952 (mxc-sat09) R 25950 25952 25822 0 -1 4194304 2763 0 0 0 28459 3 0 0 25 0 1 0 218944404 12894208 2749 1992294400 134512640 135192793 4294956224 18446744073709551615 134533227 0 0 4096 0 0 0 0 17 1 0 0
/proc/25952/statm: 3148 2749 73 166 0 2979 0
Current children cumulated CPU time (s) 284.62
Current children cumulated vsize (KiB) 12592
[startup+286.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 25953
/proc/meminfo: memFree=1684464/2055920 swapFree=3990728/4192956
[pid=25952] ppid=25950 vsize=12784 CPUtime=286.22
/proc/25952/stat : 25952 (mxc-sat09) R 25950 25952 25822 0 -1 4194304 2773 0 0 0 28619 3 0 0 25 0 1 0 218944404 13090816 2759 1992294400 134512640 135192793 4294956224 18446744073709551615 134533834 0 0 4096 0 0 0 0 17 1 0 0
/proc/25952/statm: 3196 2759 73 166 0 3027 0
Current children cumulated CPU time (s) 286.22
Current children cumulated vsize (KiB) 12784
[startup+287.105 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 25953
/proc/meminfo: memFree=1684464/2055920 swapFree=3990728/4192956
[pid=25952] ppid=25950 vsize=12784 CPUtime=287.02
/proc/25952/stat : 25952 (mxc-sat09) R 25950 25952 25822 0 -1 4194304 2775 0 0 0 28699 3 0 0 25 0 1 0 218944404 13090816 2761 1992294400 134512640 135192793 4294956224 18446744073709551615 134532657 0 0 4096 0 0 0 0 17 1 0 0
/proc/25952/statm: 3196 2761 73 166 0 3027 0
Current children cumulated CPU time (s) 287.02
Current children cumulated vsize (KiB) 12784
[startup+287.501 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 25953
/proc/meminfo: memFree=1684464/2055920 swapFree=3990728/4192956
[pid=25952] ppid=25950 vsize=12784 CPUtime=287.42
/proc/25952/stat : 25952 (mxc-sat09) R 25950 25952 25822 0 -1 4194304 2775 0 0 0 28739 3 0 0 25 0 1 0 218944404 13090816 2761 1992294400 134512640 135192793 4294956224 18446744073709551615 134552291 0 0 4096 0 0 0 0 17 1 0 0
/proc/25952/statm: 3196 2761 73 166 0 3027 0
Current children cumulated CPU time (s) 287.42
Current children cumulated vsize (KiB) 12784
Child status: 20
Real time (s): 287.567
CPU time (s): 287.49
CPU user time (s): 287.456
CPU system time (s): 0.033994
CPU usage (%): 99.9732
Max. virtual memory (cumulated for all children) (KiB): 12784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 287.456
system time used= 0.033994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2778
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= 444
runsolver used 0.213967 second user time and 0.601908 second system time
The end
Begin job on node23 at 2009-05-10 00:45:09
IDJOB=1784005
IDBENCH=24755
IDSOLVER=613
FILE ID=node23/1784005-1241909109
PBS_JOBID= 9264817
Free space on /tmp= 66312 MiB
SOLVER NAME= MXC 2009-03-10
BENCH NAME= SAT07/crafted/Difficult/contest-02-03-04/contest02-Mat26.sat05-457.reshuffled-07.cnf
COMMAND LINE= HOME/mxc-sat09 -i BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1784005-1241909109/watcher-1784005-1241909109 -o /tmp/evaluation-result-1784005-1241909109/solver-1784005-1241909109 -C 5000 -W 6000 -M 1800 HOME/mxc-sat09 -i HOME/instance-1784005-1241909109.cnf
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 3d4fadc8af17bc65dbe7fef013825ed5
RANDOM SEED=676386649
node23.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.238
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.238
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: 1696152 kB
Buffers: 41280 kB
Cached: 77852 kB
SwapCached: 196864 kB
Active: 102180 kB
Inactive: 215392 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1696152 kB
SwapTotal: 4192956 kB
SwapFree: 3990728 kB
Dirty: 720 kB
Writeback: 0 kB
Mapped: 14016 kB
Slab: 28232 kB
Committed_AS: 762180 kB
PageTables: 1388 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= 66312 MiB
End job on node23 at 2009-05-10 00:49:57