28.19/28.27 c starting MXC with:
28.19/28.27 c cnf_path = HOME/instance-1783889-1241897281.cnf
28.19/28.27 c restart_strategy = auto
28.19/28.27 c sign_strategy = cached
28.19/28.27 c use_preprocessing = -1
28.19/28.27 c output_implicant = 1
28.19/28.27 c timeout_seconds = 0
28.19/28.27 c running SatELite... done
28.19/28.27 c 183 vars eliminated
28.19/28.27 c received 42 units and 3807 clauses from SatELite
28.19/28.27 c 224 assignments made, starting to guess now
28.19/28.27 c ===================================[MXC]=====================================
28.19/28.27 c | Conflicts | Clause Statistics | Vars |
28.19/28.27 c | | CARD BIN O3+ L3+ L3+Lim Lit/CL | |
28.19/28.27 c =============================================================================
28.19/28.27 c | 0 | 0 550 3257 0 0 nan | 1339 |
28.19/28.27 c | 100 | 0 550 3257 100 1050 13.0 | 1115 |
28.19/28.27 c | 210 | 0 550 3257 210 1105 13.7 | 1115 |
28.19/28.27 c | 441 | 0 550 3257 441 1220 16.9 | 1115 |
28.19/28.27 c | 805 | 0 550 3257 805 1402 18.9 | 1115 |
28.19/28.27 c | 1315 | 0 550 3257 1315 1615 19.0 | 1115 |
28.19/28.27 c | 1986 | 0 550 3257 1134 1760 18.1 | 1115 |
28.19/28.27 c | 2834 | 0 550 3257 1038 1901 21.9 | 1115 |
28.19/28.27 c | 3876 | 0 550 3257 1064 2038 22.9 | 1115 |
28.19/28.27 c | 5132 | 0 550 3257 1243 2170 23.6 | 1115 |
28.19/28.27 c | 6623 | 0 550 3257 1604 2300 27.4 | 1115 |
28.19/28.27 c | 8373 | 0 550 3257 2175 2427 26.9 | 1115 |
28.19/28.27 c | 10408 | 0 550 3257 1724 2551 25.9 | 1115 |
28.19/28.27 c | 12756 | 0 550 3257 1437 2674 29.7 | 1115 |
28.19/28.27 c | 15449 | 0 550 3257 2762 2796 25.2 | 1115 |
28.19/28.27 c | 18521 | 0 550 3257 1550 2916 24.3 | 1115 |
28.19/28.27 c | 22010 | 0 550 3257 2048 3036 27.8 | 1115 |
28.19/28.27 c | 25958 | 0 550 3257 2904 3155 25.8 | 1115 |
28.19/28.27 c | 30411 | 0 551 3257 2544 3276 24.6 | 1115 |
28.19/28.27 c | 35419 | 0 551 3257 2549 3394 26.8 | 1115 |
28.19/28.27 c | 41038 | 0 551 3257 2996 3513 27.9 | 1115 |
28.19/28.27 c | 47329 | 0 551 3257 2135 3633 29.5 | 1115 |
28.19/28.27 c | 54360 | 0 551 3257 3628 3752 28.4 | 1115 |
28.19/28.27 c | 62205 | 0 551 3257 1941 3873 29.2 | 1115 |
28.19/28.27 c | 70945 | 0 551 3257 2796 3994 26.9 | 1115 |
28.19/28.27 c | 80669 | 0 551 3257 2367 4116 26.6 | 1115 |
28.19/28.27 c | 91476 | 0 551 3257 2711 4239 26.4 | 1115 |
28.19/28.27 c | 103474 | 0 553 3257 3943 4370 30.2 | 1115 |
28.19/28.27 c | 116782 | 0 553 3257 3969 4496 32.0 | 1115 |
28.19/28.27 c | 131532 | 0 554 3257 2749 4626 26.1 | 1115 |
28.19/28.27 c | 147868 | 0 557 3257 2633 4765 25.5 | 1115 |
28.19/28.27 c | 165948 | 0 557 3257 3803 4896 31.4 | 1115 |
28.19/28.27 c | 185947 | 0 557 3257 3962 5028 33.0 | 1115 |
28.19/28.27 c | 208057 | 0 557 3257 3144 5163 29.7 | 1115 |
28.19/28.27 c | 232489 | 0 558 3257 4029 5303 31.0 | 1115 |
28.19/28.27 c | 259475 | 0 558 3257 4160 5441 33.1 | 1115 |
28.19/28.27 c | 289271 | 0 559 3257 3626 5586 30.9 | 1115 |
28.19/28.27 c | 322158 | 0 560 3257 5396 5733 33.1 | 1115 |
28.19/28.27 c | 358445 | 0 560 3257 3966 5878 29.2 | 1115 |
28.19/28.27 c | 398472 | 0 560 3257 5310 6026 33.1 | 1115 |
28.19/28.27 c | 442613 | 0 566 3257 3595 6202 18.2 | 1115 |
28.19/28.27 c | 491279 | 0 573 3257 5002 6386 32.1 | 1115 |
28.19/28.27 c | 544923 | 0 575 3257 3645 6552 18.4 | 1115 |
138.95/139.06 c | 604043 | 0 576 3257 6357 6717 30.1 | 1115 |
138.95/139.06 c | 669187 | 0 585 3257 6741 6922 20.3 | 1115 |
138.95/139.06 c | 740957 | 0 592 3257 4707 7122 28.9 | 1115 |
138.95/139.06 c | 820016 | 0 594 3257 4456 7303 30.5 | 1115 |
138.95/139.06 c | 907092 | 0 595 3257 6476 7484 33.7 | 1115 |
138.95/139.06 c | 1002987 | 0 605 3257 7594 7712 32.1 | 1115 |
138.95/139.06 c | 1108583 | 0 612 3257 7803 7930 21.4 | 1115 |
138.95/139.06 c | 1224850 | 0 621 3257 7576 8164 22.4 | 1115 |
138.95/139.06 c | 1352856 | 0 634 3257 7038 8425 31.2 | 1115 |
138.95/139.06 c | 1493774 | 0 645 2851 6925 8707 24.6 | 1114 |
138.95/139.06 c | 1648896 | 0 675 2851 5606 8342 21.3 | 1114 |
138.95/139.06 c | 1819642 | 0 699 2851 6628 8658 18.8 | 1114 |
138.95/139.06 c | 2007575 | 0 725 2446 8976 9055 17.4 | 1113 |
138.95/139.06 c | 2211387 | 0 802 2446 5280 8923 13.6 | 1041 |
138.95/139.06 c ----- stats for thread 0 -----
138.95/139.06 c restarts: 1520
138.95/139.06 c decisions: 3602681
138.95/139.06 c propagations: 81018244
138.95/139.06 c conflicts: 2211387
138.95/139.06 c 139.068s elapsed
138.95/139.06 s UNSATISFIABLE
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1783889-1241897281/watcher-1783889-1241897281 -o /tmp/evaluation-result-1783889-1241897281/solver-1783889-1241897281 -C 5000 -W 6000 -M 1800 HOME/mxc-sat09 -i HOME/instance-1783889-1241897281.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: 1.00 1.25 1.59 3/64 16486
/proc/meminfo: memFree=1755192/2055920 swapFree=4113156/4192956
[pid=16486] ppid=16484 vsize=1556 CPUtime=0
/proc/16486/stat : 16486 (mxc-sat09) R 16484 16486 16395 0 -1 4194304 261 0 0 0 0 0 0 0 18 0 1 0 217754113 1593344 247 1992294400 134512640 135192793 4294956224 18446744073709551615 134539621 0 0 4096 0 0 0 0 17 1 0 0
/proc/16486/statm: 389 247 55 166 0 220 0
[startup+0.095639 s]
/proc/loadavg: 1.00 1.25 1.59 3/64 16486
/proc/meminfo: memFree=1755192/2055920 swapFree=4113156/4192956
[pid=16486] ppid=16484 vsize=2392 CPUtime=0.08
/proc/16486/stat : 16486 (mxc-sat09) R 16484 16486 16395 0 -1 4194304 574 0 0 0 8 0 0 0 18 0 1 0 217754113 2449408 486 1992294400 134512640 135192793 4294956224 18446744073709551615 134520384 0 0 4096 0 0 0 0 17 1 0 0
/proc/16486/statm: 598 486 73 166 0 429 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2392
[startup+0.101639 s]
/proc/loadavg: 1.00 1.25 1.59 3/64 16486
/proc/meminfo: memFree=1755192/2055920 swapFree=4113156/4192956
[pid=16486] ppid=16484 vsize=2392 CPUtime=0.09
/proc/16486/stat : 16486 (mxc-sat09) R 16484 16486 16395 0 -1 4194304 574 0 0 0 9 0 0 0 18 0 1 0 217754113 2449408 486 1992294400 134512640 135192793 4294956224 18446744073709551615 134533892 0 0 4096 0 0 0 0 17 1 0 0
/proc/16486/statm: 598 486 73 166 0 429 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2392
[startup+0.301654 s]
/proc/loadavg: 1.00 1.25 1.59 3/64 16486
/proc/meminfo: memFree=1755192/2055920 swapFree=4113156/4192956
[pid=16486] ppid=16484 vsize=2788 CPUtime=0.29
/proc/16486/stat : 16486 (mxc-sat09) R 16484 16486 16395 0 -1 4194304 662 0 0 0 29 0 0 0 19 0 1 0 217754113 2854912 574 1992294400 134512640 135192793 4294956224 18446744073709551615 134534215 0 0 4096 0 0 0 0 17 1 0 0
/proc/16486/statm: 697 574 73 166 0 528 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2788
[startup+0.701687 s]
/proc/loadavg: 1.00 1.25 1.59 3/64 16486
/proc/meminfo: memFree=1755192/2055920 swapFree=4113156/4192956
[pid=16486] ppid=16484 vsize=3052 CPUtime=0.69
/proc/16486/stat : 16486 (mxc-sat09) R 16484 16486 16395 0 -1 4194304 719 0 0 0 69 0 0 0 22 0 1 0 217754113 3125248 631 1992294400 134512640 135192793 4294956224 18446744073709551615 134552012 0 0 4096 0 0 0 0 17 1 0 0
/proc/16486/statm: 763 631 73 166 0 594 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3052
[startup+1.50175 s]
/proc/loadavg: 1.00 1.25 1.59 2/65 16487
/proc/meminfo: memFree=1752816/2055920 swapFree=4113156/4192956
[pid=16486] ppid=16484 vsize=3316 CPUtime=1.49
/proc/16486/stat : 16486 (mxc-sat09) R 16484 16486 16395 0 -1 4194304 791 0 0 0 149 0 0 0 25 0 1 0 217754113 3395584 703 1992294400 134512640 135192793 4294956224 18446744073709551615 134534131 0 0 4096 0 0 0 0 17 1 0 0
/proc/16486/statm: 829 703 73 166 0 660 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 3316
[startup+3.10188 s]
/proc/loadavg: 1.00 1.24 1.58 2/65 16487
/proc/meminfo: memFree=1752304/2055920 swapFree=4113156/4192956
[pid=16486] ppid=16484 vsize=3712 CPUtime=3.09
/proc/16486/stat : 16486 (mxc-sat09) R 16484 16486 16395 0 -1 4194304 881 0 0 0 309 0 0 0 25 0 1 0 217754113 3801088 793 1992294400 134512640 135192793 4294956224 18446744073709551615 134533132 0 0 4096 0 0 0 0 17 1 0 0
/proc/16486/statm: 928 793 73 166 0 759 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 3712
[startup+6.30114 s]
/proc/loadavg: 1.00 1.24 1.58 2/65 16487
/proc/meminfo: memFree=1751728/2055920 swapFree=4113156/4192956
[pid=16486] ppid=16484 vsize=4112 CPUtime=6.29
/proc/16486/stat : 16486 (mxc-sat09) R 16484 16486 16395 0 -1 4194304 993 0 0 0 629 0 0 0 25 0 1 0 217754113 4210688 905 1992294400 134512640 135192793 4294956224 18446744073709551615 134533878 0 0 4096 0 0 0 0 17 1 0 0
/proc/16486/statm: 1028 905 73 166 0 859 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 4112
[startup+12.7017 s]
/proc/loadavg: 1.00 1.24 1.58 2/65 16487
/proc/meminfo: memFree=1750704/2055920 swapFree=4113156/4192956
[pid=16486] ppid=16484 vsize=5192 CPUtime=12.69
/proc/16486/stat : 16486 (mxc-sat09) R 16484 16486 16395 0 -1 4194304 1250 0 0 0 1268 1 0 0 25 0 1 0 217754113 5316608 1162 1992294400 134512640 135192793 4294956224 18446744073709551615 134533249 0 0 4096 0 0 0 0 17 1 0 0
/proc/16486/statm: 1298 1162 73 166 0 1129 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 5192
[startup+25.5017 s]
/proc/loadavg: 1.00 1.23 1.57 2/65 16487
/proc/meminfo: memFree=1749680/2055920 swapFree=4113156/4192956
[pid=16486] ppid=16484 vsize=6308 CPUtime=25.49
/proc/16486/stat : 16486 (mxc-sat09) R 16484 16486 16395 0 -1 4194304 1483 0 0 0 2548 1 0 0 25 0 1 0 217754113 6459392 1395 1992294400 134512640 135192793 4294956224 18446744073709551615 134534215 0 0 4096 0 0 0 0 17 1 0 0
/proc/16486/statm: 1577 1395 73 166 0 1408 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 6308
[startup+51.1017 s]
/proc/loadavg: 1.00 1.21 1.55 2/65 16487
/proc/meminfo: memFree=1748080/2055920 swapFree=4113156/4192956
[pid=16486] ppid=16484 vsize=8024 CPUtime=51.08
/proc/16486/stat : 16486 (mxc-sat09) R 16484 16486 16395 0 -1 4194304 1888 0 0 0 5107 1 0 0 25 0 1 0 217754113 8216576 1800 1992294400 134512640 135192793 4294956224 18446744073709551615 134552256 0 0 4096 0 0 0 0 17 1 0 0
/proc/16486/statm: 2006 1800 74 166 0 1837 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 8024
[startup+102.306 s]
/proc/loadavg: 1.00 1.17 1.52 2/65 16487
/proc/meminfo: memFree=1746352/2055920 swapFree=4113156/4192956
[pid=16486] ppid=16484 vsize=10144 CPUtime=102.27
/proc/16486/stat : 16486 (mxc-sat09) R 16484 16486 16395 0 -1 4194304 2305 0 0 0 10226 1 0 0 25 0 1 0 217754113 10387456 2217 1992294400 134512640 135192793 4294956224 18446744073709551615 134533840 0 0 4096 0 0 0 0 17 1 0 0
/proc/16486/statm: 2536 2217 74 166 0 2367 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 10144
Solver just ended. Dumping a history of the last processes samples
[startup+115.102 s]
/proc/loadavg: 1.00 1.16 1.51 2/65 16487
/proc/meminfo: memFree=1746096/2055920 swapFree=4113156/4192956
[pid=16486] ppid=16484 vsize=10304 CPUtime=115.06
/proc/16486/stat : 16486 (mxc-sat09) R 16484 16486 16395 0 -1 4194304 2363 0 0 0 11505 1 0 0 25 0 1 0 217754113 10551296 2275 1992294400 134512640 135192793 4294956224 18446744073709551615 134534267 0 0 4096 0 0 0 0 17 1 0 0
/proc/16486/statm: 2576 2275 74 166 0 2407 0
Current children cumulated CPU time (s) 115.06
Current children cumulated vsize (KiB) 10304
[startup+127.902 s]
/proc/loadavg: 1.00 1.16 1.50 2/65 16487
/proc/meminfo: memFree=1745904/2055920 swapFree=4113156/4192956
[pid=16486] ppid=16484 vsize=10708 CPUtime=127.86
/proc/16486/stat : 16486 (mxc-sat09) R 16484 16486 16395 0 -1 4194304 2425 0 0 0 12785 1 0 0 25 0 1 0 217754113 10964992 2337 1992294400 134512640 135192793 4294956224 18446744073709551615 134551387 0 0 4096 0 0 0 0 17 1 0 0
/proc/16486/statm: 2677 2337 74 166 0 2508 0
Current children cumulated CPU time (s) 127.86
Current children cumulated vsize (KiB) 10708
[startup+134.301 s]
/proc/loadavg: 1.00 1.15 1.50 2/65 16487
/proc/meminfo: memFree=1745776/2055920 swapFree=4113156/4192956
[pid=16486] ppid=16484 vsize=10708 CPUtime=134.26
/proc/16486/stat : 16486 (mxc-sat09) R 16484 16486 16395 0 -1 4194304 2441 0 0 0 13425 1 0 0 25 0 1 0 217754113 10964992 2353 1992294400 134512640 135192793 4294956224 18446744073709551615 134533920 0 0 4096 0 0 0 0 17 1 0 0
/proc/16486/statm: 2677 2353 74 166 0 2508 0
Current children cumulated CPU time (s) 134.26
Current children cumulated vsize (KiB) 10708
[startup+137.506 s]
/proc/loadavg: 1.00 1.15 1.50 2/65 16487
/proc/meminfo: memFree=1745648/2055920 swapFree=4113156/4192956
[pid=16486] ppid=16484 vsize=10852 CPUtime=137.46
/proc/16486/stat : 16486 (mxc-sat09) R 16484 16486 16395 0 -1 4194304 2479 0 0 0 13745 1 0 0 25 0 1 0 217754113 11112448 2391 1992294400 134512640 135192793 4294956224 18446744073709551615 134534128 0 0 4096 0 0 0 0 17 1 0 0
/proc/16486/statm: 2713 2391 74 166 0 2544 0
Current children cumulated CPU time (s) 137.46
Current children cumulated vsize (KiB) 10852
[startup+138.302 s]
/proc/loadavg: 1.00 1.15 1.50 2/65 16487
/proc/meminfo: memFree=1745648/2055920 swapFree=4113156/4192956
[pid=16486] ppid=16484 vsize=10852 CPUtime=138.25
/proc/16486/stat : 16486 (mxc-sat09) R 16484 16486 16395 0 -1 4194304 2479 0 0 0 13824 1 0 0 25 0 1 0 217754113 11112448 2391 1992294400 134512640 135192793 4294956224 18446744073709551615 134740964 0 0 4096 0 0 0 0 17 1 0 0
/proc/16486/statm: 2713 2391 74 166 0 2544 0
Current children cumulated CPU time (s) 138.25
Current children cumulated vsize (KiB) 10852
[startup+138.702 s]
/proc/loadavg: 1.00 1.15 1.50 2/65 16487
/proc/meminfo: memFree=1745648/2055920 swapFree=4113156/4192956
[pid=16486] ppid=16484 vsize=11012 CPUtime=138.65
/proc/16486/stat : 16486 (mxc-sat09) R 16484 16486 16395 0 -1 4194304 2484 0 0 0 13864 1 0 0 25 0 1 0 217754113 11276288 2396 1992294400 134512640 135192793 4294956224 18446744073709551615 134549692 0 0 4096 0 0 0 0 17 1 0 0
/proc/16486/statm: 2753 2396 74 166 0 2584 0
Current children cumulated CPU time (s) 138.65
Current children cumulated vsize (KiB) 11012
[startup+138.902 s]
/proc/loadavg: 1.00 1.15 1.50 2/65 16487
/proc/meminfo: memFree=1745648/2055920 swapFree=4113156/4192956
[pid=16486] ppid=16484 vsize=11012 CPUtime=138.85
/proc/16486/stat : 16486 (mxc-sat09) R 16484 16486 16395 0 -1 4194304 2484 0 0 0 13884 1 0 0 25 0 1 0 217754113 11276288 2396 1992294400 134512640 135192793 4294956224 18446744073709551615 134534231 0 0 4096 0 0 0 0 17 1 0 0
/proc/16486/statm: 2753 2396 74 166 0 2584 0
Current children cumulated CPU time (s) 138.85
Current children cumulated vsize (KiB) 11012
[startup+139.002 s]
/proc/loadavg: 1.00 1.15 1.50 2/65 16487
/proc/meminfo: memFree=1745648/2055920 swapFree=4113156/4192956
[pid=16486] ppid=16484 vsize=11012 CPUtime=138.95
/proc/16486/stat : 16486 (mxc-sat09) R 16484 16486 16395 0 -1 4194304 2484 0 0 0 13894 1 0 0 25 0 1 0 217754113 11276288 2396 1992294400 134512640 135192793 4294956224 18446744073709551615 134533840 0 0 4096 0 0 0 0 17 1 0 0
/proc/16486/statm: 2753 2396 74 166 0 2584 0
Current children cumulated CPU time (s) 138.95
Current children cumulated vsize (KiB) 11012
Child status: 20
Real time (s): 139.071
CPU time (s): 139.038
CPU user time (s): 139.017
CPU system time (s): 0.020996
CPU usage (%): 99.9761
Max. virtual memory (cumulated for all children) (KiB): 11012
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 139.017
system time used= 0.020996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2486
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= 241
runsolver used 0.124981 second user time and 0.284956 second system time
The end
Begin job on node69 at 2009-05-09 21:28:01
IDJOB=1783889
IDBENCH=24721
IDSOLVER=613
FILE ID=node69/1783889-1241897281
PBS_JOBID= 9264765
Free space on /tmp= 66204 MiB
SOLVER NAME= MXC 2009-03-10
BENCH NAME= SAT07/crafted/Difficult/contest05/QG/QG6-dead-dnd002.sat05-2713.reshuffled-07.cnf
COMMAND LINE= HOME/mxc-sat09 -i BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1783889-1241897281/watcher-1783889-1241897281 -o /tmp/evaluation-result-1783889-1241897281/solver-1783889-1241897281 -C 5000 -W 6000 -M 1800 HOME/mxc-sat09 -i HOME/instance-1783889-1241897281.cnf
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 3ea6a8df7aa4f426ea9b73a3dcbe6d01
RANDOM SEED=1101547807
node69.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.231
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.231
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: 1755672 kB
Buffers: 41480 kB
Cached: 119996 kB
SwapCached: 74348 kB
Active: 74756 kB
Inactive: 162984 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1755672 kB
SwapTotal: 4192956 kB
SwapFree: 4113156 kB
Dirty: 976 kB
Writeback: 0 kB
Mapped: 14124 kB
Slab: 48476 kB
Committed_AS: 640748 kB
PageTables: 1464 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= 66204 MiB
End job on node69 at 2009-05-09 21:30:20