0.05 c # Sugar v0-40 (/tmp/evaluation/193951-1170090218/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/193951-1170090218/unknown.xml [Mon Jan 29 18:03:44 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/193951-1170090218/unknown.xml /tmp/evaluation/193951-1170090218/sugar25142.csp [Mon Jan 29 18:03:44 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/193951-1170090218/sugar-v0-40.jar -convert /tmp/evaluation/193951-1170090218/unknown.xml /tmp/evaluation/193951-1170090218/sugar25142.csp
0.25 c BEGIN convert /tmp/evaluation/193951-1170090218/unknown.xml
1.08 c END convert (0.82905 seconds)
1.10 c # CONVERT_XML END : /tmp/evaluation/193951-1170090218/sugar25142.csp 3130875 bytes (1 seconds) [Mon Jan 29 18:03:45 2007]
1.10 c # CONVERT_XML CPU : 0.92 = 0 + 0 + 0.86 + 0.06
1.10
1.10 c # GENERATE_SAT BEGIN : /tmp/evaluation/193951-1170090218/sugar25142.bcnf [Mon Jan 29 18:03:45 2007]
1.10 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/193951-1170090218/sugar-v0-40.jar -bcnf -map /tmp/evaluation/193951-1170090218/sugar25142.map /tmp/evaluation/193951-1170090218/sugar25142.csp /tmp/evaluation/193951-1170090218/sugar25142.bcnf
1.22 c BEGIN parse /tmp/evaluation/193951-1170090218/sugar25142.csp
20.02 c END parse (18.791222 seconds)
20.02 c BEGIN simplify
20.23 c END simplify (0.215818 seconds)
20.23 c BEGIN encode /tmp/evaluation/193951-1170090218/sugar25142.bcnf
21.90 c END encode (1.66831 seconds)
22.92 c # GENERATE_SAT END : 95680 variables 265188 clauses 13042680 bytes (22 seconds) [Mon Jan 29 18:04:07 2007]
22.92 c # GENERATE_SAT CPU : 0.95 = 0.88 + 0.07 + 0 + 0
22.92
22.92 c # SOLVE_SAT BEGIN : /tmp/evaluation/193951-1170090218/sugar25142.bcnf [Mon Jan 29 18:04:07 2007]
22.92 c # CMD : /tmp/evaluation/193951-1170090218/minisat /tmp/evaluation/193951-1170090218/sugar25142.bcnf /tmp/evaluation/193951-1170090218/sugar25142.out
23.27 c ==================================[MINISAT]===================================
23.27 c | Conflicts | ORIGINAL | LEARNT | Progress |
23.27 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
23.27 c ==============================================================================
23.27 c | 0 | 265188 2995470 | 88396 0 0 nan | 0.000 % |
23.38 c | 100 | 265192 2995470 | 97235 96 1913 19.9 | 0.000 % |
23.51 c | 250 | 265202 2995470 | 106959 236 3554 15.1 | 0.000 % |
23.74 c | 475 | 265207 2995470 | 117655 456 7059 15.5 | 0.000 % |
23.82 c ==============================================================================
23.82 c restarts : 4
23.82 c conflicts : 587 (686 /sec)
23.82 c decisions : 15996 (18690 /sec)
23.82 c propagations : 1060419 (1238997 /sec)
23.82 c conflict literals : 7811 (23.06 % deleted)
23.82 c Memory used : 27.17 MB
23.82 c CPU time : 0.855869 s
23.82 c
23.82 c UNSATISFIABLE
23.82 c # SOLVE_SAT END : UNSATISFIABLE (1 seconds) [Mon Jan 29 18:04:08 2007]
23.82 c # SOLVE_SAT CPU : 0.89 = 0 + 0 + 0.85 + 0.04
23.82
23.82 c # RESULT : UNSATISFIABLE
23.82
23.82 c # OUTPUT_SOL BEGIN : UNSAT [Mon Jan 29 18:04:08 2007]
23.82 s UNSATISFIABLE
23.82 c # OUTPUT_SOL END : (0 seconds) [Mon Jan 29 18:04:08 2007]
23.82 c # OUTPUT_SOL CPU : 0 = 0 + 0 + 0 + 0
23.82
23.82 c # MAIN END : (24 seconds) [Mon Jan 29 18:04:08 2007]
23.82 c # MAIN CPU : 2.76 = 0.88 + 0.07 + 1.71 + 0.1
23.82
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node17/watcher-193951-1170090218 -o ROOT/results/node17/solver-193951-1170090218 -C 1800 -M 900 /tmp/evaluation/193951-1170090218/solver /tmp/evaluation/193951-1170090218 /tmp/evaluation/193951-1170090218/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.03 0.47 0.17 5/95 25143
/proc/meminfo: memFree=1510896/2055920 swapFree=4192956/4192956
[pid=25142] ppid=25140 vsize=18540 CPUtime=0
/proc/25142/stat : 25142 (runsolver) R 25140 25142 24311 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 28976604 18984960 279 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 245482712359 0 0 4096 24578 0 0 0 17 1 0 0
/proc/25142/statm: 4635 279 244 17 0 2626 0
[startup+0.110393 s]
/proc/loadavg: 1.03 0.47 0.17 5/95 25143
/proc/meminfo: memFree=1510896/2055920 swapFree=4192956/4192956
[pid=25142] ppid=25140 vsize=13724 CPUtime=0.03
/proc/25142/stat : 25142 (sugar) S 25140 25142 24311 0 -1 4194304 1112 0 0 0 3 0 0 0 20 0 1 0 28976604 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25142/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+0.519429 s]
/proc/loadavg: 1.03 0.47 0.17 5/95 25143
/proc/meminfo: memFree=1510896/2055920 swapFree=4192956/4192956
[pid=25142] ppid=25140 vsize=13724 CPUtime=0.03
/proc/25142/stat : 25142 (sugar) S 25140 25142 24311 0 -1 4194304 1121 0 0 0 3 0 0 0 16 0 1 0 28976604 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25142/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+1.34952 s]
/proc/loadavg: 1.03 0.47 0.17 4/97 25153
/proc/meminfo: memFree=1490592/2055920 swapFree=4192956/4192956
[pid=25142] ppid=25140 vsize=13724 CPUtime=0.95
/proc/25142/stat : 25142 (sugar) S 25140 25142 24311 0 -1 4194304 1190 8099 0 1 3 0 86 6 15 0 1 0 28976604 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25142/statm: 3431 809 371 3 0 531 0
[pid=25152] ppid=25142 vsize=807064 CPUtime=0.23
/proc/25152/stat : 25152 (java) S 25142 25142 24311 0 -1 0 3773 0 1 0 21 2 0 0 17 0 8 0 28976714 826433536 3524 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25152/statm: 201766 3524 1482 14 0 189044 0
[pid=25152/tid=25153] ppid=25142 vsize=807064 CPUtime=0
/proc/25152/task/25153/stat : 25153 (java) S 25142 25142 24311 0 -1 64 4 0 0 0 0 0 0 0 19 0 8 0 28976717 826433536 3524 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 820788
[startup+2.99769 s]
/proc/loadavg: 1.03 0.47 0.17 3/103 25159
/proc/meminfo: memFree=1445552/2055920 swapFree=4192956/4192956
[pid=25142] ppid=25140 vsize=13724 CPUtime=0.95
/proc/25142/stat : 25142 (sugar) S 25140 25142 24311 0 -1 4194304 1190 8099 0 1 3 0 86 6 15 0 1 0 28976604 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25142/statm: 3431 809 371 3 0 531 0
[pid=25152] ppid=25142 vsize=807064 CPUtime=1.86
/proc/25152/stat : 25152 (java) R 25142 25142 24311 0 -1 0 13163 0 1 0 180 6 0 0 25 0 8 0 28976714 826433536 12899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073484410 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25152/statm: 201766 12899 1494 14 0 189044 0
[pid=25152/tid=25153] ppid=25142 vsize=807064 CPUtime=0.47
/proc/25152/task/25153/stat : 25153 (java) S 25142 25142 24311 0 -1 64 7096 0 0 0 44 3 0 0 16 0 8 0 28976717 826433536 12899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25152/tid=25154] ppid=25142 vsize=807064 CPUtime=0
/proc/25152/task/25154/stat : 25154 (java) S 25142 25142 24311 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 28976718 826433536 12899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25152/tid=25155] ppid=25142 vsize=807064 CPUtime=0
/proc/25152/task/25155/stat : 25155 (java) S 25142 25142 24311 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 28976718 826433536 12899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25152/tid=25156] ppid=25142 vsize=807064 CPUtime=0
/proc/25152/task/25156/stat : 25156 (java) S 25142 25142 24311 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 28976721 826433536 12899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25152/tid=25157] ppid=25142 vsize=807064 CPUtime=0.05
/proc/25152/task/25157/stat : 25157 (java) S 25142 25142 24311 0 -1 64 292 0 0 0 5 0 0 0 16 0 8 0 28976722 826433536 12899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25152/tid=25158] ppid=25142 vsize=807064 CPUtime=0
/proc/25152/task/25158/stat : 25158 (java) S 25142 25142 24311 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 28976722 826433536 12899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25152/tid=25159] ppid=25142 vsize=807064 CPUtime=0
/proc/25152/task/25159/stat : 25159 (java) S 25142 25142 24311 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 28976722 826433536 12899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.81
Current children cumulated vsize (KiB) 820788
[startup+6.28402 s]
/proc/loadavg: 1.19 0.52 0.19 3/103 25159
/proc/meminfo: memFree=1355440/2055920 swapFree=4192956/4192956
[pid=25142] ppid=25140 vsize=13724 CPUtime=0.95
/proc/25142/stat : 25142 (sugar) S 25140 25142 24311 0 -1 4194304 1190 8099 0 1 3 0 86 6 15 0 1 0 28976604 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25142/statm: 3431 809 371 3 0 531 0
[pid=25152] ppid=25142 vsize=807340 CPUtime=5.14
/proc/25152/stat : 25152 (java) R 25142 25142 24311 0 -1 0 24305 0 1 0 502 12 0 0 25 0 8 0 28976714 826716160 24001 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153380222 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25152/statm: 201835 24001 1506 14 0 189113 0
[pid=25152/tid=25153] ppid=25142 vsize=807340 CPUtime=1.22
/proc/25152/task/25153/stat : 25153 (java) S 25142 25142 24311 0 -1 64 18061 0 0 0 115 7 0 0 16 0 8 0 28976717 826716160 24001 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25152/tid=25154] ppid=25142 vsize=807340 CPUtime=0
/proc/25152/task/25154/stat : 25154 (java) S 25142 25142 24311 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 28976718 826716160 24001 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25152/tid=25155] ppid=25142 vsize=807340 CPUtime=0
/proc/25152/task/25155/stat : 25155 (java) S 25142 25142 24311 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 28976718 826716160 24001 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25152/tid=25156] ppid=25142 vsize=807340 CPUtime=0
/proc/25152/task/25156/stat : 25156 (java) S 25142 25142 24311 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 28976721 826716160 24001 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25152/tid=25157] ppid=25142 vsize=807340 CPUtime=0.15
/proc/25152/task/25157/stat : 25157 (java) S 25142 25142 24311 0 -1 64 405 0 0 0 15 0 0 0 16 0 8 0 28976722 826716160 24001 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25152/tid=25158] ppid=25142 vsize=807340 CPUtime=0
/proc/25152/task/25158/stat : 25158 (java) S 25142 25142 24311 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 28976722 826716160 24001 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25152/tid=25159] ppid=25142 vsize=807340 CPUtime=0
/proc/25152/task/25159/stat : 25159 (java) S 25142 25142 24311 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 28976722 826716160 24001 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 821064
[startup+12.7647 s]
/proc/loadavg: 1.25 0.54 0.20 4/95 25159
/proc/meminfo: memFree=1449648/2055920 swapFree=4192956/4192956
[pid=25142] ppid=25140 vsize=13724 CPUtime=0.95
/proc/25142/stat : 25142 (sugar) S 25140 25142 24311 0 -1 4194304 1190 8099 0 1 3 0 86 6 15 0 1 0 28976604 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25142/statm: 3431 809 371 3 0 531 0
[pid=25152] ppid=25142 vsize=807340 CPUtime=11.58
/proc/25152/stat : 25152 (java) R 25142 25142 24311 0 -1 0 42123 0 1 0 1137 21 0 0 19 0 8 0 28976714 826716160 41703 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25152/statm: 201835 41704 1506 14 0 189113 0
[pid=25152/tid=25153] ppid=25142 vsize=807340 CPUtime=2.38
/proc/25152/task/25153/stat : 25153 (java) R 25142 25142 24311 0 -1 64 35765 0 0 0 222 16 0 0 15 0 8 0 28976717 826716160 41705 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153968433 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25152/tid=25154] ppid=25142 vsize=807340 CPUtime=0
/proc/25152/task/25154/stat : 25154 (java) S 25142 25142 24311 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 28976718 826716160 41707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25152/tid=25155] ppid=25142 vsize=807340 CPUtime=0
/proc/25152/task/25155/stat : 25155 (java) S 25142 25142 24311 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 28976718 826716160 41709 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25152/tid=25156] ppid=25142 vsize=807340 CPUtime=0
/proc/25152/task/25156/stat : 25156 (java) S 25142 25142 24311 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 28976721 826716160 41711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25152/tid=25157] ppid=25142 vsize=807340 CPUtime=0.15
/proc/25152/task/25157/stat : 25157 (java) S 25142 25142 24311 0 -1 64 405 0 0 0 15 0 0 0 17 0 8 0 28976722 826716160 41713 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25152/tid=25158] ppid=25142 vsize=807340 CPUtime=0
/proc/25152/task/25158/stat : 25158 (java) S 25142 25142 24311 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 28976722 826716160 41714 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25152/tid=25159] ppid=25142 vsize=807340 CPUtime=0
/proc/25152/task/25159/stat : 25159 (java) S 25142 25142 24311 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 28976722 826716160 41716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 821064
Child status: 0
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 25142 and gives childrusage.ru_utime.tv_sec=2 childrusage.ru_utime.tv_usec=627600 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=202969
CPU time returned by wait4() is 2.83057
while last known CPU time is 22.64
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 23.8496
CPU time (s): 22.64
CPU user time (s): 22.08
CPU system time (s): 0.56
CPU usage (%): 94.9284
Max. virtual memory (cumulated for all children) (KiB): 823068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.6276
system time used= 0.202969
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29603
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= 742
involuntary context switches= 770
runsolver used 0.023996 s user time and 0.092985 s system time
The end
Begin job on node17 on Mon Jan 29 17:03:39 UTC 2007
IDJOB= 193951
IDBENCH= 3188
IDSOLVER= 86
FILE ID= node17/193951-1170090218
PBS_JOBID= 3689367
Free space on /tmp= 66557 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/ehi/ehi-85/ehi-85-297-66_ext.xml
COMMAND LINE= /tmp/evaluation/193951-1170090218/solver /tmp/evaluation/193951-1170090218 /tmp/evaluation/193951-1170090218/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-193951-1170090218 -o ROOT/results/node17/solver-193951-1170090218 -C 1800 -M 900 /tmp/evaluation/193951-1170090218/solver /tmp/evaluation/193951-1170090218 /tmp/evaluation/193951-1170090218/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 949916acac0133a850e337205ef694bd
RANDOM SEED= 722958743
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.229
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.229
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: 1576400 kB
Buffers: 49172 kB
Cached: 251524 kB
SwapCached: 0 kB
Active: 257972 kB
Inactive: 152484 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1576400 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 5364 kB
Writeback: 0 kB
Mapped: 135224 kB
Slab: 53716 kB
Committed_AS: 438808 kB
PageTables: 2332 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= 66561 MiB
End job on node17 on Mon Jan 29 17:04:08 UTC 2007