437.96/438.12 c MXC attempting /tmp/evaluation/316383-1172668207/instance-316383-1172668207.cnf
437.96/438.12 c 0 assignments made, starting to guess now
437.96/438.12 c ===================================[MXC]=====================================
437.96/438.12 c | Conflicts | ORIGINAL | LEARNT | Progress |
437.96/438.12 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
437.96/438.12 c =============================================================================
437.96/438.12 c | 0 | 180 540 | 1000 0 0 nan | 0.000 % |
437.96/438.12 c | 101 | 180 540 | 1100 101 1466 14.5 | 0.000 % |
437.96/438.12 c | 251 | 180 540 | 1210 251 3435 13.7 | 0.000 % |
437.96/438.12 c | 476 | 180 540 | 1331 476 6780 14.2 | 0.000 % |
437.96/438.12 c | 813 | 180 540 | 1464 813 11249 13.8 | 0.000 % |
437.96/438.12 c | 1320 | 180 540 | 1610 1320 19116 14.5 | 0.000 % |
437.96/438.12 c | 2079 | 180 540 | 1771 1274 20767 16.3 | 0.000 % |
437.96/438.12 c | 3218 | 180 540 | 1948 1527 22409 14.7 | 0.000 % |
437.96/438.13 c | 4926 | 180 540 | 2143 1288 18673 14.5 | 0.000 % |
437.96/438.13 c | 7489 | 180 540 | 2357 1708 29055 17.0 | 0.000 % |
437.96/438.13 c | 11334 | 180 540 | 2593 2018 34809 17.2 | 0.000 % |
437.96/438.13 c | 17100 | 180 540 | 2853 2594 43958 16.9 | 0.000 % |
437.96/438.13 c | 25750 | 180 540 | 3138 2685 44508 16.6 | 0.000 % |
437.96/438.13 c | 38724 | 180 540 | 3452 3108 48444 15.6 | 0.000 % |
437.96/438.13 c | 58187 | 180 540 | 3797 1869 26307 14.1 | 0.000 % |
437.96/438.13 c | 87379 | 180 540 | 4177 2591 39995 15.4 | 0.000 % |
437.96/438.13 c | 131169 | 180 540 | 4594 2537 36656 14.4 | 0.000 % |
437.96/438.13 c | 196854 | 180 540 | 5054 3946 60426 15.3 | 0.000 % |
437.96/438.13 c | 295380 | 180 540 | 5559 3962 58511 14.8 | 0.000 % |
437.96/438.13 c | 443171 | 180 540 | 6115 4501 65949 14.7 | 0.000 % |
437.96/438.13 c | 664856 | 180 540 | 6727 3089 41748 13.5 | 0.000 % |
437.96/438.13 c | 997381 | 180 540 | 7400 6178 80585 13.0 | 0.000 % |
437.96/438.13 c | 1496169 | 180 540 | 8140 5775 81828 14.2 | 0.000 % |
437.96/438.13 c | 2244352 | 180 540 | 8954 5500 73107 13.3 | 0.000 % |
437.96/438.13 c | 3366627 | 180 540 | 9849 4675 56939 12.2 | 0.000 % |
437.96/438.13 c | 5050039 | 180 540 | 10834 9411 110699 11.8 | 0.000 % |
437.96/438.13 c 438.050s elapsed
437.96/438.13 c restarts: 25
437.96/438.13 c decisions: 8941420
437.96/438.13 c propagations: 162503641
437.96/438.13 c conflicts: 7518728
437.96/438.13 s UNSATISFIABLE
runsolver version 3.2.1 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node23/watcher-316383-1172668207 -o ROOT/results/node23/solver-316383-1172668207 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/316383-1172668207/mxc /tmp/evaluation/316383-1172668207/instance-316383-1172668207.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): 2400 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: 1.13 1.10 1.02 3/77 10385
/proc/meminfo: memFree=1846704/2055920 swapFree=4149240/4192956
[pid=10385] ppid=10383 vsize=932 CPUtime=0
/proc/10385/stat : 10385 (mxc) R 10383 10385 9620 0 -1 4194304 98 0 0 0 0 0 0 0 18 0 1 0 286774586 954368 82 18446744073709551615 134512640 135013041 4294956640 18446744073709551615 134688363 0 0 4096 0 0 0 0 17 1 0 0
/proc/10385/statm: 233 82 59 122 0 107 0
[startup+0.0857859 s]
/proc/loadavg: 1.13 1.10 1.02 3/77 10385
/proc/meminfo: memFree=1846704/2055920 swapFree=4149240/4192956
[pid=10385] ppid=10383 vsize=1072 CPUtime=0.08
/proc/10385/stat : 10385 (mxc) R 10383 10385 9620 0 -1 4194304 157 0 0 0 8 0 0 0 18 0 1 0 286774586 1097728 139 18446744073709551615 134512640 135013041 4294956640 18446744073709551615 134530536 0 0 4096 0 0 0 0 17 1 0 0
/proc/10385/statm: 268 139 67 122 0 142 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1072
[startup+0.101788 s]
/proc/loadavg: 1.13 1.10 1.02 3/77 10385
/proc/meminfo: memFree=1846704/2055920 swapFree=4149240/4192956
[pid=10385] ppid=10383 vsize=1072 CPUtime=0.1
/proc/10385/stat : 10385 (mxc) R 10383 10385 9620 0 -1 4194304 160 0 0 0 10 0 0 0 18 0 1 0 286774586 1097728 142 18446744073709551615 134512640 135013041 4294956640 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/10385/statm: 268 142 67 122 0 142 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 1072
[startup+0.30181 s]
/proc/loadavg: 1.13 1.10 1.02 3/77 10385
/proc/meminfo: memFree=1846704/2055920 swapFree=4149240/4192956
[pid=10385] ppid=10383 vsize=1204 CPUtime=0.3
/proc/10385/stat : 10385 (mxc) R 10383 10385 9620 0 -1 4194304 195 0 0 0 30 0 0 0 19 0 1 0 286774586 1232896 177 18446744073709551615 134512640 135013041 4294956640 18446744073709551615 134688363 0 0 4096 0 0 0 0 17 1 0 0
/proc/10385/statm: 301 177 67 122 0 175 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 1204
[startup+0.701856 s]
/proc/loadavg: 1.13 1.10 1.02 3/77 10385
/proc/meminfo: memFree=1846704/2055920 swapFree=4149240/4192956
[pid=10385] ppid=10383 vsize=1336 CPUtime=0.7
/proc/10385/stat : 10385 (mxc) R 10383 10385 9620 0 -1 4194304 227 0 0 0 70 0 0 0 22 0 1 0 286774586 1368064 209 18446744073709551615 134512640 135013041 4294956640 18446744073709551615 134519238 0 0 4096 0 0 0 0 17 1 0 0
/proc/10385/statm: 334 209 67 122 0 208 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 1336
[startup+1.50195 s]
/proc/loadavg: 1.12 1.10 1.02 2/78 10386
/proc/meminfo: memFree=1846056/2055920 swapFree=4149240/4192956
[pid=10385] ppid=10383 vsize=1580 CPUtime=1.49
/proc/10385/stat : 10385 (mxc) R 10383 10385 9620 0 -1 4194304 263 0 0 0 149 0 0 0 25 0 1 0 286774586 1617920 245 18446744073709551615 134512640 135013041 4294956640 18446744073709551615 134519311 0 0 4096 0 0 0 0 17 1 0 0
/proc/10385/statm: 395 245 67 122 0 269 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1580
[startup+3.10113 s]
/proc/loadavg: 1.12 1.10 1.02 2/78 10386
/proc/meminfo: memFree=1845736/2055920 swapFree=4149240/4192956
[pid=10385] ppid=10383 vsize=1700 CPUtime=3.09
/proc/10385/stat : 10385 (mxc) R 10383 10385 9620 0 -1 4194304 306 0 0 0 309 0 0 0 25 0 1 0 286774586 1740800 288 18446744073709551615 134512640 135013041 4294956640 18446744073709551615 134519310 0 0 4096 0 0 0 0 17 1 0 0
/proc/10385/statm: 425 288 67 122 0 299 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1700
[startup+6.30149 s]
/proc/loadavg: 1.11 1.10 1.02 2/78 10386
/proc/meminfo: memFree=1845352/2055920 swapFree=4149240/4192956
[pid=10385] ppid=10383 vsize=1940 CPUtime=6.29
/proc/10385/stat : 10385 (mxc) R 10383 10385 9620 0 -1 4194304 365 0 0 0 629 0 0 0 25 0 1 0 286774586 1986560 347 18446744073709551615 134512640 135013041 4294956640 18446744073709551615 134529809 0 0 4096 0 0 0 0 17 1 0 0
/proc/10385/statm: 485 347 67 122 0 359 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1940
[startup+12.7022 s]
/proc/loadavg: 1.10 1.09 1.02 2/78 10386
/proc/meminfo: memFree=1844968/2055920 swapFree=4149240/4192956
[pid=10385] ppid=10383 vsize=2304 CPUtime=12.69
/proc/10385/stat : 10385 (mxc) R 10383 10385 9620 0 -1 4194304 443 0 0 0 1269 0 0 0 25 0 1 0 286774586 2359296 425 18446744073709551615 134512640 135013041 4294956640 18446744073709551615 134519605 0 0 4096 0 0 0 0 17 1 0 0
/proc/10385/statm: 576 425 67 122 0 450 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 2304
[startup+25.5017 s]
/proc/loadavg: 1.08 1.09 1.01 2/78 10386
/proc/meminfo: memFree=1844776/2055920 swapFree=4149240/4192956
[pid=10385] ppid=10383 vsize=2416 CPUtime=25.48
/proc/10385/stat : 10385 (mxc) R 10383 10385 9620 0 -1 4194304 491 0 0 0 2548 0 0 0 25 0 1 0 286774586 2473984 473 18446744073709551615 134512640 135013041 4294956640 18446744073709551615 134519587 0 0 4096 0 0 0 0 17 1 0 0
/proc/10385/statm: 604 473 67 122 0 478 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 2416
[startup+51.1016 s]
/proc/loadavg: 1.05 1.08 1.01 2/78 10386
/proc/meminfo: memFree=1844136/2055920 swapFree=4149240/4192956
[pid=10385] ppid=10383 vsize=2984 CPUtime=51.07
/proc/10385/stat : 10385 (mxc) R 10383 10385 9620 0 -1 4194304 634 0 0 0 5107 0 0 0 25 0 1 0 286774586 3055616 616 18446744073709551615 134512640 135013041 4294956640 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/10385/statm: 746 616 67 122 0 620 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 2984
[startup+102.305 s]
/proc/loadavg: 1.02 1.07 1.01 2/78 10386
/proc/meminfo: memFree=1843560/2055920 swapFree=4149240/4192956
[pid=10385] ppid=10383 vsize=3428 CPUtime=102.26
/proc/10385/stat : 10385 (mxc) R 10383 10385 9620 0 -1 4194304 750 0 0 0 10226 0 0 0 25 0 1 0 286774586 3510272 732 18446744073709551615 134512640 135013041 4294956640 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/10385/statm: 857 732 67 122 0 731 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 3428
[startup+162.301 s]
/proc/loadavg: 1.01 1.05 1.00 2/78 10386
/proc/meminfo: memFree=1843240/2055920 swapFree=4149240/4192956
[pid=10385] ppid=10383 vsize=3732 CPUtime=162.24
/proc/10385/stat : 10385 (mxc) R 10383 10385 9620 0 -1 4194304 817 0 0 0 16223 1 0 0 25 0 1 0 286774586 3821568 799 18446744073709551615 134512640 135013041 4294956640 18446744073709551615 134519987 0 0 4096 0 0 0 0 17 1 0 0
/proc/10385/statm: 933 799 67 122 0 807 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 3732
[startup+222.301 s]
/proc/loadavg: 1.00 1.04 1.00 2/78 10386
/proc/meminfo: memFree=1842984/2055920 swapFree=4149240/4192956
[pid=10385] ppid=10383 vsize=4036 CPUtime=222.23
/proc/10385/stat : 10385 (mxc) R 10383 10385 9620 0 -1 4194304 874 0 0 0 22222 1 0 0 25 0 1 0 286774586 4132864 856 18446744073709551615 134512640 135013041 4294956640 18446744073709551615 134519602 0 0 4096 0 0 0 0 17 1 0 0
/proc/10385/statm: 1009 856 67 122 0 883 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 4036
[startup+282.302 s]
/proc/loadavg: 1.00 1.03 1.00 2/78 10386
/proc/meminfo: memFree=1842728/2055920 swapFree=4149240/4192956
[pid=10385] ppid=10383 vsize=4132 CPUtime=282.21
/proc/10385/stat : 10385 (mxc) R 10383 10385 9620 0 -1 4194304 920 0 0 0 28220 1 0 0 25 0 1 0 286774586 4231168 902 18446744073709551615 134512640 135013041 4294956640 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/10385/statm: 1033 902 67 122 0 907 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 4132
[startup+342.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 10386
/proc/meminfo: memFree=1842536/2055920 swapFree=4149240/4192956
[pid=10385] ppid=10383 vsize=4324 CPUtime=342.2
/proc/10385/stat : 10385 (mxc) R 10383 10385 9620 0 -1 4194304 964 0 0 0 34218 2 0 0 25 0 1 0 286774586 4427776 946 18446744073709551615 134512640 135013041 4294956640 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/10385/statm: 1081 946 67 122 0 955 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 4324
[startup+402.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 10386
/proc/meminfo: memFree=1842280/2055920 swapFree=4149240/4192956
[pid=10385] ppid=10383 vsize=4516 CPUtime=402.17
/proc/10385/stat : 10385 (mxc) R 10383 10385 9620 0 -1 4194304 1004 0 0 0 40215 2 0 0 25 0 1 0 286774586 4624384 986 18446744073709551615 134512640 135013041 4294956640 18446744073709551615 134519238 0 0 4096 0 0 0 0 17 1 0 0
/proc/10385/statm: 1129 986 67 122 0 1003 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 4516
Solver just ended. Dumping a history of the last processes samples
[startup+409.501 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 10386
/proc/meminfo: memFree=1842280/2055920 swapFree=4149240/4192956
[pid=10385] ppid=10383 vsize=4516 CPUtime=409.37
/proc/10385/stat : 10385 (mxc) R 10383 10385 9620 0 -1 4194304 1004 0 0 0 40935 2 0 0 25 0 1 0 286774586 4624384 986 18446744073709551615 134512640 135013041 4294956640 18446744073709551615 134534170 0 0 4096 0 0 0 0 17 1 0 0
/proc/10385/statm: 1129 986 67 122 0 1003 0
Current children cumulated CPU time (s) 409.37
Current children cumulated vsize (KiB) 4516
[startup+422.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 10386
/proc/meminfo: memFree=1842280/2055920 swapFree=4149240/4192956
[pid=10385] ppid=10383 vsize=4516 CPUtime=422.17
/proc/10385/stat : 10385 (mxc) R 10383 10385 9620 0 -1 4194304 1004 0 0 0 42215 2 0 0 25 0 1 0 286774586 4624384 986 18446744073709551615 134512640 135013041 4294956640 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/10385/statm: 1129 986 67 122 0 1003 0
Current children cumulated CPU time (s) 422.17
Current children cumulated vsize (KiB) 4516
[startup+428.701 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 10386
/proc/meminfo: memFree=1842280/2055920 swapFree=4149240/4192956
[pid=10385] ppid=10383 vsize=4516 CPUtime=428.57
/proc/10385/stat : 10385 (mxc) R 10383 10385 9620 0 -1 4194304 1004 0 0 0 42855 2 0 0 25 0 1 0 286774586 4624384 986 18446744073709551615 134512640 135013041 4294956640 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/10385/statm: 1129 986 67 122 0 1003 0
Current children cumulated CPU time (s) 428.57
Current children cumulated vsize (KiB) 4516
[startup+435.101 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 10386
/proc/meminfo: memFree=1842216/2055920 swapFree=4149240/4192956
[pid=10385] ppid=10383 vsize=4516 CPUtime=434.96
/proc/10385/stat : 10385 (mxc) R 10383 10385 9620 0 -1 4194304 1016 0 0 0 43494 2 0 0 25 0 1 0 286774586 4624384 998 18446744073709551615 134512640 135013041 4294956640 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/10385/statm: 1129 998 67 122 0 1003 0
Current children cumulated CPU time (s) 434.96
Current children cumulated vsize (KiB) 4516
[startup+436.705 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 10386
/proc/meminfo: memFree=1842216/2055920 swapFree=4149240/4192956
[pid=10385] ppid=10383 vsize=4628 CPUtime=436.57
/proc/10385/stat : 10385 (mxc) R 10383 10385 9620 0 -1 4194304 1024 0 0 0 43655 2 0 0 25 0 1 0 286774586 4739072 1006 18446744073709551615 134512640 135013041 4294956640 18446744073709551615 134531538 0 0 4096 0 0 0 0 17 1 0 0
/proc/10385/statm: 1157 1006 67 122 0 1031 0
Current children cumulated CPU time (s) 436.57
Current children cumulated vsize (KiB) 4628
[startup+437.501 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 10386
/proc/meminfo: memFree=1842216/2055920 swapFree=4149240/4192956
[pid=10385] ppid=10383 vsize=4628 CPUtime=437.36
/proc/10385/stat : 10385 (mxc) R 10383 10385 9620 0 -1 4194304 1024 0 0 0 43734 2 0 0 25 0 1 0 286774586 4739072 1006 18446744073709551615 134512640 135013041 4294956640 18446744073709551615 134519240 0 0 4096 0 0 0 0 17 1 0 0
/proc/10385/statm: 1157 1006 67 122 0 1031 0
Current children cumulated CPU time (s) 437.36
Current children cumulated vsize (KiB) 4628
[startup+437.902 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 10386
/proc/meminfo: memFree=1842216/2055920 swapFree=4149240/4192956
[pid=10385] ppid=10383 vsize=4628 CPUtime=437.76
/proc/10385/stat : 10385 (mxc) R 10383 10385 9620 0 -1 4194304 1024 0 0 0 43774 2 0 0 25 0 1 0 286774586 4739072 1006 18446744073709551615 134512640 135013041 4294956640 18446744073709551615 134534268 0 0 4096 0 0 0 0 17 1 0 0
/proc/10385/statm: 1157 1006 67 122 0 1031 0
Current children cumulated CPU time (s) 437.76
Current children cumulated vsize (KiB) 4628
[startup+438.102 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 10386
/proc/meminfo: memFree=1842216/2055920 swapFree=4149240/4192956
[pid=10385] ppid=10383 vsize=4628 CPUtime=437.96
/proc/10385/stat : 10385 (mxc) R 10383 10385 9620 0 -1 4194304 1024 0 0 0 43794 2 0 0 25 0 1 0 286774586 4739072 1006 18446744073709551615 134512640 135013041 4294956640 18446744073709551615 134519243 0 0 4096 0 0 0 0 17 1 0 0
/proc/10385/statm: 1157 1006 67 122 0 1031 0
Current children cumulated CPU time (s) 437.96
Current children cumulated vsize (KiB) 4628
Child status: 20
Real time (s): 438.132
CPU time (s): 437.989
CPU user time (s): 437.964
CPU system time (s): 0.024996
CPU usage (%): 99.9675
Max. virtual memory (cumulated for all children) (KiB): 4628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 437.964
system time used= 0.024996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1025
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= 8
involuntary context switches= 542
runsolver used 0.527919 second user time and 1.07084 second system time
The end
Begin job on node23 on Wed Feb 28 13:10:07 UTC 2007
IDJOB= 316383
IDBENCH= 20440
IDSOLVER= 107
FILE ID= node23/316383-1172668207
PBS_JOBID= 3981228
Free space on /tmp= 66493 MiB
SOLVER NAME= MXC 2007-02-08
BENCH NAME= HOME/pub/bench/SAT07/crafted/spence/medium/s85-100.cnf
COMMAND LINE= /tmp/evaluation/316383-1172668207/mxc /tmp/evaluation/316383-1172668207/instance-316383-1172668207.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node23/watcher-316383-1172668207 -o ROOT/results/node23/solver-316383-1172668207 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/316383-1172668207/mxc /tmp/evaluation/316383-1172668207/instance-316383-1172668207.cnf
META MD5SUM SOLVER= fd459248d3e92e664505cc2f0f683bf4
MD5SUM BENCH= 0fa13b4cd7cac4108d58b524e7bb4ec3
RANDOM SEED= 321018267
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node23.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux
/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.216
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.216
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: 1847112 kB
Buffers: 13740 kB
Cached: 131884 kB
SwapCached: 10776 kB
Active: 49812 kB
Inactive: 118968 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1847112 kB
SwapTotal: 4192956 kB
SwapFree: 4149240 kB
Dirty: 664 kB
Writeback: 0 kB
Mapped: 30152 kB
Slab: 25652 kB
Committed_AS: 844068 kB
PageTables: 1696 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= 66493 MiB
End job on node23 on Wed Feb 28 13:17:25 UTC 2007