0.04 c # Sugar v0-40 (/tmp/evaluation/227571-1170105813/sugar-v0-40.jar)
0.04
0.04 c # MAIN BEGIN : /tmp/evaluation/227571-1170105813/unknown.xml [Mon Jan 29 22:23:33 2007]
0.04 c # CONVERT_XML BEGIN : /tmp/evaluation/227571-1170105813/unknown.xml /tmp/evaluation/227571-1170105813/sugar20253.csp [Mon Jan 29 22:23:33 2007]
0.04 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/227571-1170105813/sugar-v0-40.jar -convert /tmp/evaluation/227571-1170105813/unknown.xml /tmp/evaluation/227571-1170105813/sugar20253.csp
0.16 c BEGIN convert /tmp/evaluation/227571-1170105813/unknown.xml
0.52 c END convert (0.362772 seconds)
0.54 c # CONVERT_XML END : /tmp/evaluation/227571-1170105813/sugar20253.csp 151065 bytes (1 seconds) [Mon Jan 29 22:23:34 2007]
0.54 c # CONVERT_XML CPU : 0 = 0 + 0 + 0 + 0
0.54
0.54 c # GENERATE_SAT BEGIN : /tmp/evaluation/227571-1170105813/sugar20253.bcnf [Mon Jan 29 22:23:34 2007]
0.54 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/227571-1170105813/sugar-v0-40.jar -bcnf -map /tmp/evaluation/227571-1170105813/sugar20253.map /tmp/evaluation/227571-1170105813/sugar20253.csp /tmp/evaluation/227571-1170105813/sugar20253.bcnf
0.65 c BEGIN parse /tmp/evaluation/227571-1170105813/sugar20253.csp
1.45 c END parse (0.794799 seconds)
1.45 c BEGIN simplify
1.45 c END simplify (0.004963 seconds)
1.45 c BEGIN encode /tmp/evaluation/227571-1170105813/sugar20253.bcnf
1.50 c END encode (0.052577 seconds)
1.55 c # GENERATE_SAT END : 280 variables 5014 clauses 88700 bytes (1 seconds) [Mon Jan 29 22:23:35 2007]
1.55 c # GENERATE_SAT CPU : 0.01 = 0.01 + 0 + 0 + 0
1.55
1.55 c # SOLVE_SAT BEGIN : /tmp/evaluation/227571-1170105813/sugar20253.bcnf [Mon Jan 29 22:23:35 2007]
1.55 c # CMD : /tmp/evaluation/227571-1170105813/minisat /tmp/evaluation/227571-1170105813/sugar20253.bcnf /tmp/evaluation/227571-1170105813/sugar20253.out
1.55 c ==================================[MINISAT]===================================
1.55 c | Conflicts | ORIGINAL | LEARNT | Progress |
1.55 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
1.55 c ==============================================================================
1.55 c | 0 | 5014 17155 | 1671 0 0 nan | 0.000 % |
1.56 c | 100 | 5014 17155 | 1838 100 953 9.5 | 0.001 % |
1.56 c | 250 | 5014 17155 | 2021 250 2659 10.6 | 0.008 % |
1.57 c | 475 | 5014 17155 | 2224 475 5052 10.6 | 0.018 % |
1.59 c | 812 | 5017 17155 | 2446 809 8654 10.7 | 0.018 % |
1.61 c | 1318 | 5017 17155 | 2691 1315 13836 10.5 | 0.006 % |
1.65 c | 2077 | 5019 17155 | 2960 2072 21403 10.3 | 0.018 % |
1.71 c | 3216 | 5021 17155 | 3256 1701 16955 10.0 | 0.018 % |
1.79 c | 4924 | 5021 17155 | 3581 1737 18060 10.4 | 0.018 % |
1.93 c | 7487 | 5022 17155 | 3940 2463 29676 12.0 | 0.018 % |
2.15 c | 11332 | 5026 17155 | 4334 2283 27567 12.1 | 0.019 % |
2.50 c | 17098 | 5030 17155 | 4767 3625 43623 12.0 | 0.019 % |
3.03 c | 25747 | 5038 17155 | 5244 2540 30131 11.9 | 0.019 % |
3.85 c | 38721 | 5044 17155 | 5768 4862 53274 11.0 | 0.023 % |
5.13 c | 58183 | 5051 17155 | 6345 3881 45304 11.7 | 0.028 % |
7.03 c | 87375 | 5065 17155 | 6980 4198 54242 12.9 | 0.001 % |
9.96 c | 131166 | 5069 17155 | 7678 5657 74581 13.2 | 0.008 % |
14.52 c | 196850 | 5073 17155 | 8446 5397 69443 12.9 | 0.003 % |
21.61 c | 295377 | 5044 17083 | 9290 6277 82713 13.2 | 0.360 % |
24.87 c ==============================================================================
24.87 c restarts : 19
24.87 c conflicts : 338194 (14525 /sec)
24.87 c decisions : 398462 (17114 /sec)
24.87 c propagations : 18533753 (796005 /sec)
24.87 c conflict literals : 4706474 (29.17 % deleted)
24.87 c Memory used : 3.70 MB
24.87 c CPU time : 23.2835 s
24.87 c
24.87 c SATISFIABLE
24.87 c # SOLVE_SAT END : SATISFIABLE (23 seconds) [Mon Jan 29 22:23:58 2007]
24.87 c # SOLVE_SAT CPU : 23.29 = 0 + 0 + 23.28 + 0.01
24.87
24.87 c # RESULT : SATISFIABLE
24.87
24.87 c # OUTPUT_SOL BEGIN : SAT [Mon Jan 29 22:23:58 2007]
24.98 c BEGIN read SAT output /tmp/evaluation/227571-1170105813/sugar20253.out
24.99 c END read SAT output (0.003847 seconds)
24.99 c BEGIN write solution /tmp/evaluation/227571-1170105813/sugar20253.sol
25.00 c END write solution (0.013644 seconds)
25.05 s SATISFIABLE
25.05 v 5 7 1 2 0 6 5 2 2 5 1 4 0 4 5 7 0 5 5 4 5 2 2 0 5 6 3 1 5 3 2 7 4 3 1 7 3 0 4 1
25.05 c # OUTPUT_SOL END : (0 seconds) [Mon Jan 29 22:23:58 2007]
25.05 c # OUTPUT_SOL CPU : 0.129999999999998 = 0 + 0 + 0.0999999999999979 + 0.03
25.05
25.05 c # MAIN END : (25 seconds) [Mon Jan 29 22:23:58 2007]
25.05 c # MAIN CPU : 23.43 = 0.01 + 0 + 23.38 + 0.04
25.05
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node61/watcher-227571-1170105813 -o ROOT/results/node61/solver-227571-1170105813 -C 1800 -M 900 /tmp/evaluation/227571-1170105813/solver /tmp/evaluation/227571-1170105813 /tmp/evaluation/227571-1170105813/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: 1.89 2.83 3.11 5/70 20254
/proc/meminfo: memFree=1906224/2055920 swapFree=4192812/4192956
[pid=20253] ppid=20251 vsize=13724 CPUtime=0.03
/proc/20253/stat : 20253 (sugar) S 20251 20253 20025 0 -1 4194304 1097 0 0 0 3 0 0 0 20 0 1 0 30538216 14053376 804 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20253/statm: 3431 804 368 3 0 531 0
[pid=20255] ppid=20253 vsize=0 CPUtime=0
/proc/20255/stat : 20255 (sugar) R 20253 20253 20025 0 -1 4194368 13 0 0 0 0 0 0 0 18 0 1 0 30538221 0 0 18446744073709551615 0 0 0 18446744073709551615 246406507815 0 0 4096 16386 0 0 0 17 0 0 0
/proc/20255/statm: 18 1 0 0 0 1 0
[startup+0.152964 s]
/proc/loadavg: 1.89 2.83 3.11 5/70 20254
/proc/meminfo: memFree=1906224/2055920 swapFree=4192812/4192956
[pid=20253] ppid=20251 vsize=13724 CPUtime=0.03
/proc/20253/stat : 20253 (sugar) S 20251 20253 20025 0 -1 4194304 1112 0 0 0 3 0 0 0 20 0 1 0 30538216 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20253/statm: 3431 805 368 3 0 531 0
[pid=20255] ppid=20253 vsize=807764 CPUtime=0.08
/proc/20255/stat : 20255 (java) R 20253 20253 20025 0 -1 0 2759 0 1 0 7 1 0 0 17 0 8 0 30538221 827150336 2508 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20255/statm: 201941 2508 1428 14 0 189219 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 821488
[startup+0.561003 s]
/proc/loadavg: 1.89 2.83 3.11 5/70 20254
/proc/meminfo: memFree=1906224/2055920 swapFree=4192812/4192956
[pid=20253] ppid=20251 vsize=13724 CPUtime=0.03
/proc/20253/stat : 20253 (sugar) S 20251 20253 20025 0 -1 4194304 1178 0 0 0 3 0 0 0 16 0 1 0 30538216 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20253/statm: 3431 808 370 3 0 531 0
[pid=20255] ppid=20253 vsize=0 CPUtime=0.47
/proc/20255/stat : 20255 (java) Z 20253 20253 20025 0 -1 1036 5584 0 1 0 43 4 0 0 16 0 1 0 30538221 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 0 0 0
/proc/20255/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 13724
[startup+1.38208 s]
/proc/loadavg: 1.89 2.83 3.11 2/77 20274
/proc/meminfo: memFree=1883384/2055920 swapFree=4192812/4192956
[pid=20253] ppid=20251 vsize=13724 CPUtime=0.03
/proc/20253/stat : 20253 (sugar) S 20251 20253 20025 0 -1 4194304 1188 0 0 0 3 0 0 0 16 0 1 0 30538216 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20253/statm: 3431 808 370 3 0 531 0
[pid=20255] ppid=20253 vsize=0 CPUtime=0.47
/proc/20255/stat : 20255 (java) Z 20253 20253 20025 0 -1 1036 5584 0 1 0 43 4 0 0 16 0 1 0 30538221 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 0 0 0
/proc/20255/statm: 0 0 0 0 0 0 0
[pid=20263] ppid=20253 vsize=807336 CPUtime=0.82
/proc/20263/stat : 20263 (java) R 20253 20253 20025 0 -1 0 7965 0 1 0 79 3 0 0 18 0 8 0 30538271 826712064 7712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073593713 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20263/statm: 201834 7712 1506 14 0 189112 0
[pid=20263/tid=20264] ppid=20253 vsize=807336 CPUtime=0.07
/proc/20263/task/20264/stat : 20264 (java) S 20253 20253 20025 0 -1 64 1780 0 0 0 7 0 0 0 16 0 8 0 30538274 826712064 7712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20263/tid=20265] ppid=20253 vsize=807336 CPUtime=0
/proc/20263/task/20265/stat : 20265 (java) S 20253 20253 20025 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 30538274 826712064 7712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20263/tid=20266] ppid=20253 vsize=807336 CPUtime=0
/proc/20263/task/20266/stat : 20266 (java) S 20253 20253 20025 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30538274 826712064 7712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20263/tid=20267] ppid=20253 vsize=807336 CPUtime=0
/proc/20263/task/20267/stat : 20267 (java) S 20253 20253 20025 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 30538277 826712064 7712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20263/tid=20268] ppid=20253 vsize=807336 CPUtime=0.12
/proc/20263/task/20268/stat : 20268 (java) S 20253 20253 20025 0 -1 64 399 0 0 0 12 0 0 0 16 0 8 0 30538277 826712064 7712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20263/tid=20269] ppid=20253 vsize=807336 CPUtime=0
/proc/20263/task/20269/stat : 20269 (java) S 20253 20253 20025 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 30538277 826712064 7712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20263/tid=20270] ppid=20253 vsize=807336 CPUtime=0
/proc/20263/task/20270/stat : 20270 (java) S 20253 20253 20025 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30538277 826712064 7712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 821060
[startup+3.02024 s]
/proc/loadavg: 1.81 2.80 3.10 4/84 20318
/proc/meminfo: memFree=1895296/2055920 swapFree=4192812/4192956
[pid=20253] ppid=20251 vsize=13724 CPUtime=0.04
/proc/20253/stat : 20253 (sugar) S 20251 20253 20025 0 -1 4194304 1281 0 0 0 4 0 0 0 15 0 1 0 30538216 14053376 819 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20253/statm: 3431 819 373 3 0 531 0
[pid=20255] ppid=20253 vsize=0 CPUtime=0.47
/proc/20255/stat : 20255 (java) Z 20253 20253 20025 0 -1 1036 5584 0 1 0 43 4 0 0 16 0 1 0 30538221 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 0 0 0
/proc/20255/statm: 0 0 0 0 0 0 0
[pid=20263] ppid=20253 vsize=0 CPUtime=0.96
/proc/20263/stat : 20263 (java) Z 20253 20253 20025 0 -1 1036 8228 0 1 0 92 4 0 0 16 0 1 0 30538271 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/20263/statm: 0 0 0 0 0 0 0
[pid=20275] ppid=20253 vsize=2308 CPUtime=1.46
/proc/20275/stat : 20275 (minisat) R 20253 20253 20025 0 -1 0 290 0 0 0 146 0 0 0 25 0 1 0 30538372 2363392 254 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528357 0 0 4096 3 0 0 0 17 0 0 0
/proc/20275/statm: 577 254 51 112 0 461 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 16032
[startup+6.31854 s]
/proc/loadavg: 1.81 2.80 3.10 2/71 20347
/proc/meminfo: memFree=1904360/2055920 swapFree=4192812/4192956
[pid=20253] ppid=20251 vsize=13724 CPUtime=0.04
/proc/20253/stat : 20253 (sugar) S 20251 20253 20025 0 -1 4194304 1281 0 0 0 4 0 0 0 16 0 1 0 30538216 14053376 819 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20253/statm: 3431 819 373 3 0 531 0
[pid=20255] ppid=20253 vsize=0 CPUtime=0.47
/proc/20255/stat : 20255 (java) Z 20253 20253 20025 0 -1 1036 5584 0 1 0 43 4 0 0 16 0 1 0 30538221 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 0 0 0
/proc/20255/statm: 0 0 0 0 0 0 0
[pid=20263] ppid=20253 vsize=0 CPUtime=0.96
/proc/20263/stat : 20263 (java) Z 20253 20253 20025 0 -1 1036 8228 0 1 0 92 4 0 0 16 0 1 0 30538271 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/20263/statm: 0 0 0 0 0 0 0
[pid=20275] ppid=20253 vsize=2704 CPUtime=4.75
/proc/20275/stat : 20275 (minisat) R 20253 20253 20025 0 -1 0 384 0 0 0 475 0 0 0 25 0 1 0 30538372 2768896 348 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528418 0 0 4096 3 0 0 0 17 0 0 0
/proc/20275/statm: 676 348 51 112 0 560 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 16428
[startup+12.7852 s]
/proc/loadavg: 1.77 2.76 3.08 3/77 20399
/proc/meminfo: memFree=1899200/2055920 swapFree=4192812/4192956
[pid=20253] ppid=20251 vsize=13724 CPUtime=0.04
/proc/20253/stat : 20253 (sugar) S 20251 20253 20025 0 -1 4194304 1281 0 0 0 4 0 0 0 16 0 1 0 30538216 14053376 819 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20253/statm: 3431 819 373 3 0 531 0
[pid=20255] ppid=20253 vsize=0 CPUtime=0.47
/proc/20255/stat : 20255 (java) Z 20253 20253 20025 0 -1 1036 5584 0 1 0 43 4 0 0 16 0 1 0 30538221 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 0 0 0
/proc/20255/statm: 0 0 0 0 0 0 0
[pid=20263] ppid=20253 vsize=0 CPUtime=0.96
/proc/20263/stat : 20263 (java) Z 20253 20253 20025 0 -1 1036 8228 0 1 0 92 4 0 0 16 0 1 0 30538271 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/20263/statm: 0 0 0 0 0 0 0
[pid=20275] ppid=20253 vsize=3232 CPUtime=11.22
/proc/20275/stat : 20275 (minisat) R 20253 20253 20025 0 -1 0 503 0 0 0 1121 1 0 0 25 0 1 0 30538372 3309568 467 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/20275/statm: 808 467 51 112 0 692 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 16956
Child status: 0
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 20253 and gives childrusage.ru_utime.tv_sec=23 childrusage.ru_utime.tv_usec=425438 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=51992
CPU time returned by wait4() is 23.4774
while last known CPU time is 24.87
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 25.0576
CPU time (s): 24.87
CPU user time (s): 24.76
CPU system time (s): 0.11
CPU usage (%): 99.2514
Max. virtual memory (cumulated for all children) (KiB): 821620
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 23.4254
system time used= 0.051992
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5010
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 176
involuntary context switches= 243
runsolver used 0.041993 s user time and 0.073988 s system time
The end
Begin job on node61 on Mon Jan 29 21:23:33 UTC 2007
IDJOB= 227571
IDBENCH= 6093
IDSOLVER= 86
FILE ID= node61/227571-1170105813
PBS_JOBID= 3689837
Free space on /tmp= 66563 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.1/rand-2-40-8-753-100-39_ext.xml
COMMAND LINE= /tmp/evaluation/227571-1170105813/solver /tmp/evaluation/227571-1170105813 /tmp/evaluation/227571-1170105813/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node61/watcher-227571-1170105813 -o ROOT/results/node61/solver-227571-1170105813 -C 1800 -M 900 /tmp/evaluation/227571-1170105813/solver /tmp/evaluation/227571-1170105813 /tmp/evaluation/227571-1170105813/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 4e88918fc135c3cce592785ab326627d
RANDOM SEED= 706898249
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.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: 1906832 kB
Buffers: 36916 kB
Cached: 44140 kB
SwapCached: 0 kB
Active: 52268 kB
Inactive: 49752 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1906832 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2100 kB
Writeback: 0 kB
Mapped: 33880 kB
Slab: 32832 kB
Committed_AS: 280680 kB
PageTables: 1680 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= 66563 MiB
End job on node61 on Mon Jan 29 21:24:00 UTC 2007