0.05 c # Sugar v0-40 (/tmp/evaluation/230147-1170106326/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/230147-1170106326/unknown.xml [Mon Jan 29 22:32:07 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/230147-1170106326/unknown.xml /tmp/evaluation/230147-1170106326/sugar22791.csp [Mon Jan 29 22:32:07 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/230147-1170106326/sugar-v0-40.jar -convert /tmp/evaluation/230147-1170106326/unknown.xml /tmp/evaluation/230147-1170106326/sugar22791.csp
0.29 c BEGIN convert /tmp/evaluation/230147-1170106326/unknown.xml
0.86 c END convert (0.566716 seconds)
0.88 c # CONVERT_XML END : /tmp/evaluation/230147-1170106326/sugar22791.csp 1442090 bytes (1 seconds) [Mon Jan 29 22:32:08 2007]
0.88 c # CONVERT_XML CPU : 0.67 = 0 + 0 + 0.6 + 0.07
0.88
0.88 c # GENERATE_SAT BEGIN : /tmp/evaluation/230147-1170106326/sugar22791.bcnf [Mon Jan 29 22:32:08 2007]
0.88 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/230147-1170106326/sugar-v0-40.jar -bcnf -map /tmp/evaluation/230147-1170106326/sugar22791.map /tmp/evaluation/230147-1170106326/sugar22791.csp /tmp/evaluation/230147-1170106326/sugar22791.bcnf
1.00 c BEGIN parse /tmp/evaluation/230147-1170106326/sugar22791.csp
6.63 c END parse (5.621925 seconds)
6.63 c BEGIN simplify
6.67 c END simplify (0.041793 seconds)
6.67 c BEGIN encode /tmp/evaluation/230147-1170106326/sugar22791.bcnf
6.96 c END encode (0.286744 seconds)
7.02 c # GENERATE_SAT END : 950 variables 44978 clauses 856672 bytes (6 seconds) [Mon Jan 29 22:32:14 2007]
7.02 c # GENERATE_SAT CPU : 6.05 = 0 + 0 + 5.9 + 0.15
7.02
7.02 c # SOLVE_SAT BEGIN : /tmp/evaluation/230147-1170106326/sugar22791.bcnf [Mon Jan 29 22:32:14 2007]
7.02 c # CMD : /tmp/evaluation/230147-1170106326/minisat /tmp/evaluation/230147-1170106326/sugar22791.bcnf /tmp/evaluation/230147-1170106326/sugar22791.out
7.07 c ==================================[MINISAT]===================================
7.11 c | Conflicts | ORIGINAL | LEARNT | Progress |
7.11 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
7.11 c ==============================================================================
7.11 c | 0 | 44978 169184 | 14992 0 0 nan | 0.000 % |
7.11 c | 102 | 44978 169184 | 16491 102 989 9.7 | 0.000 % |
7.11 c | 252 | 44978 169184 | 18140 252 2371 9.4 | 0.003 % |
7.13 c | 477 | 44978 169184 | 19954 477 4516 9.5 | 0.004 % |
7.17 c | 814 | 44978 169184 | 21949 814 7432 9.1 | 0.004 % |
7.25 c | 1320 | 44978 169184 | 24144 1320 12215 9.3 | 0.004 % |
7.34 c | 2079 | 44981 169184 | 26559 2076 20100 9.7 | 0.004 % |
7.50 c | 3219 | 44981 169184 | 29215 3216 31321 9.7 | 0.002 % |
7.73 c | 4927 | 44981 169184 | 32136 4924 50093 10.2 | 0.002 % |
8.10 c | 7490 | 44982 169184 | 35350 7486 75807 10.1 | 0.005 % |
8.71 c | 11335 | 44984 169184 | 38885 11329 121731 10.7 | 0.004 % |
9.79 c | 17101 | 44985 169184 | 42773 17094 190223 11.1 | 0.004 % |
11.62 c | 25752 | 44986 169184 | 47051 25744 296506 11.5 | 0.004 % |
15.44 c | 38727 | 44992 169184 | 51756 38713 460422 11.9 | 0.004 % |
17.36 c ==============================================================================
17.36 c restarts : 14
17.36 c conflicts : 44153 (4294 /sec)
17.36 c decisions : 54232 (5275 /sec)
17.36 c propagations : 4180843 (406640 /sec)
17.36 c conflict literals : 530201 (28.80 % deleted)
17.36 c Memory used : 7.13 MB
17.36 c CPU time : 10.2814 s
17.36 c
17.36 c SATISFIABLE
17.37 c # SOLVE_SAT END : SATISFIABLE (10 seconds) [Mon Jan 29 22:32:24 2007]
17.37 c # SOLVE_SAT CPU : 10.31 = 0 + 0 + 10.28 + 0.03
17.37
17.37 c # RESULT : SATISFIABLE
17.37
17.37 c # OUTPUT_SOL BEGIN : SAT [Mon Jan 29 22:32:24 2007]
17.48 c BEGIN read SAT output /tmp/evaluation/230147-1170106326/sugar22791.out
17.49 c END read SAT output (0.014828 seconds)
17.49 c BEGIN write solution /tmp/evaluation/230147-1170106326/sugar22791.sol
17.51 c END write solution (0.01471 seconds)
17.54 s SATISFIABLE
17.54 v 10 7 3 7 17 15 14 15 6 17 18 17 3 17 11 16 20 17 2 10 20 20 17 11 15 18 5 5 20 20 20 18 20 5 17 13 20 14 16 16 18 7 19 3 17 20 7 15 20 8
17.54 c # OUTPUT_SOL END : (1 seconds) [Mon Jan 29 22:32:25 2007]
17.54 c # OUTPUT_SOL CPU : 0.139999999999997 = 0 + 0 + 0.119999999999997 + 0.02
17.54
17.54 c # MAIN END : (18 seconds) [Mon Jan 29 22:32:25 2007]
17.54 c # MAIN CPU : 17.17 = 0 + 0 + 16.9 + 0.27
17.54
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node67/watcher-230147-1170106326 -o ROOT/results/node67/solver-230147-1170106326 -C 1800 -M 900 /tmp/evaluation/230147-1170106326/solver /tmp/evaluation/230147-1170106326 /tmp/evaluation/230147-1170106326/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 3.08 3.36 3.18 3/81 22792
/proc/meminfo: memFree=1300320/2055920 swapFree=4192812/4192956
[pid=22791] ppid=22789 vsize=5352 CPUtime=0
/proc/22791/stat : 22791 (solver) R 22789 22791 22248 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 30590320 5480448 171 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 4371027 0 0 4100 0 0 0 0 17 1 0 0
/proc/22791/statm: 1338 171 142 169 0 49 0
[startup+0.104102 s]
/proc/loadavg: 3.08 3.36 3.18 3/81 22792
/proc/meminfo: memFree=1300320/2055920 swapFree=4192812/4192956
[pid=22791] ppid=22789 vsize=13724 CPUtime=0.04
/proc/22791/stat : 22791 (sugar) S 22789 22791 22248 0 -1 4194304 1112 0 0 0 3 1 0 0 18 0 1 0 30590320 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22791/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+0.512144 s]
/proc/loadavg: 3.08 3.36 3.18 3/81 22792
/proc/meminfo: memFree=1300320/2055920 swapFree=4192812/4192956
[pid=22791] ppid=22789 vsize=13724 CPUtime=0.04
/proc/22791/stat : 22791 (sugar) S 22789 22791 22248 0 -1 4194304 1121 0 0 0 3 1 0 0 16 0 1 0 30590320 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22791/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.33523 s]
/proc/loadavg: 3.08 3.36 3.18 4/89 22808
/proc/meminfo: memFree=1288800/2055920 swapFree=4192812/4192956
[pid=22791] ppid=22789 vsize=13724 CPUtime=0.71
/proc/22791/stat : 22791 (sugar) S 22789 22791 22248 0 -1 4194304 1190 7658 0 1 3 1 60 7 15 0 1 0 30590320 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22791/statm: 3431 809 371 3 0 531 0
[pid=22801] ppid=22791 vsize=807064 CPUtime=0.43
/proc/22801/stat : 22801 (java) R 22791 22791 22248 0 -1 0 7005 0 1 0 39 4 0 0 18 0 8 0 30590409 826433536 6754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22801/statm: 201766 6754 1494 14 0 189044 0
[pid=22801/tid=22802] ppid=22791 vsize=807064 CPUtime=0.05
/proc/22801/task/22802/stat : 22802 (java) R 22791 22791 22248 0 -1 64 953 0 0 0 5 0 0 0 16 0 8 0 30590413 826433536 6754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153827317 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22801/tid=22803] ppid=22791 vsize=807064 CPUtime=0
/proc/22801/task/22803/stat : 22803 (java) S 22791 22791 22248 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30590413 826433536 6754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22801/tid=22804] ppid=22791 vsize=807064 CPUtime=0
/proc/22801/task/22804/stat : 22804 (java) S 22791 22791 22248 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30590413 826433536 6754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22801/tid=22805] ppid=22791 vsize=807064 CPUtime=0
/proc/22801/task/22805/stat : 22805 (java) S 22791 22791 22248 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30590416 826433536 6754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22801/tid=22806] ppid=22791 vsize=807064 CPUtime=0.05
/proc/22801/task/22806/stat : 22806 (java) R 22791 22791 22248 0 -1 64 292 0 0 0 5 0 0 0 19 0 8 0 30590416 826433536 6754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22801/tid=22807] ppid=22791 vsize=807064 CPUtime=0
/proc/22801/task/22807/stat : 22807 (java) S 22791 22791 22248 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30590416 826433536 6754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22801/tid=22808] ppid=22791 vsize=807064 CPUtime=0
/proc/22801/task/22808/stat : 22808 (java) S 22791 22791 22248 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30590417 826433536 6754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 820788
[startup+2.98841 s]
/proc/loadavg: 3.08 3.36 3.18 3/89 22808
/proc/meminfo: memFree=1260640/2055920 swapFree=4192812/4192956
[pid=22791] ppid=22789 vsize=13724 CPUtime=0.71
/proc/22791/stat : 22791 (sugar) S 22789 22791 22248 0 -1 4194304 1190 7658 0 1 3 1 60 7 15 0 1 0 30590320 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22791/statm: 3431 809 371 3 0 531 0
[pid=22801] ppid=22791 vsize=807328 CPUtime=2.07
/proc/22801/stat : 22801 (java) R 22791 22791 22248 0 -1 0 13000 0 1 0 200 7 0 0 25 0 8 0 30590409 826703872 12736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073477722 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22801/statm: 201832 12736 1506 14 0 189110 0
[pid=22801/tid=22802] ppid=22791 vsize=807328 CPUtime=0.55
/proc/22801/task/22802/stat : 22802 (java) S 22791 22791 22248 0 -1 64 6816 0 0 0 52 3 0 0 16 0 8 0 30590413 826703872 12736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22801/tid=22803] ppid=22791 vsize=807328 CPUtime=0
/proc/22801/task/22803/stat : 22803 (java) S 22791 22791 22248 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30590413 826703872 12736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22801/tid=22804] ppid=22791 vsize=807328 CPUtime=0
/proc/22801/task/22804/stat : 22804 (java) S 22791 22791 22248 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30590413 826703872 12736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22801/tid=22805] ppid=22791 vsize=807328 CPUtime=0
/proc/22801/task/22805/stat : 22805 (java) S 22791 22791 22248 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30590416 826703872 12736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22801/tid=22806] ppid=22791 vsize=807328 CPUtime=0.11
/proc/22801/task/22806/stat : 22806 (java) S 22791 22791 22248 0 -1 64 387 0 0 0 11 0 0 0 16 0 8 0 30590416 826703872 12736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22801/tid=22807] ppid=22791 vsize=807328 CPUtime=0
/proc/22801/task/22807/stat : 22807 (java) S 22791 22791 22248 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30590416 826703872 12736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22801/tid=22808] ppid=22791 vsize=807328 CPUtime=0
/proc/22801/task/22808/stat : 22808 (java) S 22791 22791 22248 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30590417 826703872 12736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 821052
[startup+6.27075 s]
/proc/loadavg: 3.07 3.36 3.18 4/89 22808
/proc/meminfo: memFree=1229408/2055920 swapFree=4192812/4192956
[pid=22791] ppid=22789 vsize=13724 CPUtime=0.71
/proc/22791/stat : 22791 (sugar) S 22789 22791 22248 0 -1 4194304 1190 7658 0 1 3 1 60 7 15 0 1 0 30590320 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22791/statm: 3431 809 371 3 0 531 0
[pid=22801] ppid=22791 vsize=807328 CPUtime=5.34
/proc/22801/stat : 22801 (java) R 22791 22791 22248 0 -1 0 19901 0 1 0 523 11 0 0 25 0 8 0 30590409 826703872 19607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073676775 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22801/statm: 201832 19607 1507 14 0 189110 0
[pid=22801/tid=22802] ppid=22791 vsize=807328 CPUtime=0.97
/proc/22801/task/22802/stat : 22802 (java) S 22791 22791 22248 0 -1 64 13673 0 0 0 91 6 0 0 16 0 8 0 30590413 826703872 19607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22801/tid=22803] ppid=22791 vsize=807328 CPUtime=0
/proc/22801/task/22803/stat : 22803 (java) S 22791 22791 22248 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30590413 826703872 19607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22801/tid=22804] ppid=22791 vsize=807328 CPUtime=0
/proc/22801/task/22804/stat : 22804 (java) S 22791 22791 22248 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30590413 826703872 19607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22801/tid=22805] ppid=22791 vsize=807328 CPUtime=0
/proc/22801/task/22805/stat : 22805 (java) S 22791 22791 22248 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30590416 826703872 19607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22801/tid=22806] ppid=22791 vsize=807328 CPUtime=0.13
/proc/22801/task/22806/stat : 22806 (java) S 22791 22791 22248 0 -1 64 400 0 0 0 13 0 0 0 17 0 8 0 30590416 826703872 19607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22801/tid=22807] ppid=22791 vsize=807328 CPUtime=0
/proc/22801/task/22807/stat : 22807 (java) S 22791 22791 22248 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30590416 826703872 19607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22801/tid=22808] ppid=22791 vsize=807328 CPUtime=0
/proc/22801/task/22808/stat : 22808 (java) S 22791 22791 22248 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30590417 826703872 19607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.05
Current children cumulated vsize (KiB) 821052
[startup+12.7634 s]
/proc/loadavg: 3.06 3.35 3.18 2/69 22811
/proc/meminfo: memFree=1902144/2055920 swapFree=4192812/4192956
[pid=22791] ppid=22789 vsize=13724 CPUtime=6.76
/proc/22791/stat : 22791 (sugar) S 22789 22791 22248 0 -1 4194304 1282 30026 0 2 3 1 650 22 16 0 1 0 30590320 14053376 821 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22791/statm: 3431 821 373 3 0 531 0
[pid=22809] ppid=22791 vsize=6020 CPUtime=5.69
/proc/22809/stat : 22809 (minisat) R 22791 22791 22248 0 -1 0 1369 0 0 0 568 1 0 0 25 0 1 0 30591022 6164480 1145 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/22809/statm: 1505 1145 51 112 0 1389 0
Current children cumulated CPU time (s) 12.45
Current children cumulated vsize (KiB) 19744
Child status: 0
Real time (s): 17.5466
CPU time (s): 17.2344
CPU user time (s): 16.9464
CPU system time (s): 0.287956
CPU usage (%): 98.2207
Max. virtual memory (cumulated for all children) (KiB): 821052
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.9464
system time used= 0.287956
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36090
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1746
involuntary context switches= 1831
runsolver used 0.020996 s user time and 0.05999 s system time
The end
Begin job on node67 on Mon Jan 29 21:32:06 UTC 2007
IDJOB= 230147
IDBENCH= 6398
IDSOLVER= 86
FILE ID= node67/230147-1170106326
PBS_JOBID= 3689814
Free space on /tmp= 66553 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/geom/geo50-20-d4-75-87_ext.xml
COMMAND LINE= /tmp/evaluation/230147-1170106326/solver /tmp/evaluation/230147-1170106326 /tmp/evaluation/230147-1170106326/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node67/watcher-230147-1170106326 -o ROOT/results/node67/solver-230147-1170106326 -C 1800 -M 900 /tmp/evaluation/230147-1170106326/solver /tmp/evaluation/230147-1170106326 /tmp/evaluation/230147-1170106326/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 55d039c0bd4ea5db85d5ca2b2b068736
RANDOM SEED= 957477973
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/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: 1300608 kB
Buffers: 12288 kB
Cached: 67748 kB
SwapCached: 0 kB
Active: 665708 kB
Inactive: 35744 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1300608 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1120 kB
Writeback: 0 kB
Mapped: 638280 kB
Slab: 37776 kB
Committed_AS: 919248 kB
PageTables: 3060 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= 66564 MiB
End job on node67 on Mon Jan 29 21:32:25 UTC 2007